13 Nov
2012
13 Nov
'12
4:59 p.m.
hi,
On 13 November 2012 21:52,
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