[reprocess rules upon initially reading them from the file.
John Meacham <john@repetae.net>**20060816052351] hunk ./Main.hs 190
-    let (ds,uids) = runWriter $ annotateDs imap (collectIdAnn (hoRules ho) (hoProps ho) ) letann lamann (Map.elems $ hoEs ho)
+    let (ds,uids) = runWriter $ annotateDs imap (collectIdAnn rules' (hoProps ho) ) letann lamann (Map.elems $ hoEs ho)
+        rules' = runIdentity $ mapBodies (annotate imap (\_ nfo -> return nfo) (\_ -> return) (\_ -> return)) (hoRules ho)
hunk ./Main.hs 193
-        imap = fromList [ (tvrIdent v,Just (EVar v))| (v,_) <- Map.elems (hoEs accumho)]
-        accumho' = reprocessHo (hoRules ho) (hoProps ho) accumho
+        imap = fromList [ (tvrIdent v,Just (EVar v))| (v,_) <- Map.elems (hoEs accumho `mappend` hoEs ho)]
+        accumho' = reprocessHo rules' (hoProps ho) accumho
hunk ./Main.hs 507
+
+    lintCheckProgram (putErrLn "After the workwrap/CPR") prog
+
hunk ./Main.hs 530
+    lintCheckProgram (putErrLn "After the Opimization") prog