-
Notifications
You must be signed in to change notification settings - Fork 18
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
Index free syntax #204
base: master
Are you sure you want to change the base?
Index free syntax #204
Conversation
now ignore whitespace
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Very cool André! 👍
Co-authored-by: Erik Post <[email protected]>
c8ec5b2
to
e6883b9
Compare
The merge for this is going to take a bit longer than expected |
Actually this is going to take a lot more work than expected. Indeed this is not compatible anymore with the current master in which we only allow to generate code for TDefs with resolved references. This commit, is the culprit and makes the change from So either we rewrite the reference compiler or we rewrite the syntax compiler. Eitherway, it's not a trivial and easy task |
This PR add support for a new index-free syntax which more closely resembles ml-style languages with data constructors:
fix #164
fix #175
fix #23