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