[all reports]
Package |
copilot-c99-3.18.1 |
Install |
InstallOk |
Docs |
Ok |
Tests |
Ok |
Time submitted |
2024-01-08 10:12:08.242509065 UTC
|
Compiler |
ghc-9.6.3 |
OS |
linux |
Arch |
x86_64 |
Dependencies |
base-4.18.1.0, copilot-core-3.18.1, directory-1.3.8.1, filepath-1.4.100.4, 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 | 69% (1097/1578) |
boolean | guards | 16% (1/6) |
conditions | 100% (0/0) |
qualifiers | 100% (0/0) |
alternatives | 59% (88/149) |
local declarations | 87% (113/129) |
top-level declarations | 81% (48/59) |
Build log
[view raw]
Resolving dependencies...
Starting ieee754-0.8.0
Starting copilot-core-3.18.1
Starting language-c99-0.2.0
Building ieee754-0.8.0
Building copilot-core-3.18.1
Building language-c99-0.2.0
Completed copilot-core-3.18.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 language-c99-simple-0.3.0
Starting copilot-c99-3.18.1
Building copilot-c99-3.18.1
Completed copilot-c99-3.18.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):
- copilot-c99-3.18.1 (first run)
Configuring copilot-c99-3.18.1...
Preprocessing library for copilot-c99-3.18.1..
Building library for copilot-c99-3.18.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-3.18.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-3.18.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-3.18.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-3.18.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-3.18.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-3.18.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-3.18.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-3.18.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-3.18.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-3.18.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-3.18.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-3.18.1/noopt/build/Copilot/Compile/C99/Expr.dyn_o )
src/Copilot/Compile/C99/Expr.hs:75: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 _ _
...
|
75 | 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-3.18.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-3.18.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-3.18.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-3.18.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-3.18.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-3.18.1/noopt/build/Copilot/Compile/C99.dyn_o )
Preprocessing test suite 'unit-tests' for copilot-c99-3.18.1..
Building test suite 'unit-tests' for copilot-c99-3.18.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-3.18.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-3.18.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-3.18.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-3.18.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-3.18.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-3.18.1/noopt/hpc/vanilla/html/copilot-c99-3.18.1/hpc_index.html