diff options
author | Spencer Janssen <sjanssen@cse.unl.edu> | 2007-10-01 18:39:59 +0200 |
---|---|---|
committer | Spencer Janssen <sjanssen@cse.unl.edu> | 2007-10-01 18:39:59 +0200 |
commit | c5906882f03a5a01e3458e0fdd20e5f426d696bc (patch) | |
tree | 270552da5d086363267efb54e9b4c58873774d43 /tests/Properties.hs | |
parent | a5a628b5f89eeb2d8e6a80a8575ede4487666db2 (diff) | |
download | xmonad-c5906882f03a5a01e3458e0fdd20e5f426d696bc.tar.gz xmonad-c5906882f03a5a01e3458e0fdd20e5f426d696bc.tar.xz xmonad-c5906882f03a5a01e3458e0fdd20e5f426d696bc.zip |
Add StackSet.allWindows
darcs-hash:20071001163959-a5988-243d115545b70eafcaaedd9440ddf525ea15aa32.gz
Diffstat (limited to 'tests/Properties.hs')
-rw-r--r-- | tests/Properties.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs index 2bc5443..9818f30 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -363,6 +363,8 @@ prop_findIndex (x :: T) = , i <- focus t : up t ++ down t ] +prop_allWindowsMember w (x :: T) = (w `elem` allWindows x) ==> member w x + -- --------------------------------------------------------------------- -- 'insert' @@ -687,6 +689,7 @@ main = do ,("focusWindow works" , mytest prop_focusWindow_works) ,("findIndex" , mytest prop_findIndex) + ,("allWindows/member" , mytest prop_allWindowsMember) ,("insert: invariant" , mytest prop_insertUp_I) ,("insert/new" , mytest prop_insert_empty) |