Rob a36bd31973 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.

2007-05-25 06:08:42 +00:00

..

Catch.hs

Update the Catch checking to the new interface for StackSet

2007-05-22 01:54:22 +00:00

loc.hs

bump LOC limit to 550

2007-05-10 03:27:31 +00:00

Properties.hs

Fix bug in noDuplicate invariant

2007-05-25 06:08:42 +00:00