Resolving dependencies... Build profile: -w ghc-9.2.4 -O0 In order, the following will be built (use -v for more details): - copilot-core-3.13 (first run) Configuring copilot-core-3.13... Preprocessing library for copilot-core-3.13.. Building library for copilot-core-3.13.. [ 1 of 14] Compiling Copilot.Core.Error ( src/Copilot/Core/Error.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Error.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Error.dyn_o ) [ 2 of 14] Compiling Copilot.Core.Type.Array ( src/Copilot/Core/Type/Array.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Type/Array.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Type/Array.dyn_o ) [ 3 of 14] Compiling Copilot.Core.Type.Equality ( src/Copilot/Core/Type/Equality.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Type/Equality.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Type/Equality.dyn_o ) src/Copilot/Core/Type/Equality.hs:20:15: warning: [-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. | 20 | data Equal :: * -> * -> * where | ^ src/Copilot/Core/Type/Equality.hs:20:20: warning: [-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. | 20 | data Equal :: * -> * -> * where | ^ src/Copilot/Core/Type/Equality.hs:20:25: warning: [-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. | 20 | data Equal :: * -> * -> * where | ^ [ 4 of 14] Compiling Copilot.Core.Type ( src/Copilot/Core/Type.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Type.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Type.dyn_o ) src/Copilot/Core/Type.hs:100:14: warning: [-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. | 100 | data Type :: * -> * where | ^ src/Copilot/Core/Type.hs:100:19: warning: [-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. | 100 | data Type :: * -> * where | ^ src/Copilot/Core/Type.hs:123:1: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for tysize: Patterns of type Type (Array n t) not matched: Struct _ | 123 | tysize ty@(Array ty'@(Array _)) = tylength ty * tysize ty' | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Copilot/Core/Type.hs:260:3: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for simpleType: Patterns of type Type (Array n t) not matched: Struct _ | 260 | simpleType (Array t) = SArray t | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 5 of 14] Compiling Copilot.Core.Operators ( src/Copilot/Core/Operators.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Operators.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Operators.dyn_o ) [ 6 of 14] Compiling Copilot.Core.Expr ( src/Copilot/Core/Expr.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Expr.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Expr.dyn_o ) [ 7 of 14] Compiling Copilot.Core.Spec ( src/Copilot/Core/Spec.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Spec.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Spec.dyn_o ) [ 8 of 14] Compiling Copilot.Core ( src/Copilot/Core.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core.dyn_o ) [ 9 of 14] Compiling Copilot.Core.Type.Show ( src/Copilot/Core/Type/Show.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Type/Show.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Type/Show.dyn_o ) src/Copilot/Core/Type/Show.hs:53:11: warning: [-Wname-shadowing] This binding for t shadows the existing binding bound at src/Copilot/Core/Type/Show.hs:40:10 | 53 | Array t -> "Array " ++ showType t | ^ src/Copilot/Core/Type/Show.hs:54:12: warning: [-Wname-shadowing] This binding for t shadows the existing binding bound at src/Copilot/Core/Type/Show.hs:40:10 | 54 | Struct t -> "Struct" | ^ src/Copilot/Core/Type/Show.hs:54:12: warning: [-Wunused-matches] Defined but not used: t | 54 | Struct t -> "Struct" | ^ src/Copilot/Core/Type/Show.hs:76:11: warning: [-Wname-shadowing] This binding for t shadows the existing binding bound at src/Copilot/Core/Type/Show.hs:63:9 | 76 | Array t -> ShowWit | ^ src/Copilot/Core/Type/Show.hs:76:11: warning: [-Wunused-matches] Defined but not used: t | 76 | Array t -> ShowWit | ^ src/Copilot/Core/Type/Show.hs:77:12: warning: [-Wname-shadowing] This binding for t shadows the existing binding bound at src/Copilot/Core/Type/Show.hs:63:9 | 77 | Struct t -> ShowWit | ^ src/Copilot/Core/Type/Show.hs:77:12: warning: [-Wunused-matches] Defined but not used: t | 77 | Struct t -> ShowWit | ^ [10 of 14] Compiling Copilot.Core.PrettyPrint ( src/Copilot/Core/PrettyPrint.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/PrettyPrint.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/PrettyPrint.dyn_o ) [11 of 14] Compiling Copilot.Core.PrettyDot ( src/Copilot/Core/PrettyDot.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/PrettyDot.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/PrettyDot.dyn_o ) src/Copilot/Core/PrettyDot.hs:95:12: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns of type Op1 a b not matched: GetField _ _ _ | 95 | ppOp1 op = case op of | ^^^^^^^^^^... src/Copilot/Core/PrettyDot.hs:122:12: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns of type Op2 a b c not matched: Index _ | 122 | ppOp2 op = case op of | ^^^^^^^^^^... [12 of 14] Compiling Copilot.Core.Interpret.Eval ( src/Copilot/Core/Interpret/Eval.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Interpret/Eval.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Interpret/Eval.dyn_o ) src/Copilot/Core/Interpret/Eval.hs:145:8: warning: [-Wunused-matches] Defined but not used: t | 145 | Drop t i id -> | ^ src/Copilot/Core/Interpret/Eval.hs:146:9: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type Maybe [a] not matched: Nothing | 146 | let Just buff = lookup id strms >>= fromDynamic in | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Copilot/Core/Interpret/Eval.hs:148:9: warning: [-Wunused-matches] Defined but not used: t1 | 148 | Local t1 _ name e1 e2 -> | ^^ src/Copilot/Core/Interpret/Eval.hs:152:7: warning: [-Wunused-matches] Defined but not used: t | 152 | Var t name -> fromJust $ lookup name locs >>= fromDynamic | ^ src/Copilot/Core/Interpret/Eval.hs:188:14: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns of type Op1 a b not matched: GetField Copilot.Core.Type.Bool Copilot.Core.Type.Bool _ GetField Copilot.Core.Type.Bool Copilot.Core.Type.Int8 _ GetField Copilot.Core.Type.Bool Copilot.Core.Type.Int16 _ GetField Copilot.Core.Type.Bool Copilot.Core.Type.Int32 _ ... | 188 | evalOp1 op = case op of | ^^^^^^^^^^... src/Copilot/Core/Interpret/Eval.hs:270:36: warning: [-Wunused-matches] Defined but not used: t | 270 | , streamExprType = t } = | ^ src/Copilot/Core/Interpret/Eval.hs:289:42: warning: [-Wunused-matches] Defined but not used: t | 289 | , streamExprType = t } = | ^ [13 of 14] Compiling Copilot.Core.Interpret.Render ( src/Copilot/Core/Interpret/Render.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Interpret/Render.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Interpret/Render.dyn_o ) src/Copilot/Core/Interpret/Render.hs:113:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: docLen :: Doc -> Int | 113 | docLen d = length $ render d | ^^^^^^ src/Copilot/Core/Interpret/Render.hs:117:8: warning: [-Wname-shadowing] This binding for max shadows the existing binding imported from Prelude at src/Copilot/Core/Interpret/Render.hs:22:1-28 (and originally defined in ghc-prim:GHC.Classes) | 117 | pad lx max b ls = ls ++ replicate (max - lx) b | ^^^ [14 of 14] Compiling Copilot.Core.Interpret ( src/Copilot/Core/Interpret.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Interpret.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/Copilot/Core/Interpret.dyn_o ) src/Copilot/Core/Interpret.hs:20:1: warning: [-Wunused-imports] The import of Copilot.Core.Type.Show is redundant except perhaps to import instances from Copilot.Core.Type.Show To import instances alone, use: import Copilot.Core.Type.Show() | 20 | import Copilot.Core.Type.Show (ShowType (..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Preprocessing test suite 'unit-tests' for copilot-core-3.13.. Building test suite 'unit-tests' for copilot-core-3.13.. [1 of 4] Compiling Test.Copilot.Core.Type ( tests/Test/Copilot/Core/Type.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/unit-tests/unit-tests-tmp/Test/Copilot/Core/Type.o ) tests/Test/Copilot/Core/Type.hs:82:39: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a lambda abstraction: Patterns of type [SimpleType] not matched: [] | 82 | forAllBlind (shuffle simpleTypes) $ \(t:ts) -> | ^^^^^^^^^^... [2 of 4] Compiling Test.Copilot.Core.Type.Array ( tests/Test/Copilot/Core/Type/Array.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/unit-tests/unit-tests-tmp/Test/Copilot/Core/Type/Array.o ) tests/Test/Copilot/Core/Type/Array.hs:80:10: warning: [-Wdeprecations] In the use of flatten (imported from Copilot.Core.Type.Array): Deprecated: "This function is deprecated in Copilot 3.11." | 80 | in flatten array' == ls | ^^^^^^^ tests/Test/Copilot/Core/Type/Array.hs:98:15: warning: [-Wdeprecations] In the use of flatten (imported from Copilot.Core.Type.Array): Deprecated: "This function is deprecated in Copilot 3.11." | 98 | length (flatten array' :: [Int64]) == expectedSize | ^^^^^^^ tests/Test/Copilot/Core/Type/Array.hs:126:10: warning: [-Wdeprecations] In the use of size (imported from Copilot.Core.Type.Array): Deprecated: "This function is deprecated in Copilot 3.11." | 126 | in size array' == length ls | ^^^^ [3 of 4] Compiling Main ( tests/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/unit-tests/unit-tests-tmp/Main.o ) [4 of 4] Compiling Test.Extra ( tests/Test/Extra.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/unit-tests/unit-tests-tmp/Test/Extra.o ) Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/build/unit-tests/unit-tests ... Running 1 test suites... Test suite unit-tests: RUNNING... Test suite unit-tests: PASS Test suite logged to: /home/builder/builder-dir/build-cache/tmp-install/reports/copilot-core-3.13.test Writing: copilot-core-3.13-inplace/Copilot.Core.Type.Equality.hs.html Writing: copilot-core-3.13-inplace/Copilot.Core.Type.Array.hs.html Writing: copilot-core-3.13-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 /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/hpc/vanilla/html/unit-tests/hpc_index.html 1 of 1 test suites (1 of 1 test cases) passed. Writing: copilot-core-3.13-inplace/Copilot.Core.Type.Equality.hs.html Writing: copilot-core-3.13-inplace/Copilot.Core.Type.Array.hs.html Writing: copilot-core-3.13-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 /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.13/noopt/hpc/vanilla/html/copilot-core-3.13/hpc_index.html