These patches can be held for 7.0.2 I think. They are just performance related and need more testing.
Simon Wed Oct 27 11:42:35 PDT 2010 [email protected]<mailto:[email protected]> * Buglet in tcIface, now that nested binders can have pragmas This fix ties the knot for recursive groups properly M ./compiler/iface/TcIface.lhs -23 +25 Wed Oct 27 11:56:30 PDT 2010 [email protected]<mailto:[email protected]> * Yet another go at CoreArity Amazingly, there were still Wrong Things in the arity analysis, exposed by my fiddling with eta expansion. I simplified the code, clarified the comments, added more examples, and tidied it all up. I hope it's better this time. M ./compiler/coreSyn/CoreArity.lhs -72 +107 Wed Oct 27 12:37:29 PDT 2010 [email protected]<mailto:[email protected]> * 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
_______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
