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

Support int or string extension #2120

Merged

Conversation

muff1nman
Copy link
Collaborator

@muff1nman muff1nman commented Dec 31, 2020

Uses #2119 as base.

Copy link
Collaborator

@Gabriella439 Gabriella439 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks great! Once #2119 is merged and this branch is updated then this should be good to go

Previously definitions with this set to true would be generated as an
empty record. This change corrects the type definition to the
IntOrString type
@muff1nman muff1nman force-pushed the support-int-or-string-extension branch from 8b7199c to 2ffb47f Compare January 2, 2021 21:35
@muff1nman
Copy link
Collaborator Author

Rebased.

@Gabriella439 Gabriella439 merged commit 7f5aef3 into dhall-lang:master Jan 4, 2021
@Gabriella439
Copy link
Collaborator

@muff1nman: Thank you! 🙂

@muff1nman muff1nman deleted the support-int-or-string-extension branch January 4, 2021 03:38
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