ANNOUNCE: GHC 7.4.1 Release Candidate 1

[Felipe Almeida Lessa]

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 =).

Cheers,

-- 
Felipe.