re-generalized to quickcheck 2.4+

Use empty-record matches to avoid depending on number of fields
mokus0 · Mar 23, 2013 · 466dc4f · 466dc4f
1 parent a1d36e3
commit 466dc4f
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/ShowQ.hs b/ShowQ.hs
@@ -23,10 +23,10 @@ tests :: (Testable prop) => prop -> Int -> [[String]] -> IO String
 tests prop ntest stamps =
   do result <- quickCheckWithResult stdArgs prop
      case result of
-       NoExpectedFailure _ _ _ -> done "Arguments exhausted after" (numTests result) stamps
-       GaveUp _ _ _ -> done "Arguments exhausted after" (numTests result) stamps
-       Success _ _ _  -> done "OK, passed" (numTests result) stamps
-       Failure _ _ _ _ _ _ _ _ -> return $ "Falsifiable, after "
+       NoExpectedFailure{}  -> done "Arguments exhausted after" (numTests result) stamps
+       GaveUp{}             -> done "Arguments exhausted after" (numTests result) stamps
+       Success{}            -> done "OK, passed" (numTests result) stamps
+       Failure{}            -> return $ "Falsifiable, after "
                                   ++ show ntest
                                   ++ " tests:\n"
                                   ++ reason result

diff --git a/show.cabal b/show.cabal
@@ -30,7 +30,7 @@ Flag base4
 library
    exposed-modules:     ShowQ, ShowFun
 
-   build-depends:       random, QuickCheck>=2.6, smallcheck>=1.0
+   build-depends:       random, QuickCheck>=2.4, smallcheck>=1.0
    if flag(base4)
     build-depends:       base == 4.*, syb
    else