From 3dad7d93d1c0c144aee759842557aca053d8c4ff Mon Sep 17 00:00:00 2001 From: Devin Mullins Date: Mon, 12 May 2008 00:42:58 +0200 Subject: add currentTag convenience function darcs-hash:20080511224258-78224-93d0cc4af977965e2e27e96efb67a6f362ebbbc1 --- tests/Properties.hs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'tests') 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) -- cgit v1.2.3