Permited mega-polymorphic type
Mega-polymorphic type! This looks like a bug, but may be it is a feature
u = u
b = u 2 + u "extra" "poly" "arguments" True
b' = u ++ u True
eq' = (u :: Bool) == (u 3.14 :: Bool)
eq'' = (u 1 :: Num t => t) == (u "strings" "a lot" :: Num z => z)
eq = u == u 2 -- ghci only
> :t u
u :: t
This code is valid for TypeChecker
Trac metadata
Trac field | Value |
---|---|
Version | 7.6.3 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler (Type checker) |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |