13 Nov
2012
13 Nov
'12
5:05 p.m.
Thanks, that handy and works for my test. Any idea why the implication does not ??? On Tue, Nov 13, 2012, at 09:59 PM, Ozgur Akgun wrote: hi, On 13 November 2012 21:52, <[1]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 References 1. mailto:graham@fatlazycat.com