Я пытаюсь понять, как интегрировать некоторые тесты QuickCheck с Cabal. Этотсуть предполагает, чтоquickCheck функция возвращает ненулевое состояние при сбое, но я не получаю такого поведения, поэтому с помощью Cabalexitcode-stdio-1.0 Тип набора тестов, кажется, не работает для меня, если я не хочу звонитьerror во всех моих тестах.

Кликагид пользователя также упоминаетdetailed-1.0 test-suite, но AFAICT этого еще не существует. Это все еще так?

Похоже из ответов вродеэтот что многие люди используютпакет тест-фреймворка, Это для меня излишне, но это то, что я должен использовать?

Я остался недоволен этой ситуацией.

Версии вещей, которые я использую:

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