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

[Ivan Lazar Miljenovic]

On 22 April 2011 09:36, Maciej Marcin Piechotka <uzytkownik2 at gmail.com> wrote:
> On Thu, 2011-04-21 at 23:56 +0200, Nick Smallbone wrote:
>> "larry.liuxinyu" <liuxinyu95 at gmail.com> 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 at gmail.com
IvanMiljenovic.wordpress.com