On Fri, Dec 23, 2011 at 12:33 PM, Simon Peyton-Jones <simo...@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. _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users