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

Use json-to-dhall to implement yaml-to-dhall #977

Merged
merged 4 commits into from May 30, 2019

Conversation

robbiemcmichael
Copy link
Collaborator

@robbiemcmichael robbiemcmichael commented May 29, 2019

I was really happy to see @antislava implemented json-to-dhall recently in #884. This refactors that code into the dhall-json library so that we can easily implement yaml-to-dhall as well.

It could probably be cleaned up a bit more, happy to take suggestions of further refactoring as well.

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.

Just one suggestion, but otherwise looks great to me! I added you as a collaborator so that you can merge whenever you're ready

dhall-json/src/Dhall/JSONToDhall.hs Outdated Show resolved Hide resolved
@robbiemcmichael
Copy link
Collaborator Author

@Gabriel439 Looks like I don't have the ability to merge as I don't have write access. Could you please merge this PR if you're happy with the changes?

@Gabriella439 Gabriella439 merged commit 6ec28cd into dhall-lang:master May 30, 2019
@Gabriella439
Copy link
Collaborator

@robbiemcmichael: Yeah, no problem! Also, great job on documentation 🙂

Double-check your inbox and/or spam folder because I believe you should have an invite e-mail to become a collaborator, which would grant you write access for future contributions

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