[all reports]
Install |
InstallOk |
Docs |
Ok |
Tests |
Ok |
Time submitted |
2023-07-07 23:57:26.966341782 UTC
|
Compiler |
ghc-9.2.4 |
OS |
linux |
Arch |
x86_64 |
Dependencies |
base-4.16.3.0, copilot-core-3.16, directory-1.3.6.2, filepath-1.4.2.2, language-c99-0.2.0, language-c99-simple-0.2.2, mtl-2.2.2, pretty-1.1.3.6 |
Flags |
none
|
Code Coverage
expressions | 68% (1094/1608) |
boolean | guards | 16% (1/6) |
conditions | 100% (0/0) |
qualifiers | 100% (0/0) |
alternatives | 58% (89/151) |
local declarations | 85% (109/127) |
top-level declarations | 76% (49/64) |
Build log
[view raw]
Resolving dependencies...
Starting ieee754-0.8.0
Starting language-c99-0.2.0
Starting copilot-core-3.16
Building ieee754-0.8.0
Building language-c99-0.2.0
Building copilot-core-3.16
Completed copilot-core-3.16
Completed ieee754-0.8.0
Completed language-c99-0.2.0
Starting language-c99-util-0.2.0
Building language-c99-util-0.2.0
Completed language-c99-util-0.2.0
Starting language-c99-simple-0.2.2
Building language-c99-simple-0.2.2
Completed language-c99-simple-0.2.2
Starting copilot-c99-3.16
Building copilot-c99-3.16
Completed copilot-c99-3.16
Test log
[view raw]
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