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 | 965f49612430751d9cccbc92d9d6ccbf28bf0c8b (patch) | |
| tree | 41ec796841c8caf943f3f1ad8d2a90266e319045 /tests | |
| parent | 51ade462945bb3b668331f03c75efae71095fa69 (diff) | |
| download | xmonad-965f49612430751d9cccbc92d9d6ccbf28bf0c8b.tar.gz xmonad-965f49612430751d9cccbc92d9d6ccbf28bf0c8b.tar.xz xmonad-965f49612430751d9cccbc92d9d6ccbf28bf0c8b.zip | |
Remove toList
darcs-hash:20070426005713-a5988-10ed3204d691050d7ce018072d3fcf03221f545e.gz
Diffstat (limited to '')
| -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) |