<!DOCTYPE html>
<html>
<head>
<title></title>
</head>
<body><div>Thanks, that handy and works for my test.<br></div>
<div> </div>
<div>Any idea why the implication does not ??? </div>
<div> </div>
<div> </div>
<div>On Tue, Nov 13, 2012, at 09:59 PM, Ozgur Akgun wrote:<br></div>
<blockquote class="QuoteMessage" type="cite"><div class="gmail_extra">hi,<br></div>
<div class="gmail_extra"> </div>
<div class="gmail_extra"><div>On 13 November 2012 21:52, <span dir="ltr"><<a href="mailto:graham@fatlazycat.com" target="_blank">graham@fatlazycat.com</a>></span> wrote:<br></div>
<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>prop_something x y = .......do blah with positive integers<br></div>
<div>
==> x > 0 && y > 0<br></div>
</blockquote></div>
<div> </div>
<div>quickcheck provides a few nice new types for such cases. try:<br></div>
</div>
<div class="gmail_extra"> </div>
<div class="gmail_extra">prop_something (Positive x) (Positive y) = ...<br></div>
<div class="gmail_extra"> </div>
<div class="gmail_extra"><div>this way qc only generates positive numbers, instead of generating and discarding some.<br></div>
<div> </div>
<div>hth,<br></div>
<div> </div>
<div>-- <br></div>
<div>Ozgur Akgun<br></div>
</div>
</blockquote></body>
</html>