[Haskell] ANNOUNCE: QuickCheck 2 development version
Bjorn Bringert
bringert at cs.chalmers.se
Fri Nov 24 16:30:13 EST 2006
On 24 nov 2006, at 22.04, Audrey Tang wrote:
>
> 在 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! :-)
Thank Koen.
> 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)
Oops, thanks. How did I manage to push the change to Positive without
building? Now let's move any discussion about my silly mistakes off
this list.
/Björn
More information about the Haskell
mailing list