:i gives bogus type
Observed by me and Ketil Malde
<ketil+haskell@ii.uib.no> in ghc 6.2.1 and 6.2.2:
Prelude> let (...) = (.) . (.) . (.)
Prelude> :t (...)
(...) :: forall c a a1 a2 b.
(b -> c) -> (a2 -> a1 -> a -> b) -> a2 -> a1
-> a -> c
Prelude> :i (...)
-- ... is a variable, defined at <interactive>:1
(...) :: forall a a b c a.
(b -> c) -> (a -> a -> a -> b) -> a -> a -> a -> c
:t is correct, but notice that in :i, the type variable
a is repeated.
PS. There is no bug category for ghci.
Trac metadata
Trac field | Value |
---|---|
Version | 6.2.2 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | ResolvedFixed |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |