diff options
| author | Spencer Janssen <sjanssen@cse.unl.edu> | 2007-04-26 02:57:13 +0200 |
|---|---|---|
| committer | Spencer Janssen <sjanssen@cse.unl.edu> | 2007-04-26 02:57:13 +0200 |
| commit | 550ef9c28f126744e56a3ce0cc558a99ba8bce87 (patch) | |
| tree | 41ec796841c8caf943f3f1ad8d2a90266e319045 /tests | |
| parent | 4a5377c57108dc9cf21e5a86945c6f1e6288b294 (diff) | |
| download | metatile-550ef9c28f126744e56a3ce0cc558a99ba8bce87.tar metatile-550ef9c28f126744e56a3ce0cc558a99ba8bce87.zip | |
Remove toList
darcs-hash:20070426005713-a5988-10ed3204d691050d7ce018072d3fcf03221f545e
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/Properties.hs | 7 |
1 files changed, 1 insertions, 6 deletions
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) |