Wed Nov 4 06:28:36 PST 2009 Roman Leshchinskiy <[email protected]>
* Consider variables with conlike unfoldings interesting
Ignore-this: ceecbdd10cb85157b1530b98b261e3fe
In this expression:
let x = f (g e1) in e2
the simplifier will inline f if it thinks that (g e1) is an interesting
argument. Until now, this was essentially the case if g was a data constructor
- we'd inline f in the hope that it will inspect and hence eliminate the
constructor application. This patch extends this mechanism to CONLIKE
functions. We consider (g e1) interesting if g is CONLIKE and inline f in the
hope that this will allow rewrite rules to match.
M ./compiler/coreSyn/CoreSyn.lhs -3 +13
M ./compiler/coreSyn/CoreUnfold.lhs -2 +3
M ./compiler/coreSyn/CoreUtils.lhs -28 +48
M ./compiler/coreSyn/PprCore.lhs -1 +3
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20091104142836-b2b0a-c0468336f56df23622cda7432d61000a7161c8c6.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
