[project @ 2000-12-08 09:54:47 by simonmar]

change the default CafInfo to NoCafRefs, to avoid PrimOps,
constructors and other random Ids from declaring that they refer to
CAFs.

diff --git a/ghc/compiler/basicTypes/IdInfo.lhs b/ghc/compiler/basicTypes/IdInfo.lhs
index cb77d6b..aaf1ed8 100644 (file)
--- a/ghc/compiler/basicTypes/IdInfo.lhs
+++ b/ghc/compiler/basicTypes/IdInfo.lhs
@@ -131,7 +131,7 @@ data IdInfo
        strictnessInfo  :: StrictnessInfo,      -- Strictness properties
         workerInfo      :: WorkerInfo,          -- Pointer to Worker Function
        unfoldingInfo   :: Unfolding,           -- Its unfolding
-       cafInfo         :: CafInfo,
+       cafInfo         :: CafInfo,             -- whether it refers (indirectly) to any CAFs
        cprInfo         :: CprInfo,             -- Function always constructs a product result
         lbvarInfo      :: LBVarInfo,           -- Info about a lambda-bound variable
        inlinePragInfo  :: InlinePragInfo,      -- Inline pragma
@@ -223,7 +223,7 @@ mkIdInfo flv = IdInfo {
                    workerInfo          = NoWorker,
                    strictnessInfo      = NoStrictnessInfo,
                    unfoldingInfo       = noUnfolding,
-                   cafInfo             = MayHaveCafRefs,
+                   cafInfo             = NoCafRefs,
                    cprInfo             = NoCPRInfo,
                    lbvarInfo           = NoLBVarInfo,
                    inlinePragInfo      = NoInlinePragInfo,