Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Bizarre doctest failures #30

Open
sternenseemann opened this issue Jun 1, 2022 · 5 comments
Open

Bizarre doctest failures #30

sternenseemann opened this issue Jun 1, 2022 · 5 comments

Comments

@sternenseemann
Copy link

Running into this on our build infrastructure, seems like there is a minor problem with the patterns that I can not quite discern, using GHC 9.0.2 and doctest-0.18.2.

setupCompilerEnvironmentPhase
Build with /nix/store/0hy2ydriiyh7azw57agy8ajr3gxbw7i2-ghc-9.0.2.
unpacking sources
unpacking source archive /nix/store/b0mb08cf2ncjv20ij7wpqwl2sql2pndf-servant-openapi3-2.0.1.5.tar.gz
source root is servant-openapi3-2.0.1.5
setting SOURCE_DATE_EPOCH to timestamp 1000000000 of file servant-openapi3-2.0.1.5/test/Spec.hs
patching sources
compileBuildDriverPhase
setupCompileFlags: -package-db=/build/tmp.84Llg8383c/setup-package.conf.d -j2 +RTS -A64M -RTS -threaded -rtsopts
[1 of 1] Compiling Main             ( Setup.hs, /build/tmp.84Llg8383c/Main.o )
Linking Setup ...
configuring
configureFlags: --verbose --prefix=/nix/store/50laqw13j9bypzy2clzwa8i837pm2ny9-servant-openapi3-2.0.1.5 --libdir=$prefix/lib/$compiler --libsubdir=$abi/$libname --docdir=/nix/store/804x9zz2wxqbqv4yq8m53073yx4az3m7-servant-openapi3-2.0.1.5-doc/share/doc/servant-openapi3-2.0.1.5 --with-gcc=gcc --package-db=/build/tmp.84Llg8383c/package.conf.d --ghc-options=-j2 +RTS -A64M -RTS --disable-split-objs --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --enable-static --disable-executable-dynamic --enable-tests --disable-benchmarks --enable-library-vanilla --disable-library-for-ghci --ghc-option=-split-sections --ghc-options=-haddock --extra-lib-dirs=/nix/store/1pl0x17adk2r9rx99rlfny9r0alha5m8-ncurses-6.3/lib --extra-lib-dirs=/nix/store/7m5ik9rhh55m021kzmg4hb4zjfj3lyyc-libffi-3.4.2/lib --extra-lib-dirs=/nix/store/4l48ybgm682wr7s2m1bzr85ca51i3kgb-gmp-with-cxx-6.2.1/lib --extra-lib-dirs=/nix/store/0hy2ydriiyh7azw57agy8ajr3gxbw7i2-ghc-9.0.2/lib
Using Parsec parser
Configuring servant-openapi3-2.0.1.5...
Dependency QuickCheck: using QuickCheck-2.14.2
Dependency aeson >=1.4.2.0 && <1.6 || >=2.0.1.0 && <2.1: using aeson-2.0.3.0
Dependency aeson-pretty >=0.8.7 && <0.9: using aeson-pretty-0.8.9
Dependency base >=4.9.1.0 && <4.17: using base-4.15.1.0
Dependency base-compat >=0.10.5 && <0.13: using base-compat-0.11.2
Dependency bytestring >=0.10.8.1 && <0.12: using bytestring-0.10.12.1
Dependency hspec: using hspec-2.8.5
Dependency http-media >=0.7.1.3 && <0.9: using http-media-0.8.0.0
Dependency insert-ordered-containers >=0.2.1.0 && <0.3: using
insert-ordered-containers-0.2.5.1
Dependency lens >=4.17 && <5.2: using lens-5.0.1
Dependency openapi3 >=3.0.0 && <3.3: using openapi3-3.2.2
Dependency servant >=0.17 && <0.20: using servant-0.19
Dependency singleton-bool >=0.1.4 && <0.2: using singleton-bool-0.1.6
Dependency text >=1.2.3.0 && <3: using text-1.2.5.0
Dependency unordered-containers >=0.2.9.0 && <0.3: using
unordered-containers-0.2.17.0
Dependency QuickCheck: using QuickCheck-2.14.2
Dependency base: using base-4.15.1.0
Dependency directory >=1.0: using directory-1.3.6.2
Dependency doctest >=0.11.1 && <0.21: using doctest-0.18.2
Dependency filepath: using filepath-1.4.2.1
Dependency servant: using servant-0.19
Dependency QuickCheck: using QuickCheck-2.14.2
Dependency aeson: using aeson-2.0.3.0
Dependency base: using base-4.15.1.0
Dependency base-compat: using base-compat-0.11.2
Dependency hspec >=2.6.0 && <2.11: using hspec-2.8.5
Dependency lens: using lens-5.0.1
Dependency lens-aeson >=1.0.2 && <1.3: using lens-aeson-1.1.3
Dependency openapi3 >=3.1.0: using openapi3-3.2.2
Dependency servant: using servant-0.19
Dependency servant-openapi3: using servant-openapi3-2.0.1.5
Dependency template-haskell: using template-haskell-2.17.0.0
Dependency text: using text-1.2.5.0
Dependency time: using time-1.9.3
Dependency utf8-string >=1.0.1.1 && <1.1: using utf8-string-1.0.2
Dependency vector: using vector-0.12.3.1
Source component graph:
    component test:doctests
    component lib
    component test:spec dependency lib
Configured component graph:
    component servant-openapi3-2.0.1.5-9vQn3EmeGU5C4Wups5wmKO-doctests
        include QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
        include base-4.15.1.0
        include directory-1.3.6.2
        include doctest-0.18.2-Azd6gA1KUSO3PrMqh8IR4K
        include filepath-1.4.2.1
        include servant-0.19-GGif3G3NYIoEj4gSR8L6J7
    component servant-openapi3-2.0.1.5-1nKuqrqj9RYCI6r8hPXpo8
        include QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
        include aeson-2.0.3.0-HlWJjVNsI9B9POFOQBJXQw
        include aeson-pretty-0.8.9-BP2fiCVwamN3O1pHzEaCDN
        include base-4.15.1.0
        include base-compat-0.11.2-D5DT1MGmUKa4Ww8Uu5S4h5
        include bytestring-0.10.12.1
        include hspec-2.8.5-15yd26Khcrc433s3iLylfP
        include http-media-0.8.0.0-JdgogMjUm0g6z6er6ZVrgu
        include insert-ordered-containers-0.2.5.1-KPzpTzYDj1PDydVJeixuTd
        include lens-5.0.1-IyoHbjke83qLG0yAxj1Z63
        include openapi3-3.2.2-7qfyBNzxmFMIDpj109EOZs
        include servant-0.19-GGif3G3NYIoEj4gSR8L6J7
        include singleton-bool-0.1.6-NzHHXQRw9fHRfIkf79Ywi
        include text-1.2.5.0
        include unordered-containers-0.2.17.0-5tsTUc3qaP8lsa0vPeGcq
    component servant-openapi3-2.0.1.5-4Yuyp6k6amnBUg8x5eiKq1-spec
        include QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
        include aeson-2.0.3.0-HlWJjVNsI9B9POFOQBJXQw
        include base-4.15.1.0
        include base-compat-0.11.2-D5DT1MGmUKa4Ww8Uu5S4h5
        include hspec-2.8.5-15yd26Khcrc433s3iLylfP
        include lens-5.0.1-IyoHbjke83qLG0yAxj1Z63
        include lens-aeson-1.1.3-3FsDeWZaP30IAUE3WNL7m5
        include openapi3-3.2.2-7qfyBNzxmFMIDpj109EOZs
        include servant-0.19-GGif3G3NYIoEj4gSR8L6J7
        include servant-openapi3-2.0.1.5-1nKuqrqj9RYCI6r8hPXpo8
        include template-haskell-2.17.0.0
        include text-1.2.5.0
        include time-1.9.3
        include utf8-string-1.0.2-Lm887ungamcD8QgwYloUIG
        include vector-0.12.3.1-TXkE6leK98EdYcmdk29JF
