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