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

12 Feb 2016


      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