test-framework-quickcheck2 0.2.12.1 → 0.2.12.2

raw patch · 2 files changed

+5/−5 lines, 2 files

Files

• Test/Framework/Providers/QuickCheck2.hs +4/−4
• test-framework-quickcheck2.cabal +1/−1

@@ -65,10 +65,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-quickcheck2-Version:             0.2.12.1+Version:             0.2.12.2 Cabal-Version:       >= 1.2.3 Category:            Testing Synopsis:            QuickCheck2 support for the test-framework package.