QuickCheck properties for IntSet

David Benbennick dbenbenn at gmail.com
Mon Dec 3 16:58:04 EST 2007

On 12/3/07, Henning Thielemann <lemming at henning-thielemann.de> wrote:
> > And it doesn't even return IO Bool, so I can't use quickCheck to write
> > my own function that calls System.Exit.exitFailure
> This problem was discussed recently:
>  http://www.haskell.org/pipermail/haskell-cafe/2007-November/034811.html

Yes, quickCheck' from QuickCheck 2
(http://darcs.haskell.org/QuickCheck/Test/QuickCheck/Test.hs) would do
the trick.  Are there any plans to upgrade Test.QuickCheck to version
2 in GHC?

More information about the Libraries mailing list