diff options
| author | Rob <bobstopper@bobturf.org> | 2007-05-25 08:08:42 +0200 |
|---|---|---|
| committer | Rob <bobstopper@bobturf.org> | 2007-05-25 08:08:42 +0200 |
| commit | 5667522998a8992695db039fff144902a20ddee6 (patch) | |
| tree | a984c5611de03ac2b05f06c4e68e258f752fa967 | |
| parent | 9ccdc0caa54fb30df8556382db673ee242ec14a4 (diff) | |
| download | metatile-5667522998a8992695db039fff144902a20ddee6.tar metatile-5667522998a8992695db039fff144902a20ddee6.zip | |
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
| -rw-r--r-- | tests/Properties.hs | 6 |
1 files changed, 3 insertions, 3 deletions
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 |