[clean up linear analysis a little
John Meacham <john@repetae.net>**20060125004511] hunk ./Grin/Linear.hs 18
+{-
hunk ./Grin/Linear.hs 20
-    mappend Omega Omega = Omega
-    mappend One One = One
+    --mappend Omega Omega = Omega
+    mappend Omega _ = Omega
+    mappend _ Omega = Omega
+    mappend One x = x
+    mappend x One = x
hunk ./Grin/Linear.hs 26
-    mappend x LessThan {} = x
-    mappend LessThan {} x = x
hunk ./Grin/Linear.hs 28
+-}
+
+emptyW = LessThan Set.empty
hunk ./Grin/Linear.hs 35
-        xs' <- flip mapM xs $ \ (Var v _) -> new (mempty :: W) v
+        xs' <- flip mapM xs $ \ (Var v _) -> new (emptyW :: W) v
hunk ./Grin/Linear.hs 47
-        ee <- new mempty v
+        ee <- new emptyW v
hunk ./Grin/Linear.hs 122
+{-
hunk ./Grin/Linear.hs 131
-
+-}
hunk ./Grin/PointsToAnalysis.hs 229
+    flip mapM_ lr $ \ (x,y) -> CharIO.putStrLn $ show x ++ " - " ++ show y
hunk ./Grin/PointsToAnalysis.hs 415
-        --return $ Complex funcEval (Complex funcApply x)
-