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