From: simonmar <unknown>
Date: Fri, 8 Dec 2000 09:54:47 +0000 (+0000)
Subject: [project @ 2000-12-08 09:54:47 by simonmar]
X-Git-Tag: Approximately_9120_patches~3165
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=60fbd2bec61f79e05414cf3fd38adadaf203e352;p=ghc-hetmet.git

[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
--- 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,