We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
x : Num a => Maybe a x = Just 1 y : Int y with (x) | Just n = n | Nothing = 0
I expect this use of x to be inferred to have concrete type Maybe Int, but it is inferred to have concrete type Maybe Integer.
x
Maybe Int
Maybe Integer
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Steps to Reproduce
Expected/Observed Behavior
I expect this use of
x
to be inferred to have concrete typeMaybe Int
, but it is inferred to have concrete typeMaybe Integer
.The text was updated successfully, but these errors were encountered: