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

Maciej Marcin Piechotka uzytkownik2 at gmail.com
Fri Apr 22 01:36:27 CEST 2011


On Thu, 2011-04-21 at 23:56 +0200, Nick Smallbone wrote:
> "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
> 

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

Regards
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 836 bytes
Desc: This is a digitally signed message part
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110422/f2697214/attachment.pgp>


More information about the Haskell-Cafe mailing list