projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0648124) | patch
Refactor to combine two eqExpr functions
authorsimonpj@microsoft.com <unknown>
Wed, 16 Dec 2009 08:50:33 +0000 (08:50 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 16 Dec 2009 08:50:33 +0000 (08:50 +0000)
commitb44b34500edbb94194d4fd6ff2acfac0b5ce7a16
treefc4f349c3847fff494d78fec6045b4442cad953dtree | snapshot
parent064812423073e89805c16311728cfded5d50e306commit | diff
Refactor to combine two eqExpr functions

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
compiler/coreSyn/CoreSyn.lhs diff | blob | history
compiler/coreSyn/CoreUnfold.lhs diff | blob | history
compiler/coreSyn/CoreUtils.lhs diff | blob | history
compiler/specialise/Rules.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)