summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
a4c3436)
Mon Sep 18 14:47:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Comment
Sat Aug 5 21:44:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Comment
Fri Jul 14 12:49:37 EDT 2006 simonpj@microsoft.com
rhs = body i'' con_args
mkUnpackCase :: Id -> CoreExpr -> [Id] -> DataCon -> CoreExpr -> CoreExpr
rhs = body i'' con_args
mkUnpackCase :: Id -> CoreExpr -> [Id] -> DataCon -> CoreExpr -> CoreExpr
+-- (mkUnpackCase x e args Con body)
+-- returns
+-- case (e `cast` ...) of bndr { Con args -> body }
mkUnpackCase bndr arg unpk_args boxing_con body
= Case cast_arg bndr (exprType body) [(DataAlt boxing_con, unpk_args, body)]
where
mkUnpackCase bndr arg unpk_args boxing_con body
= Case cast_arg bndr (exprType body) [(DataAlt boxing_con, unpk_args, body)]
where