[Haskell-cafe] GHCi infers a type but refuses it as type signature

[Bulat Ziganshin]

Hello wren,

Thursday, June 25, 2009, 6:35:36 AM, you wrote:

> Rank2Types, RankNTypes, ExistentialQuantification, ScopedTypeVariables,
> and GADTs are fairly benign ---though this is where you start loosing 
> compatibility with non-GHC compilers.

afair, except for GADTs these are supported by Hugs. actually, until a
last few years, GHC and Hugs were pretty close on extensions list


-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com