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
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to