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

index 6a1fbb1..a84dbeb 100644 (file)
@@ -33,7 +33,6 @@ instance Arbitrary a => Arbitrary (S.Stream a) where
 instance CoArbitrary a => CoArbitrary (S.Stream a) where
     coarbitrary = coarbitrary . S.toList
 
-
 class Modelled a where
   type Model a
   -- | Convert a concrete value into an abstract model
@@ -155,116 +154,6 @@ p ===> P a = P (predicate p a)
 
 notNull2 _ xs = not $ DVG.null xs
 
-{-
-class EqTestable a where
-  equal :: a -> a -> P a
-
-#define EqTestable0(ty) \
-instance EqTestable (ty) where { equal x y = P (property (x == y)) }
-
-EqTestable0(Bool)
-EqTestable0(Int)
-EqTestable0(Float)
-EqTestable0(Double)
-EqTestable0(Ordering)
-
-#define EqTestable1(ty) \
-instance Eq a => EqTestable (ty a) where { equal x y = P (property (x == y)) }
-
-EqTestable1(Maybe)
-EqTestable1([])
-EqTestable1(DV.Vector)
-EqTestable1(S.Stream)
-
-instance (Eq a, DVP.Prim a) => EqTestable (DVP.Vector a) where
-  equal x y = P (property (x == y))
-
-instance (Eq a, Eq b) => EqTestable (a,b) where
-  equal x y = P (property (x == y))
-
-instance (Eq a, Eq b, Eq c) => EqTestable (a,b,c) where
-  equal x y = P (property (x == y))
-
-instance (Arbitrary a, Show a, EqTestable b) => EqTestable (a -> b) where
-  equal f g = P (\x -> unP (f x `equal` g x))
-
-infix 4 `eq`
-eq :: (Modelled a, EqTestable a) => a -> Model a -> P a
-x `eq` y = x `equal` unmodel y
--}
-
-{-
-class (Predicate (EqTest a), Testable (EqTest a)) => EqTestable a where
-  type EqTest a
-
-  equal :: a -> a -> EqTest a
-
-#define EqTestable0(ty) \
-instance EqTestable (ty) where { type EqTest (ty) = Bool; equal = (==) }
-
-EqTestable0(Bool)
-EqTestable0(Int)
-EqTestable0(Float)
-EqTestable0(Double)
-EqTestable0(Ordering)
-
-#define EqTestable1(ty) \
-instance Eq a => EqTestable (ty a) where { type EqTest (ty a) = Bool; equal = (==) }
-
-EqTestable1(Maybe)
-EqTestable1([])
-EqTestable1(DV.Vector)
-EqTestable1(S.Stream)
-
-instance (Eq a, DVP.Prim a) => EqTestable (DVP.Vector a) where
-  type EqTest (DVP.Vector a) = Bool
-  equal = (==)
-
-instance (Eq a, Eq b) => EqTestable (a,b) where
-  type EqTest (a,b) = Bool
-  equal = (==)
-
-instance (Eq a, Eq b, Eq c) => EqTestable (a,b,c) where
-  type EqTest (a,b,c) = Bool
-  equal = (==)
-
-instance (Arbitrary a, Show a, EqTestable b) => EqTestable (a -> b) where
-  type EqTest (a -> b) = a -> EqTest b
-
-  equal f g x = f x `equal` g x
-
-newtype P a = P (EqTest a)
-
-instance EqTestable a => Testable (P a) where
-  property (P t) = property t
-
-
-infix 4 `eq`
-eq :: (Modelled a, EqTestable a) => a -> Model a -> P a
-x `eq` y = P (x `equal` unmodel y)
-
-class Testable (Pty f) => Predicate f where
-  type Pred f
-  type Pty f
-
-  infixr 0 ===>
-  (===>) :: Pred f -> f -> Pty f
-
-instance Predicate Bool where
-  type Pred Bool = Bool
-  type Pty Bool = Property
-
-  (===>) = (==>)
-
-instance (Arbitrary a, Show a, Predicate f) => Predicate (a -> f) where
-  type Pred (a -> f) = a -> Pred f
-  type Pty (a -> f) = a -> Pty f
-
-  p ===> f = \x -> p x ===> f x
-
-notNull2 _ xs = not $ DVG.null xs
--}
-
 -- Generators
 index_value_pairs :: Arbitrary a => Int -> Gen [(Int,a)]
 index_value_pairs 0 = return []