Skip to content

Support labels for polymorphic fields / existential constructors / more type-changing updates#365

Merged
arybczak merged 1 commit intomasterfrom
extended-optic-label
Jan 4, 2021
Merged

Support labels for polymorphic fields / existential constructors / more type-changing updates#365
arybczak merged 1 commit intomasterfrom
extended-optic-label

Conversation

@arybczak
Copy link
Copy Markdown
Collaborator

@arybczak arybczak commented Oct 11, 2020

Fixes #364.

@arybczak arybczak force-pushed the extended-optic-label branch 2 times, most recently from 0d4baba to fa6973f Compare October 17, 2020 04:20
@arybczak arybczak changed the title Support labels for polymorphic fields / existential constructors Support labels for polymorphic fields / existential constructors / more type-changing updates Oct 17, 2020
@arybczak arybczak force-pushed the extended-optic-label branch from 50dcbba to 4e5a0e0 Compare December 13, 2020 09:52
@arybczak
Copy link
Copy Markdown
Collaborator Author

I've updated the TH to use Dysfunctional instead for better potential error messages.

@phadej
Copy link
Copy Markdown
Contributor

phadej commented Dec 23, 2020

conficts

@phadej phadej mentioned this pull request Dec 23, 2020
@arybczak arybczak force-pushed the extended-optic-label branch 3 times, most recently from c72a57b to 128c4f5 Compare December 28, 2020 17:42
@arybczak
Copy link
Copy Markdown
Collaborator Author

I'll merge this after the weekend unless anyone objects.

@arybczak arybczak force-pushed the extended-optic-label branch from 128c4f5 to e32503c Compare January 4, 2021 21:36
@arybczak arybczak merged commit 3c6beec into master Jan 4, 2021
@arybczak arybczak deleted the extended-optic-label branch January 4, 2021 21:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Fundep restrictions of LabelOptic can be lifted

2 participants