b0febe7 · servant-quickcheck

git.iko.soy/servant-quickcheck

Tentatively support Servant 0.11

commitb0febe7c58e37ab36238e99cfc734ee4eab19d29 authorAlfredo Di Napoli <alfredo.dinapoli@iohk.io> dateWed 18 Oct 2017, 14:36 (9 years ago) parent9ebfe9d

4 files changed+13−4

compare with master

unifiedsplit

servant-quickcheck.cabal+3−3 src/Servant/QuickCheck/Internal/HasGenRequest.hs+4 stack-lts-9.yaml+6 test/Servant/QuickCheck/InternalSpec.hs−1

servant-quickcheck.cabal+3−3

@@ -46,9 +46,9 @@ library

4646 , pretty == 1.1.*

4747 , process >= 1.2 && < 1.5

4848 , QuickCheck > 2.7 && < 2.11

49− , servant > 0.6 && < 0.10

50− , servant-client > 0.6 && < 0.10

51− , servant-server > 0.6 && < 0.10

49+ , servant > 0.6 && < 0.12

50+ , servant-client > 0.6 && < 0.12

51+ , servant-server > 0.6 && < 0.12

5252 , split == 0.2.*

5353 , string-conversions > 0.3 && < 0.5

5454 , temporary == 1.2.*

src/Servant/QuickCheck/Internal/HasGenRequest.hs+4

@@ -64,6 +64,10 @@ instance (KnownSymbol path, HasGenRequest b) => HasGenRequest (path :> b) where

6464 (oldf, old) = genRequest (Proxy :: Proxy b)

6565 new = cs $ symbolVal (Proxy :: Proxy path)

6666

67+#if MIN_VERSION_servant(0,11,0)

68+instance HasGenRequest EmptyAPI where

69+ genRequest _ = (0, error "EmptyAPIs cannot be queried.")

70+#endif

6771

6872instance (Arbitrary c, HasGenRequest b, ToHttpApiData c )

6973 => HasGenRequest (Capture x c :> b) where

stack-lts-9.yamlnew file+6

@@ -0,0 +1,6 @@

1+resolver: lts-9.1

2+packages:

3+- '.'

4+extra-deps: []

5+flags: {}

6+extra-package-dbs: []

test/Servant/QuickCheck/InternalSpec.hs−1

@@ -38,7 +38,6 @@ import Servant.QuickCheck

3838import Servant.QuickCheck.Internal (genRequest, runGenRequest,

3939 serverDoesntSatisfy)

4040

41−

4241spec :: Spec

4342spec = do

4443 serversEqualSpec