[all reports]
| Package |
copilot-interpreter-3.20 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2024-07-08 04:42:33.697735203 UTC
|
| Compiler |
ghc-9.6.3 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.18.1.0, copilot-core-3.20, pretty-1.1.3.6 |
| Flags |
none
|
Code Coverage
| expressions | 50% (240/477) |
|---|
| boolean | guards | 50% (1/2) |
|---|
| conditions | 40% (2/5) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 64% (65/101) |
|---|
| local declarations | 64% (20/31) |
|---|
| top-level declarations | 48% (13/27) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting copilot-core-3.20
Building copilot-core-3.20
Completed copilot-core-3.20
Starting copilot-interpreter-3.20
Building copilot-interpreter-3.20
Completed copilot-interpreter-3.20
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.20 (lib:copilot-core) (requires build)
- test-framework-quickcheck2-0.3.0.5 (lib:test-framework-quickcheck2) (requires build)
- copilot-prettyprinter-3.20 (lib:copilot-prettyprinter) (requires build)
- copilot-interpreter-3.20 (first run)
Starting test-framework-quickcheck2-0.3.0.5 (all, legacy fallback)
Starting copilot-core-3.20 (all, legacy fallback)
Building copilot-core-3.20 (all, legacy fallback)
Building test-framework-quickcheck2-0.3.0.5 (all, legacy fallback)
Installing test-framework-quickcheck2-0.3.0.5 (all, legacy fallback)
Installing copilot-core-3.20 (all, legacy fallback)
Completed test-framework-quickcheck2-0.3.0.5 (all, legacy fallback)
Completed copilot-core-3.20 (all, legacy fallback)
Starting copilot-prettyprinter-3.20 (all, legacy fallback)
Building copilot-prettyprinter-3.20 (all, legacy fallback)
Installing copilot-prettyprinter-3.20 (all, legacy fallback)
Completed copilot-prettyprinter-3.20 (all, legacy fallback)
Configuring copilot-interpreter-3.20...
Preprocessing library for copilot-interpreter-3.20..
Building library for copilot-interpreter-3.20..
[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.20/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.20/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.20/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.20/noopt/build/Copilot/Interpret/Eval.dyn_o )
src/Copilot/Interpret/Eval.hs:144:8: warning: [-Wunused-matches]
Defined but not used: t
|
144 | Drop t i id ->
| ^
src/Copilot/Interpret/Eval.hs:145: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
|
145 | let Just buff = lookup id strms >>= fromDynamic in
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Copilot/Interpret/Eval.hs:147:9: warning: [-Wunused-matches]
Defined but not used: t1
|
147 | Local t1 _ name e1 e2 ->
| ^^
src/Copilot/Interpret/Eval.hs:151:7: warning: [-Wunused-matches]
Defined but not used: t
|
151 | Var t name -> fromJust $ lookup name locs >>= fromDynamic
| ^
src/Copilot/Interpret/Eval.hs:187: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 _ _
...
|
187 | evalOp1 op = case op of
| ^^^^^^^^^^...
src/Copilot/Interpret/Eval.hs:224:14: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In a case alternative:
Patterns of type Op2 a b c not matched:
UpdateField Bool _ _
UpdateField Int8 _ _
UpdateField Int16 _ _
UpdateField Int32 _ _
...
|
224 | evalOp2 op = case op of
| ^^^^^^^^^^...
src/Copilot/Interpret/Eval.hs:249:30: warning: [-Wunused-matches]
Defined but not used: fieldAccessor
|
249 | UpdateField (Struct _) ty (fieldAccessor :: a -> Field s b) ->
| ^^^^^^^^^^^^^
src/Copilot/Interpret/Eval.hs:275:36: warning: [-Wunused-matches]
Defined but not used: t
|
275 | , streamExprType = t } =
| ^
src/Copilot/Interpret/Eval.hs:294:42: warning: [-Wunused-matches]
Defined but not used: t
|
294 | , streamExprType = t } =
| ^
src/Copilot/Interpret/Eval.hs:403:11: warning: [-Wunused-matches]
Defined but not used: t
|
403 | Array t -> ShowWit
| ^
src/Copilot/Interpret/Eval.hs:403:11: warning: [GHC-63397] [-Wname-shadowing]
This binding for t shadows the existing binding
bound at src/Copilot/Interpret/Eval.hs:390:9
|
403 | Array t -> ShowWit
| ^
src/Copilot/Interpret/Eval.hs:404:12: warning: [-Wunused-matches]
Defined but not used: t
|
404 | Struct t -> ShowWit
| ^
src/Copilot/Interpret/Eval.hs:404:12: warning: [GHC-63397] [-Wname-shadowing]
This binding for t shadows the existing binding
bound at src/Copilot/Interpret/Eval.hs:390:9
|
404 | 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.20/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.20/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.20/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.20/noopt/build/Copilot/Interpret.dyn_o )
Preprocessing test suite 'unit-tests' for copilot-interpreter-3.20..
Building test suite 'unit-tests' for copilot-interpreter-3.20..
[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.20/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.20/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.20/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.20/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.20.test
Writing: copilot-interpreter-3.20-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.20/noopt/hpc/vanilla/html/unit-tests/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: copilot-interpreter-3.20-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.20/noopt/hpc/vanilla/html/copilot-interpreter-3.20/hpc_index.html