add predicate on CafInfo: mayHaveCafRefs :: CafInfo -> Bool
specInfo, setSpecInfo,
-- CAF info
specInfo, setSpecInfo,
-- CAF info
- CafInfo(..), cafInfo, setCafInfo, ppCafInfo,
+ CafInfo(..), cafInfo, setCafInfo, mayHaveCafRefs, ppCafInfo,
-- Constructed Product Result Info
CprInfo(..), cprInfo, setCprInfo, ppCprInfo, noCprInfo,
-- Constructed Product Result Info
CprInfo(..), cprInfo, setCprInfo, ppCprInfo, noCprInfo,
+mayHaveCafRefs MayHaveCafRefs = True
+mayHaveCafRefs _ = False
+
seqCaf c = c `seq` ()
ppCafInfo NoCafRefs = ptext SLIT("__C")
seqCaf c = c `seq` ()
ppCafInfo NoCafRefs = ptext SLIT("__C")