Commit 52ed7391 authored by simonpj's avatar simonpj
Browse files

[project @ 2005-07-28 12:48:25 by simonpj]

Fix another minor bogon in the new rules stuff
parent 6edd4302
...@@ -18,7 +18,7 @@ import HscTypes ( HscEnv(..), ModGuts(..), ExternalPackageState(..), ...@@ -18,7 +18,7 @@ import HscTypes ( HscEnv(..), ModGuts(..), ExternalPackageState(..),
import CSE ( cseProgram ) import CSE ( cseProgram )
import Rules ( RuleBase, emptyRuleBase, mkRuleBase, unionRuleBase, import Rules ( RuleBase, emptyRuleBase, mkRuleBase, unionRuleBase,
extendRuleBaseList, pprRuleBase, ruleCheckProgram, extendRuleBaseList, pprRuleBase, ruleCheckProgram,
mkSpecInfo, addSpecInfo ) addSpecInfo, addIdSpecialisations )
import PprCore ( pprCoreBindings, pprCoreExpr, pprRules ) import PprCore ( pprCoreBindings, pprCoreExpr, pprRules )
import OccurAnal ( occurAnalysePgm, occurAnalyseExpr ) import OccurAnal ( occurAnalysePgm, occurAnalyseExpr )
import IdInfo ( setNewStrictnessInfo, newStrictnessInfo, import IdInfo ( setNewStrictnessInfo, newStrictnessInfo,
...@@ -33,7 +33,7 @@ import CoreLint ( endPass ) ...@@ -33,7 +33,7 @@ import CoreLint ( endPass )
import FloatIn ( floatInwards ) import FloatIn ( floatInwards )
import FloatOut ( floatOutwards ) import FloatOut ( floatOutwards )
import Id ( Id, modifyIdInfo, idInfo, isExportedId, isLocalId, import Id ( Id, modifyIdInfo, idInfo, isExportedId, isLocalId,
idSpecialisation, setIdSpecialisation, idName ) idSpecialisation, idName )
import VarSet import VarSet
import VarEnv import VarEnv
import NameEnv ( lookupNameEnv ) import NameEnv ( lookupNameEnv )
...@@ -266,7 +266,9 @@ updateBinders local_rules binds ...@@ -266,7 +266,9 @@ updateBinders local_rules binds
update_bndr bndr = case lookupNameEnv local_rules (idName bndr) of update_bndr bndr = case lookupNameEnv local_rules (idName bndr) of
Nothing -> bndr Nothing -> bndr
Just rules -> bndr `setIdSpecialisation` mkSpecInfo rules Just rules -> bndr `addIdSpecialisations` rules
-- The binder might have some existing rules,
-- arising from specialisation pragmas
\end{code} \end{code}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment