Skip to content

WIP: TagMap replacement - #333

Open
treeowl wants to merge 4 commits into
reflex-frp:developfrom
treeowl:tag-map-replacement
Open

WIP: TagMap replacement#333
treeowl wants to merge 4 commits into
reflex-frp:developfrom
treeowl:tag-map-replacement

Conversation

@treeowl

@treeowl treeowl commented Jul 25, 2019

Copy link
Copy Markdown
Contributor

Separate concerns for TagMap, add functionality, and try to
manage the inherent unsafety a bit better. I don't really see
what MyTag has to offer by way of optimization, so I haven't
included that business. Maybe I'm missing something there...

@treeowl
treeowl force-pushed the tag-map-replacement branch 2 times, most recently from 3e61306 to a959857 Compare July 25, 2019 20:12
Separate concerns for `TagMap`, add functionality, and try to
manage the inherent unsafety a bit better. I don't really see
what `MyTag` has to offer by way of optimization, so I haven't
included that business. Maybe I'm missing something there...
@treeowl
treeowl force-pushed the tag-map-replacement branch from a959857 to 66298f0 Compare July 25, 2019 20:14
@ali-abrar ali-abrar changed the title TagMap replacement (WIP) WIP: TagMap replacement Aug 5, 2019
@414owen

414owen commented Jan 10, 2020

Copy link
Copy Markdown

I think this is hitting ndmitchell/hlint#818

@Ericson2314

Copy link
Copy Markdown
Member

Yes everything is going to hit that, so just ignore it for now. Trying to fix.

@Ericson2314

Ericson2314 commented Jan 10, 2020

Copy link
Copy Markdown
Member

Let's do this only if we are sure it can help requester after #371

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants