[Haskell-cafe] Monomorphic local let bindings and GHCi

Simon Peyton-Jones simonpj at microsoft.com
Fri Dec 4 03:18:49 EST 2009

| So I think that if local let generalisation is abandoned, let bindings in GHCi
| would somehow have to be modified to remain polymorphic.

I agree.  They are like top-level bindings in a Haskell module, and should be generalised.  They don't suffer from the problems of generalising nested bindings.


More information about the Haskell-Cafe mailing list