haskell - QuickCheck 失败退出状态和 cabal 整合

Question

我试图了解如何将一些快速检查测试与 cabal 集成。这个gist建议 quickCheck函数在失败时返回非零状态，但我没有得到这种行为，所以使用 cabal 的 exitcode-stdio-1.0除非我想调用 error，否则测试套件类型似乎对我不起作用遍及我的测试。

cabal user guide还提到了 detailed-1.0测试套件，但 AFAICT 这还不存在。还是这样吗？

似乎来自 this one 之类的答案很多人都在使用test-framework package .这对我来说太过分了，但那是我应该使用的吗？

我对这种情况有点不满意。

我正在使用的东西的版本:

cabal-install version 0.10.2
using version 1.10.1.0 of the Cabal library
QuickCheck-2.4.1.1

Answer 1

看 quickCheck 's implementation ，它确实永远不会退出程序。但是，您可以使用 quickCheckResult 轻松实现此行为。 :

import Control.Monad
import Test.QuickCheck
import Test.QuickCheck.Test
import System.Exit

main :: IO ()
main = do
  result <- quickCheckResult prop
  unless (isSuccess result) exitFailure

我的理解是 detailed-1.0还没有被认为可以普遍使用，并且 exitcode-stdio-1.0目前仍然是推荐的测试解决方案。