[all reports]
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2024-01-26 17:11:23.83000318 UTC
|
| Compiler |
ghc-9.6.3 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.18.1.0, template-haskell-2.20.0.0 |
| Flags |
none
|
Code Coverage
| expressions | 65% (2891/4408) |
|---|
| boolean | guards | 35% (12/34) |
|---|
| conditions | 80% (4/5) |
|---|
| qualifiers | 80% (4/5) |
|---|
| alternatives | 63% (94/147) |
|---|
| local declarations | 95% (70/73) |
|---|
| top-level declarations | 38% (762/1969) |
|---|
Build log
[view raw]
Resolving dependencies...
Downloading leancheck-1.0.2
Downloaded leancheck-1.0.2
Starting leancheck-1.0.2
Building leancheck-1.0.2
Completed leancheck-1.0.2
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):
- leancheck-1.0.2 (first run)
Configuring leancheck-1.0.2...
Preprocessing library for leancheck-1.0.2..
Building library for leancheck-1.0.2..
[ 1 of 24] Compiling Test.LeanCheck.Core ( src/Test/LeanCheck/Core.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Core.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Core.dyn_o )
[ 2 of 24] Compiling Test.LeanCheck.Basic ( src/Test/LeanCheck/Basic.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Basic.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Basic.dyn_o )
[ 3 of 24] Compiling Test.LeanCheck.Derive ( src/Test/LeanCheck/Derive.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Derive.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Derive.dyn_o )
[ 4 of 24] Compiling Test.LeanCheck.Generic ( src/Test/LeanCheck/Generic.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Generic.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Generic.dyn_o )
[ 5 of 24] Compiling Test.LeanCheck.IO ( src/Test/LeanCheck/IO.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/IO.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/IO.dyn_o )
[ 6 of 24] Compiling Test.LeanCheck.Stats ( src/Test/LeanCheck/Stats.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Stats.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Stats.dyn_o )
[ 7 of 24] Compiling Test.LeanCheck.Tiers ( src/Test/LeanCheck/Tiers.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Tiers.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Tiers.dyn_o )
[ 8 of 24] Compiling Test.LeanCheck ( src/Test/LeanCheck.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck.dyn_o )
[ 9 of 24] Compiling Test.LeanCheck.Function.ListsOfPairs ( src/Test/LeanCheck/Function/ListsOfPairs.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/ListsOfPairs.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/ListsOfPairs.dyn_o )
[10 of 24] Compiling Test.LeanCheck.Function.Listable.ListsOfPairs ( src/Test/LeanCheck/Function/Listable/ListsOfPairs.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/Listable/ListsOfPairs.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/Listable/ListsOfPairs.dyn_o )
[11 of 24] Compiling Test.LeanCheck.Function.Listable ( src/Test/LeanCheck/Function/Listable.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/Listable.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/Listable.dyn_o )
[12 of 24] Compiling Test.LeanCheck.Error ( src/Test/LeanCheck/Error.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Error.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Error.dyn_o )
[13 of 24] Compiling Test.LeanCheck.Function.List ( src/Test/LeanCheck/Function/List.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/List.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/List.dyn_o )
[14 of 24] Compiling Test.LeanCheck.Function.Eq ( src/Test/LeanCheck/Function/Eq.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/Eq.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/Eq.dyn_o )
[15 of 24] Compiling Test.LeanCheck.Function.Ord ( src/Test/LeanCheck/Function/Ord.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/Ord.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/Ord.dyn_o )
[16 of 24] Compiling Test.LeanCheck.Utils.Operators ( src/Test/LeanCheck/Utils/Operators.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Utils/Operators.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Utils/Operators.dyn_o )
[17 of 24] Compiling Test.LeanCheck.Utils.Types ( src/Test/LeanCheck/Utils/Types.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Utils/Types.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Utils/Types.dyn_o )
[18 of 24] Compiling Test.LeanCheck.Utils.TypeBinding ( src/Test/LeanCheck/Utils/TypeBinding.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Utils/TypeBinding.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Utils/TypeBinding.dyn_o )
[19 of 24] Compiling Test.LeanCheck.Utils ( src/Test/LeanCheck/Utils.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Utils.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Utils.dyn_o )
[20 of 24] Compiling Test.LeanCheck.Function.ShowFunction ( src/Test/LeanCheck/Function/ShowFunction.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/ShowFunction.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/ShowFunction.dyn_o )
[21 of 24] Compiling Test.LeanCheck.Function.Show.FourCases ( src/Test/LeanCheck/Function/Show/FourCases.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/Show/FourCases.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/Show/FourCases.dyn_o )
[22 of 24] Compiling Test.LeanCheck.Function.Show.EightLines ( src/Test/LeanCheck/Function/Show/EightLines.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/Show/EightLines.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/Show/EightLines.dyn_o )
[23 of 24] Compiling Test.LeanCheck.Function.Show ( src/Test/LeanCheck/Function/Show.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/Show.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function/Show.dyn_o )
[24 of 24] Compiling Test.LeanCheck.Function ( src/Test/LeanCheck/Function.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/Test/LeanCheck/Function.dyn_o )
Preprocessing test suite 'derive' for leancheck-1.0.2..
Building test suite 'derive' for leancheck-1.0.2..
[1 of 2] Compiling Test ( test/Test.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/derive/derive-tmp/Test.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/derive/derive-tmp/Test.dyn_o )
[2 of 2] Compiling Main ( test/derive.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/derive/derive-tmp/Main.o )
[3 of 3] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/derive/derive
Preprocessing test suite 'error' for leancheck-1.0.2..
Building test suite 'error' for leancheck-1.0.2..
[1 of 2] Compiling Test ( test/Test.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/error/error-tmp/Test.o )
[2 of 2] Compiling Main ( test/error.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/error/error-tmp/Main.o )
[3 of 3] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/error/error
Preprocessing test suite 'fun' for leancheck-1.0.2..
Building test suite 'fun' for leancheck-1.0.2..
[1 of 2] Compiling Test ( test/Test.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/fun/fun-tmp/Test.o )
[2 of 2] Compiling Main ( test/fun.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/fun/fun-tmp/Main.o )
[3 of 3] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/fun/fun
Preprocessing test suite 'funshow' for leancheck-1.0.2..
Building test suite 'funshow' for leancheck-1.0.2..
[1 of 2] Compiling Test ( test/Test.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/funshow/funshow-tmp/Test.o )
[2 of 2] Compiling Main ( test/funshow.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/funshow/funshow-tmp/Main.o )
[3 of 3] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/funshow/funshow
Preprocessing test suite 'generic' for leancheck-1.0.2..
Building test suite 'generic' for leancheck-1.0.2..
[1 of 2] Compiling Test ( test/Test.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/generic/generic-tmp/Test.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/generic/generic-tmp/Test.dyn_o )
[2 of 2] Compiling Main ( test/generic.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/generic/generic-tmp/Main.o )
[3 of 3] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/generic/generic
Preprocessing test suite 'io' for leancheck-1.0.2..
Building test suite 'io' for leancheck-1.0.2..
[1 of 2] Compiling Test ( test/Test.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/io/io-tmp/Test.o )
[2 of 2] Compiling Main ( test/io.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/io/io-tmp/Main.o )
[3 of 3] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/io/io
Preprocessing test suite 'main' for leancheck-1.0.2..
Building test suite 'main' for leancheck-1.0.2..
[1 of 2] Compiling Test ( test/Test.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/main/main-tmp/Test.o )
[2 of 2] Compiling Main ( test/main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/main/main-tmp/Main.o )
[3 of 3] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/main/main
Preprocessing test suite 'operators' for leancheck-1.0.2..
Building test suite 'operators' for leancheck-1.0.2..
[1 of 2] Compiling Test ( test/Test.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/operators/operators-tmp/Test.o )
[2 of 2] Compiling Main ( test/operators.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/operators/operators-tmp/Main.o )
[3 of 3] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/operators/operators
Preprocessing test suite 'stats' for leancheck-1.0.2..
Building test suite 'stats' for leancheck-1.0.2..
[1 of 2] Compiling Test ( test/Test.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/stats/stats-tmp/Test.o )
[2 of 2] Compiling Main ( test/stats.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/stats/stats-tmp/Main.o )
[3 of 3] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/stats/stats
Preprocessing test suite 'tiers' for leancheck-1.0.2..
Building test suite 'tiers' for leancheck-1.0.2..
[1 of 2] Compiling Test ( test/Test.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/tiers/tiers-tmp/Test.o )
[2 of 2] Compiling Main ( test/tiers.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/tiers/tiers-tmp/Main.o )
[3 of 3] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/tiers/tiers
Preprocessing test suite 'types' for leancheck-1.0.2..
Building test suite 'types' for leancheck-1.0.2..
[1 of 2] Compiling Test ( test/Test.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/types/types-tmp/Test.o )
[2 of 2] Compiling Main ( test/types.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/types/types-tmp/Main.o )
[3 of 3] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/leancheck-1.0.2/noopt/build/types/types
Running 11 test suites...
Test suite derive: RUNNING...
Test suite derive: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/leancheck-1.0.2.test
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.Operators.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.Types.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Tiers.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Core.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/leancheck-1.0.2/noopt/hpc/vanilla/html/derive/hpc_index.html
Test suite error: RUNNING...
Test suite error: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/leancheck-1.0.2.test
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.Types.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Tiers.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Error.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Core.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/leancheck-1.0.2/noopt/hpc/vanilla/html/error/hpc_index.html
Test suite fun: RUNNING...
Test suite fun: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/leancheck-1.0.2.test
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Stats.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Error.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Function.ShowFunction.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Function.ListsOfPairs.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Function.Listable.ListsOfPairs.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Function.Show.EightLines.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.Types.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Tiers.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Core.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/leancheck-1.0.2/noopt/hpc/vanilla/html/fun/hpc_index.html
Test suite funshow: RUNNING...
Test suite funshow: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/leancheck-1.0.2.test
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Stats.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Error.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Function.ShowFunction.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Function.Show.EightLines.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.TypeBinding.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.Types.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Tiers.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Core.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/leancheck-1.0.2/noopt/hpc/vanilla/html/funshow/hpc_index.html
Test suite generic: RUNNING...
Test suite generic: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/leancheck-1.0.2.test
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.Operators.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.Types.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Tiers.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Generic.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Core.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/leancheck-1.0.2/noopt/hpc/vanilla/html/generic/hpc_index.html
Test suite io: RUNNING...
Test suite io: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/leancheck-1.0.2.test
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.Types.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Tiers.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.IO.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Core.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/leancheck-1.0.2/noopt/hpc/vanilla/html/io/hpc_index.html
Test suite main: RUNNING...
Test suite main: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/leancheck-1.0.2.test
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.Operators.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.TypeBinding.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.Types.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Tiers.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Core.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Basic.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/leancheck-1.0.2/noopt/hpc/vanilla/html/main/hpc_index.html
Test suite operators: RUNNING...
Test suite operators: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/leancheck-1.0.2.test
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.Operators.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.TypeBinding.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.Types.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Tiers.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Core.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Basic.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/leancheck-1.0.2/noopt/hpc/vanilla/html/operators/hpc_index.html
Test suite stats: RUNNING...
Test suite stats: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/leancheck-1.0.2.test
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Stats.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.Types.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Tiers.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Core.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/leancheck-1.0.2/noopt/hpc/vanilla/html/stats/hpc_index.html
Test suite tiers: RUNNING...
Test suite tiers: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/leancheck-1.0.2.test
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.Operators.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.TypeBinding.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.Types.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Tiers.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Core.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Basic.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/leancheck-1.0.2/noopt/hpc/vanilla/html/tiers/hpc_index.html
Test suite types: RUNNING...
Test suite types: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/leancheck-1.0.2.test
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.Types.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Tiers.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Core.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/leancheck-1.0.2/noopt/hpc/vanilla/html/types/hpc_index.html
11 of 11 test suites (11 of 11 test cases) passed.
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Basic.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Core.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Error.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Function.Listable.ListsOfPairs.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Function.ListsOfPairs.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Function.Show.EightLines.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Function.ShowFunction.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Generic.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.IO.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Stats.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Tiers.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.Operators.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.TypeBinding.hs.html
Writing: leancheck-1.0.2-inplace/Test.LeanCheck.Utils.Types.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/leancheck-1.0.2/noopt/hpc/vanilla/html/leancheck-1.0.2/hpc_index.html