diff options
author | Csaba Hruska <csaba.hruska@gmail.com> | 2018-02-03 23:56:21 +0100 |
---|---|---|
committer | Csaba Hruska <csaba.hruska@gmail.com> | 2018-02-03 23:56:21 +0100 |
commit | dc10dc255638b86f4a20a29a1b492e2415640b60 (patch) | |
tree | 69b77c153d7023164096c80b06ab1a5c928e0f24 /test | |
parent | fb2497e7139493d9a61bdd289cf0a5eaf4cafad4 (diff) |
fix: update test for the latest quickcheck smeantic; closes #8
Diffstat (limited to 'test')
-rw-r--r-- | test/UnitTests.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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 = | |||
133 | forAll' :: (TestShow a, Testable prop) | 133 | forAll' :: (TestShow a, Testable prop) |
134 | => Gen a -> (a -> prop) -> Property | 134 | => Gen a -> (a -> prop) -> Property |
135 | forAll' gen pf = | 135 | forAll' gen pf = |
136 | again $ | ||
136 | MkProperty $ | 137 | MkProperty $ |
137 | gen >>= \x -> | 138 | gen >>= \x -> |
138 | unProperty (counterexample (testShow x) (pf x)) | 139 | unProperty (counterexample (testShow x) (pf x)) |