From 3e35714a039779be26df0bbdeba4e2a282ec799a Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Tue, 22 Jan 2008 12:25:47 +0000 Subject: [PATCH] Comments only --- compiler/basicTypes/IdInfo.lhs | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) 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 - %************************************************************************ -- 1.7.10.4