From e364faee5e82583f75bc8dd18b6d18269c851cac Mon Sep 17 00:00:00 2001 From: Karsten Schoelzel Date: Sat, 28 Jul 2007 20:45:34 +0200 Subject: QuickCheck filter preserves order darcs-hash:20070728184534-eb3a1-68bbf44ab26db69a4aa75fb97cb516ebf6c963bb --- tests/Properties.hs | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'tests') diff --git a/tests/Properties.hs b/tests/Properties.hs index 452267f..589275a 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -1,6 +1,7 @@ {-# OPTIONS -fglasgow-exts #-} import StackSet hiding (filter) +import qualified StackSet as S (filter) import Operations (tile) import Debug.Trace @@ -401,6 +402,15 @@ prop_delete_focus_not_end (x :: T) = where Just n = peek x +-- --------------------------------------------------------------------- +-- filter + +-- preserve order +prop_filter_order (x :: T) = + case stack $ workspace $ current x of + Nothing -> True + Just s@(Stack i _ _) -> integrate' (S.filter (/= i) s) == filter (/= i) (integrate' (Just s)) + -- --------------------------------------------------------------------- -- swapUp, swapDown, swapMaster: reordiring windows @@ -548,6 +558,8 @@ main = do ,("delete last/focus up", mytest prop_delete_focus_end) ,("delete ~last/focus down", mytest prop_delete_focus_not_end) + ,("filter preserves order", mytest prop_filter_order) + ,("swapMaster: invariant", mytest prop_swap_master_I) ,("swapUp: invariant" , mytest prop_swap_left_I) ,("swapDown: invariant", mytest prop_swap_right_I) -- cgit v1.2.3