<br><br><div class="gmail_quote">On Fri, Jul 24, 2009 at 11:29 AM, Felipe Lessa <span dir="ltr"><<a href="mailto:felipe.lessa@gmail.com">felipe.lessa@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im">On Fri, Jul 24, 2009 at 08:11:12PM +0200, Tobias Olausson wrote:<br>
> prop_schedule :: Ord t => [Interval a t] -> Bool<br>
> prop_schedule [] = True<br>
> prop_schedule [a] = True<br>
> prop_schedule (x:y:ys) = end x <= begin y && prop_schedule (y:ys)<br>
</div>[..]<br>
<div class="im">> How come QuickCheck passes 100 tests of random lists? One would think that<br>
> at least one of the generated lists would be unsorted. It also passes<br>
> 1000 and even<br>
> 10000 tests.<br>
<br>
</div>Probably it was defaulting to 'Interval () ()'. Try to do</blockquote><div><br>Cases like this make me feel as though the instance of Ord for () was a mistake.<br><br>Jason</div></div><br>