[all reports]
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2024-01-06 05:55:36.277770667 UTC
|
| Compiler |
ghc-9.6.3 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.18.1.0, oalg-base-1.1.4.0 |
| Flags |
none
|
Code Coverage
| expressions | 66% (2556/3856) |
|---|
| boolean | guards | 26% (12/46) |
|---|
| conditions | 38% (5/13) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 52% (96/182) |
|---|
| local declarations | 74% (223/299) |
|---|
| top-level declarations | 45% (120/266) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting splitmix-0.1.0.5
Building splitmix-0.1.0.5
Completed splitmix-0.1.0.5
Starting random-1.2.1.1
Building random-1.2.1.1
Completed random-1.2.1.1
Starting oalg-base-1.1.4.0
Building oalg-base-1.1.4.0
Completed oalg-base-1.1.4.0
Downloading oalg-abg-1.0.0.0
Downloaded oalg-abg-1.0.0.0
Starting oalg-abg-1.0.0.0
Building oalg-abg-1.0.0.0
Completed oalg-abg-1.0.0.0
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):
- oalg-base-1.1.4.0 (lib:oalg-base) (requires build)
- oalg-abg-1.0.0.0 (first run)
Starting oalg-base-1.1.4.0 (all, legacy fallback)
Building oalg-base-1.1.4.0 (all, legacy fallback)
Installing oalg-base-1.1.4.0 (all, legacy fallback)
Completed oalg-base-1.1.4.0 (all, legacy fallback)
Configuring oalg-abg-1.0.0.0...
Preprocessing library for oalg-abg-1.0.0.0..
Building library for oalg-abg-1.0.0.0..
[1 of 9] Compiling OAlg.AbelianGroup.Euclid ( src/OAlg/AbelianGroup/Euclid.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/OAlg/AbelianGroup/Euclid.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/OAlg/AbelianGroup/Euclid.dyn_o )
[2 of 9] Compiling OAlg.AbelianGroup.Free.SmithNormalForm ( src/OAlg/AbelianGroup/Free/SmithNormalForm.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/OAlg/AbelianGroup/Free/SmithNormalForm.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/OAlg/AbelianGroup/Free/SmithNormalForm.dyn_o )
src/OAlg/AbelianGroup/Free/SmithNormalForm.hs:63:22: warning: [GHC-12003] [-Wtype-equality-out-of-scope]
" The ~ operator is out of scope.
Assuming it to stand for an equality constraint.
" NB: ~ used to be built-in syntax but now is a regular type operator
exported from Data.Type.Equality and Prelude.
If you are using a custom Prelude, consider re-exporting it.
" This will become an error in a future GHC release.
|
63 | crDiagonalForm :: (i ~ N, j ~ N) => Dim Z () -> Dim Z () -> Col i (Row j Z) -> NF Z
| ^
src/OAlg/AbelianGroup/Free/SmithNormalForm.hs:63:29: warning: [GHC-12003] [-Wtype-equality-out-of-scope]
" The ~ operator is out of scope.
Assuming it to stand for an equality constraint.
" NB: ~ used to be built-in syntax but now is a regular type operator
exported from Data.Type.Equality and Prelude.
If you are using a custom Prelude, consider re-exporting it.
" This will become an error in a future GHC release.
|
63 | crDiagonalForm :: (i ~ N, j ~ N) => Dim Z () -> Dim Z () -> Col i (Row j Z) -> NF Z
| ^
src/OAlg/AbelianGroup/Free/SmithNormalForm.hs:93:12: warning: [GHC-12003] [-Wtype-equality-out-of-scope]
" The ~ operator is out of scope.
Assuming it to stand for an equality constraint.
" NB: ~ used to be built-in syntax but now is a regular type operator
exported from Data.Type.Equality and Prelude.
If you are using a custom Prelude, consider re-exporting it.
" This will become an error in a future GHC release.
|
93 | dnf' :: (i ~ N, j ~ N) => i -> Dim' Z -> Dim' Z -> Col i (Row j Z) -> NF Z
| ^
src/OAlg/AbelianGroup/Free/SmithNormalForm.hs:93:19: warning: [GHC-12003] [-Wtype-equality-out-of-scope]
" The ~ operator is out of scope.
Assuming it to stand for an equality constraint.
" NB: ~ used to be built-in syntax but now is a regular type operator
exported from Data.Type.Equality and Prelude.
If you are using a custom Prelude, consider re-exporting it.
" This will become an error in a future GHC release.
|
93 | dnf' :: (i ~ N, j ~ N) => i -> Dim' Z -> Dim' Z -> Col i (Row j Z) -> NF Z
| ^
src/OAlg/AbelianGroup/Free/SmithNormalForm.hs:99:12: warning: [GHC-12003] [-Wtype-equality-out-of-scope]
" The ~ operator is out of scope.
Assuming it to stand for an equality constraint.
" NB: ~ used to be built-in syntax but now is a regular type operator
exported from Data.Type.Equality and Prelude.
If you are using a custom Prelude, consider re-exporting it.
" This will become an error in a future GHC release.
|
99 | dnf1 :: (i ~ N, j ~ N) => Dim Z () -> Dim Z () -> N -> Col i (Row j Z) -> NF Z -> NF Z
| ^
src/OAlg/AbelianGroup/Free/SmithNormalForm.hs:99:19: warning: [GHC-12003] [-Wtype-equality-out-of-scope]
" The ~ operator is out of scope.
Assuming it to stand for an equality constraint.
" NB: ~ used to be built-in syntax but now is a regular type operator
exported from Data.Type.Equality and Prelude.
If you are using a custom Prelude, consider re-exporting it.
" This will become an error in a future GHC release.
|
99 | dnf1 :: (i ~ N, j ~ N) => Dim Z () -> Dim Z () -> N -> Col i (Row j Z) -> NF Z -> NF Z
| ^
src/OAlg/AbelianGroup/Free/SmithNormalForm.hs:116:12: warning: [GHC-12003] [-Wtype-equality-out-of-scope]
" The ~ operator is out of scope.
Assuming it to stand for an equality constraint.
" NB: ~ used to be built-in syntax but now is a regular type operator
exported from Data.Type.Equality and Prelude.
If you are using a custom Prelude, consider re-exporting it.
" This will become an error in a future GHC release.
|
116 | dnf2 :: (i ~ N, j ~ N)
| ^
src/OAlg/AbelianGroup/Free/SmithNormalForm.hs:116:19: warning: [GHC-12003] [-Wtype-equality-out-of-scope]
" The ~ operator is out of scope.
Assuming it to stand for an equality constraint.
" NB: ~ used to be built-in syntax but now is a regular type operator
exported from Data.Type.Equality and Prelude.
If you are using a custom Prelude, consider re-exporting it.
" This will become an error in a future GHC release.
|
116 | dnf2 :: (i ~ N, j ~ N)
| ^
src/OAlg/AbelianGroup/Free/SmithNormalForm.hs:137:12: warning: [GHC-12003] [-Wtype-equality-out-of-scope]
" The ~ operator is out of scope.
Assuming it to stand for an equality constraint.
" NB: ~ used to be built-in syntax but now is a regular type operator
exported from Data.Type.Equality and Prelude.
If you are using a custom Prelude, consider re-exporting it.
" This will become an error in a future GHC release.
|
137 | tRows :: i ~ N => Dim Z () -> (Z,i) -> (Z,i) -> (Z,TPRows Z)
| ^
src/OAlg/AbelianGroup/Free/SmithNormalForm.hs:151:12: warning: [GHC-12003] [-Wtype-equality-out-of-scope]
" The ~ operator is out of scope.
Assuming it to stand for an equality constraint.
" NB: ~ used to be built-in syntax but now is a regular type operator
exported from Data.Type.Equality and Prelude.
If you are using a custom Prelude, consider re-exporting it.
" This will become an error in a future GHC release.
|
151 | tCols :: j ~ N => Dim Z () -> (Z,j) -> (Z,j) -> (Z,TPCols Z)
| ^
src/OAlg/AbelianGroup/Free/SmithNormalForm.hs:170:12: warning: [GHC-12003] [-Wtype-equality-out-of-scope]
" The ~ operator is out of scope.
Assuming it to stand for an equality constraint.
" NB: ~ used to be built-in syntax but now is a regular type operator
exported from Data.Type.Equality and Prelude.
If you are using a custom Prelude, consider re-exporting it.
" This will become an error in a future GHC release.
|
170 | dnf3 :: (i ~ N, j ~ N)
| ^
src/OAlg/AbelianGroup/Free/SmithNormalForm.hs:170:19: warning: [GHC-12003] [-Wtype-equality-out-of-scope]
" The ~ operator is out of scope.
Assuming it to stand for an equality constraint.
" NB: ~ used to be built-in syntax but now is a regular type operator
exported from Data.Type.Equality and Prelude.
If you are using a custom Prelude, consider re-exporting it.
" This will become an error in a future GHC release.
|
170 | dnf3 :: (i ~ N, j ~ N)
| ^
[3 of 9] Compiling OAlg.AbelianGroup.Free.Limes ( src/OAlg/AbelianGroup/Free/Limes.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/OAlg/AbelianGroup/Free/Limes.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/OAlg/AbelianGroup/Free/Limes.dyn_o )
[4 of 9] Compiling OAlg.AbelianGroup.Free ( src/OAlg/AbelianGroup/Free.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/OAlg/AbelianGroup/Free.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/OAlg/AbelianGroup/Free.dyn_o )
[5 of 9] Compiling OAlg.AbelianGroup.ZMod ( src/OAlg/AbelianGroup/ZMod.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/OAlg/AbelianGroup/ZMod.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/OAlg/AbelianGroup/ZMod.dyn_o )
[6 of 9] Compiling OAlg.AbelianGroup.Definition ( src/OAlg/AbelianGroup/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/OAlg/AbelianGroup/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/OAlg/AbelianGroup/Definition.dyn_o )
src/OAlg/AbelianGroup/Definition.hs:565:17: warning: [GHC-12003] [-Wtype-equality-out-of-scope]
" The ~ operator is out of scope.
Assuming it to stand for an equality constraint.
" NB: ~ used to be built-in syntax but now is a regular type operator
exported from Data.Type.Equality and Prelude.
If you are using a custom Prelude, consider re-exporting it.
" This will become an error in a future GHC release.
|
565 | frees :: (i ~ N,j ~ N)
| ^
src/OAlg/AbelianGroup/Definition.hs:565:23: warning: [GHC-12003] [-Wtype-equality-out-of-scope]
" The ~ operator is out of scope.
Assuming it to stand for an equality constraint.
" NB: ~ used to be built-in syntax but now is a regular type operator
exported from Data.Type.Equality and Prelude.
If you are using a custom Prelude, consider re-exporting it.
" This will become an error in a future GHC release.
|
565 | frees :: (i ~ N,j ~ N)
| ^
src/OAlg/AbelianGroup/Definition.hs:576:18: warning: [GHC-12003] [-Wtype-equality-out-of-scope]
" The ~ operator is out of scope.
Assuming it to stand for an equality constraint.
" NB: ~ used to be built-in syntax but now is a regular type operator
exported from Data.Type.Equality and Prelude.
If you are using a custom Prelude, consider re-exporting it.
" This will become an error in a future GHC release.
|
576 | rwFrees :: j ~ N => j -> [(ZMod,j)] -> [(ZModHom,j)] -> [(Z,j)]
| ^
[7 of 9] Compiling OAlg.AbelianGroup.KernelsAndCokernels ( src/OAlg/AbelianGroup/KernelsAndCokernels.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/OAlg/AbelianGroup/KernelsAndCokernels.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/OAlg/AbelianGroup/KernelsAndCokernels.dyn_o )
src/OAlg/AbelianGroup/KernelsAndCokernels.hs:480:1: warning: [GHC-90177] [-Worphans]
Orphan instance: instance Attestable k =>
SliceCokernelTo (Free k) AbHom
Suggested fix:
Move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
|
480 | instance Attestable k => SliceCokernelTo (Free k) AbHom where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
src/OAlg/AbelianGroup/KernelsAndCokernels.hs:486:1: warning: [GHC-90177] [-Worphans]
Orphan instance: instance Attestable k =>
SliceKernelFrom (Free k) AbHom
Suggested fix:
Move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
|
486 | instance Attestable k => SliceKernelFrom (Free k) AbHom where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[8 of 9] Compiling OAlg.AbelianGroup.Proposition ( src/OAlg/AbelianGroup/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/OAlg/AbelianGroup/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/OAlg/AbelianGroup/Proposition.dyn_o )
[9 of 9] Compiling Paths_oalg_abg ( /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/autogen/Paths_oalg_abg.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/Paths_oalg_abg.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/Paths_oalg_abg.dyn_o )
Preprocessing test suite 'oalg-abg-test' for oalg-abg-1.0.0.0..
Building test suite 'oalg-abg-test' for oalg-abg-1.0.0.0..
[1 of 2] Compiling Main ( test/Spec.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/oalg-abg-test/oalg-abg-test-tmp/Main.o )
[2 of 2] Compiling Paths_oalg_abg ( /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/oalg-abg-test/autogen/Paths_oalg_abg.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/oalg-abg-test/oalg-abg-test-tmp/Paths_oalg_abg.o )
[3 of 3] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/oalg-abg-1.0.0.0/noopt/build/oalg-abg-test/oalg-abg-test
Running 1 test suites...
Test suite oalg-abg-test: RUNNING...
Test suite oalg-abg-test: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/oalg-abg-1.0.0.0.test
Writing: oalg-abg-1.0.0.0-inplace/OAlg.AbelianGroup.Free.SmithNormalForm.hs.html
Writing: oalg-abg-1.0.0.0-inplace/OAlg.AbelianGroup.Free.Limes.hs.html
Writing: oalg-abg-1.0.0.0-inplace/OAlg.AbelianGroup.ZMod.hs.html
Writing: oalg-abg-1.0.0.0-inplace/OAlg.AbelianGroup.KernelsAndCokernels.hs.html
Writing: oalg-abg-1.0.0.0-inplace/OAlg.AbelianGroup.Euclid.hs.html
Writing: oalg-abg-1.0.0.0-inplace/OAlg.AbelianGroup.Definition.hs.html
Writing: oalg-abg-1.0.0.0-inplace/OAlg.AbelianGroup.Proposition.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/oalg-abg-1.0.0.0/noopt/hpc/vanilla/html/oalg-abg-test/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: oalg-abg-1.0.0.0-inplace/OAlg.AbelianGroup.Free.SmithNormalForm.hs.html
Writing: oalg-abg-1.0.0.0-inplace/OAlg.AbelianGroup.Free.Limes.hs.html
Writing: oalg-abg-1.0.0.0-inplace/OAlg.AbelianGroup.ZMod.hs.html
Writing: oalg-abg-1.0.0.0-inplace/OAlg.AbelianGroup.KernelsAndCokernels.hs.html
Writing: oalg-abg-1.0.0.0-inplace/OAlg.AbelianGroup.Euclid.hs.html
Writing: oalg-abg-1.0.0.0-inplace/OAlg.AbelianGroup.Definition.hs.html
Writing: oalg-abg-1.0.0.0-inplace/OAlg.AbelianGroup.Proposition.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/oalg-abg-1.0.0.0/noopt/hpc/vanilla/html/oalg-abg-1.0.0.0/hpc_index.html