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