-
Notifications
You must be signed in to change notification settings - Fork 22
Issues: well-typed/large-records
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
GHC is going to introduce breakage that will affect this library at version 9.14
#165
opened Dec 16, 2024 by
s-and-witch
Support multiple fields by comma
enhancement
New feature or request
large-records
#109
opened Apr 11, 2022 by
kana-sama
Support New feature or request
large-anon
NamedFieldPuns in ANON
enhancement
#105
opened Apr 6, 2022 by
edsko
Support New feature or request
large-anon
case matching on anonymous records
enhancement
#104
opened Apr 6, 2022 by
edsko
Diff properties should verified using QuickCheck
enhancement
#100
opened Apr 5, 2022 by
edsko
Improve error messages
enhancement
New feature or request
large-anon
#92
opened Apr 4, 2022 by
edsko
Use existential trick to define pattern synonym instead?
enhancement
New feature or request
large-records
#67
opened Mar 15, 2022 by
edsko
ProTip!
no:milestone will show everything without a milestone.