test-framework-quickcheck 0.2.8 → 0.2.8.1

raw patch · 2 files changed

+5/−5 lines, 2 files

Files

• Test/Framework/Providers/QuickCheck.hs +4/−4
• test-framework-quickcheck.cabal +1/−1

@@ -52,10 +52,10 @@         tests_run_str = fmap show mb_tests_run `orElse` "an unknown number of"  propertySucceeded :: PropertyResult -> Bool-propertySucceeded (PropertyResult { pr_status = status, pr_tests_run = mb_n }) = case status of-  PropertyOK                 -> True-  PropertyArgumentsExhausted -> maybe False (/= 0) mb_n-  _                          -> False+propertySucceeded pr = case pr_status pr of+  PropertyOK -> True+  -- NB: Simon Hengel argues in #16 that argument exhaustion should be an error even if we managed to run at least 1 test+  _          -> False   data Property = forall a. Testable a => Property a

@@ -1,5 +1,5 @@ Name:                test-framework-quickcheck-Version:             0.2.8+Version:             0.2.8.1 Cabal-Version:       >= 1.2.3 Category:            Testing Synopsis:            QuickCheck support for the test-framework package.