From 596be5ddf371dae9d5e07da35b3773cda5423eef Mon Sep 17 00:00:00 2001 From: Spencer Janssen Date: Mon, 1 Oct 2007 18:39:59 +0200 Subject: Add StackSet.allWindows darcs-hash:20071001163959-a5988-243d115545b70eafcaaedd9440ddf525ea15aa32 --- tests/Properties.hs | 3 +++ 1 file changed, 3 insertions(+) (limited to 'tests') 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) -- cgit v1.2.3