Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make use of unrestricted OverloadedLabels #151

Closed
amesgen opened this issue Mar 22, 2023 · 1 comment · Fixed by #152 or #156
Closed

Make use of unrestricted OverloadedLabels #151

amesgen opened this issue Mar 22, 2023 · 1 comment · Fixed by #152 or #156

Comments

@amesgen
Copy link
Contributor

amesgen commented Mar 22, 2023 •
edited by kcsongor
Loading

The Unrestricted OverloadedLabels proposal, implemented in GHC 9.6, enables things like #Constructor or #123.

This would enable things like

This should be implementable in a backwards-compatible way, but it should be easier when using UnconsSymbol from GHC 9.2. WDYT?
@amesgen amesgen mentioned this issue Apr 8, 2023
Merged
@kcsongor
Copy link
Owner

Reopening since the positional #3 would also be nice to have

@kcsongor kcsongor reopened this Apr 15, 2023
@amesgen amesgen mentioned this issue Apr 18, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
2 participants
@kcsongor @amesgen