[Haskell-cafe] -XGADTs changes type for program that does not contain GADT

amindfv at gmail.com amindfv at gmail.com
Fri Feb 12 14:04:08 UTC 2016


"Implies" is too strong, isn't it? My understanding is -XGADTs turns on -XMonoLocalBinds by default, but you can use -XGADTs with -XNoMonoLocalBinds

Tom


> El 12 feb 2016, a las 08:05, Andres Löh <andres at well-typed.com> escribió:
> 
> Hi.
> 
>> the following type-correct program does not contain GADT syntax.
>> When I activate GADT language pragma, it does no longer typecheck.
> 
> This is because -XGADTs implies -XMonoLocalBinds. See
> https://ghc.haskell.org/trac/ghc/blog/LetGeneralisationInGhc7 for a
> longer explanation.
> 
> Cheers,
>  Andres
> 
> -- 
> Andres Löh, Haskell Consultant
> Well-Typed LLP, http://www.well-typed.com
> 
> Registered in England & Wales, OC335890
> 250 Ice Wharf, 17 New Wharf Road, London N1 9RF, England
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe


More information about the Haskell-Cafe mailing list