The build succeeded. 1 test suites succeeded, 0 failed.
Build log
> /tmp/stackage-build2453$ stack unpack th-expand-syns-0.4.4.0@sha256:89eb2dc33aa76f5a55bf4c6e2e86b7df9237b2dc42119e35fdf96c9ce1786dfd
Unpacked th-expand-syns-0.4.4.0 to /tmp/stackage-build2453/th-expand-syns-0.4.4.0/
> /tmp/stackage-build2453/th-expand-syns-0.4.4.0$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
[1 of 1] Compiling Main ( Setup.hs, Setup.o )
Linking Setup ...
> /tmp/stackage-build2453/th-expand-syns-0.4.4.0$ ./Setup configure --package-db=clear --package-db=global --package-db=/home/circleci/project/builds/nightly/pkgdb --libdir=/home/circleci/project/builds/nightly/lib --bindir=/home/circleci/project/builds/nightly/bin --datadir=/home/circleci/project/builds/nightly/share --libexecdir=/home/circleci/project/builds/nightly/libexec --sysconfdir=/home/circleci/project/builds/nightly/etc --docdir=/home/circleci/project/builds/nightly/doc/th-expand-syns-0.4.4.0 --htmldir=/home/circleci/project/builds/nightly/doc/th-expand-syns-0.4.4.0 --haddockdir=/home/circleci/project/builds/nightly/doc/th-expand-syns-0.4.4.0
Configuring th-expand-syns-0.4.4.0...
> /tmp/stackage-build2453/th-expand-syns-0.4.4.0$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2453/th-expand-syns-0.4.4.0$ ./Setup build
Preprocessing library for th-expand-syns-0.4.4.0..
Building library for th-expand-syns-0.4.4.0..
[1 of 2] Compiling Language.Haskell.TH.ExpandSyns.SemigroupCompat ( Language/Haskell/TH/ExpandSyns/SemigroupCompat.hs, dist/build/Language/Haskell/TH/ExpandSyns/SemigroupCompat.o )
[2 of 2] Compiling Language.Haskell.TH.ExpandSyns ( Language/Haskell/TH/ExpandSyns.hs, dist/build/Language/Haskell/TH/ExpandSyns.o )
Language/Haskell/TH/ExpandSyns.hs:146:5: warning: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘go’:
Patterns not matched: (ImplicitParamBindD _ _)
|
146 | go (TySynD _ vars t) = return (Just (tyVarBndrGetName <$> vars,t))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
Language/Haskell/TH/ExpandSyns.hs:247:7: warning: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘go’:
Patterns not matched:
[] (ImplicitParamT _ _)
(_:_) (ImplicitParamT _ _)
|
247 | go acc x@ListT = passThrough acc x
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
Language/Haskell/TH/ExpandSyns.hs:343:7: warning: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘go’: Patterns not matched: (ImplicitParamT _ _)
|
343 | go (AppT x y) = AppT (go x) (go y)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
> /tmp/stackage-build2453/th-expand-syns-0.4.4.0$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2453/th-expand-syns-0.4.4.0$ ./Setup copy
Installing library in /home/circleci/project/builds/nightly/lib/x86_64-linux-ghc-8.7.20181120/th-expand-syns-0.4.4.0-1gLBsB69PFHfpuKCekDjw
> /tmp/stackage-build2453/th-expand-syns-0.4.4.0$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2453/th-expand-syns-0.4.4.0$ ./Setup register
Registering library for th-expand-syns-0.4.4.0..
Test log
> /tmp/stackage-build2453/th-expand-syns-0.4.4.0$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2453/th-expand-syns-0.4.4.0$ ./Setup configure --enable-tests --package-db=clear --package-db=global --package-db=/home/circleci/project/builds/nightly/pkgdb --libdir=/home/circleci/project/builds/nightly/lib --bindir=/home/circleci/project/builds/nightly/bin --datadir=/home/circleci/project/builds/nightly/share --libexecdir=/home/circleci/project/builds/nightly/libexec --sysconfdir=/home/circleci/project/builds/nightly/etc --docdir=/home/circleci/project/builds/nightly/doc/th-expand-syns-0.4.4.0 --htmldir=/home/circleci/project/builds/nightly/doc/th-expand-syns-0.4.4.0 --haddockdir=/home/circleci/project/builds/nightly/doc/th-expand-syns-0.4.4.0
Configuring th-expand-syns-0.4.4.0...
> /tmp/stackage-build2453/th-expand-syns-0.4.4.0$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2453/th-expand-syns-0.4.4.0$ ./Setup build
Preprocessing library for th-expand-syns-0.4.4.0..
Building library for th-expand-syns-0.4.4.0..
[1 of 2] Compiling Language.Haskell.TH.ExpandSyns.SemigroupCompat ( Language/Haskell/TH/ExpandSyns/SemigroupCompat.hs, dist/build/Language/Haskell/TH/ExpandSyns/SemigroupCompat.o ) [dist/build/autogen/cabal_macros.h changed]
[2 of 2] Compiling Language.Haskell.TH.ExpandSyns ( Language/Haskell/TH/ExpandSyns.hs, dist/build/Language/Haskell/TH/ExpandSyns.o ) [dist/build/autogen/cabal_macros.h changed]
Language/Haskell/TH/ExpandSyns.hs:146:5: warning: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘go’:
Patterns not matched: (ImplicitParamBindD _ _)
|
146 | go (TySynD _ vars t) = return (Just (tyVarBndrGetName <$> vars,t))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
Language/Haskell/TH/ExpandSyns.hs:247:7: warning: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘go’:
Patterns not matched:
[] (ImplicitParamT _ _)
(_:_) (ImplicitParamT _ _)
|
247 | go acc x@ListT = passThrough acc x
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
Language/Haskell/TH/ExpandSyns.hs:343:7: warning: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘go’: Patterns not matched: (ImplicitParamT _ _)
|
343 | go (AppT x y) = AppT (go x) (go y)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
Preprocessing test suite 'test-th-expand-syns' for th-expand-syns-0.4.4.0..
Building test suite 'test-th-expand-syns' for th-expand-syns-0.4.4.0..
[1 of 3] Compiling Util ( testing/Util.hs, dist/build/test-th-expand-syns/test-th-expand-syns-tmp/Util.o )
[2 of 3] Compiling Types ( testing/Types.hs, dist/build/test-th-expand-syns/test-th-expand-syns-tmp/Types.o )
[3 of 3] Compiling Main ( testing/Main.hs, dist/build/test-th-expand-syns/test-th-expand-syns-tmp/Main.o )
info: input = ForallT [PlainTV a_6989586621679048857] [AppT (ConT GHC.Show.Show) (VarT a_6989586621679048857)] (AppT (AppT ArrowT (VarT a_6989586621679048857)) (AppT (AppT ArrowT (AppT (ConT Types.ForAll) (ConT GHC.Types.[]))) (AppT (AppT (TupleT 2) (ConT GHC.Types.Int)) (AppT (ConT Types.ApplyToInteger) (ConT GHC.Types.[])))))
info: expected = ForallT [PlainTV a_6989586621679048858] [AppT (ConT GHC.Show.Show) (VarT a_6989586621679048858)] (AppT (AppT ArrowT (VarT a_6989586621679048858)) (AppT (AppT ArrowT (ForallT [KindedTV x_6989586621679048859 StarT] [] (AppT (ConT GHC.Types.[]) (VarT x_6989586621679048859)))) (AppT (AppT (TupleT 2) (ConT GHC.Types.Int)) (AppT (ConT GHC.Types.[]) (ConT GHC.Integer.Type.Integer)))))
info: actual = ForallT [PlainTV a_6989586621679048857] [AppT (ConT GHC.Show.Show) (VarT a_6989586621679048857)] (AppT (AppT ArrowT (VarT a_6989586621679048857)) (AppT (AppT ArrowT (ForallT [KindedTV x_6989586621679045689 StarT] [] (AppT (ConT GHC.Types.[]) (VarT x_6989586621679045689)))) (AppT (AppT (TupleT 2) (ConT GHC.Types.Int)) (AppT (ConT GHC.Types.[]) (ConT GHC.Integer.Type.Integer)))))
info: input = ForallT [PlainTV y] [] (AppT (ConT E) (VarT y))
info: expected = ForallT [PlainTV y] [] (ForallT [KindedTV y_0 StarT] [] (AppT (AppT ArrowT (AppT (AppT (ConT Data.Either.Either) (VarT y)) (VarT y_0))) (ConT GHC.Types.Int)))
info: actual = ForallT [PlainTV y] [] (ForallT [KindedTV y_6989586621679047553 StarT] [] (AppT (AppT ArrowT (AppT (AppT (ConT Data.Either.Either) (VarT y)) (VarT y_6989586621679047553))) (ConT GHC.Types.Int)))
info: input = AppT (AppT (AppT (TupleT 3) (AppT (ConT Types.DF1) (ConT GHC.Types.Int))) (AppT (ConT Types.TF1) (ConT GHC.Types.Int))) (AppT (ConT Types.AT1) (ConT GHC.Types.Int))
info: expected = AppT (AppT (AppT (TupleT 3) (AppT (ConT Types.DF1) (ConT GHC.Types.Int))) (AppT (ConT Types.TF1) (ConT GHC.Types.Int))) (AppT (ConT Types.AT1) (ConT GHC.Types.Int))
info: actual = AppT (AppT (AppT (TupleT 3) (AppT (ConT Types.DF1) (ConT GHC.Types.Int))) (AppT (ConT Types.TF1) (ConT GHC.Types.Int))) (AppT (ConT Types.AT1) (ConT GHC.Types.Int))
info: input = AppT (AppT (AppT (TupleT 3) (AppT (ConT Types.DF1) (ConT Types.Int'))) (AppT (ConT Types.TF1) (ConT Types.Int'))) (AppT (ConT Types.AT1) (ConT Types.Int'))
info: expected = AppT (AppT (AppT (TupleT 3) (AppT (ConT Types.DF1) (ConT GHC.Types.Int))) (AppT (ConT Types.TF1) (ConT GHC.Types.Int))) (AppT (ConT Types.AT1) (ConT GHC.Types.Int))
info: actual = AppT (AppT (AppT (TupleT 3) (AppT (ConT Types.DF1) (ConT GHC.Types.Int))) (AppT (ConT Types.TF1) (ConT GHC.Types.Int))) (AppT (ConT Types.AT1) (ConT GHC.Types.Int))
info: input = AppT (AppT (ConT Types.Either') (AppT (ConT Types.ListOf) (ConT Types.Int'))) (AppT (ConT Types.ListOf) (ConT GHC.Types.Char))
info: expected = AppT (AppT (ConT Data.Either.Either) (AppT ListT (ConT GHC.Types.Int))) (AppT ListT (ConT GHC.Types.Char))
info: actual = AppT (AppT (ConT Data.Either.Either) (AppT ListT (ConT GHC.Types.Int))) (AppT ListT (ConT GHC.Types.Char))
info: input = ConT Types.Int''
info: expected = ConT GHC.Types.Int
info: actual = ConT GHC.Types.Int
testing/Main.hs:52:7: warning:
th-expand-syns: WARNING: Type synonym families (and associated type synonyms) are currently not supported (they won't be expanded). Name of unsupported family: Types.AT1
|
52 | $(let
| ^^^...
testing/Main.hs:52:7: warning:
th-expand-syns: WARNING: Type synonym families (and associated type synonyms) are currently not supported (they won't be expanded). Name of unsupported family: Types.TF1
|
52 | $(let
| ^^^...
testing/Main.hs:58:7: warning:
th-expand-syns: WARNING: Type synonym families (and associated type synonyms) are currently not supported (they won't be expanded). Name of unsupported family: Types.AT1
|
58 | $(mkTest [t| (DF1 Int', TF1 Int', AT1 Int') |]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
testing/Main.hs:58:7: warning:
th-expand-syns: WARNING: Type synonym families (and associated type synonyms) are currently not supported (they won't be expanded). Name of unsupported family: Types.TF1
|
58 | $(mkTest [t| (DF1 Int', TF1 Int', AT1 Int') |]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
testing/Main.hs:71:7: warning:
No warning about type families should appear after this line.
|
71 | $(do
| ^^...
Linking dist/build/test-th-expand-syns/test-th-expand-syns ...
> /tmp/stackage-build2453/th-expand-syns-0.4.4.0$ dist/build/test-th-expand-syns/test-th-expand-syns
Basic test...
Ok
Variable capture avoidance test...
Ok
Testing that it doesn't crash on type families (expanding them is not supported yet)
Ok
Testing that the args of type family applications are handled
Ok
Higher-kinded synonym
Ok
Nested
Ok