[remove need for Boolean
John Meacham <john@repetae.net>**20070126113702] hunk ./E/FromHs.hs 16
-import Prelude hiding((&&),(||),not,and,or,any,all,head)
+import Prelude
hunk ./E/FromHs.hs 21
-import Boolean.Algebra
hunk ./E/FromHs.hs 80
-head (x:_) = x
-head _ = error "FromHsHeadError"
-
hunk ./Grin/Grin.hs 67
-import Prelude hiding((&&),(||),not,and,or,any,all)
+import Prelude
hunk ./Grin/Grin.hs 72
-import Boolean.Algebra
hunk ./SelfTest.hs 13
-import Boolean.TestCases
hunk ./SelfTest.hs 35
-    putStrLn "Testing Boolean Library"
-    testBoolean
hunk ./SelfTest.hs 115
-testBoolean = do
-    quickCheck (\(x::Bool) -> prop_notnot x)
-    quickCheck (\(x::Int) -> prop_notnot x)
-    quickCheck (\(x::Int) -> prop_true x)
-    quickCheck (\(x::Int) -> prop_false x)
-    quickCheck (\(x::(Int,(Bool,Int))) -> prop_notnot x)
-    quickCheck (\(x::(Int,(Bool,Int))) -> prop_true x)
-    quickCheck (\(x::(Int,(Bool,Int))) -> prop_false x)
-    quickCheck (\(x::(Int,(Bool,Int))) -> prop_false' x)
-    quickCheck (\(x::[(Int,(Bool,Int))]) -> null x `trivial` prop_demorgan x)
-    quickCheck (\(x::[(Int,(Bool,Int))]) -> null x `trivial` prop_demorgan' x)
-    quickCheck $ prop_truefalse [3::Int] []
-    quickCheck $ prop_truefalse (Just True) Nothing
-    quickCheck $ prop_truefalse ((Right True),[3::Int]) (Left (), [])