darcs patch: Fix bug in noDuplicate invariant

25 May
2007
25 May
'07
2:12 a.m.
Fri May 25 15:08:42 JST 2007 Rob

25 May
25 May
2:16 a.m.
New subject: [Xmonad] darcs patch: Fix bug in noDuplicate invariant
bobstopper:
Fri May 25 15:08:42 JST 2007 Rob
* 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.
Applied. -- Don
6572
Age (days ago)
6572
Last active (days ago)
1 comments
2 participants
participants (2)
-
dons@cse.unsw.edu.au
-
Robert Marlow