aboutsummaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--tests/Properties.hs21
1 files changed, 12 insertions, 9 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs
index d3f0e3a..b97423f 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -160,6 +160,9 @@ prop_delete_push i x = not (member i x) ==> delete i (push i x) == x
where _ = x :: T
-}
+prop_delete_push i x = not (member i x) ==> delete i (push i x) == x
+ where _ = x :: T
+
prop_delete2 i x =
delete i x == delete i (delete i x)
where _ = x :: T
@@ -168,13 +171,16 @@ prop_focus1 i x = member i x ==> peek (raiseFocus i x) == Just i
where _ = x :: T
-- rotation is reversible in two directions
-prop_rotaterotate1 (x :: T) = rotate LT (rotate GT x) == x
-prop_rotaterotate2 (x :: T) = rotate GT (rotate LT x) == x
+prop_rotaterotate1 (x :: T) = rotate LT (rotate GT x') == x'
+ where x' = rotate LT x
+prop_rotaterotate2 (x :: T) = rotate GT (rotate LT x') == x'
+ where x' = rotate GT x
-- rotation through the height of a stack gets us back to the start
-prop_rotate_all (x :: T) = foldr (\_ y -> rotate GT y) x [1..n] == x
+prop_rotate_all (x :: T) = f (f x) == f x
where
n = height (current x) x
+ f x' = foldr (\_ y -> rotate GT y) x' [1..n]
prop_viewview r x =
@@ -244,12 +250,9 @@ prop_promotescreen n x = screen n (promote x) == screen n x
where _ = x :: T
-- promote doesn't mess with other windows
-prop_promote_raise_id x b = (not . null . fromMaybe [] . flip index x . current $ x) ==>
- (raiseFocus y . promote . raiseFocus z . promote) x == x
+prop_promote_raise_id x = (not . null . fromMaybe [] . flip index x . current $ x) ==>
+ (promote . promote . promote) x == promote x
where _ = x :: T
- dir = if b then LT else GT
- (Just y) = peek x
- (Just (z:_)) = flip index x . current $ x
-- push shouldn't change anything but the current workspace
prop_push_local (x :: T) i = not (member i x) ==> hidden x == hidden (push i x)
@@ -372,7 +375,7 @@ main = do
,("delete/not.member", mytest prop_delete_uniq)
,("delete idempotent", mytest prop_delete2)
- -- disabled, for now ,("delete.push identity" , mytest prop_delete_push)
+ ,("delete.push identity" , mytest prop_delete_push)
,("focus", mytest prop_focus1)