QuickCheck properties for IntSet
Henning Thielemann
lemming at henning-thielemann.de
Mon Dec 3 06:16:03 EST 2007
On Sun, 2 Dec 2007, Don Stewart wrote:
> dbenbenn:
> > Here's a patch to IntSet.hs that adds many QuickCheck properties. It
> > adds properties testing almost all of the public interface of IntSet,
> > and also properties testing that the data type invariants are never
> > broken. (The patch doesn't test the Data, Eq, Monoid, Read, or
> > Typeable instances.)
> >
> > Also, this patch removes a helper function, foldlStrict, and replaces
> > it with calls to Data.List.foldl'.
> >
> > I have two questions:
> >
> > 1) Is this the right way to submit patches?
>
> Thanks so much David, for taking the time to do this! Getting the
> testing up to date on the somewhat-forgotten base code is really
> important.
Me too. Whenever I used IntSet, I discovered a bug ...
More information about the Libraries
mailing list