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.16 (lib:copilot-core) (requires build) - language-c99-0.2.0 (lib:language-c99) (requires build) - test-framework-0.8.2.0 (lib:test-framework) (requires build) - language-c99-util-0.2.0 (lib:language-c99-util) (requires build) - test-framework-quickcheck2-0.3.0.5 (lib:test-framework-quickcheck2) (requires build) - test-framework-hunit-0.3.0.2 (lib:test-framework-hunit) (requires build) - language-c99-simple-0.2.2 (lib:language-c99-simple) (requires build) - copilot-c99-3.16 (first run) Starting language-c99-0.2.0 (all, legacy fallback) Starting copilot-core-3.16 (all, legacy fallback) Starting test-framework-0.8.2.0 (all, legacy fallback) Building language-c99-0.2.0 (all, legacy fallback) Building copilot-core-3.16 (all, legacy fallback) Building test-framework-0.8.2.0 (all, legacy fallback) Installing copilot-core-3.16 (all, legacy fallback) Completed copilot-core-3.16 (all, legacy fallback) Installing test-framework-0.8.2.0 (all, legacy fallback) Installing language-c99-0.2.0 (all, legacy fallback) Completed test-framework-0.8.2.0 (all, legacy fallback) Starting test-framework-hunit-0.3.0.2 (all, legacy fallback) Starting test-framework-quickcheck2-0.3.0.5 (all, legacy fallback) Completed language-c99-0.2.0 (all, legacy fallback) Starting language-c99-util-0.2.0 (all, legacy fallback) Building test-framework-quickcheck2-0.3.0.5 (all, legacy fallback) Building test-framework-hunit-0.3.0.2 (all, legacy fallback) Building language-c99-util-0.2.0 (all, legacy fallback) Installing test-framework-quickcheck2-0.3.0.5 (all, legacy fallback) Installing test-framework-hunit-0.3.0.2 (all, legacy fallback) Installing language-c99-util-0.2.0 (all, legacy fallback) Completed test-framework-quickcheck2-0.3.0.5 (all, legacy fallback) Completed test-framework-hunit-0.3.0.2 (all, legacy fallback) Completed language-c99-util-0.2.0 (all, legacy fallback) Starting language-c99-simple-0.2.2 (all, legacy fallback) Building language-c99-simple-0.2.2 (all, legacy fallback) Installing language-c99-simple-0.2.2 (all, legacy fallback) Completed language-c99-simple-0.2.2 (all, legacy fallback) Configuring copilot-c99-3.16... Preprocessing library for copilot-c99-3.16.. Building library for copilot-c99-3.16.. [1 of 8] Compiling Copilot.Compile.C99.Error ( src/Copilot/Compile/C99/Error.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-c99-3.16/noopt/build/Copilot/Compile/C99/Error.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-c99-3.16/noopt/build/Copilot/Compile/C99/Error.dyn_o ) [2 of 8] Compiling Copilot.Compile.C99.Settings ( src/Copilot/Compile/C99/Settings.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-c99-3.16/noopt/build/Copilot/Compile/C99/Settings.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-c99-3.16/noopt/build/Copilot/Compile/C99/Settings.dyn_o ) [3 of 8] Compiling Copilot.Compile.C99.Util ( src/Copilot/Compile/C99/Util.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-c99-3.16/noopt/build/Copilot/Compile/C99/Util.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-c99-3.16/noopt/build/Copilot/Compile/C99/Util.dyn_o ) src/Copilot/Compile/C99/Util.hs:22:28: warning: [-Wtype-defaults] " Defaulting the following constraints to type Integer (Show a0) arising from a use of show at src/Copilot/Compile/C99/Util.hs:22:28-31 (Num a0) arising from the literal 0 at src/Copilot/Compile/C99/Util.hs:22:38 (Enum a0) arising from the arithmetic sequence 0 ..  at src/Copilot/Compile/C99/Util.hs:22:37-41 " In the second argument of (.), namely show In the first argument of (<$>), namely (name ++) . show In the expression: (name ++) . show <$> [0 .. ] | 22 | freshnames = (name ++).show <$> [0..] | ^^^^ src/Copilot/Compile/C99/Util.hs:28:5: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for match: Patterns of type C.Decln not matched: C.FunDecln _ _ _ _ C.TypeDecln _ | 28 | match (C.VarDecln _ _ name _) = name | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [4 of 8] Compiling Copilot.Compile.C99.Translate ( src/Copilot/Compile/C99/Translate.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-c99-3.16/noopt/build/Copilot/Compile/C99/Translate.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-c99-3.16/noopt/build/Copilot/Compile/C99/Translate.dyn_o ) src/Copilot/Compile/C99/Translate.hs:22:7: warning: [-Wname-shadowing] This binding for init shadows the existing binding imported from Prelude at src/Copilot/Compile/C99/Translate.hs:4:8-36 (and originally defined in GHC.List) | 22 | init = Just $ C.InitExpr e1' | ^^^^ src/Copilot/Compile/C99/Translate.hs:63:3: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns of type Op1 a b not matched: GetField Bool Bool _ GetField Bool Int8 _ GetField Bool Int16 _ GetField Bool Int32 _ ... | 63 | case op of | ^^^^^^^^^^... src/Copilot/Compile/C99/Translate.hs:303:7: warning: [-Wname-shadowing] This binding for length shadows the existing binding imported from Prelude at src/Copilot/Compile/C99/Translate.hs:4:8-36 (and originally defined in Data.Foldable) | 303 | length = Just $ C.LitInt $ fromIntegral $ tylength ty | ^^^^^^ [5 of 8] Compiling Copilot.Compile.C99.External ( src/Copilot/Compile/C99/External.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-c99-3.16/noopt/build/Copilot/Compile/C99/External.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-c99-3.16/noopt/build/Copilot/Compile/C99/External.dyn_o ) [6 of 8] Compiling Copilot.Compile.C99.CodeGen ( src/Copilot/Compile/C99/CodeGen.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-c99-3.16/noopt/build/Copilot/Compile/C99/CodeGen.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-c99-3.16/noopt/build/Copilot/Compile/C99/CodeGen.dyn_o ) src/Copilot/Compile/C99/CodeGen.hs:53:13: warning: [-Wunused-matches] Defined but not used: name | 53 | genFunArray name nameArg expr _ = | ^^^^ src/Copilot/Compile/C99/CodeGen.hs:53:18: warning: [-Wunused-matches] Defined but not used: nameArg | 53 | genFunArray name nameArg expr _ = | ^^^^^^^ src/Copilot/Compile/C99/CodeGen.hs:53:26: warning: [-Wunused-matches] Defined but not used: expr | 53 | genFunArray name nameArg expr _ = | ^^^^ src/Copilot/Compile/C99/CodeGen.hs:65:25: warning: [-Wunused-matches] Defined but not used: name | 65 | mkextcpydecln (External name cpyname ty) = decln | ^^^^ src/Copilot/Compile/C99/CodeGen.hs:119:38: warning: [-Wunused-matches] Defined but not used: expr | 119 | mkupdateglobals (Stream sid buff expr ty) = | ^^^^ src/Copilot/Compile/C99/CodeGen.hs:196:34: warning: [-Wunused-matches] Defined but not used: guard | 196 | mktriggercheck (Trigger name guard args) = | ^^^^^ src/Copilot/Compile/C99/CodeGen.hs:241:21: warning: [-Wname-shadowing] This binding for name shadows the existing binding bound at src/Copilot/Compile/C99/CodeGen.hs:196:29 | 241 | argcall name = C.Funcall (C.Ident name) [] | ^^^^ src/Copilot/Compile/C99/CodeGen.hs:246:1: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for mkstructdecln: Patterns of type Type a not matched: Bool Int8 Int16 Int32 ... | 246 | mkstructdecln (Struct x) = C.TypeDecln struct | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Copilot/Compile/C99/CodeGen.hs:256:1: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for mkstructforwdecln: Patterns of type Type a not matched: Bool Int8 Int16 Int32 ... | 256 | mkstructforwdecln (Struct x) = C.TypeDecln struct | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [7 of 8] Compiling Copilot.Compile.C99.Compile ( src/Copilot/Compile/C99/Compile.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-c99-3.16/noopt/build/Copilot/Compile/C99/Compile.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-c99-3.16/noopt/build/Copilot/Compile/C99/Compile.dyn_o ) src/Copilot/Compile/C99/Compile.hs:87:12: warning: [-Wname-shadowing] This binding for exts shadows the existing binding bound at src/Copilot/Compile/C99/Compile.hs:80:5 | 87 | mkexts exts = map mkextcpydecln exts | ^^^^ src/Copilot/Compile/C99/Compile.hs:91:15: warning: [-Wname-shadowing] This binding for streams shadows the existing binding bound at src/Copilot/Compile/C99/Compile.hs:78:5 | 91 | mkglobals streams = map buffdecln streams ++ map indexdecln streams | ^^^^^^^ src/Copilot/Compile/C99/Compile.hs:98:13: warning: [-Wname-shadowing] This binding for streams shadows the existing binding bound at src/Copilot/Compile/C99/Compile.hs:78:5 | 98 | genfuns streams triggers = map accessdecln streams | ^^^^^^^ src/Copilot/Compile/C99/Compile.hs:98:21: warning: [-Wname-shadowing] This binding for triggers shadows the existing binding bound at src/Copilot/Compile/C99/Compile.hs:79:5 | 98 | genfuns streams triggers = map accessdecln streams | ^^^^^^^^ src/Copilot/Compile/C99/Compile.hs:118:21: warning: [-Wname-shadowing] This binding for argname shadows the existing binding imported from Copilot.Compile.C99.Util at src/Copilot/Compile/C99/Compile.hs:20:1-31 (and originally defined at src/Copilot/Compile/C99/Util.hs:60:1-7) | 118 | arggen (argname, UExpr ty expr) = genfun argname expr ty | ^^^^^^^ src/Copilot/Compile/C99/Compile.hs:138:18: warning: [-Wunused-matches] Defined but not used: x | 138 | Struct x -> Just $ mkstructforwdecln ty | ^ src/Copilot/Compile/C99/Compile.hs:148:18: warning: [-Wname-shadowing] This binding for triggers shadows the existing binding bound at src/Copilot/Compile/C99/Compile.hs:125:5 | 148 | extfundeclns triggers = map extfundecln triggers | ^^^^^^^^ src/Copilot/Compile/C99/Compile.hs:155:22: warning: [-Wname-shadowing] This binding for name shadows the existing binding bound at src/Copilot/Compile/C99/Compile.hs:151:30 | 155 | mkparam (name, UExpr ty _) = C.Param (mkParamTy ty) name | ^^^^ [8 of 8] Compiling Copilot.Compile.C99 ( src/Copilot/Compile/C99.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-c99-3.16/noopt/build/Copilot/Compile/C99.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-c99-3.16/noopt/build/Copilot/Compile/C99.dyn_o ) Preprocessing test suite 'unit-tests' for copilot-c99-3.16.. Building test suite 'unit-tests' for copilot-c99-3.16.. [1 of 2] Compiling Test.Copilot.Compile.C99 ( tests/Test/Copilot/Compile/C99.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-c99-3.16/noopt/build/unit-tests/unit-tests-tmp/Test/Copilot/Compile/C99.o ) tests/Test/Copilot/Compile/C99.hs:37:1: warning: [-Wunused-imports] The import of Copilot.Core.Type.Array is redundant except perhaps to import instances from Copilot.Core.Type.Array To import instances alone, use: import Copilot.Core.Type.Array() | 37 | import Copilot.Core.Type.Array (array) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tests/Test/Copilot/Compile/C99.hs:437:5: warning: [-Wunused-top-binds] Defined but not used: wrapTC1Expr | 437 | { wrapTC1Expr :: Spec | ^^^^^^^^^^^ tests/Test/Copilot/Compile/C99.hs:441:5: warning: [-Wunused-top-binds] Defined but not used: wrapTC1Fun | 441 | , wrapTC1Fun :: [a] -> [b] | ^^^^^^^^^^ tests/Test/Copilot/Compile/C99.hs:445:5: warning: [-Wunused-top-binds] Defined but not used: wrapTC1CopInp | 445 | , wrapTC1CopInp :: (String -> String, String, String, Gen a) | ^^^^^^^^^^^^^ tests/Test/Copilot/Compile/C99.hs:459:5: warning: [-Wunused-top-binds] Defined but not used: wrapTC1CopOut | 459 | , wrapTC1CopOut :: (String, String) | ^^^^^^^^^^^^^ tests/Test/Copilot/Compile/C99.hs:470:5: warning: [-Wunused-top-binds] Defined but not used: wrapTC2Expr | 470 | { wrapTC2Expr :: Spec | ^^^^^^^^^^^ tests/Test/Copilot/Compile/C99.hs:474:5: warning: [-Wunused-top-binds] Defined but not used: wrapTC2Fun | 474 | , wrapTC2Fun :: [a] -> [b] -> [c] | ^^^^^^^^^^ tests/Test/Copilot/Compile/C99.hs:478:5: warning: [-Wunused-top-binds] Defined but not used: wrapTC2CopInp1 | 478 | , wrapTC2CopInp1 :: (String -> String, String, String, Gen a) | ^^^^^^^^^^^^^^ tests/Test/Copilot/Compile/C99.hs:492:5: warning: [-Wunused-top-binds] Defined but not used: wrapTC2CopInp2 | 492 | , wrapTC2CopInp2 :: (String -> String, String, String, Gen b) | ^^^^^^^^^^^^^^ tests/Test/Copilot/Compile/C99.hs:506:5: warning: [-Wunused-top-binds] Defined but not used: wrapTC2CopOut | 506 | , wrapTC2CopOut :: (String, String) | ^^^^^^^^^^^^^ [2 of 2] Compiling Main ( tests/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-c99-3.16/noopt/build/unit-tests/unit-tests-tmp/Main.o ) Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-c99-3.16/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-c99-3.16.test 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-c99-3.16/noopt/hpc/vanilla/html/unit-tests/hpc_index.html 1 of 1 test suites (1 of 1 test cases) passed. 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-c99-3.16/noopt/hpc/vanilla/html/copilot-c99-3.16/hpc_index.html