[Haskell] ANNOUNCE: QuickCheck 2 development version

[Bjorn Bringert]

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