[clean up code some
John Meacham <john@repetae.net>**20060130134833] hunk ./Main.hs 22
-import E.Annotate(annotate,annotateDs)
-import E.Arbitrary()
+import E.Annotate(annotate,annotateDs,annotateProgram)
hunk ./Main.hs 384
+
+    -- make sure properties and rules are attached everywhere
+    prog <- return $ runIdentity $ annotateProgram mempty (idann rules (hoProps ho) ) letann lamann prog
+
hunk ./Main.hs 397
-    --let imap = annotateMethods (hoClassHierarchy ho) (hoRules ho) (hoProps ho)
-    lc <- return $ runIdentity $ annotate mempty (idann rules (hoProps ho) ) letann lamann lc
+    -- run first optimization
hunk ./Main.hs 399
-
-
-    --let flLevels = annotateBindings mempty lc
-    --print flLevels
-    --printCheckName dataTable lc
hunk ./Main.hs 400
+
hunk ./Main.hs 408
+    -- run optimization again with no rules enabled
hunk ./Main.hs 473
-    --mapM_ putStrLn (buildShowTableLL $ Map.toList $ grinReturnTags x)
-    --mapM_ putStrLn (buildShowTableLL $ Map.toList $ grinArgTags x)
hunk ./Main.hs 478
-    --mapM_ putStrLn (buildShowTableLL $ Map.toList $ grinReturnTags x)
hunk ./Main.hs 636
+