-
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
"addC: malformed constraint: cconsE" in closed-world class #2277
Comments
First stop: figuring out what the error message means 🙈 |
It comes from here: https://github.com/ucsd-progsys/liquidhaskell/blob/develop/liquidhaskell-boot/src/Language/Haskell/Liquid/Constraint/Generate.hs#L360 LH is adding a subtype constraint with the two huge types that are printed in the error and checks that these two types have the same Haskell type. This error message says that they do not have the same Haskell type. |
Consider this module:
LiquidHaskell/GHC-9.6.3 complains:
This is a simplified version of:
https://hackage.haskell.org/package/comfort-array-0.5.4.2/docs/Data-Array-Comfort-Shape.html
The text was updated successfully, but these errors were encountered: