@@ -92,7 +92,10 @@ serversEqual api burl1 burl2 args req = do
92 expectationFailure $ "We failed to record a reason for failure: " <> show r
92 expectationFailure $ "We failed to record a reason for failure: " <> show r
93 GaveUp { numTests = n } -> expectationFailure $ "Gave up after " ++ show n ++ " tests"
93 GaveUp { numTests = n } -> expectationFailure $ "Gave up after " ++ show n ++ " tests"
94 NoExpectedFailure {} -> expectationFailure "No expected failure"
94 NoExpectedFailure {} -> expectationFailure "No expected failure"
95+#if MIN_VERSION_QuickCheck(2,12,0)
95 InsufficientCoverage {} -> expectationFailure "Insufficient coverage"
97 InsufficientCoverage {} -> expectationFailure "Insufficient coverage"
97-- | Check that a server satisfies the set of properties specified.
100-- | Check that a server satisfies the set of properties specified.
@@ -145,7 +148,10 @@ serverSatisfiesMgr api manager burl args preds = do
145 expectationFailure $ "We failed to record a reason for failure: " <> show r
148 expectationFailure $ "We failed to record a reason for failure: " <> show r
146 GaveUp { numTests = n } -> expectationFailure $ "Gave up after " ++ show n ++ " tests"
149 GaveUp { numTests = n } -> expectationFailure $ "Gave up after " ++ show n ++ " tests"
147 NoExpectedFailure {} -> expectationFailure $ "No expected failure"
150 NoExpectedFailure {} -> expectationFailure $ "No expected failure"
151+#if MIN_VERSION_QuickCheck(2,12,0)
148− InsufficientCoverage {} -> expectationFailure $ "Insufficient coverage"
153+ InsufficientCoverage {} -> expectationFailure "Insufficient coverage"
150serverDoesntSatisfy :: (HasGenRequest a) =>
156serverDoesntSatisfy :: (HasGenRequest a) =>
151 Proxy a -> BaseUrl -> Args -> Predicates -> Expectation
157 Proxy a -> BaseUrl -> Args -> Predicates -> Expectation
@@ -163,7 +169,10 @@ serverDoesntSatisfyMgr api manager burl args preds = do
163 GaveUp { numTests = n } -> expectationFailure $ "Gave up after " ++ show n ++ " tests"
169 GaveUp { numTests = n } -> expectationFailure $ "Gave up after " ++ show n ++ " tests"
164 Failure { output = m } -> expectationFailure $ "Failed:\n" ++ show m
170 Failure { output = m } -> expectationFailure $ "Failed:\n" ++ show m
165 NoExpectedFailure {} -> expectationFailure $ "No expected failure"
171 NoExpectedFailure {} -> expectationFailure $ "No expected failure"
172+#if MIN_VERSION_QuickCheck(2,12,0)
166− InsufficientCoverage {} -> expectationFailure $ "Insufficient coverage"
174+ InsufficientCoverage {} -> expectationFailure "Insufficient coverage"
168noCheckStatus :: C.Request -> C.Request
177noCheckStatus :: C.Request -> C.Request
169#if MIN_VERSION_http_client(0,5,0)
178#if MIN_VERSION_http_client(0,5,0)