MonoLocalBinds and darcs

[Ganesh Sittampalam]

Hi Neil,

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 
on.

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.

Cheers,

Ganesh