1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
--- a/ed25519.cabal
+++ b/ed25519.cabal
@@ -97,7 +97,7 @@ test-suite properties
build-depends:
base >= 4 && < 5,
bytestring >= 0.9 && < 0.12,
- QuickCheck >= 2.4 && < 2.9,
+ QuickCheck >= 2.4 && < 2.15,
ed25519
--
--- a/tests/properties.hs
+++ b/tests/properties.hs
@@ -84,9 +84,16 @@ tests ntests =
wrap prop = do
r <- quickCheckWithResult stdArgs{maxSuccess=ntests} prop
case r of
+#if MIN_VERSION_QuickCheck(2,12,0)
+ Success n _ _ _ _ _ -> return (True, n)
+ GaveUp n _ _ _ _ _ -> return (True, n)
+#else
Success n _ _ -> return (True, n)
GaveUp n _ _ -> return (True, n)
-#if MIN_VERSION_QuickCheck(2,7,0)
+#endif
+#if MIN_VERSION_QuickCheck(2,12,0)
+ Failure n _ _ _ _ _ _ _ _ _ _ _ _ -> return (False, n)
+#elif MIN_VERSION_QuickCheck(2,7,0)
Failure n _ _ _ _ _ _ _ _ _ -> return (False, n)
#elif MIN_VERSION_QuickCheck(2,6,0)
Failure n _ _ _ _ _ _ _ -> return (False, n)
|
