MonoLocalBinds and darcs

[Ian Lynagh]

On Wed, Nov 03, 2010 at 10:10:53AM +0000, Simon Peyton-Jones wrote:
> 
> Well, I'm aware that it's a compromise.  I don't know how to do a bang-up principled job of typechecking local polymorphism, so GHC does a best-effort job.  In fact best effort is pretty good, and it's not hard to implement, so
> 	a) I don't expect to remove NoLocalMonoBinds
> 	b) I expect it will work fine 99% of the time

What happens in the other 1%? Does the program just get rejected for no
apparent reason, or can more nefarious things happen?


Thanks
Ian