[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 (file)
--- 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