Resolving dependencies... Build profile: -w ghc-9.8.4 -O0 In order, the following will be built (use -v for more details): - copilot-core-4.5 (first run) Configuring copilot-core-4.5... Preprocessing library for copilot-core-4.5.. Building library for copilot-core-4.5.. [1 of 6] Compiling Copilot.Core.Type.Array ( src/Copilot/Core/Type/Array.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-core-4.5/noopt/build/Copilot/Core/Type/Array.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-core-4.5/noopt/build/Copilot/Core/Type/Array.dyn_o ) src/Copilot/Core/Type/Array.hs:56:21: warning: [GHC-40910] [-Wunused-matches] Defined but not used: x | 56 | arrayUpdate (Array (x:xs)) 0 y = Array (y:xs) | ^ src/Copilot/Core/Type/Array.hs:64:17: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at src/Copilot/Core/Type/Array.hs:58:21 | 64 | arrayAppend x (Array xs) = Array (x:xs) | ^ src/Copilot/Core/Type/Array.hs:64:26: warning: [GHC-63397] [-Wname-shadowing] This binding for xs shadows the existing binding bound at src/Copilot/Core/Type/Array.hs:58:23 | 64 | arrayAppend x (Array xs) = Array (x:xs) | ^^ [2 of 6] Compiling Copilot.Core.Type ( src/Copilot/Core/Type.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-core-4.5/noopt/build/Copilot/Core/Type.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-core-4.5/noopt/build/Copilot/Core/Type.dyn_o ) src/Copilot/Core/Type.hs:142:14: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 142 | data Type :: * -> * where | ^ src/Copilot/Core/Type.hs:142:19: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 142 | data Type :: * -> * where | ^ src/Copilot/Core/Type.hs:166:1: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for typeSize: Patterns of type Type (Array n t) not matched: Struct _ | 166 | typeSize ty@(Array ty'@(Array _)) = typeLength ty * typeSize ty' | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Copilot/Core/Type.hs:289:3: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for simpleType: Patterns of type Type (Array n t) not matched: Struct _ | 289 | simpleType (Array t) = SArray t | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [3 of 6] Compiling Copilot.Core.Operators ( src/Copilot/Core/Operators.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-core-4.5/noopt/build/Copilot/Core/Operators.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-core-4.5/noopt/build/Copilot/Core/Operators.dyn_o ) [4 of 6] Compiling Copilot.Core.Expr ( src/Copilot/Core/Expr.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-core-4.5/noopt/build/Copilot/Core/Expr.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-core-4.5/noopt/build/Copilot/Core/Expr.dyn_o ) [5 of 6] Compiling Copilot.Core.Spec ( src/Copilot/Core/Spec.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-core-4.5/noopt/build/Copilot/Core/Spec.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-core-4.5/noopt/build/Copilot/Core/Spec.dyn_o ) [6 of 6] Compiling Copilot.Core ( src/Copilot/Core.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-core-4.5/noopt/build/Copilot/Core.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-core-4.5/noopt/build/Copilot/Core.dyn_o ) Preprocessing test suite 'unit-tests' for copilot-core-4.5.. Building test suite 'unit-tests' for copilot-core-4.5.. [1 of 4] Compiling Test.Copilot.Core.Type ( tests/Test/Copilot/Core/Type.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-core-4.5/noopt/build/unit-tests/unit-tests-tmp/Test/Copilot/Core/Type.o ) tests/Test/Copilot/Core/Type.hs:10:1: warning: [GHC-66111] [-Wunused-imports] The import of Data.Maybe is redundant except perhaps to import instances from Data.Maybe To import instances alone, use: import Data.Maybe() | 10 | import Data.Maybe (isJust) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tests/Test/Copilot/Core/Type.hs:139:39: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a lambda abstraction: Patterns of type [SimpleType] not matched: [] | 139 | forAllBlind (shuffle simpleTypes) $ \(t:ts) -> | ^^^^^^^^^^... [2 of 4] Compiling Test.Copilot.Core.Type.Array ( tests/Test/Copilot/Core/Type/Array.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-core-4.5/noopt/build/unit-tests/unit-tests-tmp/Test/Copilot/Core/Type/Array.o ) tests/Test/Copilot/Core/Type/Array.hs:144:32: warning: [GHC-63397] [-Wname-shadowing] This binding for length shadows the existing binding imported from Prelude at tests/Test/Copilot/Core/Type/Array.hs:4:8-35 (and originally defined in Data.Foldable) | 144 | forAll wrongLength $ \length -> | ^^^^^^ tests/Test/Copilot/Core/Type/Array.hs:150:13: warning: [GHC-63397] [-Wname-shadowing] This binding for length shadows the existing binding imported from Prelude at tests/Test/Copilot/Core/Type/Array.hs:4:8-35 (and originally defined in Data.Foldable) | 150 | xsInt64 length = vectorOf length arbitrary | ^^^^^^ tests/Test/Copilot/Core/Type/Array.hs:160:24: warning: [GHC-40910] [-Wunused-matches] Defined but not used: v | 160 | forAll xInt64 $ \v -> | ^ [3 of 4] Compiling Main ( tests/Main.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-core-4.5/noopt/build/unit-tests/unit-tests-tmp/Main.o ) [4 of 4] Compiling Test.Extra ( tests/Test/Extra.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-core-4.5/noopt/build/unit-tests/unit-tests-tmp/Test/Extra.o ) [5 of 5] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-core-4.5/noopt/build/unit-tests/unit-tests Running 1 test suites... Test suite unit-tests: RUNNING... Test suite unit-tests: PASS Test suite logged to: /var/lib/hackage-doc-builder/build-cache/tmp-install/reports/copilot-core-4.5.test Writing: copilot-core-4.5-inplace/Copilot.Core.Type.Array.hs.html Writing: copilot-core-4.5-inplace/Copilot.Core.Type.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 /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-core-4.5/noopt/hpc/vanilla/html/unit-tests/hpc_index.html 1 of 1 test suites (1 of 1 test cases) passed. Writing: copilot-core-4.5-inplace/Copilot.Core.Type.Array.hs.html Writing: copilot-core-4.5-inplace/Copilot.Core.Type.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 /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-core-4.5/noopt/hpc/vanilla/html/copilot-core-4.5/hpc_index.html