Clean up stack.yaml and dependencies

This commit relaxes the bounds on QuickCheck, allowing it to be
compatible with 2.12. In order to be compatible with 2.12, we had to CPP
some definitions that referenced code that was deleted.

.travis.yml

@@ -1,158 +1,116 @@
 # This Travis job script has been generated by a script via
 #
-#   haskell-ci '--config=cabal.haskell-ci' 'servant-quickcheck.cabal'
+#   runghc make_travis_yml_2.hs '--branch' 'master' '-o' '.travis.yml' 'servant-quickcheck.cabal'
 #
-# To regenerate the script (for example after adjusting tested-with) run
+# For more information, see https://github.com/hvr/multi-ghc-travis
 #
-#   haskell-ci regenerate
-#
-# For more information, see https://github.com/haskell-CI/haskell-ci
-#
-# version: 0.10.1
-#
-version: ~> 1.0
 language: c
-os: linux
+sudo: false
-dist: xenial
+
 git:
-  # whether to recursively clone submodules
+  submodules: false  # whether to recursively clone submodules
-  submodules: false
+
 branches:
   only:
     - master
+
 cache:
   directories:
     - $HOME/.cabal/packages
     - $HOME/.cabal/store
-    - $HOME/.hlint
-before_cache:
-  - rm -fv $CABALHOME/packages/hackage.haskell.org/build-reports.log
-  # remove files that are regenerated by 'cabal update'
-  - rm -fv $CABALHOME/packages/hackage.haskell.org/00-index.*
-  - rm -fv $CABALHOME/packages/hackage.haskell.org/*.json
-  - rm -fv $CABALHOME/packages/hackage.haskell.org/01-index.cache
-  - rm -fv $CABALHOME/packages/hackage.haskell.org/01-index.tar
-  - rm -fv $CABALHOME/packages/hackage.haskell.org/01-index.tar.idx
-  - rm -rfv $CABALHOME/packages/head.hackage
-jobs:
-  include:
-    - compiler: ghc-8.8.3
-      addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.8.3","cabal-install-3.2"]}}
-      os: linux
-    - compiler: ghc-8.6.5
-      addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.6.5","cabal-install-3.2"]}}
-      os: linux
-    - compiler: ghc-8.4.4
-      addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.4.4","cabal-install-3.2"]}}
-      os: linux
-    - compiler: ghc-8.2.2
-      addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.2.2","cabal-install-3.2"]}}
-      os: linux
-    - compiler: ghc-8.0.2
-      addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.0.2","cabal-install-3.2"]}}
-      os: linux
-before_install:
-  - HC=$(echo "/opt/$CC/bin/ghc" | sed 's/-/\//')
-  - WITHCOMPILER="-w $HC"
-  - HADDOCK=$(echo "/opt/$CC/bin/haddock" | sed 's/-/\//')
-  - HCPKG="$HC-pkg"
-  - unset CC
-  - CABAL=/opt/ghc/bin/cabal
-  - CABALHOME=$HOME/.cabal
-  - export PATH="$CABALHOME/bin:$PATH"
-  - TOP=$(pwd)
-  - "HCNUMVER=$(${HC} --numeric-version|perl -ne '/^(\\d+)\\.(\\d+)\\.(\\d+)(\\.(\\d+))?$/; print(10000 * $1 + 100 * $2 + ($3 == 0 ? $5 != 1 : $3))')"
-  - echo $HCNUMVER
-  - CABAL="$CABAL -vnormal+nowrap"
-  - set -o pipefail
-  - TEST=--enable-tests
-  - BENCH=--enable-benchmarks
-  - HEADHACKAGE=false
-  - rm -f $CABALHOME/config
-  - |
-    echo "verbose: normal +nowrap +markoutput"          >> $CABALHOME/config
-    echo "remote-build-reporting: anonymous"            >> $CABALHOME/config
-    echo "write-ghc-environment-files: always"          >> $CABALHOME/config
-    echo "remote-repo-cache: $CABALHOME/packages"       >> $CABALHOME/config
-    echo "logs-dir:          $CABALHOME/logs"           >> $CABALHOME/config
-    echo "world-file:        $CABALHOME/world"          >> $CABALHOME/config
-    echo "extra-prog-path:   $CABALHOME/bin"            >> $CABALHOME/config
-    echo "symlink-bindir:    $CABALHOME/bin"            >> $CABALHOME/config
-    echo "installdir:        $CABALHOME/bin"            >> $CABALHOME/config
-    echo "build-summary:     $CABALHOME/logs/build.log" >> $CABALHOME/config
-    echo "store-dir:         $CABALHOME/store"          >> $CABALHOME/config
-    echo "install-dirs user"                            >> $CABALHOME/config
-    echo "  prefix: $CABALHOME"                         >> $CABALHOME/config
-    echo "repository hackage.haskell.org"               >> $CABALHOME/config
-    echo "  url: http://hackage.haskell.org/"           >> $CABALHOME/config
-install:
-  - ${CABAL} --version
-  - echo "$(${HC} --version) [$(${HC} --print-project-git-commit-id 2> /dev/null || echo '?')]"
-  - |
-    echo "program-default-options"                >> $CABALHOME/config
-    echo "  ghc-options: $GHCJOBS +RTS -M6G -RTS" >> $CABALHOME/config
-  - cat $CABALHOME/config
-  - rm -fv cabal.project cabal.project.local cabal.project.freeze
-  - travis_retry ${CABAL} v2-update -v
-  # Generate cabal.project
-  - rm -rf cabal.project cabal.project.local cabal.project.freeze
-  - touch cabal.project
-  - |
-    echo "packages: ." >> cabal.project
-  - if [ $HCNUMVER -ge 80200 ] ; then echo 'package servant-quickcheck' >> cabal.project ; fi
-  - "if [ $HCNUMVER -ge 80200 ] ; then echo '  ghc-options: -Werror=missing-methods' >> cabal.project ; fi"
-  - |
-  - "for pkg in $($HCPKG list --simple-output); do echo $pkg | sed 's/-[^-]*$//' | (grep -vE -- '^(servant-quickcheck)$' || true) | sed 's/^/constraints: /' | sed 's/$/ installed/' >> cabal.project.local; done"
-  - cat cabal.project || true
-  - cat cabal.project.local || true
-  - if [ -f "./configure.ac" ]; then (cd "." && autoreconf -i); fi
-  - ${CABAL} v2-freeze $WITHCOMPILER ${TEST} ${BENCH}
-  - "cat cabal.project.freeze | sed -E 's/^(constraints: *| *)//' | sed 's/any.//'"
-  - rm  cabal.project.freeze
-  - travis_wait 40 ${CABAL} v2-build $WITHCOMPILER ${TEST} ${BENCH} --dep -j2 all
-  - travis_wait 40 ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks --dep -j2 all
-script:
-  - DISTDIR=$(mktemp -d /tmp/dist-test.XXXX)
-  # Packaging...
-  - ${CABAL} v2-sdist all
-  # Unpacking...
-  - mv dist-newstyle/sdist/*.tar.gz ${DISTDIR}/
-  - cd ${DISTDIR} || false
-  - find . -maxdepth 1 -type f -name '*.tar.gz' -exec tar -xvf '{}' \;
-  - find . -maxdepth 1 -type f -name '*.tar.gz' -exec rm       '{}' \;
-  - PKGDIR_servant_quickcheck="$(find . -maxdepth 1 -type d -regex '.*/servant-quickcheck-[0-9.]*')"
-  # Generate cabal.project
-  - rm -rf cabal.project cabal.project.local cabal.project.freeze
-  - touch cabal.project
-  - |
-    echo "packages: ${PKGDIR_servant_quickcheck}" >> cabal.project
-  - if [ $HCNUMVER -ge 80200 ] ; then echo 'package servant-quickcheck' >> cabal.project ; fi
-  - "if [ $HCNUMVER -ge 80200 ] ; then echo '  ghc-options: -Werror=missing-methods' >> cabal.project ; fi"
-  - |
-  - "for pkg in $($HCPKG list --simple-output); do echo $pkg | sed 's/-[^-]*$//' | (grep -vE -- '^(servant-quickcheck)$' || true) | sed 's/^/constraints: /' | sed 's/$/ installed/' >> cabal.project.local; done"
-  - cat cabal.project || true
-  - cat cabal.project.local || true
-  # Building...
-  # this builds all libraries and executables (without tests/benchmarks)
-  - ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks all
-  # Building with tests and benchmarks...
-  # build & run tests, build benchmarks
-  - ${CABAL} v2-build $WITHCOMPILER ${TEST} ${BENCH} all
-  # Testing...
-  - ${CABAL} v2-test $WITHCOMPILER ${TEST} ${BENCH} all
-  # cabal check...
-  - (cd ${PKGDIR_servant_quickcheck} && ${CABAL} -vnormal check)
-  # haddock...
-  - ${CABAL} v2-haddock $WITHCOMPILER --with-haddock $HADDOCK ${TEST} ${BENCH} all
-  # Building without installed constraints for packages in global-db...
-  - rm -f cabal.project.local
-  - ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks all
-  # Constraint sets
-  - rm -rf cabal.project.local
-  # Constraint set base-compat-0.10
-  - ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks --constraint='base-compat ==0.10.*' all
-  # Constraint set base-compat-0.11
-  - ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks --constraint='base-compat ==0.11.*' all
 
