import IdInfo ( IdInfo, megaSeqIdInfo,
arityInfo, ppArityInfo,
specInfo, cprInfo, ppCprInfo,
- strictnessInfo, ppStrictnessInfo, cafInfo, ppCafInfo,
+ strictnessInfo, ppStrictnessInfo, cgInfo,
cprInfo, ppCprInfo,
workerInfo, ppWorkerInfo,
- tyGenInfo, ppTyGenInfo
+ tyGenInfo, ppTyGenInfo,
+ newDemandInfo, newStrictnessInfo
)
import DataCon ( dataConTyCon )
import TyCon ( tupleTyConBoxity, isTupleTyCon )
(megaSeqIdInfo (idInfo id) `seq`
-- Useful for poking on black holes
ifPprDebug (ppr (idInlinePragma id) <+> ppr (idOccInfo id) <+>
- ppr (idDemandInfo id)) <+> ppr (idLBVarInfo id))
+ ppr (idDemandInfo id)) <+> ppr (newDemandInfo (idInfo id)) <+>
+ ppr (idLBVarInfo id))
\end{code}
ppTyGenInfo g,
ppWorkerInfo (workerInfo info),
ppStrictnessInfo s,
- ppCafInfo c,
+ ppr (newStrictnessInfo info),
+-- pprCgInfo c,
ppCprInfo m,
pprCoreRules b p
-- Inline pragma, occ, demand, lbvar info
a = arityInfo info
g = tyGenInfo info
s = strictnessInfo info
- c = cafInfo info
+-- c = cgInfo info
m = cprInfo info
p = specInfo info
\end{code}