[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