Question

我正在尝试在another answer之后使用QuickCheck。我这样测试：

{-# LANGUAGE TemplateHaskell #-}
import Test.QuickCheck
import Test.QuickCheck.All


last' :: [a] -> a
last' [x] = x
last' (_:xs) = last' xs

prop_test x = last' x == last x

check = do
        putStrLn "quickCheck"
        quickCheck (prop_test :: [Char]-> Bool)

check2 = do
        putStrLn "quickCheckAll"
        $quickCheckAll

然后我将其加载到winGHCI并致电check和check2。我得到了

quickCheck
*** Failed! (after 1 test): 
Exception:
  list.hs:(7,1)-(8,23): Non-exhaustive patterns in function last'
""

我认为这是合理的。但是，我从check2

获得此信息

quickCheckAll
True

我很困惑，因为无论我如何更改last'函数，即使错误，quickCheckAll也总是返回True。

我的代码出了什么问题？我该如何解决这个问题？

Answer 1

来自Test.QuickCheck.All文档：

要使用quickCheckAll，请按照
的方式向模块添加定义
return []
runTests = $quickCheckAll
然后执行runTests。

注意：GHC 7.8中需要上例中的奇怪return [];没有它，quickCheckAll将无法找到任何属性。

在return []之前添加check使其对我有效。

Answer 2

要使用quickCheckAll，您需要一个函数：

return [] runTests = $quickCheckAll

另一条评论提到了这一点，但并没有指出除非该函数位于所有quickCheck函数的下方，否则它仍将始终返回true！

quickCheckAll总是返回＆＃34; True＆＃34;

2 个答案: