[Haskell-cafe] QuickCheck, (Ord a)=> [a] -> Property problem

[Nick Smallbone]

"larry.liuxinyu" <liuxinyu95 at gmail.com> writes:

> Somebody told me that:
> Eduard Sergeev • BTW, more recent QuickCheck (from Haskell Platform
> 2011.2.0.X - contains QuickCheck-2.4.0.1) seems to identifies the
> problem correctly:
>
> *** Failed! Falsifiable (after 3 tests and 2 shrinks):
> [0,1]
> False

I don't think this can be true: the problem occurs in GHCi and there's
no way for QuickCheck to detect it. And when I tested it I got the same
problem. There must be some difference between the properties you both
tested...

Nick