summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDon Stewart <dons@galois.com>2007-09-30 09:38:22 +0200
committerDon Stewart <dons@galois.com>2007-09-30 09:38:22 +0200
commit80f6b60b4164c6217d1d4ac8ae1f38b88fdf05e6 (patch)
treeab7c8999d1536d79b15ed2be47f2688907c2769e
parent948ebedab0b47a5c419d3b3836f26df2f6702244 (diff)
downloadmetatile-80f6b60b4164c6217d1d4ac8ae1f38b88fdf05e6.tar
metatile-80f6b60b4164c6217d1d4ac8ae1f38b88fdf05e6.zip
test lookupWorkspace more deeply
darcs-hash:20070930073822-cba2c-7b661e5bdbdcf99b64f785897af2ecc4278471ea
-rw-r--r--tests/Properties.hs10
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs
index 385769e..4c7c2be 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -555,6 +555,15 @@ prop_lookup_current (x :: T) = lookupWorkspace scr x == Just tg
where
(Screen (Workspace tg _ _) scr _) = current x
+-- looking at a visible tag
+prop_lookup_visible (x :: T) =
+ visible x /= [] ==>
+ fromJust (lookupWorkspace scr x) `elem` tags
+ where
+ tags = [ tag (workspace y) | y <- visible x ]
+ scr = last [ screen y | y <- visible x ]
+
+
-- ---------------------------------------------------------------------
-- testing for failure
@@ -706,6 +715,7 @@ main = do
,("screens includes current", mytest prop_screens)
,("differentiate works", mytest prop_differentiate)
,("lookupTagOnScreen", mytest prop_lookup_current)
+ ,("lookupTagOnVisbleScreen", mytest prop_lookup_visible)
-- testing for failure:
,("abort fails", mytest prop_abort)