hi,

On 13 November 2012 21:52, <graham@fatlazycat.com> wrote:

prop_something x y = .......do blah with positive integers
==> x > 0 && y > 0

quickcheck provides a few nice new types for such cases. try:

prop_something (Positive x) (Positive y) = ...

this way qc only generates positive numbers, instead of generating and discarding some.

hth,

--
Ozgur Akgun