Linked component graph:
    unit servant-openapi3-2.0.1.5-9vQn3EmeGU5C4Wups5wmKO-doctests
        include QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
        include base-4.15.1.0
        include directory-1.3.6.2
        include doctest-0.18.2-Azd6gA1KUSO3PrMqh8IR4K
        include filepath-1.4.2.1
        include servant-0.19-GGif3G3NYIoEj4gSR8L6J7
    unit servant-openapi3-2.0.1.5-1nKuqrqj9RYCI6r8hPXpo8
        include QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
        include aeson-2.0.3.0-HlWJjVNsI9B9POFOQBJXQw
        include aeson-pretty-0.8.9-BP2fiCVwamN3O1pHzEaCDN
        include base-4.15.1.0
        include base-compat-0.11.2-D5DT1MGmUKa4Ww8Uu5S4h5
        include bytestring-0.10.12.1
        include hspec-2.8.5-15yd26Khcrc433s3iLylfP
        include http-media-0.8.0.0-JdgogMjUm0g6z6er6ZVrgu
        include insert-ordered-containers-0.2.5.1-KPzpTzYDj1PDydVJeixuTd
        include lens-5.0.1-IyoHbjke83qLG0yAxj1Z63
        include openapi3-3.2.2-7qfyBNzxmFMIDpj109EOZs
        include servant-0.19-GGif3G3NYIoEj4gSR8L6J7
        include singleton-bool-0.1.6-NzHHXQRw9fHRfIkf79Ywi
        include text-1.2.5.0
        include unordered-containers-0.2.17.0-5tsTUc3qaP8lsa0vPeGcq
        Servant.OpenApi=servant-openapi3-2.0.1.5-1nKuqrqj9RYCI6r8hPXpo8:Servant.OpenApi,Servant.OpenApi.Internal=servant-openapi3-2.0.1.5-1nKuqrqj9RYCI6r8hPXpo8:Servant.OpenApi.Internal,Servant.OpenApi.Internal.Orphans=servant-openapi3-2.0.1.5-1nKuqrqj9RYCI6r8hPXpo8:Servant.OpenApi.Internal.Orphans,Servant.OpenApi.Internal.Test=servant-openapi3-2.0.1.5-1nKuqrqj9RYCI6r8hPXpo8:Servant.OpenApi.Internal.Test,Servant.OpenApi.Internal.TypeLevel=servant-openapi3-2.0.1.5-1nKuqrqj9RYCI6r8hPXpo8:Servant.OpenApi.Internal.TypeLevel,Servant.OpenApi.Internal.TypeLevel.API=servant-openapi3-2.0.1.5-1nKuqrqj9RYCI6r8hPXpo8:Servant.OpenApi.Internal.TypeLevel.API,Servant.OpenApi.Internal.TypeLevel.Every=servant-openapi3-2.0.1.5-1nKuqrqj9RYCI6r8hPXpo8:Servant.OpenApi.Internal.TypeLevel.Every,Servant.OpenApi.Internal.TypeLevel.TMap=servant-openapi3-2.0.1.5-1nKuqrqj9RYCI6r8hPXpo8:Servant.OpenApi.Internal.TypeLevel.TMap,Servant.OpenApi.Test=servant-openapi3-2.0.1.5-1nKuqrqj9RYCI6r8hPXpo8:Servant.OpenApi.Test,Servant.OpenApi.TypeLevel=servant-openapi3-2.0.1.5-1nKuqrqj9RYCI6r8hPXpo8:Servant.OpenApi.TypeLevel
    unit servant-openapi3-2.0.1.5-4Yuyp6k6amnBUg8x5eiKq1-spec
        include QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
        include aeson-2.0.3.0-HlWJjVNsI9B9POFOQBJXQw
        include base-4.15.1.0
        include base-compat-0.11.2-D5DT1MGmUKa4Ww8Uu5S4h5
        include hspec-2.8.5-15yd26Khcrc433s3iLylfP
        include lens-5.0.1-IyoHbjke83qLG0yAxj1Z63
        include lens-aeson-1.1.3-3FsDeWZaP30IAUE3WNL7m5
        include openapi3-3.2.2-7qfyBNzxmFMIDpj109EOZs
        include servant-0.19-GGif3G3NYIoEj4gSR8L6J7
        include servant-openapi3-2.0.1.5-1nKuqrqj9RYCI6r8hPXpo8
        include template-haskell-2.17.0.0
        include text-1.2.5.0
        include time-1.9.3
        include utf8-string-1.0.2-Lm887ungamcD8QgwYloUIG
        include vector-0.12.3.1-TXkE6leK98EdYcmdk29JF
Ready component graph:
    definite servant-openapi3-2.0.1.5-9vQn3EmeGU5C4Wups5wmKO-doctests
        depends QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
        depends base-4.15.1.0
        depends directory-1.3.6.2
        depends doctest-0.18.2-Azd6gA1KUSO3PrMqh8IR4K
        depends filepath-1.4.2.1
        depends servant-0.19-GGif3G3NYIoEj4gSR8L6J7
    definite servant-openapi3-2.0.1.5-1nKuqrqj9RYCI6r8hPXpo8
        depends QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
        depends aeson-2.0.3.0-HlWJjVNsI9B9POFOQBJXQw
        depends aeson-pretty-0.8.9-BP2fiCVwamN3O1pHzEaCDN
        depends base-4.15.1.0
        depends base-compat-0.11.2-D5DT1MGmUKa4Ww8Uu5S4h5
        depends bytestring-0.10.12.1
        depends hspec-2.8.5-15yd26Khcrc433s3iLylfP
        depends http-media-0.8.0.0-JdgogMjUm0g6z6er6ZVrgu
        depends insert-ordered-containers-0.2.5.1-KPzpTzYDj1PDydVJeixuTd
        depends lens-5.0.1-IyoHbjke83qLG0yAxj1Z63
        depends openapi3-3.2.2-7qfyBNzxmFMIDpj109EOZs
        depends servant-0.19-GGif3G3NYIoEj4gSR8L6J7
        depends singleton-bool-0.1.6-NzHHXQRw9fHRfIkf79Ywi
        depends text-1.2.5.0
        depends unordered-containers-0.2.17.0-5tsTUc3qaP8lsa0vPeGcq
    definite servant-openapi3-2.0.1.5-4Yuyp6k6amnBUg8x5eiKq1-spec
        depends QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
        depends aeson-2.0.3.0-HlWJjVNsI9B9POFOQBJXQw
        depends base-4.15.1.0
        depends base-compat-0.11.2-D5DT1MGmUKa4Ww8Uu5S4h5
        depends hspec-2.8.5-15yd26Khcrc433s3iLylfP
        depends lens-5.0.1-IyoHbjke83qLG0yAxj1Z63
        depends lens-aeson-1.1.3-3FsDeWZaP30IAUE3WNL7m5
        depends openapi3-3.2.2-7qfyBNzxmFMIDpj109EOZs
        depends servant-0.19-GGif3G3NYIoEj4gSR8L6J7
        depends servant-openapi3-2.0.1.5-1nKuqrqj9RYCI6r8hPXpo8
        depends template-haskell-2.17.0.0
        depends text-1.2.5.0
        depends time-1.9.3
        depends utf8-string-1.0.2-Lm887ungamcD8QgwYloUIG
        depends vector-0.12.3.1-TXkE6leK98EdYcmdk29JF
