Re: [Haskell-cafe] :i and :t give different types

On 7 Feb 2008, at 12:30 PM, Chad Scherrer wrote:

On Feb 7, 2008 11:57 AM, Don Stewart wrote:

...

Ah, yes, missing parens! Well spotted.

So a pretty printer wibble in GHC?

-- Don

Yeah, that was my first concern, but then I noticed the quantification was different, so I'm still working through that one.

The quantification isn't different, just differently presented. In Haskell 98, there are never explicit foralls and any type is implicitly quantified over its free variables at the top level. So, in GHC a type without explicit foralls is quantified over its free variables at the top level. So the two types are in fact equal.

It was confusing, since I assumed the implementations of :i and :t shared a lot of code.

Apparently not :) jcc