[all reports]
| Package |
th-expand-syns-0.4.12.0 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2024-12-05 13:45:55.317734517 UTC
|
| Compiler |
ghc-9.6.3 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.18.1.0, containers-0.6.7, syb-0.7.2.4, template-haskell-2.20.0.0, th-abstraction-0.7.1.0 |
| Flags |
none
|
Code Coverage
| expressions | 0% (0/351) |
|---|
| boolean | guards | 0% (0/2) |
|---|
| conditions | 0% (0/1) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 0% (0/73) |
|---|
| local declarations | 0% (0/15) |
|---|
| top-level declarations | 0% (0/22) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting th-abstraction-0.7.1.0
Starting syb-0.7.2.4
Building th-abstraction-0.7.1.0
Building syb-0.7.2.4
Completed syb-0.7.2.4
Completed th-abstraction-0.7.1.0
Starting th-expand-syns-0.4.12.0
Building th-expand-syns-0.4.12.0
Completed th-expand-syns-0.4.12.0
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.6.3 -O0
In order, the following will be built (use -v for more details):
- th-expand-syns-0.4.12.0 (first run)
Configuring th-expand-syns-0.4.12.0...
Preprocessing library for th-expand-syns-0.4.12.0..
Building library for th-expand-syns-0.4.12.0..
[1 of 1] 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.6.3/th-expand-syns-0.4.12.0/noopt/build/Language/Haskell/TH/ExpandSyns.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/th-expand-syns-0.4.12.0/noopt/build/Language/Haskell/TH/ExpandSyns.dyn_o )
Preprocessing test suite 'test-th-expand-syns' for th-expand-syns-0.4.12.0..
Building test suite 'test-th-expand-syns' for th-expand-syns-0.4.12.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.6.3/th-expand-syns-0.4.12.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.6.3/th-expand-syns-0.4.12.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.6.3/th-expand-syns-0.4.12.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.6.3/th-expand-syns-0.4.12.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.6.3/th-expand-syns-0.4.12.0/noopt/build/test-th-expand-syns/test-th-expand-syns-tmp/Main.o )
info: input = ForallT [PlainTV a_6989586621679024654 SpecifiedSpec] [AppT (ConT GHC.Show.Show) (VarT a_6989586621679024654)] (AppT (AppT ArrowT (VarT a_6989586621679024654)) (AppT (AppT ArrowT (AppT (ConT Types.ForAll) (ConT GHC.Types.List))) (AppT (AppT (TupleT 2) (ConT GHC.Types.Int)) (AppT (ConT Types.ApplyToInteger) (ConT GHC.Types.List)))))
info: expected = ForallT [PlainTV a_6989586621679024655 SpecifiedSpec] [AppT (ConT GHC.Show.Show) (VarT a_6989586621679024655)] (AppT (AppT ArrowT (VarT a_6989586621679024655)) (AppT (AppT ArrowT (ForallT [KindedTV x_6989586621679024656 SpecifiedSpec StarT] [] (AppT (ConT GHC.Types.List) (VarT x_6989586621679024656)))) (AppT (AppT (TupleT 2) (ConT GHC.Types.Int)) (AppT (ConT GHC.Types.List) (ConT GHC.Num.Integer.Integer)))))
info: actual = ForallT [PlainTV a_6989586621679024654 SpecifiedSpec] [AppT (ConT GHC.Show.Show) (VarT a_6989586621679024654)] (AppT (AppT ArrowT (VarT a_6989586621679024654)) (AppT (AppT ArrowT (ForallT [KindedTV x_7566047373982448569 SpecifiedSpec StarT] [] (AppT (ConT GHC.Types.List) (VarT x_7566047373982448569)))) (AppT (AppT (TupleT 2) (ConT GHC.Types.Int)) (AppT (ConT GHC.Types.List) (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_7566047373982448647 SpecifiedSpec StarT] [] (AppT (AppT ArrowT (AppT (AppT (ConT Data.Either.Either) (VarT y)) (VarT y_7566047373982448647))) (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:42:6: warning: [GHC-39584]
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
|
42 | $(let
| ^^^^...
testing/Main.hs:42:6: warning: [GHC-39584]
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
|
42 | $(let
| ^^^^...
testing/Main.hs:48:6: warning: [GHC-39584]
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
|
48 | $(mkTest [t| (DF1 Int', TF1 Int', AT1 Int') |]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
testing/Main.hs:48:6: warning: [GHC-39584]
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
|
48 | $(mkTest [t| (DF1 Int', TF1 Int', AT1 Int') |]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
testing/Main.hs:66:6: warning: [GHC-39584]
No warning about type families should appear after this line.
|
66 | $(do
| ^^^...
[4 of 4] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/th-expand-syns-0.4.12.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.12.0.test
Writing: th-expand-syns-0.4.12.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.6.3/th-expand-syns-0.4.12.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.12.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.6.3/th-expand-syns-0.4.12.0/noopt/hpc/vanilla/html/th-expand-syns-0.4.12.0/hpc_index.html