[Haskell-cafe] QuickCheck behaving strange
felipe.lessa at gmail.com
Fri Jul 24 14:29:32 EDT 2009
On Fri, Jul 24, 2009 at 08:11:12PM +0200, Tobias Olausson 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 think that
> at least one of the generated lists would be unsorted. It also passes
> 1000 and even
> 10000 tests.
Probably it was defaulting to 'Interval () ()'. Try to do
on your GHCi prompt to see when these things happen.
More information about the Haskell-Cafe