Commit dd08967f authored by simonpj's avatar simonpj
Browse files

[project @ 2005-01-27 15:52:09 by simonpj]

parent a4124cf4
......@@ -381,7 +381,7 @@ For dataToTag#, we can reduce if either
(b) the argument is a variable whose unfolding is a known constructor
dataToTagRule [ty1, Var tag_to_enum `App` ty2 `App` tag]
dataToTagRule [Type ty1, Var tag_to_enum `App` Type ty2 `App` tag]
| Just TagToEnumOp <- isPrimOpId_maybe tag_to_enum
, ty1 `coreEqType` ty2
= Just tag -- dataToTag (tagToEnum x) ==> x
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment