patch applied (ghc-7.0/ghc): Two signficant changes to the simplifier
igloo at earth.li
Fri Jan 21 23:56:06 CET 2011
Wed Oct 27 12:37:29 PDT 2010 simonpj at microsoft.com
* Two signficant changes to the simplifier
1. Do eta-expansion at let-bindings, not lambdas.
I have wanted to do this for a long time.
See Note [Eta-expanding at let bindings] in SimplUtils
2. Simplify the rather subtle way in which InlineRules (the
template captured by an INLINE pragma) was simplified.
Now, these templates are always simplified in "gentle"
mode only, and only INLINE things inline inside them.
See Note Note [Gentle mode], Note [Inlining in gentle mode]
and Note [RULEs enabled in SimplGently] in SimplUtils
M ./compiler/basicTypes/BasicTypes.lhs -7 +12
M ./compiler/simplCore/SimplEnv.lhs -1 +3
M ./compiler/simplCore/SimplUtils.lhs -191 +239
M ./compiler/simplCore/Simplify.lhs -59 +55
View patch online:
More information about the Cvs-ghc