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

Bulat Ziganshin bulat.ziganshin at gmail.com
Thu Jun 25 01:19:49 EDT 2009

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

More information about the Haskell-Cafe mailing list