From 550ef9c28f126744e56a3ce0cc558a99ba8bce87 Mon Sep 17 00:00:00 2001 From: Spencer Janssen Date: Thu, 26 Apr 2007 02:57:13 +0200 Subject: Remove toList darcs-hash:20070426005713-a5988-10ed3204d691050d7ce018072d3fcf03221f545e --- tests/Properties.hs | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) (limited to 'tests') diff --git a/tests/Properties.hs b/tests/Properties.hs index 62d5ec6..c55a632 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -35,9 +35,6 @@ instance (Integral i, Integral j, Ord a, Arbitrary a) => Arbitrary (StackSet i j return $ fromList (fromIntegral n,sc,ls) coarbitrary = error "no coarbitrary for StackSet" -prop_id x = fromList (toList x) == x - where _ = x :: T - prop_member1 i n m = member i (push i x) where x = empty n m :: T @@ -243,9 +240,7 @@ main = do n = 100 tests = - [("read.show ", mytest prop_id) - - ,("member/push ", mytest prop_member1) + [("member/push ", mytest prop_member1) ,("member/peek ", mytest prop_peekmember) ,("member/delete ", mytest prop_member2) ,("member/empty ", mytest prop_member3) -- cgit v1.2.3