aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDon Stewart <dons@galois.com>2008-03-07 19:16:57 +0100
committerDon Stewart <dons@galois.com>2008-03-07 19:16:57 +0100
commit28692ca46ecf90c5f7630a90fa70c36747e26e2f (patch)
tree7ea8515497cf8b5636a7f6a4e039d3f91f012317
parentf8a11e8f42e7f80bc124ec4b040a31e161d39813 (diff)
downloadxmonad-28692ca46ecf90c5f7630a90fa70c36747e26e2f.tar.gz
xmonad-28692ca46ecf90c5f7630a90fa70c36747e26e2f.tar.xz
xmonad-28692ca46ecf90c5f7630a90fa70c36747e26e2f.zip
more general properties for view, greedyView
darcs-hash:20080307181657-cba2c-cbce57144f581da1aa34ef78dcadba41f7207a5d.gz
-rw-r--r--tests/Properties.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs
index 23d6c8b..f8f0684 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -136,10 +136,10 @@ prop_empty_I (n :: Positive Int) l = forAll (choose (1,fromIntegral n)) $ \m -
invariant $ new l [0..fromIntegral n-1] ms
prop_view_I (n :: NonNegative Int) (x :: T) =
- n `tagMember` x ==> invariant $ view (fromIntegral n) x
+ invariant $ view (fromIntegral n) x
prop_greedyView_I (n :: NonNegative Int) (x :: T) =
- n `tagMember` x ==> invariant $ greedyView (fromIntegral n) x
+ invariant $ greedyView (fromIntegral n) x
prop_focusUp_I (n :: NonNegative Int) (x :: T) =
invariant $ foldr (const focusUp) x [1..n]