FIX #1738: KPush rule of FC must take dataConEqTheta into account
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon, 1 Oct 2007 15:43:43 +0000 (15:43 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon, 1 Oct 2007 15:43:43 +0000 (15:43 +0000)
commit4f56b4074079380d4b115a05d5aa71004f716710
tree615e5e1422ee93994b1552d827eb82ec95c5dc73
parent081b6b6e90b26a213e8e3065584c552fd2b64d57
FIX #1738: KPush rule of FC must take dataConEqTheta into account

MERGE TO STABLE
compiler/coreSyn/CoreUtils.lhs
compiler/simplCore/Simplify.lhs