[project @ 1996-06-26 10:26:00 by partain]
[ghc-hetmet.git] / ghc / compiler / coreSyn / CoreUnfold.lhs
index c0f61a3..06f4be4 100644 (file)
@@ -41,7 +41,7 @@ import CgCompInfo     ( uNFOLDING_CHEAP_OP_COST,
 import CoreSyn
 import CoreUtils       ( coreExprType, manifestlyWHNF )
 import CostCentre      ( ccMentionsId )
-import Id              ( IdSet(..), GenId{-instances-} )
+import Id              ( SYN_IE(IdSet), GenId{-instances-} )
 import IdInfo          ( bottomIsGuaranteed )
 import Literal         ( isNoRepLit, isLitLitLit )
 import Pretty
@@ -51,7 +51,7 @@ import Type           ( getAppDataTyConExpandingDicts )
 import UniqSet         ( emptyUniqSet, unitUniqSet, mkUniqSet,
                          addOneToUniqSet, unionUniqSets
                        )
-import Usage           ( UVar(..) )
+import Usage           ( SYN_IE(UVar) )
 import Util            ( isIn, panic )
 
 whatsMentionedInId = panic "whatsMentionedInId (CoreUnfold)"
@@ -263,7 +263,7 @@ sizeExpr scc_s_OK bOMB_OUT_SIZE args expr
     size_up (SCC lbl body)
       = if scc_s_OK then size_up body else Nothing
 
-    size_up (Coerce _ _ body) = size_up body
+    size_up (Coerce _ _ body) = size_up body           -- Coercions cost nothing
 
     size_up (Con con args) = -- 1 + # of val args
                             sizeN (1 + numValArgs args)
@@ -316,7 +316,7 @@ sizeExpr scc_s_OK bOMB_OUT_SIZE args expr
        size_alg_alt (con,args,rhs) = size_up rhs
            -- Don't charge for args, so that wrappers look cheap
 
-       (tycon, _, _) = _trace "CoreUnfold.getAppDataTyConExpandingDicts" $ getAppDataTyConExpandingDicts scrut_ty
+       (tycon, _, _) = trace "CoreUnfold.getAppDataTyConExpandingDicts" $ getAppDataTyConExpandingDicts scrut_ty
 
     size_up_alts _ (PrimAlts alts deflt)
       = foldr (addSize . size_prim_alt) (size_up_deflt deflt) alts