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 /Operations.hs | |
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
Diffstat (limited to 'Operations.hs')
0 files changed, 0 insertions, 0 deletions