[annotate within attached rules as well
John Meacham <john@repetae.net>**20051002020402] hunk ./E/Annotate.hs 9
+import E.Rules
hunk ./E/Annotate.hs 51
+        caseBind <- procRules caseBind
hunk ./E/Annotate.hs 67
+        tvr <- procRules tvr
hunk ./E/Annotate.hs 86
+        tvr <- procRules tvr
hunk ./E/Annotate.hs 93
+        tvr <- procRules tvr
hunk ./E/Annotate.hs 100
+
+    procRules tvr = case Info.lookup (tvrInfo tvr) of
+        Nothing -> return tvr
+        Just r -> do
+            r' <- mapABodies f r
+            return tvr { tvrInfo = Info.insert r' (tvrInfo tvr) }