QuickCheckAll всегда возвращает "True"

Я пытаюсь использовать 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.

Что случилось с моим кодом? Как я могу это исправить?

Ответы

Ответ 1

Из Test.QuickCheck.All docs:

Чтобы использовать quickCheckAll, добавьте определение в свой модуль по строкам

return []
runTests = $quickCheckAll

а затем выполните runTests.

Примечание: странный return [] в приведенном выше примере необходим для GHC 7.8; без него quickCheckAll не сможет найти какие-либо свойства.

Добавление return [] до того, как ваш check сделает это для меня.

Ответ 2

Чтобы использовать QuickCheckAll, вам нужна функция, которая гласит:

return [] runTests = $quickCheckAll

В другом комментарии упоминается об этом, но не указывается, что он все равно всегда будет возвращать true, если функция не находится ниже всех ваших функций QuickCheck!