-
Notifications
You must be signed in to change notification settings - Fork 65
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
Flat records for limits/colimits #417
Conversation
Could we have a test/reproducer for the printing issues with, say, binary products? |
I think @plt-amy had a good real world example in https://gist.github.com/plt-amy/9f1efaaef2fe15baf4965be21e60994b, we could use the code that generated the nightmare for that |
I guess things like
With this PR it becomes |
Description
This PR flattens out
Binary-products
et. al into flat records to get better printing.Currently, this is a draft to get API feedback!
Checklist
Before submitting a merge request, please check the items below:
support/sort-imports.hs
(ornix run --experimental-features nix-command -f . sort-imports
).If your change affects many files without adding substantial content, and
you don't want your name to appear on those pages (for example, treewide
refactorings or reformattings), start the commit message and PR title with
chore:
.