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.

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

Data constructors and destructors (desugared to records) #128

Merged
merged 12 commits into from
Apr 1, 2018

Conversation

ravichugh
Copy link
Owner

No description provided.

justinlubin and others added 12 commits March 25, 2018 17:10
I'm not sure if everything that I changed in `Types.elm` is 100%
correct, especially because I'm not sure if there's a way to really
test it at this point.
I'm not quite sure why this became sized incorrectly.
Most everything is working, but there were a couple places that I was
not super sure about. These are marked with the comment `-- TODO-TD`,
for "to-do (type definition)".
@ravichugh ravichugh merged commit b780165 into value-editor Apr 1, 2018
@ravichugh ravichugh deleted the jl-spring branch April 1, 2018 14:45
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.

None yet

2 participants