Haskell Cabal QuickCheck Integration

Ich habe versucht, mit cabal-install meine haskell-Projekte zu erstellen und, was noch wichtiger ist, zu testen, ein wenig ähnlich wie Maven in Java-Projekten verwendet wird, hauptsächlich weil es ein guter Weg zu sein scheint auch in Jenkins oder ein ci oder so zu integrieren, und es scheint in einem Sinne sehr zuverlässig zu sein, dass Sie keine Entwicklungsumgebung brauchen und so eingerichtet, um zu überprüfen und zu bestätigen, ob Code kompiliert und korrekt ist oder nicht.

Wie auch immer, ich verwende QuickCheck und Hunit dafür. In einem anderen Beitrag hier im Stack tauschen ich eine gute Möglichkeit gefunden, HUnit und cabal zu integrieren, indem Sie den Funktionstest in Distribution.TestSuite.HUnit verwenden, um ein exposed tests array in meinem Testmodul zu erstellen. Funktioniert.

Ich habe versucht, den gleichen Stil der Einrichtung mit Quickcheck,

Ich möchte, dass dieser Test fehlschlägt.

Die Cabal-Datei, die ich mit der Hunit-Einrichtung eingerichtet habe, mit laufenden Hunit-Tests und fehlgeschlagen oder nicht fehlgeschlagen, wie sie sollten. Wenn ich das gleiche Setup verwende, um Quickcheck-Tests durchzuführen, sagt Cabal, dass es tatsächlich eine Testsuite gefunden hat, aber keine Tests darin enthalten sind. Ich habe den Ansatz versucht, der auf der erwähnt wird Seite von Distribution.TestSuite.QuickCheck2, aber dort scheinen sie nicht zu erwähnen, wie man den Test aufdeckt und ich schaffe es nicht, diesen Lauf zu machen. Ich bin jetzt ein wenig ratlos, ich kann diese Quickcheck-Tests mit Quickcheck selbst durchführen, aber nicht mit Cabal und ich hätte dies gerne, um alle meine Tests und Code schnell verifizieren und in einem Jenkins oder so verwenden zu können. Jemand eine Idee?

Ich habe versucht, alle Informationen zu geben, die ich für nötig halte, ohne die Dinge zu komplizieren, also habe ich nicht die komplette Cabal-Datei hochgeladen und so weiter, wenn das nötig sein sollte, werde ich das natürlich tun. Ich habe ziemlich viele ähnliche Beiträge gefunden, aber die meisten davon sind auf etwas anderes als detailliert-0.9 zurückzuführen, was sehr schade wäre, da es sehr gut mit Hunit als Setup funktioniert und ich möchte sowohl Hunit als auch QuickCheck verwenden auf die gleiche Weise natürlich, vorzugsweise ausgesetzt ein Test-Array mit Hunit und QuickCheck-Tests gleichermaßen.

Kasper