3 Nov
2010
3 Nov
'10
7 a.m.
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