patch applied (ghc): Refactor to combine two eqExpr functions
Simon Peyton Jones
simonpj at microsoft.com
Wed Dec 16 04:04:48 EST 2009
Wed Dec 16 00:50:33 PST 2009 simonpj at microsoft.com
* Refactor to combine two eqExpr functions
Ignore-this: 925dec0fc9af1e0a9359226359627ae7
I'd forgotten that Rules.lhs already has an eqExpr function. This
patch combines Rules.eqExpr with the (recent) CoreUtils.eqExpr.
I also did a little refactoring by defining CoreSyn.expandUnfolding_maybe
(see Note [Expanding variables] in Rules.lhs), and using it in
a) CoreUnfold.exprIsConApp_maybe
b) Rule matching
M ./compiler/coreSyn/CoreSyn.lhs -1 +8
M ./compiler/coreSyn/CoreUnfold.lhs -6 +4
M ./compiler/coreSyn/CoreUtils.lhs -27 +61
M ./compiler/specialise/Rules.lhs -78 +7
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20091216085033-1287e-88e4127e3534067dc77084a26582735d2165ebbd.gz
More information about the Cvs-ghc
mailing list