MonoLocalBinds and darcs

Ian Lynagh igloo at earth.li
Wed Nov 3 07:00:35 EDT 2010


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



More information about the Glasgow-haskell-users mailing list