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 | |
| parent | fb2497e7139493d9a61bdd289cf0a5eaf4cafad4 (diff) | |
fix: update test for the latest quickcheck smeantic; closes #8
| -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)) |