[Haskell-cafe] doctest-extract

[Henning Thielemann]

On Sat, 1 Aug 2020, Henning Thielemann wrote:

> There is still a problem: A failing QuickCheck test does not abort the whole 
> test-suite. 'cabal test' will report success even if one QuickCheck property 
> test fails. I wonder what is the proposed way to make a failing property fail 
> the test-suite? I could use (QC.whenFail exitFailure). Is this the intended 
> way?

(whenFail exitFailure) would not even help. QuickCheck catches it and 
keeps going. :-(