[all reports]
Package |
ghc-typelits-knownnat-0.7.13 |
Install |
InstallOk |
Docs |
Ok |
Tests |
Ok |
Time submitted |
2025-03-04 16:37:37.025100151 UTC
|
Compiler |
ghc-9.6.3 |
OS |
linux |
Arch |
x86_64 |
Dependencies |
base-4.18.1.0, ghc-9.6.3, ghc-prim-0.10.0, ghc-tcplugins-extra-0.5, ghc-typelits-natnormalise-0.7.11, template-haskell-2.20.0.0, transformers-0.6.1.0 |
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...
Downloading ghc-tcplugins-extra-0.5
Downloaded ghc-tcplugins-extra-0.5
Starting ghc-tcplugins-extra-0.5
Building ghc-tcplugins-extra-0.5
Completed ghc-tcplugins-extra-0.5
Downloading ghc-typelits-natnormalise-0.7.11
Downloaded ghc-typelits-natnormalise-0.7.11
Starting ghc-typelits-natnormalise-0.7.11
Building ghc-typelits-natnormalise-0.7.11
Completed ghc-typelits-natnormalise-0.7.11
Downloading ghc-typelits-knownnat-0.7.13
Downloaded ghc-typelits-knownnat-0.7.13
Starting ghc-typelits-knownnat-0.7.13
Building ghc-typelits-knownnat-0.7.13
Completed ghc-typelits-knownnat-0.7.13
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):
- ghc-tcplugins-extra-0.5 (lib:ghc-tcplugins-extra) (requires build)
- ghc-typelits-natnormalise-0.7.11 (lib:ghc-typelits-natnormalise) (requires build)
- ghc-typelits-knownnat-0.7.13 (first run)
Starting ghc-tcplugins-extra-0.5 (all, legacy fallback)
Building ghc-tcplugins-extra-0.5 (all, legacy fallback)
Installing ghc-tcplugins-extra-0.5 (all, legacy fallback)
Completed ghc-tcplugins-extra-0.5 (all, legacy fallback)
Starting ghc-typelits-natnormalise-0.7.11 (all, legacy fallback)
Building ghc-typelits-natnormalise-0.7.11 (all, legacy fallback)
Installing ghc-typelits-natnormalise-0.7.11 (all, legacy fallback)
Completed ghc-typelits-natnormalise-0.7.11 (all, legacy fallback)
Configuring ghc-typelits-knownnat-0.7.13...
Preprocessing library for ghc-typelits-knownnat-0.7.13..
Building library for ghc-typelits-knownnat-0.7.13..
[1 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.6.3/ghc-typelits-knownnat-0.7.13/noopt/build/GHC/TypeLits/KnownNat/TH.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ghc-typelits-knownnat-0.7.13/noopt/build/GHC/TypeLits/KnownNat/TH.dyn_o )
[2 of 3] Compiling GHC.TypeLits.KnownNat ( src-ghc-9.4/GHC/TypeLits/KnownNat.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ghc-typelits-knownnat-0.7.13/noopt/build/GHC/TypeLits/KnownNat.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ghc-typelits-knownnat-0.7.13/noopt/build/GHC/TypeLits/KnownNat.dyn_o )
[3 of 3] Compiling GHC.TypeLits.KnownNat.Solver ( src-ghc-9.4/GHC/TypeLits/KnownNat/Solver.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ghc-typelits-knownnat-0.7.13/noopt/build/GHC/TypeLits/KnownNat/Solver.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ghc-typelits-knownnat-0.7.13/noopt/build/GHC/TypeLits/KnownNat/Solver.dyn_o )
Preprocessing test suite 'unittests' for ghc-typelits-knownnat-0.7.13..
Building test suite 'unittests' for ghc-typelits-knownnat-0.7.13..
[1 of 2] Compiling TestFunctions ( tests/TestFunctions.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ghc-typelits-knownnat-0.7.13/noopt/build/unittests/unittests-tmp/TestFunctions.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ghc-typelits-knownnat-0.7.13/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.6.3/ghc-typelits-knownnat-0.7.13/noopt/build/unittests/unittests-tmp/Main.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ghc-typelits-knownnat-0.7.13/noopt/build/unittests/unittests-tmp/Main.dyn_o )
[1 of 3] Compiling TestFunctions ( tests/TestFunctions.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ghc-typelits-knownnat-0.7.13/noopt/build/unittests/unittests-tmp/TestFunctions.o ) [HPC flags changed]
[2 of 3] Compiling Main ( tests/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ghc-typelits-knownnat-0.7.13/noopt/build/unittests/unittests-tmp/Main.o ) [HPC flags changed]
[3 of 3] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ghc-typelits-knownnat-0.7.13/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.13.test
Writing: ghc-typelits-knownnat-0.7.13-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.6.3/ghc-typelits-knownnat-0.7.13/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.13-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.6.3/ghc-typelits-knownnat-0.7.13/noopt/hpc/vanilla/html/ghc-typelits-knownnat-0.7.13/hpc_index.html