-# REGENDATA ("0.10.1",["--config=cabal.haskell-ci","servant-quickcheck.cabal"])
+before_cache:
+  - rm -fv $HOME/.cabal/packages/hackage.haskell.org/build-reports.log
+  # remove files that are regenerated by 'cabal update'
+  - rm -fv $HOME/.cabal/packages/hackage.haskell.org/00-index.*
+  - rm -fv $HOME/.cabal/packages/hackage.haskell.org/*.json
+  - rm -fv $HOME/.cabal/packages/hackage.haskell.org/01-index.cache
+  - rm -fv $HOME/.cabal/packages/hackage.haskell.org/01-index.tar
+  - rm -fv $HOME/.cabal/packages/hackage.haskell.org/01-index.tar.idx
+
+  - rm -rfv $HOME/.cabal/packages/head.hackage
+
+matrix:
+  include:
+    - compiler: "ghc-8.4.3"
+    # env: TEST=--disable-tests BENCH=--disable-benchmarks
+      addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.2,ghc-8.4.3], sources: [hvr-ghc]}}
+    - compiler: "ghc-8.2.2"
+    # env: TEST=--disable-tests BENCH=--disable-benchmarks
+      addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.2,ghc-8.2.2], sources: [hvr-ghc]}}
+    - compiler: "ghc-8.0.2"
+    # env: TEST=--disable-tests BENCH=--disable-benchmarks
+      addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.2,ghc-8.0.2], sources: [hvr-ghc]}}
+    - compiler: "ghc-7.10.3"
+    # env: TEST=--disable-tests BENCH=--disable-benchmarks
+      addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.2,ghc-7.10.3], sources: [hvr-ghc]}}
+
+before_install:
+  - HC=${CC}
+  - HCPKG=${HC/ghc/ghc-pkg}
+  - unset CC
+  - ROOTDIR=$(pwd)
+  - mkdir -p $HOME/.local/bin
+  - "PATH=/opt/ghc/bin:/opt/ghc-ppa-tools/bin:$HOME/local/bin:$PATH"
+  - HCNUMVER=$(( $(${HC} --numeric-version|sed -E 's/([0-9]+)\.([0-9]+)\.([0-9]+).*/\1 * 10000 + \2 * 100 + \3/') ))
+  - echo $HCNUMVER
+
+install:
+  - cabal --version
+  - echo "$(${HC} --version) [$(${HC} --print-project-git-commit-id 2> /dev/null || echo '?')]"
+  - BENCH=${BENCH---enable-benchmarks}
+  - TEST=${TEST---enable-tests}
+  - HADDOCK=${HADDOCK-true}
+  - UNCONSTRAINED=${UNCONSTRAINED-true}
+  - NOINSTALLEDCONSTRAINTS=${NOINSTALLEDCONSTRAINTS-false}
+  - GHCHEAD=${GHCHEAD-false}
+  - travis_retry cabal update -v
+  - "sed -i.bak 's/^jobs:/-- jobs:/' ${HOME}/.cabal/config"
+  - rm -fv cabal.project cabal.project.local
+  - grep -Ev -- '^\s*--' ${HOME}/.cabal/config | grep -Ev '^\s*$'
+  - "printf 'packages: \".\"\\n' > cabal.project"
+  - touch cabal.project.local
+  - "if ! $NOINSTALLEDCONSTRAINTS; then for pkg in $($HCPKG list --simple-output); do echo $pkg | sed 's/^/constraints: /' | sed 's/-[^-]*$/ installed/' >> cabal.project.local; done; fi"
+  - cat cabal.project || true
+  - cat cabal.project.local || true
+  - if [ -f "./configure.ac" ]; then
+      (cd "." && autoreconf -i);
+    fi
+  - rm -f cabal.project.freeze
+  - cabal new-build -w ${HC} ${TEST} ${BENCH} --project-file="cabal.project" --dep -j2 all
+  - cabal new-build -w ${HC} --disable-tests --disable-benchmarks --project-file="cabal.project" --dep -j2 all
+  - rm -rf .ghc.environment.* "."/dist
+  - DISTDIR=$(mktemp -d /tmp/dist-test.XXXX)
+
+# Here starts the actual work to be performed for the package under test;
+# any command which exits with a non-zero exit code causes the build to fail.
+script:
+  # test that source-distributions can be generated
+  - (cd "." && cabal sdist)
+  - mv "."/dist/servant-quickcheck-*.tar.gz ${DISTDIR}/
+  - cd ${DISTDIR} || false
+  - find . -maxdepth 1 -name '*.tar.gz' -exec tar -xvf '{}' \;
+  - "printf 'packages: servant-quickcheck-*/*.cabal\\n' > cabal.project"
+  - touch cabal.project.local
+  - "if ! $NOINSTALLEDCONSTRAINTS; then for pkg in $($HCPKG list --simple-output); do echo $pkg | sed 's/^/constraints: /' | sed 's/-[^-]*$/ installed/' >> cabal.project.local; done; fi"
+  - cat cabal.project || true
+  - cat cabal.project.local || true
+  # this builds all libraries and executables (without tests/benchmarks)
+  - cabal new-build -w ${HC} --disable-tests --disable-benchmarks all
+
+  # build & run tests, build benchmarks
+  - cabal new-build -w ${HC} ${TEST} ${BENCH} all
+  - if [ "x$TEST" = "x--enable-tests" ]; then cabal new-test -w ${HC} ${TEST} ${BENCH} all; fi
+
+  # cabal check
+  - (cd servant-quickcheck-* && cabal check)
+
+  # haddock
+  - rm -rf ./dist-newstyle
+  - if $HADDOCK; then cabal new-haddock -w ${HC} ${TEST} ${BENCH} all; else echo "Skipping haddock generation";fi
+
+  # Build without installed constraints for packages in global-db
+  - if $UNCONSTRAINED; then rm -f cabal.project.local; echo cabal new-build -w ${HC} --disable-tests --disable-benchmarks all; else echo "Not building without installed constraints"; fi
+
+# REGENDATA ["--branch","master","-o",".travis.yml","servant-quickcheck.cabal"]
 # EOF

