Re: [Haskell-cafe] HTF & Quickcheck

On Mon, Dec 17, 2012 at 03:50:32PM +0000, graham@fatlazycat.com wrote:

Getting test failures, I believe, due to using conditional properties within quickckeck etc

[TEST] RecFunSpec:map (test/RecFunSpec.hs:48) Gave up! Passed only 20 tests. *** Failed! (2ms)

Is there a way for HTF/Quickcheck to specify these are not failed i.e. only fail if there is an actual error ?

I have no idea about HTF, but QuickCheck thinks those are failures, too. If I run into something like this, it indicates a "bug" in my arbitrary instance. Here I would just adapt it so that it generates valid test data (possibly with the help of a newtype wrap). Cheers, Simon