ANNOUNCE: GHC 7.4.1 Release Candidate 1

Felipe Almeida Lessa felipe.lessa at
Fri Dec 23 15:37:22 CET 2011

On Fri, Dec 23, 2011 at 12:33 PM, Simon Peyton-Jones
<simonpj at> 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, 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 mailing list