Re: [Haskell-cafe] QuickCheck behaving strange

I've felt a bit stupid using instance Monoid ()... but it seemed quite natural. On 24 Jul 2009, at 22:33, Jason Dagit wrote:

...

prop_schedule :: Ord t => [Interval a t] -> Bool prop_schedule [] = True prop_schedule [a] = True prop_schedule (x:y:ys) = end x <= begin y && prop_schedule (y:ys) [..] How come QuickCheck passes 100 tests of random lists? One would

...

at least one of the generated lists would be unsorted. It also

On Fri, Jul 24, 2009 at 11:29 AM, Felipe Lessa wrote: On Fri, Jul 24, 2009 at 08:11:12PM +0200, Tobias Olausson wrote: think that passes

...

1000 and even 10000 tests.

Probably it was defaulting to 'Interval () ()'. Try to do

Cases like this make me feel as though the instance of Ord for () was a mistake.

Jason

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe