aboutsummaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
authorDevin Mullins <me@twifkak.com>2008-05-12 00:42:58 +0200
committerDevin Mullins <me@twifkak.com>2008-05-12 00:42:58 +0200
commitd089d9eeb64c119ebc4d0338371a2a6cb9fb5281 (patch)
tree40c34f1d5fe221b8c5a179df7684a6e4ce8992e1 /tests
parent4e43fa7d4d090293de00abdc5ae10cf4a529ea36 (diff)
downloadxmonad-d089d9eeb64c119ebc4d0338371a2a6cb9fb5281.tar.gz
xmonad-d089d9eeb64c119ebc4d0338371a2a6cb9fb5281.tar.xz
xmonad-d089d9eeb64c119ebc4d0338371a2a6cb9fb5281.zip
add currentTag convenience function
darcs-hash:20080511224258-78224-93d0cc4af977965e2e27e96efb67a6f362ebbbc1.gz
Diffstat (limited to 'tests')
-rw-r--r--tests/Properties.hs4
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs
index 010a05e..9b0e83c 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -378,6 +378,9 @@ prop_findIndex (x :: T) =
prop_allWindowsMember w (x :: T) = (w `elem` allWindows x) ==> member w x
+prop_currentTag (x :: T) =
+ currentTag x == tag (workspace (current x))
+
-- ---------------------------------------------------------------------
-- 'insert'
@@ -895,6 +898,7 @@ main = do
,("findTag" , mytest prop_findIndex)
,("allWindows/member" , mytest prop_allWindowsMember)
+ ,("currentTag" , mytest prop_currentTag)
,("insert: invariant" , mytest prop_insertUp_I)
,("insert/new" , mytest prop_insert_empty)