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
@@ -12,8 +12,6 @@
 import qualified Control.Exception.Extensible as E
 import Control.DeepSeq (rnf)
 
-import Data.List
-
 import System.Random
 
 
@@ -54,12 +52,10 @@
         tests_run_str = fmap show mb_tests_run `orElse` "an unknown number of"
 
 propertySucceeded :: PropertyResult -> Bool
-propertySucceeded result = propertyStatusIsSuccess (pr_status 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
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.7
+Version:             0.2.8
 Cabal-Version:       >= 1.2.3
 Category:            Testing
 Synopsis:            QuickCheck support for the test-framework package.
@@ -21,17 +21,17 @@
 
 Library
         Exposed-Modules:        Test.Framework.Providers.QuickCheck
-        
+
         Build-Depends:          test-framework >= 0.2.0, QuickCheck >= 1.1 && < 2, extensible-exceptions >= 0.1.1 && < 0.2.0
         if flag(base3)
-                Build-Depends:          base >= 3 && < 4, random >= 1, deepseq >= 1.1 && < 1.2
+                Build-Depends:          base >= 3 && < 4, random >= 1, deepseq >= 1.1 && < 1.3
         else
                 if flag(base4)
-                        Build-Depends:          base >= 4 && < 5, random >= 1, deepseq >= 1.1 && < 1.2
-        
+                        Build-Depends:          base >= 4 && < 5, random >= 1, deepseq >= 1.1 && < 1.3
+
         Extensions:             TypeSynonymInstances
                                 TypeOperators
                                 MultiParamTypeClasses
                                 ExistentialQuantification
-        
+
         Ghc-Options:            -Wall