23 Dec
2011
23 Dec
'11
9:37 a.m.
On Fri, Dec 23, 2011 at 12:33 PM, Simon Peyton-Jones
| 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.