[all reports]
| Package |
th-expand-syns-0.4.11.0 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2023-02-01 00:17:09.932689563 UTC
|
| Compiler |
ghc-9.2.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.16.3.0, containers-0.6.5.1, syb-0.7.2.2, template-haskell-2.18.0.0, th-abstraction-0.4.5.0 |
| Flags |
none
|
Code Coverage
| expressions | 0% (0/335) |
|---|
| boolean | guards | 0% (0/2) |
|---|
| conditions | 0% (0/1) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 0% (0/69) |
|---|
| local declarations | 0% (0/17) |
|---|
| top-level declarations | 0% (0/18) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting th-abstraction-0.4.5.0
Starting syb-0.7.2.2
Building syb-0.7.2.2
Building th-abstraction-0.4.5.0
Completed syb-0.7.2.2
Completed th-abstraction-0.4.5.0
Downloading th-expand-syns-0.4.11.0
Downloaded th-expand-syns-0.4.11.0
Starting th-expand-syns-0.4.11.0
Building th-expand-syns-0.4.11.0
Completed th-expand-syns-0.4.11.0
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.2.4 -O0
In order, the following will be built (use -v for more details):
- th-expand-syns-0.4.11.0 (first run)
Configuring th-expand-syns-0.4.11.0...
Preprocessing library for th-expand-syns-0.4.11.0..
Building library for th-expand-syns-0.4.11.0..
[1 of 2] Compiling Language.Haskell.TH.ExpandSyns.SemigroupCompat ( Language/Haskell/TH/ExpandSyns/SemigroupCompat.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/th-expand-syns-0.4.11.0/noopt/build/Language/Haskell/TH/ExpandSyns/SemigroupCompat.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/th-expand-syns-0.4.11.0/noopt/build/Language/Haskell/TH/ExpandSyns/SemigroupCompat.dyn_o )
[2 of 2] Compiling Language.Haskell.TH.ExpandSyns ( Language/Haskell/TH/ExpandSyns.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/th-expand-syns-0.4.11.0/noopt/build/Language/Haskell/TH/ExpandSyns.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/th-expand-syns-0.4.11.0/noopt/build/Language/Haskell/TH/ExpandSyns.dyn_o )
Preprocessing test suite 'test-th-expand-syns' for th-expand-syns-0.4.11.0..
Building test suite 'test-th-expand-syns' for th-expand-syns-0.4.11.0..
[1 of 3] Compiling Util ( testing/Util.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/th-expand-syns-0.4.11.0/noopt/build/test-th-expand-syns/test-th-expand-syns-tmp/Util.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/th-expand-syns-0.4.11.0/noopt/build/test-th-expand-syns/test-th-expand-syns-tmp/Util.dyn_o )
[2 of 3] Compiling Types ( testing/Types.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/th-expand-syns-0.4.11.0/noopt/build/test-th-expand-syns/test-th-expand-syns-tmp/Types.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/th-expand-syns-0.4.11.0/noopt/build/test-th-expand-syns/test-th-expand-syns-tmp/Types.dyn_o )
[3 of 3] Compiling Main ( testing/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/th-expand-syns-0.4.11.0/noopt/build/test-th-expand-syns/test-th-expand-syns-tmp/Main.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/th-expand-syns-0.4.11.0/noopt/build/test-th-expand-syns/test-th-expand-syns-tmp/Main.dyn_o )
info: input = ForallT [PlainTV a_6989586621679024565 SpecifiedSpec] [AppT (ConT GHC.Show.Show) (VarT a_6989586621679024565)] (AppT (AppT ArrowT (VarT a_6989586621679024565)) (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_6989586621679024566 SpecifiedSpec] [AppT (ConT GHC.Show.Show) (VarT a_6989586621679024566)] (AppT (AppT ArrowT (VarT a_6989586621679024566)) (AppT (AppT ArrowT (ForallT [KindedTV x_6989586621679024567 SpecifiedSpec StarT] [] (AppT (ConT GHC.Types.[]) (VarT x_6989586621679024567)))) (AppT (AppT (TupleT 2) (ConT GHC.Types.Int)) (AppT (ConT GHC.Types.[]) (ConT GHC.Num.Integer.Integer)))))
info: actual = ForallT [PlainTV a_6989586621679024565 SpecifiedSpec] [AppT (ConT GHC.Show.Show) (VarT a_6989586621679024565)] (AppT (AppT ArrowT (VarT a_6989586621679024565)) (AppT (AppT ArrowT (ForallT [KindedTV x_7566047373982448459 SpecifiedSpec StarT] [] (AppT (ConT GHC.Types.[]) (VarT x_7566047373982448459)))) (AppT (AppT (TupleT 2) (ConT GHC.Types.Int)) (AppT (ConT GHC.Types.[]) (ConT GHC.Num.Integer.Integer)))))
info: input = ForallT [PlainTV y SpecifiedSpec] [] (AppT (ConT E) (VarT y))
info: expected = ForallT [PlainTV y SpecifiedSpec] [] (ForallT [KindedTV y_0 SpecifiedSpec StarT] [] (AppT (AppT ArrowT (AppT (AppT (ConT Data.Either.Either) (VarT y)) (VarT y_0))) (ConT GHC.Types.Int)))
info: actual = ForallT [PlainTV y SpecifiedSpec] [] (ForallT [KindedTV y_7566047373982448535 SpecifiedSpec StarT] [] (AppT (AppT ArrowT (AppT (AppT (ConT Data.Either.Either) (VarT y)) (VarT y_7566047373982448535))) (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
info: input = SigT (ConT GHC.Types.Int) (AppT (ConT Types.Id) StarT)
info: expected = SigT (ConT GHC.Types.Int) StarT
info: actual = SigT (ConT GHC.Types.Int) StarT
testing/Main.hs:52:6: 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:52:6: 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:58:6: 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:58:6: 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:78:6: warning:
No warning about type families should appear after this line.
|
78 | $(do
| ^^^...
Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/th-expand-syns-0.4.11.0/noopt/build/test-th-expand-syns/test-th-expand-syns ...
Running 1 test suites...
Test suite test-th-expand-syns: RUNNING...
Test suite test-th-expand-syns: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/th-expand-syns-0.4.11.0.test
Writing: th-expand-syns-0.4.11.0-inplace/Language.Haskell.TH.ExpandSyns.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/th-expand-syns-0.4.11.0/noopt/hpc/vanilla/html/test-th-expand-syns/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: th-expand-syns-0.4.11.0-inplace/Language.Haskell.TH.ExpandSyns.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Package coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/th-expand-syns-0.4.11.0/noopt/hpc/vanilla/html/th-expand-syns-0.4.11.0/hpc_index.html