ANNOUNCE: GHC 7.4.1 Release Candidate 1
Felipe Almeida Lessa
felipe.lessa at gmail.com
Fri Dec 23 15:37:22 CET 2011
On Fri, Dec 23, 2011 at 12:33 PM, Simon Peyton-Jones
<simonpj at microsoft.com> wrote:
> | So the 'where' binding in the following does not get generalized
> | because it could not have been written at the top level, correct?
> The other way round. 'where' bindings that could have been written at top level *are* generalised; ones that could not are *not* generalised. See "Which bindings are affected?" in http://hackage.haskell.org/trac/ghc/blog/LetGeneralisationInGhc7, which tries to be precise. If it's hard to understand can I make it easier?
For me it seems that both of you, gentlemen, are saying the same thing =).
More information about the Glasgow-haskell-users