From dc10dc255638b86f4a20a29a1b492e2415640b60 Mon Sep 17 00:00:00 2001 From: Csaba Hruska Date: Sat, 3 Feb 2018 23:56:21 +0100 Subject: fix: update test for the latest quickcheck smeantic; closes #8 --- test/UnitTests.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/test/UnitTests.hs b/test/UnitTests.hs index 53c7fc82..f79f328d 100644 --- a/test/UnitTests.hs +++ b/test/UnitTests.hs @@ -133,6 +133,7 @@ x =*= y = forAll' :: (TestShow a, Testable prop) => Gen a -> (a -> prop) -> Property forAll' gen pf = + again $ MkProperty $ gen >>= \x -> unProperty (counterexample (testShow x) (pf x)) -- cgit v1.2.3