Статус выхода QuickCheck при сбоях, и интеграция с Кабалой

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

Руководство пользователя Cabal также упоминает набор тестов detail-1.0 , но, AFAICT, этого еще не существует. Так ли это до сих пор?

Судя по ответам вроде этого , многие люди используют пакет test-framework . Для меня это перебор, но разве я должен это использовать?

Меня эта ситуация не удовлетворяет.

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

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