[all reports]
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2024-11-08 11:38:37.303554786 UTC
|
| Compiler |
ghc-9.6.3 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.18.1.0, copilot-core-4.1, directory-1.3.9.0, filepath-1.4.300.2, 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 | 61% (1103/1803) |
|---|
| boolean | guards | 16% (1/6) |
|---|
| conditions | 100% (0/0) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 55% (88/160) |
|---|
| local declarations | 78% (114/146) |
|---|
| top-level declarations | 78% (48/61) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting ieee754-0.8.0
Starting language-c99-0.2.0
Starting copilot-core-4.1
Starting filepath-1.4.300.2
Building ieee754-0.8.0
Building copilot-core-4.1
Building filepath-1.4.300.2
Building language-c99-0.2.0
Completed copilot-core-4.1
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.3.0
Building language-c99-simple-0.3.0
Completed filepath-1.4.300.2
Starting unix-2.8.5.1
Completed language-c99-simple-0.3.0
Building unix-2.8.5.1
Completed unix-2.8.5.1
Starting file-io-0.1.4
Building file-io-0.1.4
Completed file-io-0.1.4
Starting directory-1.3.9.0
Building directory-1.3.9.0
Completed directory-1.3.9.0
Starting copilot-c99-4.1
Building copilot-c99-4.1
Completed copilot-c99-4.1
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):
- file-io-0.1.4 (lib:file-io) (requires build)
- directory-1.3.9.0 (lib:directory) (requires build)
- process-1.6.25.0 (lib:process) (requires build)
- copilot-c99-4.1 (first run)
Starting file-io-0.1.4 (all, legacy fallback)
Building file-io-0.1.4 (all, legacy fallback)
Installing file-io-0.1.4 (all, legacy fallback)
Completed file-io-0.1.4 (all, legacy fallback)
Starting directory-1.3.9.0 (all, legacy fallback)
Building directory-1.3.9.0 (all, legacy fallback)
Installing directory-1.3.9.0 (all, legacy fallback)
Completed directory-1.3.9.0 (all, legacy fallback)
Starting process-1.6.25.0 (all, legacy fallback)
Building process-1.6.25.0 (all, legacy fallback)
Installing process-1.6.25.0 (all, legacy fallback)
Completed process-1.6.25.0 (all, legacy fallback)
Configuring copilot-c99-4.1...
Preprocessing library for copilot-c99-4.1..
Building library for copilot-c99-4.1..
[1 of 9] 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.1/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.1/noopt/build/Copilot/Compile/C99/Error.dyn_o )
[2 of 9] 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.1/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.1/noopt/build/Copilot/Compile/C99/Name.dyn_o )
[3 of 9] 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.1/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.1/noopt/build/Copilot/Compile/C99/External.dyn_o )
[4 of 9] 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.1/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.1/noopt/build/Copilot/Compile/C99/Settings.dyn_o )
[5 of 9] 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.1/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.1/noopt/build/Copilot/Compile/C99/Type.dyn_o )
[6 of 9] 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.1/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.1/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
| ^^^^^^^^^^...
[7 of 9] 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.1/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.1/noopt/build/Copilot/Compile/C99/CodeGen.dyn_o )
src/Copilot/Compile/C99/CodeGen.hs:68: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
...
|
68 | mkStructDecln (Struct x) = C.TypeDecln struct
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
src/Copilot/Compile/C99/CodeGen.hs:78: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
...
|
78 | mkStructForwDecln (Struct x) = C.TypeDecln struct
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[8 of 9] 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.1/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.1/noopt/build/Copilot/Compile/C99/Compile.dyn_o )
[9 of 9] 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.1/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.1/noopt/build/Copilot/Compile/C99.dyn_o )
Preprocessing test suite 'unit-tests' for copilot-c99-4.1..
Building test suite 'unit-tests' for copilot-c99-4.1..
[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.1/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.1/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.1/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.1.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.1/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.1/noopt/hpc/vanilla/html/copilot-c99-4.1/hpc_index.html