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.

Sign up for GitHub

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

Jump to bottom

`{} causes exit 1 #1100

Closed
Pytheas01 opened this issue Mar 8, 2021 · 2 comments
Closed

`{} causes exit 1 #1100

Pytheas01 opened this issue Mar 8, 2021 · 2 comments
Labels
duplicate Essentially the same as another issue

Comments

@Pytheas01
Copy link

Hello,
adding curly brackets after the backtick in the below code caused an exit 1 on Macos X 11.1

nkValid : {a} (Eq a, Literal AES128 a) => a -> Bit
nkValid k = (k == `{AES128}) || (k == `AES192) || (k == `AES256)
@brianhuffman
Copy link
Contributor

brianhuffman commented Mar 8, 2021 •
edited
Loading

I believe this is the same issue as #1050, #1045, and #962. (I should also mention that this was fixed in #1071.)

@robdockins robdockins added the duplicate Essentially the same as another issue label Mar 11, 2021
@robdockins
Copy link
Contributor

Indeed, with current master, I get a sensible error message instead.

[error] at play.cry:4:20--4:28:
  Unexpected bare type application.
  Perhaps you meant `( ... ) instead.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
duplicate Essentially the same as another issue
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@brianhuffman @robdockins @Pytheas01