Imp. Params not subject to defaulting
main = putStr $ show $ foo () with ?x = 13
foo () = ?x
Yields:
Ambiguous type variable(s) `a' in the constraint
`Show a'
arising from use of `show' at t2.hs:3
In the first argument of `($)', namely `show'
In the second argument of `($)', namely `show $
(foo ())'
Trac metadata
Trac field | Value |
---|---|
Version | 5.0 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | ResolvedFixed |
Component | Compiler (Type checker) |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information