[fix bug in UnionSolve that flipped meet and join for the toppable type
John Meacham <john@repetae.net>**20090829230429
 Ignore-this: e0c3477ebc54fa2033d06f379b9062bb
] hunk ./src/Util/UnionSolve.hs 20
+    -- determine if we are at the top or bottom of the lattice, we can
+    -- solidify bounds if we know we are at an endpoint.
hunk ./src/Util/UnionSolve.hs 24
+
hunk ./src/Util/UnionSolve.hs 27
-    eq :: a -> a -> Bool
hunk ./src/Util/UnionSolve.hs 28
+    eq :: a -> a -> Bool
hunk ./src/Util/UnionSolve.hs 30
+
hunk ./src/Util/UnionSolve.hs 32
+
hunk ./src/Util/UnionSolve.hs 94
-
-
hunk ./src/Util/UnionSolve.hs 98
-data Direction = Lower | Upper
-
-
-
hunk ./src/Util/UnionSolve.hs 336
-    meet (Only a) (Only b) = Only (join a b)
+    meet (Only a) (Only b) = Only (meet a b)
hunk ./src/Util/UnionSolve.hs 339
-    join (Only a) (Only b) = Only (meet a b)
+    join (Only a) (Only b) = Only (join a b)
+    eq Top Top = True
+    eq (Only x) (Only y) = eq x y
+    eq _ _ = False