Comment

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

diff --git a/compiler/basicTypes/MkId.lhs b/compiler/basicTypes/MkId.lhs
index 1485f48..2373d72 100644 (file)
--- a/compiler/basicTypes/MkId.lhs
+++ b/compiler/basicTypes/MkId.lhs
@@ -587,6 +587,9 @@ unboxProduct i arg arg_ty body res_ty
     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