-
Notifications
You must be signed in to change notification settings - Fork 211
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
constructors === id #693
constructors === id #693
Conversation
@FintanH: Alright, feel free to merge this now. You will need to re-freeze |
Actually, hold off on merging this for just a few days. I'm going to cut a new minor release with the fix to |
Updated the branch 👌 I had to add |
No problem @basile-henry, that PR is so cool! The dhall-to-cabal graph 😍 |
Fixes #635
Stage 2 of: dhall-lang/dhall-lang#244
Implements the semantics merged here: dhall-lang/dhall-lang#256
The idea is that
constructors
is equivalent to the identity function so it returns theUnion
as-is. This meansconstructors
does not create a record of functions toUnionLit
s but rather utilises the newUnion
access syntax.