Buglet in :info (ghc 6.2.2)

Tomasz Zielonka tomasz.zielonka at gmail.com
Tue Dec 7 07:29:32 EST 2004


Hello,

This happens in GHC 6.2.2:

Prelude> let lf $$$ lx = zipWith ($) lf lx
Prelude> :i $$$
-- $$$ is a variable, defined at <interactive>:1
($$$) :: forall b b. [b -> b] -> [b] -> [b]
Prelude> :t ($$$)
($$$) :: forall b b1. [b1 -> b] -> [b1] -> [b]

Note the difference in types presented by :info and :type.  Also note that in
:info there are two 'b' variables between 'forall' and dot.

Best regards,
Tomasz



More information about the Glasgow-haskell-bugs mailing list