See http://research.microsoft.com/en-us/um/people/simonpj/papers/constraints/index.htm esp "Let should not be generalised"
| -----Original Message----- | From: Felipe Lessa [mailto:felipe.le...@gmail.com] | Sent: 10 August 2010 17:43 | To: Simon Peyton-Jones | Cc: Don Stewart; cvs-ghc@haskell.org | Subject: Re: Emailing: binary-patch | | On Tue, Aug 10, 2010 at 1:29 PM, Simon Peyton-Jones | <simo...@microsoft.com> wrote: | > The third is helpful for the new type inference engine, and makes the code | clearer too. | | Why does it help? And how? | | Cheers! =) | | -- | Felipe.
_______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc