X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FbasicTypes%2FIdInfo.lhs;h=3e64ee562627c7efdc643532e236c1c2d4cb6bd1;hb=dffadd63e0e0015782e211909961f76a8abf2ddc;hp=7eacbd8a0b1dd0c6b7a06e947910c314f9e1ea2b;hpb=ca919ae01e81fb4afb2243bb34eceff56ca66043;p=ghc-hetmet.git

diff --git a/compiler/basicTypes/IdInfo.lhs b/compiler/basicTypes/IdInfo.lhs
index 7eacbd8..3e64ee5 100644
--- 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.
-			-- Note [Rule dependency info]
+			-- Note [Rule dependency info] in OccurAnal
 
 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}
 
-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
-
 
 
 %************************************************************************