Bugs item #1120891, was opened at 2005-02-11 11:28
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1120891&group_id=8032
Category: Compiler
Group: 6.2.2
Status: Open
Resolution: None
Priority: 5
Submitted By: Andrew Pimlott (pimlott)
Assigned to: Nobody/Anonymous (nobody)
Summary: :i gives bogus type
Initial Comment:
Observed by me and Ketil Malde
<[EMAIL PROTECTED]> 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.
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1120891&group_id=8032
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
