Resolving dependencies... Build profile: -w ghc-9.6.3 -O0 In order, the following will be built (use -v for more details): - copilot-core-4.0 (lib:copilot-core) (requires build) - copilot-prettyprinter-4.0 (lib:copilot-prettyprinter) (requires build) - copilot-interpreter-4.0 (first run) Starting copilot-core-4.0 (all, legacy fallback) Building copilot-core-4.0 (all, legacy fallback) Installing copilot-core-4.0 (all, legacy fallback) Completed copilot-core-4.0 (all, legacy fallback) Starting copilot-prettyprinter-4.0 (all, legacy fallback) Building copilot-prettyprinter-4.0 (all, legacy fallback) Installing copilot-prettyprinter-4.0 (all, legacy fallback) Completed copilot-prettyprinter-4.0 (all, legacy fallback) Configuring copilot-interpreter-4.0... Preprocessing library for copilot-interpreter-4.0.. Building library for copilot-interpreter-4.0.. [1 of 4] Compiling Copilot.Interpret.Error ( src/Copilot/Interpret/Error.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-4.0/noopt/build/Copilot/Interpret/Error.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-4.0/noopt/build/Copilot/Interpret/Error.dyn_o ) [2 of 4] Compiling Copilot.Interpret.Eval ( src/Copilot/Interpret/Eval.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-4.0/noopt/build/Copilot/Interpret/Eval.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-4.0/noopt/build/Copilot/Interpret/Eval.dyn_o ) src/Copilot/Interpret/Eval.hs:22:1: warning: [GHC-94817] [-Wtabs] Tab character found here, and in three further locations. Suggested fix: Please use spaces instead. | 22 | arrayElems, arrayUpdate, specObservers, | ^^^^^^^^ src/Copilot/Interpret/Eval.hs:35:1: warning: [-Wunused-imports] The import of GHC.TypeLits is redundant except perhaps to import instances from GHC.TypeLits To import instances alone, use: import GHC.TypeLits() | 35 | import GHC.TypeLits (KnownNat, Nat, natVal) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Copilot/Interpret/Eval.hs:145:8: warning: [-Wunused-matches] Defined but not used: t | 145 | Drop t i id -> | ^ src/Copilot/Interpret/Eval.hs:146:9: warning: [GHC-62161] [-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/Interpret/Eval.hs:148:9: warning: [-Wunused-matches] Defined but not used: t1 | 148 | Local t1 _ name e1 e2 -> | ^^ src/Copilot/Interpret/Eval.hs:152:7: warning: [-Wunused-matches] Defined but not used: t | 152 | Var t name -> fromJust $ lookup name locs >>= fromDynamic | ^ src/Copilot/Interpret/Eval.hs:188:14: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns of type Op1 a b not matched: GetField Bool _ _ GetField Int8 _ _ GetField Int16 _ _ GetField Int32 _ _ ... | 188 | evalOp1 op = case op of | ^^^^^^^^^^... src/Copilot/Interpret/Eval.hs:225:14: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns of type Op2 a b c not matched: UpdateField Bool _ _ UpdateField Int8 _ _ UpdateField Int16 _ _ UpdateField Int32 _ _ ... | 225 | evalOp2 op = case op of | ^^^^^^^^^^... src/Copilot/Interpret/Eval.hs:250:30: warning: [-Wunused-matches] Defined but not used: fieldAccessor | 250 | UpdateField (Struct _) ty (fieldAccessor :: a -> Field s b) -> | ^^^^^^^^^^^^^ src/Copilot/Interpret/Eval.hs:270:22: warning: [-Wunused-matches] Defined but not used: ty | 270 | evalOp3 (UpdateArray ty) = \xs n x -> arrayUpdate xs (fromIntegral n) x | ^^ src/Copilot/Interpret/Eval.hs:277:36: warning: [-Wunused-matches] Defined but not used: t | 277 | , streamExprType = t } = | ^ src/Copilot/Interpret/Eval.hs:296:42: warning: [-Wunused-matches] Defined but not used: t | 296 | , streamExprType = t } = | ^ src/Copilot/Interpret/Eval.hs:405:11: warning: [-Wunused-matches] Defined but not used: t | 405 | Array t -> ShowWit | ^ src/Copilot/Interpret/Eval.hs:405:11: warning: [GHC-63397] [-Wname-shadowing] This binding for t shadows the existing binding bound at src/Copilot/Interpret/Eval.hs:392:9 | 405 | Array t -> ShowWit | ^ src/Copilot/Interpret/Eval.hs:406:12: warning: [-Wunused-matches] Defined but not used: t | 406 | Struct t -> ShowWit | ^ src/Copilot/Interpret/Eval.hs:406:12: warning: [GHC-63397] [-Wname-shadowing] This binding for t shadows the existing binding bound at src/Copilot/Interpret/Eval.hs:392:9 | 406 | Struct t -> ShowWit | ^ [3 of 4] Compiling Copilot.Interpret.Render ( src/Copilot/Interpret/Render.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-4.0/noopt/build/Copilot/Interpret/Render.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-4.0/noopt/build/Copilot/Interpret/Render.dyn_o ) src/Copilot/Interpret/Render.hs:108:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: docLen :: Doc -> Int | 108 | docLen d = length $ render d | ^^^^^^ src/Copilot/Interpret/Render.hs:112:8: warning: [GHC-63397] [-Wname-shadowing] This binding for max shadows the existing binding imported from Prelude at src/Copilot/Interpret/Render.hs:17:1-28 (and originally defined in ghc-prim-0.10.0:GHC.Classes) | 112 | pad lx max b ls = ls ++ replicate (max - lx) b | ^^^ [4 of 4] Compiling Copilot.Interpret ( src/Copilot/Interpret.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-4.0/noopt/build/Copilot/Interpret.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-4.0/noopt/build/Copilot/Interpret.dyn_o ) Preprocessing test suite 'unit-tests' for copilot-interpreter-4.0.. Building test suite 'unit-tests' for copilot-interpreter-4.0.. [1 of 3] Compiling Test.Extra ( tests/Test/Extra.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-4.0/noopt/build/unit-tests/unit-tests-tmp/Test/Extra.o ) [2 of 3] Compiling Test.Copilot.Interpret.Eval ( tests/Test/Copilot/Interpret/Eval.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-4.0/noopt/build/unit-tests/unit-tests-tmp/Test/Copilot/Interpret/Eval.o ) tests/Test/Copilot/Interpret/Eval.hs:14:1: warning: [-Wunused-imports] The import of Data.List is redundant except perhaps to import instances from Data.List To import instances alone, use: import Data.List() | 14 | import Data.List (lookup) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tests/Test/Copilot/Interpret/Eval.hs:803:11: warning: [GHC-63397] [-Wname-shadowing] This binding for t shadows the existing binding bound at tests/Test/Copilot/Interpret/Eval.hs:790:10 | 803 | Array t -> "Array " ++ showType t | ^ tests/Test/Copilot/Interpret/Eval.hs:804:12: warning: [-Wunused-matches] Defined but not used: t | 804 | Struct t -> "Struct" | ^ tests/Test/Copilot/Interpret/Eval.hs:804:12: warning: [GHC-63397] [-Wname-shadowing] This binding for t shadows the existing binding bound at tests/Test/Copilot/Interpret/Eval.hs:790:10 | 804 | Struct t -> "Struct" | ^ [3 of 3] Compiling Main ( tests/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-4.0/noopt/build/unit-tests/unit-tests-tmp/Main.o ) [4 of 4] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-4.0/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-interpreter-4.0.test Writing: copilot-interpreter-4.0-inplace/Copilot.Interpret.Eval.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/copilot-interpreter-4.0/noopt/hpc/vanilla/html/unit-tests/hpc_index.html 1 of 1 test suites (1 of 1 test cases) passed. Writing: copilot-interpreter-4.0-inplace/Copilot.Interpret.Eval.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/copilot-interpreter-4.0/noopt/hpc/vanilla/html/copilot-interpreter-4.0/hpc_index.html