Using Cabal-3.4.1.0 compiled by ghc-9.0
Using compiler: ghc-9.0.2
Using install prefix:
/nix/store/50laqw13j9bypzy2clzwa8i837pm2ny9-servant-openapi3-2.0.1.5
Executables installed in:
/nix/store/50laqw13j9bypzy2clzwa8i837pm2ny9-servant-openapi3-2.0.1.5/bin
Libraries installed in:
/nix/store/50laqw13j9bypzy2clzwa8i837pm2ny9-servant-openapi3-2.0.1.5/lib/ghc-9.0.2/x86_64-linux-ghc-9.0.2/servant-openapi3-2.0.1.5-1nKuqrqj9RYCI6r8hPXpo8
Dynamic Libraries installed in:
/nix/store/50laqw13j9bypzy2clzwa8i837pm2ny9-servant-openapi3-2.0.1.5/lib/ghc-9.0.2/x86_64-linux-ghc-9.0.2
Private executables installed in:
/nix/store/50laqw13j9bypzy2clzwa8i837pm2ny9-servant-openapi3-2.0.1.5/libexec/x86_64-linux-ghc-9.0.2/servant-openapi3-2.0.1.5
Data files installed in:
/nix/store/50laqw13j9bypzy2clzwa8i837pm2ny9-servant-openapi3-2.0.1.5/share/x86_64-linux-ghc-9.0.2/servant-openapi3-2.0.1.5
Documentation installed in:
/nix/store/804x9zz2wxqbqv4yq8m53073yx4az3m7-servant-openapi3-2.0.1.5-doc/share/doc/servant-openapi3-2.0.1.5
Configuration files installed in:
/nix/store/50laqw13j9bypzy2clzwa8i837pm2ny9-servant-openapi3-2.0.1.5/etc
No alex found
Using ar found on system at:
/nix/store/2b99rpx8zwdjjqkrvk7kqgn9mxhiidjy-binutils-2.38/bin/ar
No c2hs found
No cpphs found
Using doctest version 0.18.2 found on system at:
/nix/store/dbrl7byh5asi89v38z9q23dnv2wzq8b5-doctest-0.18.2/bin/doctest
Using gcc version 11.3.0 given by user at:
/nix/store/r7r10qvsqlnvbzjkjinvscjlahqbxifl-gcc-wrapper-11.3.0/bin/gcc
Using ghc version 9.0.2 found on system at:
/nix/store/0hy2ydriiyh7azw57agy8ajr3gxbw7i2-ghc-9.0.2/bin/ghc
Using ghc-pkg version 9.0.2 found on system at:
/nix/store/0hy2ydriiyh7azw57agy8ajr3gxbw7i2-ghc-9.0.2/bin/ghc-pkg
No ghcjs found
No ghcjs-pkg found
No greencard found
Using haddock version 2.25.1 found on system at:
/nix/store/0hy2ydriiyh7azw57agy8ajr3gxbw7i2-ghc-9.0.2/bin/haddock
No happy found
Using haskell-suite found on system at: haskell-suite-dummy-location
Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
No hmake found
Using hpc version 0.68 found on system at:
/nix/store/0hy2ydriiyh7azw57agy8ajr3gxbw7i2-ghc-9.0.2/bin/hpc
Using hsc2hs version 0.68.7 found on system at:
/nix/store/0hy2ydriiyh7azw57agy8ajr3gxbw7i2-ghc-9.0.2/bin/hsc2hs
Using hscolour version 1.24 found on system at:
/nix/store/d194pcq8qz53qw0qb4v349c5w39f3nl5-hscolour-1.24.4/bin/HsColour
No jhc found
Using ld found on system at:
/nix/store/10h6ymfb28wx6x8amj82h2sgw3ixrsb2-binutils-wrapper-2.38/bin/ld.gold
No pkg-config found
Using runghc version 9.0.2 found on system at:
/nix/store/0hy2ydriiyh7azw57agy8ajr3gxbw7i2-ghc-9.0.2/bin/runghc
Using strip version 2.38 found on system at:
/nix/store/r7r10qvsqlnvbzjkjinvscjlahqbxifl-gcc-wrapper-11.3.0/bin/strip
Using tar found on system at:
/nix/store/5p3qyadsv163m7zvqssiw80zh6xfv2jv-gnutar-1.34/bin/tar
No uhc found
building
Preprocessing test suite 'doctests' for servant-openapi3-2.0.1.5..
Building test suite 'doctests' for servant-openapi3-2.0.1.5..
[1 of 2] Compiling Build_doctests   ( dist/build/doctests/autogen/Build_doctests.hs, dist/build/doctests/doctests-tmp/Build_doctests.o )
[2 of 2] Compiling Main             ( test/doctests.hs, dist/build/doctests/doctests-tmp/Main.o )
Linking dist/build/doctests/doctests ...
Preprocessing library for servant-openapi3-2.0.1.5..
Building library for servant-openapi3-2.0.1.5..
[ 1 of 10] Compiling Servant.OpenApi.Internal.Orphans ( src/Servant/OpenApi/Internal/Orphans.hs, dist/build/Servant/OpenApi/Internal/Orphans.o, dist/build/Servant/OpenApi/Internal/Orphans.dyn_o )

src/Servant/OpenApi/Internal/Orphans.hs:16:10: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Typeable (SourceT m a)’ matches
        a built-in instance
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the instance declaration for ‘ToSchema (SourceT m a)’
   |
16 | instance (Typeable (SourceT m a), ToSchema a) => ToSchema (SourceT m a) where
   |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 2 of 10] Compiling Servant.OpenApi.Internal.TypeLevel.API ( src/Servant/OpenApi/Internal/TypeLevel/API.hs, dist/build/Servant/OpenApi/Internal/TypeLevel/API.o, dist/build/Servant/OpenApi/Internal/TypeLevel/API.dyn_o )

src/Servant/OpenApi/Internal/TypeLevel/API.hs:88:34: warning: [-Wstar-is-type]
    Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.
   |
88 | type family BodyTypes' c api :: [*] where
   |                                  ^
[ 3 of 10] Compiling Servant.OpenApi.Internal ( src/Servant/OpenApi/Internal.hs, dist/build/Servant/OpenApi/Internal.o, dist/build/Servant/OpenApi/Internal.dyn_o )

src/Servant/OpenApi/Internal.hs:241:10: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Typeable (WithStatus s a)’ matches
        a built-in instance
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the instance declaration for ‘ToSchema (WithStatus s a)’
    |
241 | instance (Typeable (WithStatus s a), ToSchema a) => ToSchema (WithStatus s a) where
    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 4 of 10] Compiling Servant.OpenApi.Internal.TypeLevel.TMap ( src/Servant/OpenApi/Internal/TypeLevel/TMap.hs, dist/build/Servant/OpenApi/Internal/TypeLevel/TMap.o, dist/build/Servant/OpenApi/Internal/TypeLevel/TMap.dyn_o )
[ 5 of 10] Compiling Servant.OpenApi.Internal.TypeLevel.Every ( src/Servant/OpenApi/Internal/TypeLevel/Every.hs, dist/build/Servant/OpenApi/Internal/TypeLevel/Every.o, dist/build/Servant/OpenApi/Internal/TypeLevel/Every.dyn_o )

src/Servant/OpenApi/Internal/TypeLevel/Every.hs:51:37: warning: [-Wstar-is-type]
    Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.
   |
51 | class EveryTF cs x => Every (cs :: [* -> Constraint]) (x :: *) where
   |                                     ^

src/Servant/OpenApi/Internal/TypeLevel/Every.hs:51:61: warning: [-Wstar-is-type]
    Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.
   |
51 | class EveryTF cs x => Every (cs :: [* -> Constraint]) (x :: *) where
   |                                                             ^
[ 6 of 10] Compiling Servant.OpenApi.Internal.TypeLevel ( src/Servant/OpenApi/Internal/TypeLevel.hs, dist/build/Servant/OpenApi/Internal/TypeLevel.o, dist/build/Servant/OpenApi/Internal/TypeLevel.dyn_o )
[ 7 of 10] Compiling Servant.OpenApi.Internal.Test ( src/Servant/OpenApi/Internal/Test.hs, dist/build/Servant/OpenApi/Internal/Test.o, dist/build/Servant/OpenApi/Internal/Test.dyn_o )
[ 8 of 10] Compiling Servant.OpenApi.Test ( src/Servant/OpenApi/Test.hs, dist/build/Servant/OpenApi/Test.o, dist/build/Servant/OpenApi/Test.dyn_o )
[ 9 of 10] Compiling Servant.OpenApi  ( src/Servant/OpenApi.hs, dist/build/Servant/OpenApi.o, dist/build/Servant/OpenApi.dyn_o )
[10 of 10] Compiling Servant.OpenApi.TypeLevel ( src/Servant/OpenApi/TypeLevel.hs, dist/build/Servant/OpenApi/TypeLevel.o, dist/build/Servant/OpenApi/TypeLevel.dyn_o )
[ 1 of 10] Compiling Servant.OpenApi.Internal.Orphans ( src/Servant/OpenApi/Internal/Orphans.hs, dist/build/Servant/OpenApi/Internal/Orphans.p_o )

src/Servant/OpenApi/Internal/Orphans.hs:16:10: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Typeable (SourceT m a)’ matches
        a built-in instance
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the instance declaration for ‘ToSchema (SourceT m a)’
   |
16 | instance (Typeable (SourceT m a), ToSchema a) => ToSchema (SourceT m a) where
   |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 2 of 10] Compiling Servant.OpenApi.Internal.TypeLevel.API ( src/Servant/OpenApi/Internal/TypeLevel/API.hs, dist/build/Servant/OpenApi/Internal/TypeLevel/API.p_o )

src/Servant/OpenApi/Internal/TypeLevel/API.hs:88:34: warning: [-Wstar-is-type]
    Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.
   |
88 | type family BodyTypes' c api :: [*] where
   |                                  ^
