[add UnionSolve selftest
John Meacham <john@repetae.net>**20120118054730
 Ignore-this: bde7d620f534264b4807c1a261ce7719
] addfile ./selftest/UnionSolve.hs
hunk ./selftest/Makefile 10
-all: md5 sha1 TestParse cff SelfTest
+all: md5 sha1 TestParse cff SelfTest UnionSolve
+
+UnionSolve: UnionSolve.hs ../src/Util/UnionSolve.hs
hunk ./selftest/SelfTest.hs 179
+instance Arbitrary Char where
+    arbitrary     = Test.QuickCheck.choose ('\32', '\128')
+    coarbitrary c = variant (fromEnum c `rem` 4)
+
hunk ./selftest/UnionSolve.hs 1
+import Control.Monad.Writer
+import qualified Data.Map as Map
+
+import Util.UnionSolve
+
+
+main = do
+    runTest test1
+
+runTest t = do
+    let w = execWriter test1
+    (_,y) <- solve putStrLn w
+    mapM_ print (Map.toList y)
+
+test1 = do  
+    tell $ 1 @>= True
+    tell $ 2 @>=@ 1
+    tell $ 3 @>=@ 4