Haskell 快速检查故障和阴谋集团整合的退出状态

我试图了解如何将一些快速检查测试与阴谋集团相结合。这表明

quickCheck

函数在失败时返回非零状态，但我没有得到这种行为，因此使用cabal的

exitcode-stdio-1.0

测试套件类型似乎不适合我，除非我想在所有测试中调用

error

阴谋集团还提到了一个

detailed-1.0

测试套件，但目前还不存在。还是这样吗

从答案来看，似乎很多人都在使用。这对我来说太过分了，但这就是我应该使用的吗

我对这种情况有点不满意

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

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

现在看来，它确实从未退出过该计划。但是，您可以通过以下方式轻松实现此行为：

import-Control.Monad
导入测试。快速检查
导入Test.QuickCheck.Test
导入系统。退出
main:：IO（）
main=do
结果我在最新版本的软件包中使用了测试框架。这并不过分；它做的正是我们想要的。如果你想要一个如何使用它的例子，请看一看。
谢谢你的例子，我想我会去的。我知道这已经是3年多的时间了，但我只是花了太多时间试图弄清楚你还需要导入测试。快速检查。测试
的
问题成功
才能“进入范围”。万一有人也有这个问题。另一方面，有没有办法让它变得更好？（即，不必同时进行
导入测试。快速检查
，但也要进行
测试。快速检查。测试
？）@conrad它显然在某些方面有所改进：现在处于
测试。快速检查
。
import Control.Monad
import Test.QuickCheck
import Test.QuickCheck.Test
import System.Exit

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