Estado de salida QuickCheck en fallas, y integración cabal

Question

Estoy tratando de entender cómo integrar algunas pruebas de comprobación rápida con cabal. Este gist sugiere que la función quickCheck devuelve un estado distinto de cero en caso de error, pero no obtengo ese comportamiento, por lo que el tipo de prueba exitcode-stdio-1.0 de cabal no parece funcionar a menos que desee llamar al error en todas mis pruebas.

El cabal user guide también menciona un detailed-1.0 banco de pruebas, pero AFAICT esto no existe todavía. ¿Sigue siendo el caso?

Parece de las respuestas como this one que mucha gente está usando el test-framework package. Eso es exagerado para mí, pero ¿es eso lo que debería usar?

Me quedé un poco insatisfecho con esta situación.

versiones de las cosas que estoy usando:

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

Answer 1

En cuanto a quickCheck's implementation, que de hecho nunca se sale del programa. Sin embargo, se puede implementar fácilmente este comportamiento usando quickCheckResult:

import Control.Monad 
import Test.QuickCheck 
import Test.QuickCheck.Test 
import System.Exit 

main :: IO() 
main = do 
    result <- quickCheckResult prop 
    unless (isSuccess result) exitFailure 

Mi entendimiento es que detailed-1.0 no se considera listo para el uso general, sin embargo, y que exitcode-stdio-1.0 sigue siendo la solución de prueba recomendada por ahora.

Answer 2

Utilicé test-framework en la última versión de mi paquete Decimal. No fue excesivo; hizo justo lo que se quería. Eche un vistazo al complete source code si desea un ejemplo de cómo usarlo.