[all reports]
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2025-03-08 03:53:37.734576953 UTC
|
| Compiler |
ghc-9.6.3 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.18.1.0, copilot-core-4.3, directory-1.3.9.0, filepath-1.5.4.0, language-c99-0.2.0, language-c99-simple-0.3.0, mtl-2.3.1, pretty-1.1.3.6 |
| Flags |
none
|
Code Coverage
| expressions | 59% (1124/1878) |
|---|
| boolean | guards | 12% (1/8) |
|---|
| conditions | 100% (0/0) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 52% (89/170) |
|---|
| local declarations | 77% (119/154) |
|---|
| top-level declarations | 77% (49/63) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting ieee754-0.8.0
Starting copilot-core-4.3
Starting language-c99-0.2.0
Starting os-string-2.0.7
Building copilot-core-4.3
Building ieee754-0.8.0
Building language-c99-0.2.0
Building os-string-2.0.7
Completed copilot-core-4.3
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 os-string-2.0.7
Starting filepath-1.5.4.0
Building filepath-1.5.4.0
Completed language-c99-util-0.2.0
Starting language-c99-simple-0.3.0
Building language-c99-simple-0.3.0
Completed language-c99-simple-0.3.0
Completed filepath-1.5.4.0
Starting unix-2.8.6.0
Building unix-2.8.6.0
Completed unix-2.8.6.0
Starting file-io-0.1.5
Building file-io-0.1.5
Completed file-io-0.1.5
Starting directory-1.3.9.0
Building directory-1.3.9.0
Completed directory-1.3.9.0
Starting copilot-c99-4.3
Building copilot-c99-4.3
Completed copilot-c99-4.3
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.6.3 -O0
In order, the following will be built (use -v for more details):
- test-framework-hunit-0.3.0.2 (lib:test-framework-hunit) (requires build)
- copilot-c99-4.3 (first run)
Starting test-framework-hunit-0.3.0.2 (all, legacy fallback)
Building test-framework-hunit-0.3.0.2 (all, legacy fallback)
Installing test-framework-hunit-0.3.0.2 (all, legacy fallback)
Completed test-framework-hunit-0.3.0.2 (all, legacy fallback)
Configuring copilot-c99-4.3...
Preprocessing library for copilot-c99-4.3..
Building library for copilot-c99-4.3..
[ 1 of 10] 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.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99/Error.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99/Error.dyn_o )
[ 2 of 10] Compiling Copilot.Compile.C99.Name ( src/Copilot/Compile/C99/Name.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99/Name.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99/Name.dyn_o )
[ 3 of 10] 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.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99/External.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99/External.dyn_o )
[ 4 of 10] Compiling Copilot.Compile.C99.Representation ( src/Copilot/Compile/C99/Representation.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99/Representation.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99/Representation.dyn_o )
src/Copilot/Compile/C99/Representation.hs:19:31: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Show b0)
arising from a use of mkUnique
at src/Copilot/Compile/C99/Representation.hs:19:31-38
(Num b0)
arising from the literal 0
at src/Copilot/Compile/C99/Representation.hs:19:44
(Enum b0)
arising from the arithmetic sequence 0 ..
at src/Copilot/Compile/C99/Representation.hs:19:43-47
" In the first argument of zipWith, namely mkUnique
In the expression: zipWith mkUnique ts [0 .. ]
In an equation for mkUniqueTriggers:
mkUniqueTriggers ts
= zipWith mkUnique ts [0 .. ]
where
mkUnique t@(Trigger name _ _) n
= UniqueTrigger (name ++ "_" ++ show n) t
|
19 | mkUniqueTriggers ts = zipWith mkUnique ts [0..]
| ^^^^^^^^
[ 5 of 10] 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.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99/Settings.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99/Settings.dyn_o )
[ 6 of 10] Compiling Copilot.Compile.C99.Type ( src/Copilot/Compile/C99/Type.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99/Type.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99/Type.dyn_o )
[ 7 of 10] Compiling Copilot.Compile.C99.Expr ( src/Copilot/Compile/C99/Expr.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99/Expr.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99/Expr.dyn_o )
src/Copilot/Compile/C99/Expr.hs:66:13: warning: [GHC-63397] [-Wname-shadowing]
This binding for i shadows the existing binding
bound at src/Copilot/Compile/C99/Expr.hs:64:4
|
66 | modify (\(i, x, y) -> (i + 1, x, y))
| ^
src/Copilot/Compile/C99/Expr.hs:71:13: warning: [GHC-63397] [-Wname-shadowing]
This binding for i shadows the existing binding
bound at src/Copilot/Compile/C99/Expr.hs:64:4
|
71 | modify (\(i, x, y) -> (i, x ++ [initDecl], y))
| ^
src/Copilot/Compile/C99/Expr.hs:95:13: warning: [GHC-63397] [-Wname-shadowing]
This binding for i shadows the existing binding
bound at src/Copilot/Compile/C99/Expr.hs:64:4
|
95 | modify (\(i, x, y) -> (i, x, y ++ [ initStmt, updateStmt ]))
| ^
src/Copilot/Compile/C99/Expr.hs:104:11: warning: [-Wunused-matches]
Defined but not used: e
|
104 | transExpr e@(Op3 (UpdateArray arrTy@(Array ty2)) e1 e2 e3) = do
| ^
src/Copilot/Compile/C99/Expr.hs:112:13: warning: [GHC-63397] [-Wname-shadowing]
This binding for i shadows the existing binding
bound at src/Copilot/Compile/C99/Expr.hs:110:4
|
112 | modify (\(i, x, y) -> (i + 1, x, y))
| ^
src/Copilot/Compile/C99/Expr.hs:117:13: warning: [GHC-63397] [-Wname-shadowing]
This binding for i shadows the existing binding
bound at src/Copilot/Compile/C99/Expr.hs:110:4
|
117 | modify (\(i, x, y) -> (i, x ++ [initDecl], y))
| ^
src/Copilot/Compile/C99/Expr.hs:120:7: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for size:
Patterns of type Type (Array n t) not matched: Struct _
|
120 | size arrTy@(Array ty) = C.LitInt (fromIntegral $ typeLength arrTy)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
src/Copilot/Compile/C99/Expr.hs:120:12: warning: [GHC-63397] [-Wname-shadowing]
This binding for arrTy shadows the existing binding
bound at src/Copilot/Compile/C99/Expr.hs:104:31
|
120 | size arrTy@(Array ty) = C.LitInt (fromIntegral $ typeLength arrTy)
| ^^^^^
src/Copilot/Compile/C99/Expr.hs:131:13: warning: [GHC-63397] [-Wname-shadowing]
This binding for size shadows the existing binding
bound at src/Copilot/Compile/C99/Expr.hs:120:7
|
131 | size = C.LitInt
| ^^^^
src/Copilot/Compile/C99/Expr.hs:141:13: warning: [GHC-63397] [-Wname-shadowing]
This binding for i shadows the existing binding
bound at src/Copilot/Compile/C99/Expr.hs:110:4
|
141 | modify (\(i, x, y) -> (i, x, y ++ [ initStmt, updateStmt ]))
| ^
src/Copilot/Compile/C99/Expr.hs:161:3: 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 _ _
...
|
161 | case op of
| ^^^^^^^^^^...
[ 8 of 10] 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.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99/CodeGen.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99/CodeGen.dyn_o )
src/Copilot/Compile/C99/CodeGen.hs:71:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for mkStructDecln:
Patterns of type Type a not matched:
Bool
Int8
Int16
Int32
...
|
71 | mkStructDecln (Struct x) = C.TypeDecln struct
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
src/Copilot/Compile/C99/CodeGen.hs:81:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for mkStructForwDecln:
Patterns of type Type a not matched:
Bool
Int8
Int16
Int32
...
|
81 | mkStructForwDecln (Struct x) = C.TypeDecln struct
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 9 of 10] 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.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99/Compile.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99/Compile.dyn_o )
[10 of 10] 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.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-c99-4.3/noopt/build/Copilot/Compile/C99.dyn_o )
Preprocessing test suite 'unit-tests' for copilot-c99-4.3..
Building test suite 'unit-tests' for copilot-c99-4.3..
[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.6.3/copilot-c99-4.3/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.6.3/copilot-c99-4.3/noopt/build/unit-tests/unit-tests-tmp/Main.o )
[3 of 3] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-c99-4.3/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-4.3.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.6.3/copilot-c99-4.3/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.6.3/copilot-c99-4.3/noopt/hpc/vanilla/html/copilot-c99-4.3/hpc_index.html