Add StackSet.allWindows

darcs-hash:20071001163959-a5988-243d115545b70eafcaaedd9440ddf525ea15aa32

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)