Build #1 for ghc-typelits-knownnat-0.7.13

[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

expressions56% (42/75)
booleanguards100% (0/0)
conditions 100% (1/1)
qualifiers100% (0/0)
alternatives75% (6/8)
local declarations100% (3/3)
top-level declarations61% (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