[Haskell] ANNOUNCE: QuickCheck 2 development version

Audrey Tang autrijus at gmail.com
Fri Nov 24 16:04:45 EST 2006


在 Nov 24, 2006 9:29 PM 時,Björn Bringert 寫到:

> This is just a quick announcement that the development version of  
> QuickCheck 2 is now available in a public darcs repository.
>
> Some highlights:
> - Shrinks failing test cases.
> - Supports testing monadic code.

Wonderful. Many thanks for QC2! :-)

By the way, since Positive is a type synonym, the  
StrictlyMonotonicFunction instance should perhaps be:

instance Arbitrary StrictlyMonotonicFunction where
   arbitrary = StrictlyMonotonic `fmap` arbMonotonicFunction (\ 
(NonZero (NonNegative x)) -> x)

instead of:

instance Arbitrary StrictlyMonotonicFunction where
   arbitrary = StrictlyMonotonic `fmap` arbMonotonicFunction (\ 
(Positive x) -> x)

Thanks,
Audrey


More information about the Haskell mailing list