CHANGELOG.yaml

@@ -1,46 +1,4 @@
 releases:
-  - version: "0.0.9.0"
-    changes:
-      - description: "Support servant-0.15 (#65)"
-        authors: fizruk
-        date: 2020-06-25
-
-      - description: "Relax constraints for GHC 8.10 (#70)"
-        authors: felixmulder
-        date: 2020-06-20
-
-  - version: "0.0.8.0"
-    changes:
-      - description: Support for servant-0.17
-        authors: phadej
-        date: 2019-01-23
-
-  - version: "0.0.7.3"
-    changes:
-      - description: Support for servant-0.14
-        issue: 53
-        authors: phadej
-        date: 2018-06-12
-
-      - description: Fix a failure from OnlyJsonObjects when there is no content-type.
-        issue: 55
-        authors: Phenitei
-        date: 2018-08-27
-
-      - description: A bug fix where notAllowedContainsAllowHeader would print the initial request alongside the failure instead of the request causing the failure when it failed.
-        issue: 57
-        authors: Phenitei
-        date: 2018-08-29
-
-      - description: QuickCheck 2.12 compatibility
-        issue: 58
-        authors: parsonsmatt
-        date: 2018-10-12
-
-      - description: GHC 8.6 compatibility
-        issue: 59
-        authors: phadej
-        date: 2018-10-15
 
   - version: "0.0.7.2"
     changes:

