在 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_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
