Delete dead code
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Wed, 18 Nov 2009 07:11:01 +0000 (07:11 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Wed, 18 Nov 2009 07:11:01 +0000 (07:11 +0000)
tests/Utilities.hs

index cff2d9c..0e5e3fb 100644 (file)
@@ -117,21 +117,6 @@ unP (P p) = p
 instance Testable (P a) where
   property (P a) = property a
 
-{-
-class TestData a => EqTestable a p where
-  equal :: a -> a -> p
-
-instance (Eq a, TestData a) => EqTestable a Property where
-  equal x y = property (x==y)
-
-instance (Arbitrary a, Show a, TestData a, EqTestable b p) => EqTestable (a -> b) (a -> p) where
-  equal f g = \x -> equal (f x) (g x)
-
-infix 4 `eq`
-eq :: EqTestable a (Pty a) => a -> Model a -> P a
-eq x y = P (equal x (unmodel y))
--}
-
 infix 4 `eq`
 eq :: TestData a => a -> Model a -> P a
 eq x y = P (equal x (unmodel y))