[ 3 of 10] Compiling Servant.OpenApi.Internal ( src/Servant/OpenApi/Internal.hs, dist/build/Servant/OpenApi/Internal.p_o )

src/Servant/OpenApi/Internal.hs:241:10: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Typeable (WithStatus s a)’ matches
        a built-in instance
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the instance declaration for ‘ToSchema (WithStatus s a)’
    |
241 | instance (Typeable (WithStatus s a), ToSchema a) => ToSchema (WithStatus s a) where
    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 4 of 10] Compiling Servant.OpenApi.Internal.TypeLevel.TMap ( src/Servant/OpenApi/Internal/TypeLevel/TMap.hs, dist/build/Servant/OpenApi/Internal/TypeLevel/TMap.p_o )
[ 5 of 10] Compiling Servant.OpenApi.Internal.TypeLevel.Every ( src/Servant/OpenApi/Internal/TypeLevel/Every.hs, dist/build/Servant/OpenApi/Internal/TypeLevel/Every.p_o )

src/Servant/OpenApi/Internal/TypeLevel/Every.hs:51:37: warning: [-Wstar-is-type]
    Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.
   |
51 | class EveryTF cs x => Every (cs :: [* -> Constraint]) (x :: *) where
   |                                     ^

src/Servant/OpenApi/Internal/TypeLevel/Every.hs:51:61: warning: [-Wstar-is-type]
    Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.
   |
51 | class EveryTF cs x => Every (cs :: [* -> Constraint]) (x :: *) where
   |                                                             ^
[ 6 of 10] Compiling Servant.OpenApi.Internal.TypeLevel ( src/Servant/OpenApi/Internal/TypeLevel.hs, dist/build/Servant/OpenApi/Internal/TypeLevel.p_o )
[ 7 of 10] Compiling Servant.OpenApi.Internal.Test ( src/Servant/OpenApi/Internal/Test.hs, dist/build/Servant/OpenApi/Internal/Test.p_o )
[ 8 of 10] Compiling Servant.OpenApi.Test ( src/Servant/OpenApi/Test.hs, dist/build/Servant/OpenApi/Test.p_o )
[ 9 of 10] Compiling Servant.OpenApi  ( src/Servant/OpenApi.hs, dist/build/Servant/OpenApi.p_o )
[10 of 10] Compiling Servant.OpenApi.TypeLevel ( src/Servant/OpenApi/TypeLevel.hs, dist/build/Servant/OpenApi/TypeLevel.p_o )
Preprocessing test suite 'spec' for servant-openapi3-2.0.1.5..
Building test suite 'spec' for servant-openapi3-2.0.1.5..
[1 of 2] Compiling Servant.OpenApiSpec ( test/Servant/OpenApiSpec.hs, dist/build/spec/spec-tmp/Servant/OpenApiSpec.o, dist/build/spec/spec-tmp/Servant/OpenApiSpec.dyn_o )
[2 of 2] Compiling Main             ( test/Spec.hs, dist/build/spec/spec-tmp/Main.o, dist/build/spec/spec-tmp/Main.dyn_o )
Linking dist/build/spec/spec ...
running tests
Running 2 test suites...
Test suite doctests: RUNNING...

/build/servant-openapi3-2.0.1.5/src/Servant/OpenApi/Internal/Orphans.hs:16:10: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Typeable (SourceT m a)’ matches
        a built-in instance
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the instance declaration for ‘ToSchema (SourceT m a)’

/build/servant-openapi3-2.0.1.5/src/Servant/OpenApi/Internal.hs:241:10: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Typeable (WithStatus s a)’ matches
        a built-in instance
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the instance declaration for ‘ToSchema (WithStatus s a)’
/build/servant-openapi3-2.0.1.5/src/Servant/OpenApi.hs:506: failure in expression `hspec $ validateEveryToJSON (Proxy :: Proxy UserAPI)'
expected: 
          [User]...
          ...
          User...
          ...
          UserId...
          ...
          Finished in ... seconds
          ...3 examples, 0 failures...
 but got: 
          [User]
            +++ OK, passed 100 tests.
          User
            +++ OK, passed 100 tests.
          UserId
            +++ OK, passed 100 tests.
          
          Finished in 0.0222 seconds
          3 examples, 0 failures
           ^

/build/servant-openapi3-2.0.1.5/src/Servant/OpenApi/Internal/Test.hs:51: failure in expression `hspec $ context "ToJSON matches ToSchema" $ validateEveryToJSON (Proxy :: Proxy UserAPI)'
expected: 
          ToJSON matches ToSchema
            User...
          ...
            UserId...
          ...
          Finished in ... seconds
          ...2 examples, 0 failures...
 but got: 
          ToJSON matches ToSchema
            User
              +++ OK, passed 100 tests.
            UserId
              +++ OK, passed 100 tests.
            ^
          
          Finished in 0.0023 seconds
          2 examples, 0 failures

