Wed Nov 4 15:30:14 PST 2009 Roman Leshchinskiy <[email protected]>
* Add builtin rule to eliminate unnecessary casts in seq
Ignore-this: 762ea362e39ab30713b55e13d2fbd618
The patch adds this rule:
seq (x `cast` co) y = seq x y
This is subject to the usual treatment of seq rules. It also makes them
match more often: it will rewrite
seq (f x `cast` co) y = seq (f x) y
and allow a seq rule for f to match.
M ./compiler/basicTypes/MkId.lhs +19
M ./compiler/simplCore/Simplify.lhs -4 +8
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20091104233014-b2b0a-3d6451c113b28e24a54ea63afb1d17e68c8845aa.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