cabal.haskell-ci

@@ -1,7 +0,0 @@
-branches: master
-
-constraint-set base-compat-0.10
-  constraints: base-compat ==0.10.*
-
-constraint-set base-compat-0.11
-  constraints: base-compat ==0.11.*

cabal.project

@@ -1,4 +0,0 @@
-packages: .
-tests: true
-
-allow-newer: servant-blaze:servant

servant-quickcheck.cabal

@@ -1,22 +1,28 @@
-name:               servant-quickcheck
+name:                servant-quickcheck
-version:            0.0.9.1
+version:             0.0.7.2
-synopsis:           QuickCheck entire APIs
+x-revision:          1
+synopsis:            QuickCheck entire APIs
 description:
-  This packages provides QuickCheck properties that are tested across an entire
+ This packages provides QuickCheck properties that are tested across an entire
-  API.
+ API.
 
-license:            BSD3
+license:             BSD3
-license-file:       LICENSE
+license-file:        LICENSE
-author:             Julian K. Arni
+author:              Julian K. Arni
-maintainer:         jkarni@gmail.com
+maintainer:          jkarni@gmail.com
-category:           Web
+category:            Web
-build-type:         Simple
+build-type:          Simple
-cabal-version:      >=1.10
+cabal-version:       >=1.10
-extra-source-files: CHANGELOG.yaml
+extra-source-files:
-tested-with:        GHC ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || == 8.8.3
+  CHANGELOG.yaml
+tested-with:
+  GHC==7.10.3,
+  GHC==8.0.2,
+  GHC==8.2.2,
+  GHC==8.4.3
 
 source-repository head
