MonoLocalBinds and darcs
ganesh at earth.li
Tue Nov 2 19:12:52 EDT 2010
On Tue, 2 Nov 2010, Neil Mitchell wrote:
> Make sure you are using RC2 of the compiler, from what I remember RC1
> required signatures it shouldn't have, or enabled MonoLocalBinds more
> than it should - RC2 required less signatures. However, your code
> could well just be heavily using the relevant features.
I was using RC2. But darcs uses GADTs globally so MonoLocalBinds is always
I've now retested with NoMonoLocalBinds properly enabled and I just needed
one extra signature. That's quite compelling, but I'm aware it's not
considered a "reliable" feature so I'm not quite sure which way to go.
The NPlusKPatterns thing seems to have been a red herring btw, I can't
reproduce it now.
More information about the Glasgow-haskell-users