Re: QuickCheck properties for IntSet

On Mon, 3 Dec 2007, David Benbennick wrote:

On 12/3/07, Don Stewart wrote:

...

...

I wish I could use QuickCheck to write an actual unit test: that is, an executable program that returns 0 on success, and non-zero on failure. Then we could put these properties in the tests/ directory, and have them automatically executed. Is anyone working on such a feature for QuickCheck?

The 'quickCheck' function does this, iirc.

I don't think so. I do:

...

cat foo.hs import Test.QuickCheck main = quickCheck False runhaskell foo.hs Falsifiable, after 0 tests: echo $? 0

As far as I can see, quickCheck never causes an error exit to happen. 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