From 5667522998a8992695db039fff144902a20ddee6 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 --- tests/Properties.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'tests') 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