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

dhall-bhat is incompatible with Dhall-10 #57

Open
sjakobi opened this issue Sep 5, 2019 · 1 comment

Comments

@sjakobi
Copy link

@sjakobi sjakobi commented Sep 5, 2019

$ dhall type --file Either/terms.dhall 
dhall: 
Error: Invalid input

(stdin):6:34:
  |
6 |             λ(Left : a) → < Left = Left | Right : b >
  |                                  ^
unexpected '='
expecting ':', '>', '|', or whitespace

The legacy union-literal syntax has finally been removed. See https://github.com/dhall-lang/dhall-lang/wiki/Migration:-Deprecation-of-old-union-literal-syntax

@FintanH

This comment has been minimized.

Copy link
Contributor

@FintanH FintanH commented Sep 6, 2019

Ya, dhall-bhat needs a lot of love ❤️ We don't really have a way of versioning at the moment, but maybe that's fine as long as people pin against git shas. So we could just update to the latest Dhall. What do you think @sellout?

noolbar added a commit to noolbar/dhall-bhat that referenced this issue Oct 13, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.