twin/xmonad
1
0
Fork 0
mirror of https://github.com/xmonad/xmonad.git synced 2025-08-01 12:41:53 -07:00
Code Issues Packages Projects Releases Wiki Activity

test lookupWorkspace more deeply

Browse Source
This commit is contained in:
Don Stewart
2007-09-30 07:38:22 +00:00
parent ff1918ad20
commit 2196ab7469
1 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
tests/Properties.hs
View File

@@ -555,6 +555,15 @@ prop_lookup_current (x :: T) = lookupWorkspace scr x == Just tg
where where
(Screen (Workspace tg _ _) scr _) = current x (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 -- testing for failure
@@ -706,6 +715,7 @@ main = do
,("screens includes current", mytest prop_screens) ,("screens includes current", mytest prop_screens)
,("differentiate works", mytest prop_differentiate) ,("differentiate works", mytest prop_differentiate)
,("lookupTagOnScreen", mytest prop_lookup_current) ,("lookupTagOnScreen", mytest prop_lookup_current)
,("lookupTagOnVisbleScreen", mytest prop_lookup_visible)
-- testing for failure: -- testing for failure:
,("abort fails", mytest prop_abort) ,("abort fails", mytest prop_abort)