/build/servant-openapi3-2.0.1.5/src/Servant/OpenApi/Internal/Test.hs:108: failure in expression `:{
  hspec $
    context "read . show == id" $
      props
        (Proxy :: Proxy [Eq, Show, Read])
        (\x -> read (show x) === x)
        (Proxy :: Proxy [Bool, Int, String])
:}'
expected: 
          read . show == id
            Bool...
          ...
            Int...
          ...
            [Char]...
          ...
          Finished in ... seconds
          ...3 examples, 0 failures...
 but got: 
          read . show == id
            Bool
              +++ OK, passed 100 tests.
            Int
              +++ OK, passed 100 tests.
            [Char]
              +++ OK, passed 100 tests.
            ^
          
          Finished in 0.0150 seconds
          3 examples, 0 failures

Examples: 90  Tried: 85  Errors: 0  Failures: 3
-i
-i/build/servant-openapi3-2.0.1.5/dist/build/autogen
-i/build/servant-openapi3-2.0.1.5/dist/build
-i/build/servant-openapi3-2.0.1.5/src
-package-env=-
-hide-all-packages
-no-user-package-db
-package-db=/build/tmp.84Llg8383c/package.conf.d
-package-db=dist/package.conf.inplace
-optP-include
-optPdist/build/autogen/cabal_macros.h
-package-id=QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
-package-id=aeson-2.0.3.0-HlWJjVNsI9B9POFOQBJXQw
-package-id=aeson-pretty-0.8.9-BP2fiCVwamN3O1pHzEaCDN
-package-id=base-4.15.1.0
-package-id=base-compat-0.11.2-D5DT1MGmUKa4Ww8Uu5S4h5
-package-id=bytestring-0.10.12.1
-package-id=hspec-2.8.5-15yd26Khcrc433s3iLylfP
-package-id=http-media-0.8.0.0-JdgogMjUm0g6z6er6ZVrgu
-package-id=insert-ordered-containers-0.2.5.1-KPzpTzYDj1PDydVJeixuTd
-package-id=lens-5.0.1-IyoHbjke83qLG0yAxj1Z63
-package-id=openapi3-3.2.2-7qfyBNzxmFMIDpj109EOZs
-package-id=servant-0.19-GGif3G3NYIoEj4gSR8L6J7
-package-id=singleton-bool-0.1.6-NzHHXQRw9fHRfIkf79Ywi
-package-id=text-1.2.5.0
-package-id=unordered-containers-0.2.17.0-5tsTUc3qaP8lsa0vPeGcq
-package-id=directory-1.3.6.2
-package-id=doctest-0.18.2-Azd6gA1KUSO3PrMqh8IR4K
-package-id=filepath-1.4.2.1
Servant.OpenApi
Servant.OpenApi.Test
Servant.OpenApi.TypeLevel
Servant.OpenApi.Internal
Servant.OpenApi.Internal.Orphans
Servant.OpenApi.Internal.Test
Servant.OpenApi.Internal.TypeLevel
Servant.OpenApi.Internal.TypeLevel.API
Servant.OpenApi.Internal.TypeLevel.Every
Servant.OpenApi.Internal.TypeLevel.TMap
Test suite doctests: FAIL
Test suite logged to: dist/test/servant-openapi3-2.0.1.5-doctests.log
Test suite spec: RUNNING...

Servant.OpenApi
  HasOpenApi
    Todo API
    Hackage API (with tags)
    GetPost API (test subOperations)
    Comprehensive API
    UVerb API

Finished in 0.0020 seconds
5 examples, 0 failures
Test suite spec: PASS
Test suite logged to: dist/test/servant-openapi3-2.0.1.5-spec.log
1 of 2 test suites (1 of 2 test cases) passed.
@maksbotan
Copy link
Collaborator

Hi! Can you please try running those tests with hspec 2.10?

@sternenseemann
Copy link
Author

Still happens with hspec 2.10:

compileBuildDriverPhase
setupCompileFlags: -package-db=/build/tmp.m40j6lP8RJ/setup-package.conf.d -j4 +RTS -A64M -RTS -threaded -rtsopts
[1 of 1] Compiling Main             ( Setup.hs, /build/tmp.m40j6lP8RJ/Main.o )
Linking Setup ...
configuring
configureFlags: --verbose --prefix=/nix/store/ps21hla4l72fpn5mjhgm7fi6l1qx6x2a-servant-openapi3-2.0.1.5 --libdir=$prefix/lib/$compiler --libsubdir=$abi/$libname --docdir=/nix/store/hm2m80z9k5l0ipb2yd2w0zfmvwdjhi3q-servant-openapi3-2.0.1.5-doc/share/doc/servant-openapi3-2.0.1.5 --with-gcc=gcc --package-db=/build/tmp.m40j6lP8RJ/package.conf.d --ghc-options=-j4 +RTS -A64M -RTS --disable-split-objs --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --enable-static --disable-executable-dynamic --enable-tests --disable-benchmarks --enable-library-vanilla --disable-library-for-ghci --ghc-option=-split-sections --ghc-options=-haddock --extra-lib-dirs=/nix/store/1pl0x17adk2r9rx99rlfny9r0alha5m8-ncurses-6.3/lib --extra-lib-dirs=/nix/store/7m5ik9rhh55m021kzmg4hb4zjfj3lyyc-libffi-3.4.2/lib --extra-lib-dirs=/nix/store/4l48ybgm682wr7s2m1bzr85ca51i3kgb-gmp-with-cxx-6.2.1/lib --extra-lib-dirs=/nix/store/0hy2ydriiyh7azw57agy8ajr3gxbw7i2-ghc-9.0.2/lib
Using Parsec parser
Configuring servant-openapi3-2.0.1.5...
Dependency QuickCheck: using QuickCheck-2.14.2
Dependency aeson >=1.4.2.0 && <1.6 || >=2.0.1.0 && <2.1: using aeson-2.0.3.0
Dependency aeson-pretty >=0.8.7 && <0.9: using aeson-pretty-0.8.9
Dependency base >=4.9.1.0 && <4.17: using base-4.15.1.0
Dependency base-compat >=0.10.5 && <0.13: using base-compat-0.11.2
Dependency bytestring >=0.10.8.1 && <0.12: using bytestring-0.10.12.1
Dependency hspec: using hspec-2.10.0
Dependency http-media >=0.7.1.3 && <0.9: using http-media-0.8.0.0
Dependency insert-ordered-containers >=0.2.1.0 && <0.3: using
insert-ordered-containers-0.2.5.1
Dependency lens >=4.17 && <5.2: using lens-5.0.1
Dependency openapi3 >=3.0.0 && <3.3: using openapi3-3.2.2
Dependency servant >=0.17 && <0.20: using servant-0.19
Dependency singleton-bool >=0.1.4 && <0.2: using singleton-bool-0.1.6
Dependency text >=1.2.3.0 && <3: using text-1.2.5.0
Dependency unordered-containers >=0.2.9.0 && <0.3: using
unordered-containers-0.2.17.0
Dependency QuickCheck: using QuickCheck-2.14.2
Dependency base: using base-4.15.1.0
Dependency directory >=1.0: using directory-1.3.6.2
Dependency doctest >=0.11.1 && <0.21: using doctest-0.18.2
Dependency filepath: using filepath-1.4.2.1
Dependency servant: using servant-0.19
Dependency QuickCheck: using QuickCheck-2.14.2
Dependency aeson: using aeson-2.0.3.0
Dependency base: using base-4.15.1.0
Dependency base-compat: using base-compat-0.11.2
Dependency hspec >=2.6.0 && <2.11: using hspec-2.10.0
Dependency lens: using lens-5.0.1
Dependency lens-aeson >=1.0.2 && <1.3: using lens-aeson-1.1.3
Dependency openapi3 >=3.1.0: using openapi3-3.2.2
Dependency servant: using servant-0.19
Dependency servant-openapi3: using servant-openapi3-2.0.1.5
Dependency template-haskell: using template-haskell-2.17.0.0
Dependency text: using text-1.2.5.0
Dependency time: using time-1.9.3
Dependency utf8-string >=1.0.1.1 && <1.1: using utf8-string-1.0.2
Dependency vector: using vector-0.12.3.1
Source component graph:
    component test:doctests
    component lib
    component test:spec dependency lib
Configured component graph:
    component servant-openapi3-2.0.1.5-9f2hUSoCpnCFZK8WvRe0wR-doctests
        include QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
        include base-4.15.1.0
        include directory-1.3.6.2
        include doctest-0.18.2-Azd6gA1KUSO3PrMqh8IR4K
        include filepath-1.4.2.1
        include servant-0.19-GGif3G3NYIoEj4gSR8L6J7
    component servant-openapi3-2.0.1.5-JpQkrU8Duml5J2oQFHpcka
        include QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
        include aeson-2.0.3.0-HlWJjVNsI9B9POFOQBJXQw
        include aeson-pretty-0.8.9-BP2fiCVwamN3O1pHzEaCDN
        include base-4.15.1.0
        include base-compat-0.11.2-D5DT1MGmUKa4Ww8Uu5S4h5
        include bytestring-0.10.12.1
        include hspec-2.10.0-KSv2aoXinXhHlKoI6lz6j0
        include http-media-0.8.0.0-JdgogMjUm0g6z6er6ZVrgu
        include insert-ordered-containers-0.2.5.1-KPzpTzYDj1PDydVJeixuTd
        include lens-5.0.1-IyoHbjke83qLG0yAxj1Z63
        include openapi3-3.2.2-7qfyBNzxmFMIDpj109EOZs
        include servant-0.19-GGif3G3NYIoEj4gSR8L6J7
        include singleton-bool-0.1.6-NzHHXQRw9fHRfIkf79Ywi
        include text-1.2.5.0
        include unordered-containers-0.2.17.0-5tsTUc3qaP8lsa0vPeGcq
    component servant-openapi3-2.0.1.5-8P7xeA1FLjc2fIQFaDkBhA-spec
        include QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
        include aeson-2.0.3.0-HlWJjVNsI9B9POFOQBJXQw
        include base-4.15.1.0
        include base-compat-0.11.2-D5DT1MGmUKa4Ww8Uu5S4h5
        include hspec-2.10.0-KSv2aoXinXhHlKoI6lz6j0
        include lens-5.0.1-IyoHbjke83qLG0yAxj1Z63
        include lens-aeson-1.1.3-3FsDeWZaP30IAUE3WNL7m5
        include openapi3-3.2.2-7qfyBNzxmFMIDpj109EOZs
        include servant-0.19-GGif3G3NYIoEj4gSR8L6J7
        include servant-openapi3-2.0.1.5-JpQkrU8Duml5J2oQFHpcka
        include template-haskell-2.17.0.0
        include text-1.2.5.0
        include time-1.9.3
        include utf8-string-1.0.2-Lm887ungamcD8QgwYloUIG
        include vector-0.12.3.1-TXkE6leK98EdYcmdk29JF
Linked component graph:
    unit servant-openapi3-2.0.1.5-9f2hUSoCpnCFZK8WvRe0wR-doctests
        include QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
        include base-4.15.1.0
        include directory-1.3.6.2
        include doctest-0.18.2-Azd6gA1KUSO3PrMqh8IR4K
        include filepath-1.4.2.1
        include servant-0.19-GGif3G3NYIoEj4gSR8L6J7
    unit servant-openapi3-2.0.1.5-JpQkrU8Duml5J2oQFHpcka
        include QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
        include aeson-2.0.3.0-HlWJjVNsI9B9POFOQBJXQw
        include aeson-pretty-0.8.9-BP2fiCVwamN3O1pHzEaCDN
        include base-4.15.1.0
        include base-compat-0.11.2-D5DT1MGmUKa4Ww8Uu5S4h5
        include bytestring-0.10.12.1
        include hspec-2.10.0-KSv2aoXinXhHlKoI6lz6j0
        include http-media-0.8.0.0-JdgogMjUm0g6z6er6ZVrgu
        include insert-ordered-containers-0.2.5.1-KPzpTzYDj1PDydVJeixuTd
        include lens-5.0.1-IyoHbjke83qLG0yAxj1Z63
        include openapi3-3.2.2-7qfyBNzxmFMIDpj109EOZs
        include servant-0.19-GGif3G3NYIoEj4gSR8L6J7
        include singleton-bool-0.1.6-NzHHXQRw9fHRfIkf79Ywi
        include text-1.2.5.0
        include unordered-containers-0.2.17.0-5tsTUc3qaP8lsa0vPeGcq
        Servant.OpenApi=servant-openapi3-2.0.1.5-JpQkrU8Duml5J2oQFHpcka:Servant.OpenApi,Servant.OpenApi.Internal=servant-openapi3-2.0.1.5-JpQkrU8Duml5J2oQFHpcka:Servant.OpenApi.Internal,Servant.OpenApi.Internal.Orphans=servant-openapi3-2.0.1.5-JpQkrU8Duml5J2oQFHpcka:Servant.OpenApi.Internal.Orphans,Servant.OpenApi.Internal.Test=servant-openapi3-2.0.1.5-JpQkrU8Duml5J2oQFHpcka:Servant.OpenApi.Internal.Test,Servant.OpenApi.Internal.TypeLevel=servant-openapi3-2.0.1.5-JpQkrU8Duml5J2oQFHpcka:Servant.OpenApi.Internal.TypeLevel,Servant.OpenApi.Internal.TypeLevel.API=servant-openapi3-2.0.1.5-JpQkrU8Duml5J2oQFHpcka:Servant.OpenApi.Internal.TypeLevel.API,Servant.OpenApi.Internal.TypeLevel.Every=servant-openapi3-2.0.1.5-JpQkrU8Duml5J2oQFHpcka:Servant.OpenApi.Internal.TypeLevel.Every,Servant.OpenApi.Internal.TypeLevel.TMap=servant-openapi3-2.0.1.5-JpQkrU8Duml5J2oQFHpcka:Servant.OpenApi.Internal.TypeLevel.TMap,Servant.OpenApi.Test=servant-openapi3-2.0.1.5-JpQkrU8Duml5J2oQFHpcka:Servant.OpenApi.Test,Servant.OpenApi.TypeLevel=servant-openapi3-2.0.1.5-JpQkrU8Duml5J2oQFHpcka:Servant.OpenApi.TypeLevel
    unit servant-openapi3-2.0.1.5-8P7xeA1FLjc2fIQFaDkBhA-spec
        include QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
        include aeson-2.0.3.0-HlWJjVNsI9B9POFOQBJXQw
        include base-4.15.1.0
        include base-compat-0.11.2-D5DT1MGmUKa4Ww8Uu5S4h5
        include hspec-2.10.0-KSv2aoXinXhHlKoI6lz6j0
        include lens-5.0.1-IyoHbjke83qLG0yAxj1Z63
        include lens-aeson-1.1.3-3FsDeWZaP30IAUE3WNL7m5
        include openapi3-3.2.2-7qfyBNzxmFMIDpj109EOZs
        include servant-0.19-GGif3G3NYIoEj4gSR8L6J7
        include servant-openapi3-2.0.1.5-JpQkrU8Duml5J2oQFHpcka
        include template-haskell-2.17.0.0
        include text-1.2.5.0
        include time-1.9.3
        include utf8-string-1.0.2-Lm887ungamcD8QgwYloUIG
        include vector-0.12.3.1-TXkE6leK98EdYcmdk29JF
Ready component graph:
    definite servant-openapi3-2.0.1.5-JpQkrU8Duml5J2oQFHpcka
        depends QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
        depends aeson-2.0.3.0-HlWJjVNsI9B9POFOQBJXQw
        depends aeson-pretty-0.8.9-BP2fiCVwamN3O1pHzEaCDN
        depends base-4.15.1.0
        depends base-compat-0.11.2-D5DT1MGmUKa4Ww8Uu5S4h5
        depends bytestring-0.10.12.1
        depends hspec-2.10.0-KSv2aoXinXhHlKoI6lz6j0
        depends http-media-0.8.0.0-JdgogMjUm0g6z6er6ZVrgu
        depends insert-ordered-containers-0.2.5.1-KPzpTzYDj1PDydVJeixuTd
        depends lens-5.0.1-IyoHbjke83qLG0yAxj1Z63
        depends openapi3-3.2.2-7qfyBNzxmFMIDpj109EOZs
        depends servant-0.19-GGif3G3NYIoEj4gSR8L6J7
        depends singleton-bool-0.1.6-NzHHXQRw9fHRfIkf79Ywi
        depends text-1.2.5.0
        depends unordered-containers-0.2.17.0-5tsTUc3qaP8lsa0vPeGcq
    definite servant-openapi3-2.0.1.5-9f2hUSoCpnCFZK8WvRe0wR-doctests
        depends QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
        depends base-4.15.1.0
        depends directory-1.3.6.2
        depends doctest-0.18.2-Azd6gA1KUSO3PrMqh8IR4K
        depends filepath-1.4.2.1
        depends servant-0.19-GGif3G3NYIoEj4gSR8L6J7
    definite servant-openapi3-2.0.1.5-8P7xeA1FLjc2fIQFaDkBhA-spec
        depends QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
        depends aeson-2.0.3.0-HlWJjVNsI9B9POFOQBJXQw
        depends base-4.15.1.0
        depends base-compat-0.11.2-D5DT1MGmUKa4Ww8Uu5S4h5
        depends hspec-2.10.0-KSv2aoXinXhHlKoI6lz6j0
        depends lens-5.0.1-IyoHbjke83qLG0yAxj1Z63
        depends lens-aeson-1.1.3-3FsDeWZaP30IAUE3WNL7m5
        depends openapi3-3.2.2-7qfyBNzxmFMIDpj109EOZs
        depends servant-0.19-GGif3G3NYIoEj4gSR8L6J7
        depends servant-openapi3-2.0.1.5-JpQkrU8Duml5J2oQFHpcka
        depends template-haskell-2.17.0.0
        depends text-1.2.5.0
        depends time-1.9.3
        depends utf8-string-1.0.2-Lm887ungamcD8QgwYloUIG
        depends vector-0.12.3.1-TXkE6leK98EdYcmdk29JF
Using Cabal-3.4.1.0 compiled by ghc-9.0
Using compiler: ghc-9.0.2
Using install prefix:
/nix/store/ps21hla4l72fpn5mjhgm7fi6l1qx6x2a-servant-openapi3-2.0.1.5
Executables installed in:
/nix/store/ps21hla4l72fpn5mjhgm7fi6l1qx6x2a-servant-openapi3-2.0.1.5/bin
Libraries installed in:
/nix/store/ps21hla4l72fpn5mjhgm7fi6l1qx6x2a-servant-openapi3-2.0.1.5/lib/ghc-9.0.2/x86_64-linux-ghc-9.0.2/servant-openapi3-2.0.1.5-JpQkrU8Duml5J2oQFHpcka
Dynamic Libraries installed in:
/nix/store/ps21hla4l72fpn5mjhgm7fi6l1qx6x2a-servant-openapi3-2.0.1.5/lib/ghc-9.0.2/x86_64-linux-ghc-9.0.2
Private executables installed in:
/nix/store/ps21hla4l72fpn5mjhgm7fi6l1qx6x2a-servant-openapi3-2.0.1.5/libexec/x86_64-linux-ghc-9.0.2/servant-openapi3-2.0.1.5
Data files installed in:
/nix/store/ps21hla4l72fpn5mjhgm7fi6l1qx6x2a-servant-openapi3-2.0.1.5/share/x86_64-linux-ghc-9.0.2/servant-openapi3-2.0.1.5
Documentation installed in:
/nix/store/hm2m80z9k5l0ipb2yd2w0zfmvwdjhi3q-servant-openapi3-2.0.1.5-doc/share/doc/servant-openapi3-2.0.1.5
Configuration files installed in:
/nix/store/ps21hla4l72fpn5mjhgm7fi6l1qx6x2a-servant-openapi3-2.0.1.5/etc
No alex found
Using ar found on system at:
/nix/store/2b99rpx8zwdjjqkrvk7kqgn9mxhiidjy-binutils-2.38/bin/ar
No c2hs found
No cpphs found
Using doctest version 0.18.2 found on system at:
/nix/store/dbrl7byh5asi89v38z9q23dnv2wzq8b5-doctest-0.18.2/bin/doctest
Using gcc version 11.3.0 given by user at:
/nix/store/r7r10qvsqlnvbzjkjinvscjlahqbxifl-gcc-wrapper-11.3.0/bin/gcc
Using ghc version 9.0.2 found on system at:
/nix/store/0hy2ydriiyh7azw57agy8ajr3gxbw7i2-ghc-9.0.2/bin/ghc
Using ghc-pkg version 9.0.2 found on system at:
/nix/store/0hy2ydriiyh7azw57agy8ajr3gxbw7i2-ghc-9.0.2/bin/ghc-pkg
No ghcjs found
No ghcjs-pkg found
No greencard found
Using haddock version 2.25.1 found on system at:
/nix/store/0hy2ydriiyh7azw57agy8ajr3gxbw7i2-ghc-9.0.2/bin/haddock
No happy found
Using haskell-suite found on system at: haskell-suite-dummy-location
Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
No hmake found
Using hpc version 0.68 found on system at:
/nix/store/0hy2ydriiyh7azw57agy8ajr3gxbw7i2-ghc-9.0.2/bin/hpc
Using hsc2hs version 0.68.7 found on system at:
/nix/store/0hy2ydriiyh7azw57agy8ajr3gxbw7i2-ghc-9.0.2/bin/hsc2hs
Using hscolour version 1.24 found on system at:
/nix/store/d194pcq8qz53qw0qb4v349c5w39f3nl5-hscolour-1.24.4/bin/HsColour
No jhc found
Using ld found on system at:
/nix/store/10h6ymfb28wx6x8amj82h2sgw3ixrsb2-binutils-wrapper-2.38/bin/ld.gold
No pkg-config found
Using runghc version 9.0.2 found on system at:
/nix/store/0hy2ydriiyh7azw57agy8ajr3gxbw7i2-ghc-9.0.2/bin/runghc
Using strip version 2.38 found on system at:
/nix/store/r7r10qvsqlnvbzjkjinvscjlahqbxifl-gcc-wrapper-11.3.0/bin/strip
Using tar found on system at:
/nix/store/5p3qyadsv163m7zvqssiw80zh6xfv2jv-gnutar-1.34/bin/tar
No uhc found
building
Preprocessing library for servant-openapi3-2.0.1.5..
Building library for servant-openapi3-2.0.1.5..
[ 1 of 10] Compiling Servant.OpenApi.Internal.Orphans ( src/Servant/OpenApi/Internal/Orphans.hs, dist/build/Servant/OpenApi/Internal/Orphans.o, dist/build/Servant/OpenApi/Internal/Orphans.dyn_o )

src/Servant/OpenApi/Internal/Orphans.hs:16:10: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Typeable (SourceT m a)’ matches
        a built-in instance
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the instance declaration for ‘ToSchema (SourceT m a)’
   |
16 | instance (Typeable (SourceT m a), ToSchema a) => ToSchema (SourceT m a) where
   |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 2 of 10] Compiling Servant.OpenApi.Internal.TypeLevel.API ( src/Servant/OpenApi/Internal/TypeLevel/API.hs, dist/build/Servant/OpenApi/Internal/TypeLevel/API.o, dist/build/Servant/OpenApi/Internal/TypeLevel/API.dyn_o )

src/Servant/OpenApi/Internal/TypeLevel/API.hs:88:34: warning: [-Wstar-is-type]
    Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.
   |
88 | type family BodyTypes' c api :: [*] where
   |                                  ^
[ 3 of 10] Compiling Servant.OpenApi.Internal ( src/Servant/OpenApi/Internal.hs, dist/build/Servant/OpenApi/Internal.o, dist/build/Servant/OpenApi/Internal.dyn_o )

src/Servant/OpenApi/Internal.hs:241:10: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Typeable (WithStatus s a)’ matches
        a built-in instance
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the instance declaration for ‘ToSchema (WithStatus s a)’
    |
241 | instance (Typeable (WithStatus s a), ToSchema a) => ToSchema (WithStatus s a) where
    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 4 of 10] Compiling Servant.OpenApi.Internal.TypeLevel.TMap ( src/Servant/OpenApi/Internal/TypeLevel/TMap.hs, dist/build/Servant/OpenApi/Internal/TypeLevel/TMap.o, dist/build/Servant/OpenApi/Internal/TypeLevel/TMap.dyn_o )
[ 5 of 10] Compiling Servant.OpenApi.Internal.TypeLevel.Every ( src/Servant/OpenApi/Internal/TypeLevel/Every.hs, dist/build/Servant/OpenApi/Internal/TypeLevel/Every.o, dist/build/Servant/OpenApi/Internal/TypeLevel/Every.dyn_o )

src/Servant/OpenApi/Internal/TypeLevel/Every.hs:51:37: warning: [-Wstar-is-type]
    Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.
   |
51 | class EveryTF cs x => Every (cs :: [* -> Constraint]) (x :: *) where
   |                                     ^

src/Servant/OpenApi/Internal/TypeLevel/Every.hs:51:61: warning: [-Wstar-is-type]
    Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.
   |
51 | class EveryTF cs x => Every (cs :: [* -> Constraint]) (x :: *) where
   |                                                             ^
[ 6 of 10] Compiling Servant.OpenApi.Internal.TypeLevel ( src/Servant/OpenApi/Internal/TypeLevel.hs, dist/build/Servant/OpenApi/Internal/TypeLevel.o, dist/build/Servant/OpenApi/Internal/TypeLevel.dyn_o )
[ 7 of 10] Compiling Servant.OpenApi.Internal.Test ( src/Servant/OpenApi/Internal/Test.hs, dist/build/Servant/OpenApi/Internal/Test.o, dist/build/Servant/OpenApi/Internal/Test.dyn_o )
[ 8 of 10] Compiling Servant.OpenApi.Test ( src/Servant/OpenApi/Test.hs, dist/build/Servant/OpenApi/Test.o, dist/build/Servant/OpenApi/Test.dyn_o )
[ 9 of 10] Compiling Servant.OpenApi  ( src/Servant/OpenApi.hs, dist/build/Servant/OpenApi.o, dist/build/Servant/OpenApi.dyn_o )
[10 of 10] Compiling Servant.OpenApi.TypeLevel ( src/Servant/OpenApi/TypeLevel.hs, dist/build/Servant/OpenApi/TypeLevel.o, dist/build/Servant/OpenApi/TypeLevel.dyn_o )
[ 1 of 10] Compiling Servant.OpenApi.Internal.Orphans ( src/Servant/OpenApi/Internal/Orphans.hs, dist/build/Servant/OpenApi/Internal/Orphans.p_o )

src/Servant/OpenApi/Internal/Orphans.hs:16:10: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Typeable (SourceT m a)’ matches
        a built-in instance
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the instance declaration for ‘ToSchema (SourceT m a)’
   |
16 | instance (Typeable (SourceT m a), ToSchema a) => ToSchema (SourceT m a) where
   |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 2 of 10] Compiling Servant.OpenApi.Internal.TypeLevel.API ( src/Servant/OpenApi/Internal/TypeLevel/API.hs, dist/build/Servant/OpenApi/Internal/TypeLevel/API.p_o )

src/Servant/OpenApi/Internal/TypeLevel/API.hs:88:34: warning: [-Wstar-is-type]
    Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.
   |
88 | type family BodyTypes' c api :: [*] where
   |                                  ^
[ 3 of 10] Compiling Servant.OpenApi.Internal ( src/Servant/OpenApi/Internal.hs, dist/build/Servant/OpenApi/Internal.p_o )

src/Servant/OpenApi/Internal.hs:241:10: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Typeable (WithStatus s a)’ matches
        a built-in instance
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the instance declaration for ‘ToSchema (WithStatus s a)’
    |
241 | instance (Typeable (WithStatus s a), ToSchema a) => ToSchema (WithStatus s a) where
    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 4 of 10] Compiling Servant.OpenApi.Internal.TypeLevel.TMap ( src/Servant/OpenApi/Internal/TypeLevel/TMap.hs, dist/build/Servant/OpenApi/Internal/TypeLevel/TMap.p_o )
[ 5 of 10] Compiling Servant.OpenApi.Internal.TypeLevel.Every ( src/Servant/OpenApi/Internal/TypeLevel/Every.hs, dist/build/Servant/OpenApi/Internal/TypeLevel/Every.p_o )

src/Servant/OpenApi/Internal/TypeLevel/Every.hs:51:37: warning: [-Wstar-is-type]
    Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.
   |
51 | class EveryTF cs x => Every (cs :: [* -> Constraint]) (x :: *) where
   |                                     ^

src/Servant/OpenApi/Internal/TypeLevel/Every.hs:51:61: warning: [-Wstar-is-type]
    Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.
   |
51 | class EveryTF cs x => Every (cs :: [* -> Constraint]) (x :: *) where
   |                                                             ^
[ 6 of 10] Compiling Servant.OpenApi.Internal.TypeLevel ( src/Servant/OpenApi/Internal/TypeLevel.hs, dist/build/Servant/OpenApi/Internal/TypeLevel.p_o )
[ 7 of 10] Compiling Servant.OpenApi.Internal.Test ( src/Servant/OpenApi/Internal/Test.hs, dist/build/Servant/OpenApi/Internal/Test.p_o )
[ 8 of 10] Compiling Servant.OpenApi.Test ( src/Servant/OpenApi/Test.hs, dist/build/Servant/OpenApi/Test.p_o )
[ 9 of 10] Compiling Servant.OpenApi  ( src/Servant/OpenApi.hs, dist/build/Servant/OpenApi.p_o )
[10 of 10] Compiling Servant.OpenApi.TypeLevel ( src/Servant/OpenApi/TypeLevel.hs, dist/build/Servant/OpenApi/TypeLevel.p_o )
Preprocessing test suite 'doctests' for servant-openapi3-2.0.1.5..
Building test suite 'doctests' for servant-openapi3-2.0.1.5..
[1 of 2] Compiling Build_doctests   ( dist/build/doctests/autogen/Build_doctests.hs, dist/build/doctests/doctests-tmp/Build_doctests.o )
[2 of 2] Compiling Main             ( test/doctests.hs, dist/build/doctests/doctests-tmp/Main.o )
Linking dist/build/doctests/doctests ...
Preprocessing test suite 'spec' for servant-openapi3-2.0.1.5..
Building test suite 'spec' for servant-openapi3-2.0.1.5..
[1 of 2] Compiling Servant.OpenApiSpec ( test/Servant/OpenApiSpec.hs, dist/build/spec/spec-tmp/Servant/OpenApiSpec.o, dist/build/spec/spec-tmp/Servant/OpenApiSpec.dyn_o )
[2 of 2] Compiling Main             ( test/Spec.hs, dist/build/spec/spec-tmp/Main.o, dist/build/spec/spec-tmp/Main.dyn_o )
Linking dist/build/spec/spec ...
running tests
Running 2 test suites...
Test suite doctests: RUNNING...

/build/servant-openapi3-2.0.1.5/src/Servant/OpenApi/Internal/Orphans.hs:16:10: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Typeable (SourceT m a)’ matches
        a built-in instance
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the instance declaration for ‘ToSchema (SourceT m a)’

/build/servant-openapi3-2.0.1.5/src/Servant/OpenApi/Internal.hs:241:10: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Typeable (WithStatus s a)’ matches
        a built-in instance
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the instance declaration for ‘ToSchema (WithStatus s a)’
/build/servant-openapi3-2.0.1.5/src/Servant/OpenApi.hs:506: failure in expression `hspec $ validateEveryToJSON (Proxy :: Proxy UserAPI)'
expected:
          [User]...
          ...
          User...
          ...
          UserId...
          ...
          Finished in ... seconds
          ...3 examples, 0 failures...
 but got:
          [User] [✔]
            +++ OK, passed 100 tests.
          User [✔]
            +++ OK, passed 100 tests.
          UserId [✔]
            +++ OK, passed 100 tests.

          Finished in 0.0314 seconds
          3 examples, 0 failures
           ^

