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
import UniqSet ( emptyUniqSet, unitUniqSet, mkUniqSet,
addOneToUniqSet, unionUniqSets
)
-import Usage ( UVar(..) )
+import Usage ( SYN_IE(UVar) )
import Util ( isIn, panic )
whatsMentionedInId = panic "whatsMentionedInId (CoreUnfold)"
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)
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