[all reports]
Package |
copilot-interpreter-3.19.1 |
Install |
InstallOk |
Docs |
Ok |
Tests |
Ok |
Time submitted |
2024-05-08 08:16:52.61957163 UTC
|
Compiler |
ghc-9.6.3 |
OS |
linux |
Arch |
x86_64 |
Dependencies |
base-4.18.1.0, copilot-core-3.19.1, pretty-1.1.3.6 |
Flags |
none
|
Code Coverage
expressions | 52% (248/469) |
boolean | guards | 50% (1/2) |
conditions | 40% (2/5) |
qualifiers | 100% (0/0) |
alternatives | 69% (69/100) |
local declarations | 66% (20/30) |
top-level declarations | 48% (13/27) |
Build log
[view raw]
Resolving dependencies...
Starting copilot-core-3.19.1
Building copilot-core-3.19.1
Completed copilot-core-3.19.1
Starting copilot-interpreter-3.19.1
Building copilot-interpreter-3.19.1
Completed copilot-interpreter-3.19.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-core-3.19.1 (lib:copilot-core) (requires build)
- copilot-prettyprinter-3.19.1 (lib:copilot-prettyprinter) (requires build)
- copilot-interpreter-3.19.1 (first run)
Starting copilot-core-3.19.1 (all, legacy fallback)
Building copilot-core-3.19.1 (all, legacy fallback)
Installing copilot-core-3.19.1 (all, legacy fallback)
Completed copilot-core-3.19.1 (all, legacy fallback)
Starting copilot-prettyprinter-3.19.1 (all, legacy fallback)
Building copilot-prettyprinter-3.19.1 (all, legacy fallback)
Installing copilot-prettyprinter-3.19.1 (all, legacy fallback)
Completed copilot-prettyprinter-3.19.1 (all, legacy fallback)
Configuring copilot-interpreter-3.19.1...
Preprocessing library for copilot-interpreter-3.19.1..
Building library for copilot-interpreter-3.19.1..
[1 of 4] Compiling Copilot.Interpret.Error ( src/Copilot/Interpret/Error.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-3.19.1/noopt/build/Copilot/Interpret/Error.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-3.19.1/noopt/build/Copilot/Interpret/Error.dyn_o )
[2 of 4] Compiling Copilot.Interpret.Eval ( src/Copilot/Interpret/Eval.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-3.19.1/noopt/build/Copilot/Interpret/Eval.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-3.19.1/noopt/build/Copilot/Interpret/Eval.dyn_o )
src/Copilot/Interpret/Eval.hs:142:8: warning: [-Wunused-matches]
Defined but not used: t
|
142 | Drop t i id ->
| ^
src/Copilot/Interpret/Eval.hs:143:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type Maybe [a] not matched: Nothing
|
143 | let Just buff = lookup id strms >>= fromDynamic in
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Copilot/Interpret/Eval.hs:145:9: warning: [-Wunused-matches]
Defined but not used: t1
|
145 | Local t1 _ name e1 e2 ->
| ^^
src/Copilot/Interpret/Eval.hs:149:7: warning: [-Wunused-matches]
Defined but not used: t
|
149 | Var t name -> fromJust $ lookup name locs >>= fromDynamic
| ^
src/Copilot/Interpret/Eval.hs:185:14: 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 _ _
...
|
185 | evalOp1 op = case op of
| ^^^^^^^^^^...
src/Copilot/Interpret/Eval.hs:267:36: warning: [-Wunused-matches]
Defined but not used: t
|
267 | , streamExprType = t } =
| ^
src/Copilot/Interpret/Eval.hs:286:42: warning: [-Wunused-matches]
Defined but not used: t
|
286 | , streamExprType = t } =
| ^
src/Copilot/Interpret/Eval.hs:395:11: warning: [-Wunused-matches]
Defined but not used: t
|
395 | Array t -> ShowWit
| ^
src/Copilot/Interpret/Eval.hs:395:11: warning: [GHC-63397] [-Wname-shadowing]
This binding for t shadows the existing binding
bound at src/Copilot/Interpret/Eval.hs:382:9
|
395 | Array t -> ShowWit
| ^
src/Copilot/Interpret/Eval.hs:396:12: warning: [-Wunused-matches]
Defined but not used: t
|
396 | Struct t -> ShowWit
| ^
src/Copilot/Interpret/Eval.hs:396:12: warning: [GHC-63397] [-Wname-shadowing]
This binding for t shadows the existing binding
bound at src/Copilot/Interpret/Eval.hs:382:9
|
396 | Struct t -> ShowWit
| ^
[3 of 4] Compiling Copilot.Interpret.Render ( src/Copilot/Interpret/Render.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-3.19.1/noopt/build/Copilot/Interpret/Render.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-3.19.1/noopt/build/Copilot/Interpret/Render.dyn_o )
src/Copilot/Interpret/Render.hs:108:1: warning: [GHC-38417] [-Wmissing-signatures]
Top-level binding with no type signature: docLen :: Doc -> Int
|
108 | docLen d = length $ render d
| ^^^^^^
src/Copilot/Interpret/Render.hs:112:8: warning: [GHC-63397] [-Wname-shadowing]
This binding for max shadows the existing binding
imported from Prelude at src/Copilot/Interpret/Render.hs:17:1-28
(and originally defined in ghc-prim-0.10.0:GHC.Classes)
|
112 | pad lx max b ls = ls ++ replicate (max - lx) b
| ^^^
[4 of 4] Compiling Copilot.Interpret ( src/Copilot/Interpret.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-3.19.1/noopt/build/Copilot/Interpret.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-3.19.1/noopt/build/Copilot/Interpret.dyn_o )
Preprocessing test suite 'unit-tests' for copilot-interpreter-3.19.1..
Building test suite 'unit-tests' for copilot-interpreter-3.19.1..
[1 of 3] Compiling Test.Extra ( tests/Test/Extra.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-3.19.1/noopt/build/unit-tests/unit-tests-tmp/Test/Extra.o )
[2 of 3] Compiling Test.Copilot.Interpret.Eval ( tests/Test/Copilot/Interpret/Eval.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-3.19.1/noopt/build/unit-tests/unit-tests-tmp/Test/Copilot/Interpret/Eval.o )
tests/Test/Copilot/Interpret/Eval.hs:14:1: warning: [-Wunused-imports]
The import of Data.List is redundant
except perhaps to import instances from Data.List
To import instances alone, use: import Data.List()
|
14 | import Data.List (lookup)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
tests/Test/Copilot/Interpret/Eval.hs:803:11: warning: [GHC-63397] [-Wname-shadowing]
This binding for t shadows the existing binding
bound at tests/Test/Copilot/Interpret/Eval.hs:790:10
|
803 | Array t -> "Array " ++ showType t
| ^
tests/Test/Copilot/Interpret/Eval.hs:804:12: warning: [-Wunused-matches]
Defined but not used: t
|
804 | Struct t -> "Struct"
| ^
tests/Test/Copilot/Interpret/Eval.hs:804:12: warning: [GHC-63397] [-Wname-shadowing]
This binding for t shadows the existing binding
bound at tests/Test/Copilot/Interpret/Eval.hs:790:10
|
804 | Struct t -> "Struct"
| ^
[3 of 3] Compiling Main ( tests/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-3.19.1/noopt/build/unit-tests/unit-tests-tmp/Main.o )
[4 of 4] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-interpreter-3.19.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-interpreter-3.19.1.test
Writing: copilot-interpreter-3.19.1-inplace/Copilot.Interpret.Eval.hs.html
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-interpreter-3.19.1/noopt/hpc/vanilla/html/unit-tests/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: copilot-interpreter-3.19.1-inplace/Copilot.Interpret.Eval.hs.html
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-interpreter-3.19.1/noopt/hpc/vanilla/html/copilot-interpreter-3.19.1/hpc_index.html