[all reports]
| Package |
ghc-typelits-knownnat-0.7.8 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2023-02-20 21:24:00.905670884 UTC
|
| Compiler |
ghc-9.2.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.16.3.0, ghc-9.2.4, ghc-prim-0.8.0, ghc-tcplugins-extra-0.4.4, ghc-typelits-natnormalise-0.7.8, template-haskell-2.18.0.0, transformers-0.5.6.2 |
| Flags |
-deverror
|
Code Coverage
| expressions | 56% (42/75) |
|---|
| boolean | guards | 100% (0/0) |
|---|
| conditions | 100% (1/1) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 75% (6/8) |
|---|
| local declarations | 100% (3/3) |
|---|
| top-level declarations | 61% (8/13) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting ghc-tcplugins-extra-0.4.4
Building ghc-tcplugins-extra-0.4.4
Completed ghc-tcplugins-extra-0.4.4
Starting ghc-typelits-natnormalise-0.7.8
Building ghc-typelits-natnormalise-0.7.8
Completed ghc-typelits-natnormalise-0.7.8
Downloading ghc-typelits-knownnat-0.7.8
Downloaded ghc-typelits-knownnat-0.7.8
Starting ghc-typelits-knownnat-0.7.8
Building ghc-typelits-knownnat-0.7.8
Completed ghc-typelits-knownnat-0.7.8
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-typelits-natnormalise-0.7.8 (lib:ghc-typelits-natnormalise) (requires build)
- ghc-typelits-knownnat-0.7.8 (first run)
Starting ghc-typelits-natnormalise-0.7.8 (all, legacy fallback)
Building ghc-typelits-natnormalise-0.7.8 (all, legacy fallback)
Installing ghc-typelits-natnormalise-0.7.8 (all, legacy fallback)
Completed ghc-typelits-natnormalise-0.7.8 (all, legacy fallback)
Configuring ghc-typelits-knownnat-0.7.8...
Preprocessing library for ghc-typelits-knownnat-0.7.8..
Building library for ghc-typelits-knownnat-0.7.8..
[1 of 3] Compiling GHC.TypeLits.KnownNat.Solver ( src-pre-ghc-9.4/GHC/TypeLits/KnownNat/Solver.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-knownnat-0.7.8/noopt/build/GHC/TypeLits/KnownNat/Solver.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-knownnat-0.7.8/noopt/build/GHC/TypeLits/KnownNat/Solver.dyn_o )
[2 of 3] Compiling GHC.TypeLits.KnownNat.TH ( src/GHC/TypeLits/KnownNat/TH.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-knownnat-0.7.8/noopt/build/GHC/TypeLits/KnownNat/TH.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-knownnat-0.7.8/noopt/build/GHC/TypeLits/KnownNat/TH.dyn_o )
[3 of 3] Compiling GHC.TypeLits.KnownNat ( src-pre-ghc-9.4/GHC/TypeLits/KnownNat.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-knownnat-0.7.8/noopt/build/GHC/TypeLits/KnownNat.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-knownnat-0.7.8/noopt/build/GHC/TypeLits/KnownNat.dyn_o )
Preprocessing test suite 'unittests' for ghc-typelits-knownnat-0.7.8..
Building test suite 'unittests' for ghc-typelits-knownnat-0.7.8..
[1 of 2] Compiling TestFunctions ( tests/TestFunctions.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-knownnat-0.7.8/noopt/build/unittests/unittests-tmp/TestFunctions.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-knownnat-0.7.8/noopt/build/unittests/unittests-tmp/TestFunctions.dyn_o )
[2 of 2] Compiling Main ( tests/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-knownnat-0.7.8/noopt/build/unittests/unittests-tmp/Main.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-knownnat-0.7.8/noopt/build/unittests/unittests-tmp/Main.dyn_o )
[1 of 2] Compiling TestFunctions ( tests/TestFunctions.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-knownnat-0.7.8/noopt/build/unittests/unittests-tmp/TestFunctions.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-knownnat-0.7.8/noopt/build/unittests/unittests-tmp/TestFunctions.dyn_o ) [HPC flags changed]
[2 of 2] Compiling Main ( tests/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-knownnat-0.7.8/noopt/build/unittests/unittests-tmp/Main.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-knownnat-0.7.8/noopt/build/unittests/unittests-tmp/Main.dyn_o ) [HPC flags changed]
Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-knownnat-0.7.8/noopt/build/unittests/unittests ...
Running 1 test suites...
Test suite unittests: RUNNING...
Test suite unittests: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/ghc-typelits-knownnat-0.7.8.test
Writing: ghc-typelits-knownnat-0.7.8-inplace/GHC.TypeLits.KnownNat.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/ghc-typelits-knownnat-0.7.8/noopt/hpc/vanilla/html/unittests/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: ghc-typelits-knownnat-0.7.8-inplace/GHC.TypeLits.KnownNat.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/ghc-typelits-knownnat-0.7.8/noopt/hpc/vanilla/html/ghc-typelits-knownnat-0.7.8/hpc_index.html