From: simonm <unknown>
Date: Tue, 2 Jun 1998 10:52:49 +0000 (+0000)
Subject: [project @ 1998-06-02 10:52:49 by simonm]
X-Git-Tag: Approx_2487_patches~636
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=07860b8a0f3ffa6778ee4795647064a2225c64fa;p=ghc-hetmet.git

[project @ 1998-06-02 10:52:49 by simonm]
Don't throw away spec pragma Ids (from simonpj).
---

diff --git a/ghc/compiler/simplCore/Simplify.lhs b/ghc/compiler/simplCore/Simplify.lhs
index a4bf78c..95afb62 100644
--- a/ghc/compiler/simplCore/Simplify.lhs
+++ b/ghc/compiler/simplCore/Simplify.lhs
@@ -22,7 +22,7 @@ import CoreUtils	( coreExprType, nonErrorRHSs, maybeErrorApp,
 			)
 import Id		( idType, idMustBeINLINEd, idWantsToBeINLINEd, idMustNotBeINLINEd, 
 			  addIdArity, getIdArity, getIdSpecialisation, setIdSpecialisation,
-			  getIdDemandInfo, addIdDemandInfo
+			  getIdDemandInfo, addIdDemandInfo, isSpecPragmaId
 			)
 import Name		( isExported, isLocallyDefined )
 import IdInfo		( willBeDemanded, noDemandInfo, DemandInfo, ArityInfo(..),
@@ -1085,6 +1085,7 @@ completeBind env binder@(old_id,occ_info) new_id new_rhs
   |  not (idMustNotBeINLINEd new_id)
   && atomic_rhs			-- If rhs (after eta reduction) is atomic
   && not (isExported new_id)	-- and binder isn't exported
+  && not (isSpecPragmaId new_id)	-- Don't discard spec prag Ids
 
   = 	-- Drop the binding completely
     let