-  type:     git
+  type: git
   location: https://github.com/haskell-servant/servant-quickcheck
 
 flag long-tests
@@ -24,115 +30,108 @@ flag long-tests
   default:     False
 
 library
-  exposed-modules:
+  exposed-modules:     Servant.QuickCheck
-    Servant.QuickCheck
+                     , Servant.QuickCheck.Internal
-    Servant.QuickCheck.Internal
+                     , Servant.QuickCheck.Internal.Predicates
-    Servant.QuickCheck.Internal.Equality
+                     , Servant.QuickCheck.Internal.HasGenRequest
-    Servant.QuickCheck.Internal.ErrorTypes
+                     , Servant.QuickCheck.Internal.QuickCheck
-    Servant.QuickCheck.Internal.HasGenRequest
+                     , Servant.QuickCheck.Internal.Equality
-    Servant.QuickCheck.Internal.Predicates
+                     , Servant.QuickCheck.Internal.ErrorTypes
-    Servant.QuickCheck.Internal.QuickCheck
+  build-depends:       base >=4.8 && <4.12
+                     , base-compat-batteries >= 0.10.1 && <0.11
+                     , aeson > 0.8 && < 2
+                     , bytestring == 0.10.*
+                     , case-insensitive == 1.2.*
+                     , clock >= 0.7 && < 0.8
+                     , data-default-class >= 0.0 && < 0.2
+                     , hspec >= 2.5.6 && < 2.6
 
-  build-depends:
+                     , http-client >= 0.4.30 && < 0.6
-      aeson                  >=0.8    && <2
+                     , http-media >= 0.6 && <0.8
-    , base                   >=4.9    && <4.15
+                     , http-types > 0.8 && < 0.13
-    , base-compat-batteries  >=0.10.1 && <0.12
+                     , mtl > 2.1 && < 2.3
-    , bytestring             >=0.10   && <0.11
+                     , pretty == 1.1.*
-    , case-insensitive       >=1.2    && <1.3
+                     , process >= 1.2 && < 1.7
-    , clock                  >=0.7    && <0.9
+                     , QuickCheck > 2.7 && < 2.13
-    , data-default-class     >=0.0    && <0.2
+                     , servant >= 0.13 && < 0.15
-    , hspec                  >=2.5.6  && <2.8
+                     , servant-client >= 0.13 && < 0.15
-    , http-client            >=0.4.30 && <0.8
+                     , servant-server >= 0.13 && < 0.15
-    , http-media             >=0.6    && <0.9
+                     , split == 0.2.*
-    , http-types             >=0.8    && <0.13
+                     , string-conversions > 0.3 && < 0.5
-    , mtl                    >=2.1    && <2.3
+                     , temporary >= 1.2 && <1.4
-    , pretty                 >=1.1    && <1.2
+                     , text == 1.*
-    , process                >=1.2    && <1.7
+                     , time >= 1.5 && < 1.9
-    , QuickCheck             >=2.7    && <2.15
+                     , warp >= 3.2.4 && < 3.3
-    , servant                >=0.17   && <0.19
-    , servant-client         >=0.17   && <0.19
-    , servant-server         >=0.17   && <0.19
-    , split                  >=0.2    && <0.3
-    , string-conversions     >=0.3    && <0.5
-    , temporary              >=1.2    && <1.4
-    , text                   >=1      && <2
-    , time                   >=1.5    && <1.11
-    , warp                   >=3.2.4  && <3.4
 
