patch applied (ghc-7.0/ghc): Two signficant changes to the simplifier

[Ian Lynagh]

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:
http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc-7.0/ghc;a=darcs_commitdiff;h=20101027193729-1287e-58ab8baac6cbec280adc9bf91cd73de07850bcb4.gz