projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
f6efe0c
)
Comments only
author
simonpj@microsoft.com
<unknown>
Tue, 22 Jan 2008 12:25:47 +0000
(12:25 +0000)
committer
simonpj@microsoft.com
<unknown>
Tue, 22 Jan 2008 12:25:47 +0000
(12:25 +0000)
compiler/basicTypes/IdInfo.lhs
patch
|
blob
|
history
diff --git
a/compiler/basicTypes/IdInfo.lhs
b/compiler/basicTypes/IdInfo.lhs
index
7eacbd8
..
3e64ee5
100644
(file)
--- a/
compiler/basicTypes/IdInfo.lhs
+++ b/
compiler/basicTypes/IdInfo.lhs
@@
-477,7
+477,7
@@
data SpecInfo
VarSet -- Locally-defined free vars of *both* LHS and RHS
-- of rules. I don't think it needs to include the
-- ru_fn though.
VarSet -- Locally-defined free vars of *both* LHS and RHS
-- of rules. I don't think it needs to include the
-- ru_fn though.
- -- Note [Rule dependency info]
+ -- Note [Rule dependency info] in OccurAnal
emptySpecInfo :: SpecInfo
emptySpecInfo = SpecInfo [] emptyVarSet
emptySpecInfo :: SpecInfo
emptySpecInfo = SpecInfo [] emptyVarSet
@@
-500,16
+500,6
@@
setSpecInfoHead fn (SpecInfo rules fvs)
seqSpecInfo (SpecInfo rules fvs) = seqRules rules `seq` seqVarSet fvs
\end{code}
seqSpecInfo (SpecInfo rules fvs) = seqRules rules `seq` seqVarSet fvs
\end{code}
-Note [Rule dependency info]
-~~~~~~~~~~~~~~~~~~~~~~~~~~~
-THe VarSet in a SpecInfo is used for dependency analysis in the
-occurrence analyser. We must track free vars in *both* lhs and rhs. Why both?
-Consider
- x = y
- RULE f x = 4
-Then if we substitute y for x, we'd better do so in the
- rule's LHS too, so we'd better ensure the dependency is respected
-
%************************************************************************
%************************************************************************