-  if !impl(ghc >=8.0)
+  if !impl(ghc >= 8.0)
-    build-depends: semigroups >=0.18.3 && <0.20
+    build-depends:
+      semigroups >= 0.18.3 && <0.19
 
-  hs-source-dirs:     src
+  hs-source-dirs:      src
-  default-extensions:
+  default-extensions:  TypeOperators
-    NoImplicitPrelude
+                     , FlexibleInstances
-    ConstraintKinds
+                     , FlexibleContexts
-    DataKinds
+                     , DataKinds
-    DeriveDataTypeable
+                     , GADTs
-    DeriveFunctor
+                     , MultiParamTypeClasses
-    DeriveGeneric
+                     , DeriveFunctor
-    FlexibleContexts
+                     , KindSignatures
-    FlexibleInstances
+                     , RankNTypes
-    FunctionalDependencies
+                     , ConstraintKinds
-    GADTs
+                     , DeriveGeneric
-    KindSignatures
+                     , ScopedTypeVariables
-    MultiParamTypeClasses
+                     , OverloadedStrings
-    OverloadedStrings
+                     , FunctionalDependencies
-    RankNTypes
+                     , NoImplicitPrelude
-    ScopedTypeVariables
+                     , DeriveDataTypeable
-    TypeOperators
+  default-language:    Haskell2010
-
-  default-language:   Haskell2010
 
 test-suite spec
-  type:               exitcode-stdio-1.0
+  type:                exitcode-stdio-1.0
-  ghc-options:        -Wall -threaded
+  ghc-options:         -Wall -threaded
-  default-language:   Haskell2010
+  default-language:    Haskell2010
-  hs-source-dirs:     test
+  hs-source-dirs:      test
-  main-is:            Spec.hs
+  main-is:             Spec.hs
-  other-modules:      Servant.QuickCheck.InternalSpec
+  other-modules:       Servant.QuickCheck.InternalSpec
-  build-tool-depends: hspec-discover:hspec-discover -any
+  build-tool-depends:  hspec-discover:hspec-discover
-  build-depends:
+  build-depends:       base
-      aeson
+                     , base-compat-batteries
-    , base
+                     , aeson
-    , base-compat-batteries
+                     , servant-quickcheck
-    , blaze-html
+                     , bytestring
-    , bytestring
+                     , hspec
-    , hspec
+                     , hspec-core >= 2.5.5 && < 2.6
-    , hspec-core             >=2.5.5 && <2.8
+                     , http-client
-    , http-client
+                     , blaze-html
-    , QuickCheck
+                     , warp
-    , quickcheck-io
+                     , servant-server
-    , servant
+                     , servant-client
-    , servant-blaze
+                     , servant
-    , servant-client
+                     , servant-blaze
-    , servant-quickcheck
+                     , transformers
-    , servant-server
+                     , QuickCheck
-    , transformers
+                     , quickcheck-io
-    , warp
+  default-extensions:  TypeOperators
-
+                     , FlexibleInstances
-  default-extensions:
+                     , FlexibleContexts
-    NoImplicitPrelude
+                     , GADTs
-    DataKinds
+                     , DataKinds
-    FlexibleContexts
+                     , NoImplicitPrelude
-    FlexibleInstances
+                     , OverloadedStrings
-    GADTs
+                     , ScopedTypeVariables
-    OverloadedStrings
-    ScopedTypeVariables
-    TypeOperators
-
   if flag(long-tests)
-    cpp-options: -DLONG_TESTS
+      cpp-options: -DLONG_TESTS
 
 test-suite example
-  type:             exitcode-stdio-1.0
+  type: exitcode-stdio-1.0
-  main-is:          Main.hs
+  main-is: Main.hs
-  hs-source-dirs:   example
+  hs-source-dirs:
-  ghc-options:      -Wall
+    example
+  ghc-options: -Wall
   build-depends:
       base
     , hspec
-    , servant-quickcheck
     , servant-server
+    , servant-quickcheck
     , text
-
   default-language: Haskell2010

src/Servant/QuickCheck/Internal/HasGenRequest.hs

@@ -63,14 +63,18 @@ instance (KnownSymbol path, HasGenRequest b) => HasGenRequest (path :> b) where
         (oldf, old) = genRequest (Proxy :: Proxy b)
         new = cs $ symbolVal (Proxy :: Proxy path)
 
