Patch for Debug.QuickCheck

Isaac Jones ijones at syntaxpolice.org
Wed Feb 4 13:15:52 EST 2004


While we're talking about quickcheck, I noticed that the "vector"
function mentioned in the manual is inconsistent with the one in the libraries:

The manual [1] claims:

Useful Generator Combinators
If g is a generator for type t, then

    * two g generates a pair of ts,
    * three g generates a triple of ts,
    * four g generates a quadruple of ts,
    * vector n g generates a list of n ts. 
...

Whereas the type is actually:
vector :: Arbitrary a => Int -> Gen [a]

BTW, Martin's suggestion (defaultConfig) is useful for when I want to
use "check" to run a particular number of tests (say 200 instead of
the default 100) but I don't want to bother changing the other
sensible values.

peace,

isaac

[1] http://www.math.chalmers.se/~rjmh/QuickCheck/manual.html


More information about the Libraries mailing list