From 30cf0a66c8054d7b68b277847374369599343168 Mon Sep 17 00:00:00 2001 From: Rob Date: Fri, 25 May 2007 08:08:42 +0200 Subject: Fix bug in noDuplicate invariant ws used by noDuplicates is actually a list of list of elements which will pretty rarely raise any flags even if the StackSet actually does contain duplicates. This patch concatenates ws to ensure the quickcheck property tests accurately. darcs-hash:20070525060842-64d90-efb031dd261cee4fdda597447036631bcce708fa.gz --- tests/Properties.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'tests/Properties.hs') diff --git a/tests/Properties.hs b/tests/Properties.hs index eb40539..b93c3a6 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -111,9 +111,9 @@ invariant (s :: T) = and ] where - ws = [ focus t : left t ++ right t - | w <- workspace (current s) : map workspace (visible s) ++ hidden s - , let t = stack w, t /= Empty ] + ws = concat [ focus t : left t ++ right t + | w <- workspace (current s) : map workspace (visible s) ++ hidden s + , let t = stack w, t /= Empty ] :: [Char] noDuplicates = nub ws == ws -- validScreens = monotonic . sort . M. . (W.current s : W.visible : W$ s -- cgit v1.2.3