+#if MIN_VERSION_servant(0,11,0)
 instance HasGenRequest EmptyAPI where
   genRequest _ = (0, error "EmptyAPIs cannot be queried.")
+#endif
 
+#if MIN_VERSION_servant(0,12,0)
 instance HasGenRequest api => HasGenRequest (Summary d :> api) where
   genRequest _ = genRequest (Proxy :: Proxy api)
 
 instance HasGenRequest api => HasGenRequest (Description d :> api) where
   genRequest _ = genRequest (Proxy :: Proxy api)
+#endif
 
 instance (Arbitrary c, HasGenRequest b, ToHttpApiData c )
     => HasGenRequest (Capture' mods x c :> b) where
@@ -82,6 +86,7 @@ instance (Arbitrary c, HasGenRequest b, ToHttpApiData c )
         (oldf, old) = genRequest (Proxy :: Proxy b)
         new = arbitrary :: Gen c
 
+#if MIN_VERSION_servant(0,8,0)
 instance (Arbitrary c, HasGenRequest b, ToHttpApiData c )
     => HasGenRequest (CaptureAll x c :> b) where
     genRequest _ = (oldf, do
@@ -92,6 +97,7 @@ instance (Arbitrary c, HasGenRequest b, ToHttpApiData c )
       where
         (oldf, old) = genRequest (Proxy :: Proxy b)
         new = arbitrary :: Gen [c]
+#endif
 
 instance (Arbitrary c, KnownSymbol h, HasGenRequest b, ToHttpApiData c)
     => HasGenRequest (Header' mods h c :> b) where
@@ -168,15 +174,6 @@ instance (ReflectMethod method)
        , method = reflectMethod (Proxy :: Proxy method)
        })
 
-instance (ReflectMethod method)
-    => HasGenRequest (NoContentVerb (method :: k)) where
-    genRequest _ = (1, return $ \burl -> defaultRequest
-       { host = cs $ baseUrlHost burl
-       , port = baseUrlPort burl
-       , secure = baseUrlScheme burl == Https
-       , method = reflectMethod (Proxy :: Proxy method)
-       })
-
 instance (HasGenRequest a) => HasGenRequest (RemoteHost :> a) where
     genRequest _ = genRequest (Proxy :: Proxy a)
 

src/Servant/QuickCheck/Internal/Predicates.hs

@@ -84,13 +84,15 @@ notLongerThan maxAllowed
 -- /Since 0.0.0.0/
 onlyJsonObjects :: ResponsePredicate
 onlyJsonObjects
-  = ResponsePredicate (\resp -> do
+  = ResponsePredicate (\resp -> case go resp of
-    case lookup "content-type" (first foldedCase <$> responseHeaders resp) of
+      Nothing -> throw $ PredicateFailure "onlyJsonObjects" Nothing resp
-      Nothing    -> return ()
+      Just () -> return ())
-      Just ctype -> when ("application/json" `SBS.isPrefixOf` ctype) $ do
+    where
-        case (decode (responseBody resp) :: Maybe Object) of
+      go r = do
-          Nothing -> throw $ PredicateFailure "onlyJsonObjects" Nothing resp
+        ctyp <- lookup "content-type" (first foldedCase <$> responseHeaders r)
-          Just _  -> return ())
+        when ("application/json" `SBS.isPrefixOf` ctyp) $ do
+          (_ :: Object) <- decode (responseBody r)
+          return ()
 
 -- | __Optional__
 --
@@ -187,15 +189,14 @@ getsHaveLastModifiedHeader
 notAllowedContainsAllowHeader :: RequestPredicate
 notAllowedContainsAllowHeader
   = RequestPredicate $ \req mgr -> do
-      let reqs = [ req { method = renderStdMethod m } | m <- [minBound .. maxBound]
+      resp <- mapM (flip httpLbs mgr) $ [ req { method = renderStdMethod m }
-                                                      , renderStdMethod m /= method req ]
+                                        | m <- [minBound .. maxBound ]
-      resp <- mapM (flip httpLbs mgr) reqs
+                                        , renderStdMethod m /= method req ]
-
+      case filter pred' resp of
-      case filter pred' (zip reqs resp) of
+        (x:_) -> throw $ PredicateFailure "notAllowedContainsAllowHeader" (Just req) x
-        (x:_) -> throw $ PredicateFailure "notAllowedContainsAllowHeader" (Just $ fst x) (snd x)
         []     -> return resp
     where
-      pred' (_, resp) = responseStatus resp == status405 && not (hasValidHeader "Allow" go resp)
+      pred' resp = responseStatus resp == status405 && not (hasValidHeader "Allow" go resp)
         where
           go x = all (\y -> isRight $ parseMethod $ SBSC.pack y)
                $ wordsBy (`elem` (", " :: [Char])) (SBSC.unpack x)

src/Servant/QuickCheck/Internal/QuickCheck.hs

@@ -11,9 +11,6 @@ import           Network.Wai.Handler.Warp (withApplication)
 import           Prelude.Compat
 import           Servant                  (Context (EmptyContext), HasServer,
                                            Server, serveWithContext)
-#if MIN_VERSION_servant_server(0,18,0)
-import           Servant                  (DefaultErrorFormatters, ErrorFormatters, HasContextEntry, type (.++))
-#endif
 import           Servant.Client           (BaseUrl (..), Scheme (..))
 import           System.IO.Unsafe         (unsafePerformIO)
 import           Test.Hspec               (Expectation, expectationFailure)
@@ -40,11 +37,7 @@ withServantServer api = withServantServerAndContext api EmptyContext
 -- application.
 --
 -- /Since 0.0.0.0/
-#if MIN_VERSION_servant_server(0,18,0)
-withServantServerAndContext :: (HasServer a ctx, HasContextEntry (ctx .++ DefaultErrorFormatters) ErrorFormatters)
-#else
 withServantServerAndContext :: HasServer a ctx
-#endif
   => Proxy a -> Context ctx -> IO (Server a) -> (BaseUrl -> IO r) -> IO r
 withServantServerAndContext api ctx server t
   = withApplication (return . serveWithContext api ctx =<< server) $ \port ->

test/Servant/QuickCheck/InternalSpec.hs

@@ -23,7 +23,12 @@ import           Test.QuickCheck.Gen     (generate, unGen)
 import           Test.QuickCheck.Random  (mkQCGen)
 
 
-import Servant.Test.ComprehensiveAPI (comprehensiveAPIWithoutStreamingOrRaw)
+#if MIN_VERSION_servant(0,8,0)
+import Servant.API.Internal.Test.ComprehensiveAPI (comprehensiveAPIWithoutRaw)
+#else
+import Servant.API.Internal.Test.ComprehensiveAPI (ComprehensiveAPI,
+                                                   comprehensiveAPI)
+#endif
 
 import Servant.QuickCheck
 import Servant.QuickCheck.Internal (genRequest, runGenRequest,
@@ -128,10 +133,6 @@ onlyJsonObjectSpec = describe "onlyJsonObjects" $ do
     withServantServerAndContext octetAPI ctx serverOctetAPI $ \burl ->
       serverSatisfies octetAPI burl args (onlyJsonObjects <%> mempty)
 
-  it "does not fail when there is no content-type" $ do
-    withServantServerAndContext api2 ctx serverFailing $ \burl ->
-        serverSatisfies api2 burl args (onlyJsonObjects <%> mempty)
-
 notLongerThanSpec :: Spec
 notLongerThanSpec = describe "notLongerThan" $ do
 
@@ -149,7 +150,7 @@ isComprehensiveSpec :: Spec
 isComprehensiveSpec = describe "HasGenRequest" $ do
 
   it "has instances for all 'servant' combinators" $ do
-    let _g = genRequest comprehensiveAPIWithoutStreamingOrRaw
+    let _g = genRequest comprehensiveAPIWithoutRaw
     True `shouldBe` True -- This is a type-level check
 
 deepPathSpec :: Spec
@@ -273,9 +274,6 @@ server2 = return $ return 1
 server3 :: IO (Server API2)
 server3 = return $ return 2
 
-serverFailing :: IO (Server API2)
-serverFailing = return . throwError $ err405
-
 -- With Doctypes
 type HtmlDoctype = Get '[HTML] Blaze.Html
 
@@ -369,3 +367,8 @@ noOfTestCases = 20000
 #else
 noOfTestCases = 1000
 #endif
+
+#if !MIN_VERSION_servant(0,8,0)
+comprehensiveAPIWithoutRaw :: Proxy ComprehensiveAPI
+comprehensiveAPIWithoutRaw = comprehensiveAPI
+#endif