/build/servant-openapi3-2.0.1.5/src/Servant/OpenApi/Internal/Test.hs:51: failure in expression `hspec $ context "ToJSON matches ToSchema" $ validateEveryToJSON (Proxy :: Proxy UserAPI)'
expected:
          ToJSON matches ToSchema
            User...
          ...
            UserId...
          ...
          Finished in ... seconds
          ...2 examples, 0 failures...
 but got:
          ToJSON matches ToSchema
            User [✔]
              +++ OK, passed 100 tests.
            UserId [✔]
              +++ OK, passed 100 tests.
            ^

          Finished in 0.0027 seconds
          2 examples, 0 failures

/build/servant-openapi3-2.0.1.5/src/Servant/OpenApi/Internal/Test.hs:108: failure in expression `:{
  hspec $
    context "read . show == id" $
      props
        (Proxy :: Proxy [Eq, Show, Read])
        (\x -> read (show x) === x)
        (Proxy :: Proxy [Bool, Int, String])
:}'
expected:
          read . show == id
            Bool...
          ...
            Int...
          ...
            [Char]...
          ...
          Finished in ... seconds
          ...3 examples, 0 failures...
 but got:
          read . show == id
            Bool [✔]
              +++ OK, passed 100 tests.
            Int [✔]
              +++ OK, passed 100 tests.
            [Char] [✔]
              +++ OK, passed 100 tests.
            ^

          Finished in 0.0159 seconds
          3 examples, 0 failures

