-
Notifications
You must be signed in to change notification settings - Fork 135
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
More/less binders expected when using --typeclass #2269
Comments
nmeum
changed the title
More/less binders expected when using --typclass
More/less binders expected when using --typeclass
Feb 8, 2024
Hello! Typeclass support remains experimental. I just reviewed the tests. There are tests like this that were disabled in the move from ghc 8 to ghc 9, so the chances of making it work without hacking on LH are slim. You could try ghc 8, though that is a tad harder to setup as it requires |
Here there are instructions to test with ghc 8 by building an older LH from the github repo. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hey, I am new to Liquid Haskell and was interested in using it in conjunction with type classes. For this purpose, I tried the following example from the Liquid Haskell specification:
Running this as:
Gives me the following error message:
This is with liquidhaskell 0.9.2.5.0 and GHC 9.2.5. I also tried this with GHC 9.4.7 and liquidhaskell 0.9.4.7.0 but with this setup I get the same error message. As I said, I am new to liquidhaskell so I suspect I am just using it wrong or is this an expect error given that
--typeclass
is still considered experimental?The text was updated successfully, but these errors were encountered: