Opened 9 years ago

Closed 9 years ago

Last modified 44 years ago

#305 closed bug (Fixed)

:i gives bogus type

Reported by: pimlott Owned by: nobody
Priority: normal Milestone:
Component: Compiler Version: 6.2.2
Keywords: Cc:
Operating System: Architecture:
Type of failure: Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

Description

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.

Change History (1)

comment:1 Changed 9 years ago by simonmar

  • Status changed from assigned to closed
Logged In: YES 
user_id=48280

Fixed in 6.4.
Note: See TracTickets for help on using tickets.