Examples: 90  Tried: 85  Errors: 0  Failures: 3
-i
-i/build/servant-openapi3-2.0.1.5/dist/build/autogen
-i/build/servant-openapi3-2.0.1.5/dist/build
-i/build/servant-openapi3-2.0.1.5/src
-package-env=-
-hide-all-packages
-no-user-package-db
-package-db=/build/tmp.m40j6lP8RJ/package.conf.d
-package-db=dist/package.conf.inplace
-optP-include
-optPdist/build/autogen/cabal_macros.h
-package-id=QuickCheck-2.14.2-CJDnMWXQCpp1Tgm6F43kjb
-package-id=aeson-2.0.3.0-HlWJjVNsI9B9POFOQBJXQw
-package-id=aeson-pretty-0.8.9-BP2fiCVwamN3O1pHzEaCDN
-package-id=base-4.15.1.0
-package-id=base-compat-0.11.2-D5DT1MGmUKa4Ww8Uu5S4h5
-package-id=bytestring-0.10.12.1
-package-id=hspec-2.10.0-KSv2aoXinXhHlKoI6lz6j0
-package-id=http-media-0.8.0.0-JdgogMjUm0g6z6er6ZVrgu
-package-id=insert-ordered-containers-0.2.5.1-KPzpTzYDj1PDydVJeixuTd
-package-id=lens-5.0.1-IyoHbjke83qLG0yAxj1Z63
-package-id=openapi3-3.2.2-7qfyBNzxmFMIDpj109EOZs
-package-id=servant-0.19-GGif3G3NYIoEj4gSR8L6J7
-package-id=singleton-bool-0.1.6-NzHHXQRw9fHRfIkf79Ywi
-package-id=text-1.2.5.0
-package-id=unordered-containers-0.2.17.0-5tsTUc3qaP8lsa0vPeGcq
-package-id=directory-1.3.6.2
-package-id=doctest-0.18.2-Azd6gA1KUSO3PrMqh8IR4K
-package-id=filepath-1.4.2.1
Servant.OpenApi
Servant.OpenApi.Test
Servant.OpenApi.TypeLevel
Servant.OpenApi.Internal
Servant.OpenApi.Internal.Orphans
Servant.OpenApi.Internal.Test
Servant.OpenApi.Internal.TypeLevel
Servant.OpenApi.Internal.TypeLevel.API
Servant.OpenApi.Internal.TypeLevel.Every
Servant.OpenApi.Internal.TypeLevel.TMap
Test suite doctests: FAIL
Test suite logged to: dist/test/servant-openapi3-2.0.1.5-doctests.log
Test suite spec: RUNNING...

Servant.OpenApi
  HasOpenApi
    Todo API [✔]
    Hackage API (with tags) [✔]
    GetPost API (test subOperations) [✔]
    Comprehensive API [✔]
    UVerb API [✔]

Finished in 0.0040 seconds
5 examples, 0 failures
Test suite spec: PASS
Test suite logged to: dist/test/servant-openapi3-2.0.1.5-spec.log
1 of 2 test suites (1 of 2 test cases) passed.

@maksbotan
Copy link
Collaborator

Hmm, strange. It worked for me and CI passed. I will look into this later. Does this block you?

@sternenseemann
Copy link
Author

No, I can just disable tests for now, as it seems to be a false negative.

@fpringle
Copy link

Hi, was this ever solved?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@maksbotan @sternenseemann @fpringle