[all reports]
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2023-03-06 14:02:04.214022404 UTC
|
| Compiler |
ghc-9.2.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.16.3.0, containers-0.6.5.1, ghc-9.2.4, ghc-tcplugin-api-0.10.0.0 |
| Flags |
none
|
Code Coverage
| expressions | 70% (7/10) |
|---|
| boolean | guards | 100% (0/0) |
|---|
| conditions | 100% (0/0) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 100% (0/0) |
|---|
| local declarations | 100% (0/0) |
|---|
| top-level declarations | 83% (5/6) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting ghc-tcplugin-api-0.10.0.0
Building ghc-tcplugin-api-0.10.0.0
Completed ghc-tcplugin-api-0.10.0.0
Downloading typelet-0.1.3
Downloaded typelet-0.1.3
Starting typelet-0.1.3
Building typelet-0.1.3
Completed typelet-0.1.3
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):
- ghc-tcplugin-api-0.10.0.0 (lib:ghc-tcplugin-api) (requires build)
- typelet-0.1.3 (first run)
Starting ghc-tcplugin-api-0.10.0.0 (all, legacy fallback)
Building ghc-tcplugin-api-0.10.0.0 (all, legacy fallback)
Installing ghc-tcplugin-api-0.10.0.0 (all, legacy fallback)
Completed ghc-tcplugin-api-0.10.0.0 (all, legacy fallback)
Configuring typelet-0.1.3...
Preprocessing library for typelet-0.1.3..
Building library for typelet-0.1.3..
[1 of 7] Compiling TypeLet.Plugin.GhcTcPluginAPI ( src/TypeLet/Plugin/GhcTcPluginAPI.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/typelet-0.1.3/noopt/build/TypeLet/Plugin/GhcTcPluginAPI.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/typelet-0.1.3/noopt/build/TypeLet/Plugin/GhcTcPluginAPI.dyn_o )
[2 of 7] Compiling TypeLet.Plugin.NameResolution ( src/TypeLet/Plugin/NameResolution.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/typelet-0.1.3/noopt/build/TypeLet/Plugin/NameResolution.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/typelet-0.1.3/noopt/build/TypeLet/Plugin/NameResolution.dyn_o )
[3 of 7] Compiling TypeLet.Plugin.Constraints ( src/TypeLet/Plugin/Constraints.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/typelet-0.1.3/noopt/build/TypeLet/Plugin/Constraints.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/typelet-0.1.3/noopt/build/TypeLet/Plugin/Constraints.dyn_o )
[4 of 7] Compiling TypeLet.Plugin.Substitution ( src/TypeLet/Plugin/Substitution.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/typelet-0.1.3/noopt/build/TypeLet/Plugin/Substitution.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/typelet-0.1.3/noopt/build/TypeLet/Plugin/Substitution.dyn_o )
[5 of 7] Compiling TypeLet.Plugin ( src/TypeLet/Plugin.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/typelet-0.1.3/noopt/build/TypeLet/Plugin.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/typelet-0.1.3/noopt/build/TypeLet/Plugin.dyn_o )
[6 of 7] Compiling TypeLet.UserAPI ( src/TypeLet/UserAPI.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/typelet-0.1.3/noopt/build/TypeLet/UserAPI.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/typelet-0.1.3/noopt/build/TypeLet/UserAPI.dyn_o )
[7 of 7] Compiling TypeLet ( src/TypeLet.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/typelet-0.1.3/noopt/build/TypeLet.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/typelet-0.1.3/noopt/build/TypeLet.dyn_o )
Preprocessing test suite 'test-typelet' for typelet-0.1.3..
Building test suite 'test-typelet' for typelet-0.1.3..
[1 of 4] Compiling Test.Infra ( test/Test/Infra.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/typelet-0.1.3/noopt/build/test-typelet/test-typelet-tmp/Test/Infra.o )
[2 of 4] Compiling Test.Sanity ( test/Test/Sanity.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/typelet-0.1.3/noopt/build/test-typelet/test-typelet-tmp/Test/Sanity.o )
[3 of 4] Compiling Main ( test/TestTypeLet.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/typelet-0.1.3/noopt/build/test-typelet/test-typelet-tmp/Main.o )
[4 of 4] Compiling Test.WithoutPlugin ( test/Test/WithoutPlugin.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/typelet-0.1.3/noopt/build/test-typelet/test-typelet-tmp/Test/WithoutPlugin.o )
Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/typelet-0.1.3/noopt/build/test-typelet/test-typelet ...
Running 1 test suites...
Test suite test-typelet: RUNNING...
Test suite test-typelet: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/typelet-0.1.3.test
Writing: typelet-0.1.3-inplace/TypeLet.UserAPI.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/typelet-0.1.3/noopt/hpc/vanilla/html/test-typelet/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: typelet-0.1.3-inplace/TypeLet.UserAPI.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/typelet-0.1.3/noopt/hpc/vanilla/html/typelet-0.1.3/hpc_index.html