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

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@gmail.com