[Haskell-cafe] doctest-extract

[Henning Thielemann]

I have started an alternative implementation of 'doctest'. In contrast to 
the original one, doctest-extract extracts Haskell test-modules from 
doctest comments. This integrates better with Cabal and its package 
version resolution and the tests are compiled, not interpreted in GHCi. 
Disadvantage is that doctest-extract does not support all features of 
'doctest', e.g. IO-tests.

I uploaded a preview as package candidates to Hackage:

$ cabal install $(for pkg in doctest-extract-0.0 doctest-lib-0.0 utility-ht-0.0.16 non-empty-0.3.3; do echo https://hackage.haskell.org/package/$pkg/candidate/$pkg.tar.gz; done)


Extract test modules like so:

$ doctest-extract -i src/ -o test/ --executable-main=Test/Main.hs --import-tested $$(cat test-module.list)


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?