diff --git a/Test/Framework/Providers/QuickCheck.hs b/Test/Framework/Providers/QuickCheck.hs
--- a/Test/Framework/Providers/QuickCheck.hs
+++ b/Test/Framework/Providers/QuickCheck.hs
@@ -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
diff --git a/test-framework-quickcheck.cabal b/test-framework-quickcheck.cabal
--- a/test-framework-quickcheck.cabal
+++ b/test-framework-quickcheck.cabal
@@ -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.