test-framework-quickcheck2 0.2.10 → 0.2.11
raw patch · 2 files changed
+8/−10 lines, 2 files
Files
Test/Framework/Providers/QuickCheck2.hs view
@@ -62,12 +62,10 @@ tests_run_str = fmap show mb_tests_run `orElse` "an unknown number of" propertySucceeded :: PropertyResult -> Bool-propertySucceeded property_result = propertyStatusIsSuccess (pr_status property_result)--propertyStatusIsSuccess :: PropertyStatus -> Bool-propertyStatusIsSuccess PropertyOK = True-propertyStatusIsSuccess PropertyArgumentsExhausted = True-propertyStatusIsSuccess _ = False+propertySucceeded (PropertyResult { pr_status = status, pr_tests_run = mb_n }) = case status of+ PropertyOK -> True+ PropertyArgumentsExhausted -> maybe False (/= 0) mb_n+ _ -> False data Property = forall a. Testable a => Property a
test-framework-quickcheck2.cabal view
@@ -1,5 +1,5 @@ Name: test-framework-quickcheck2-Version: 0.2.10+Version: 0.2.11 Cabal-Version: >= 1.2.3 Category: Testing Synopsis: QuickCheck2 support for the test-framework package.@@ -21,17 +21,17 @@ Library Exposed-Modules: Test.Framework.Providers.QuickCheck2- + Build-Depends: test-framework >= 0.2.0 && < 0.5.0, QuickCheck >= 2.4 && < 2.5, extensible-exceptions >= 0.1.1 && < 0.2.0 if flag(base3) Build-Depends: base >= 3 && < 4, random >= 1 else if flag(base4) Build-Depends: base >= 4 && < 5, random >= 1- + Extensions: TypeSynonymInstances TypeOperators MultiParamTypeClasses ExistentialQuantification- + Ghc-Options: -Wall