quickCheckAll总是返回“True”。

Question

我正在尝试遵循另一个答案来使用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。

我的代码出了什么问题？我该怎么修复？

- Ervine

---

说实话，当我尝试时，我也收到了一个警告："在源文件中找到了名称prop_test，但不在作用域内"（并且有一行号指向对quickCheckAll的调用）。非常神秘。 - Daniel Wagner

Answer 1

根据Test.QuickCheck.All文档：

要使用quickCheckAll函数，请在您的模块中添加一条定义，类似于以下内容：

return []
runTests = $quickCheckAll

然后执行runTests。

注意: 上面例子中奇怪的return []在GHC 7.8中是必需的;没有它，quickCheckAll将无法找到任何属性。

在你的check之前添加return []可以让我成功运行它。

- Ørjan Johansen

Answer 2

使用quickCheckAll，您需要一个读取如下的函数： return [] runTests = $quickCheckAll 另一个评论提到了这一点，但没有指出除非该函数位于所有quickCheck函数下面，否则它仍将始终返回true！

- Joseph Boyd