projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from:
ad92391
)
Add builtin rule to eliminate unnecessary casts in seq
author
Roman Leshchinskiy
<rl@cse.unsw.edu.au>
Wed, 4 Nov 2009 23:30:14 +0000
(23:30 +0000)
committer
Roman Leshchinskiy
<rl@cse.unsw.edu.au>
Wed, 4 Nov 2009 23:30:14 +0000
(23:30 +0000)
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.
No differences found