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

On 22 April 2011 09:36, Maciej Marcin Piechotka wrote:

On Thu, 2011-04-21 at 23:56 +0200, Nick Smallbone wrote:

...

"larry.liuxinyu" writes:

...

Somebody told me that: *** 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...

There was an additional class contrain (Num a). Num default to Int IIRC.

Integer I believe. -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com