[all reports]
| Package |
copilot-interpreter-4.0 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2024-09-08 07:03:57.303535889 UTC
|
| Compiler |
ghc-9.6.3 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.18.1.0, copilot-core-4.0, pretty-1.1.3.6 |
| Flags |
none
|
Code Coverage
| expressions | 49% (240/483) |
|---|
| boolean | guards | 50% (1/2) |
|---|
| conditions | 40% (2/5) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 64% (66/103) |
|---|
| local declarations | 64% (20/31) |
|---|
| top-level declarations | 48% (13/27) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting copilot-core-4.0
Building copilot-core-4.0
Completed copilot-core-4.0
Starting copilot-interpreter-4.0
Building copilot-interpreter-4.0
Completed copilot-interpreter-4.0
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-4.0 (lib:copilot-core) (requires build)
- copilot-prettyprinter-4.0 (lib:copilot-prettyprinter) (requires build)
- copilot-interpreter-4.0 (first run)
Starting copilot-core-4.0 (all, legacy fallback)
Building copilot-core-4.0 (all, legacy fallback)
Installing copilot-core-4.0 (all, legacy fallback)
Completed copilot-core-4.0 (all, legacy fallback)
Starting copilot-prettyprinter-4.0 (all, legacy fallback)
Building copilot-prettyprinter-4.0 (all, legacy fallback)
Installing copilot-prettyprinter-4.0 (all, legacy fallback)
Completed copilot-prettyprinter-4.0 (all, legacy fallback)
Configuring copilot-interpreter-4.0...
Preprocessing library for copilot-interpreter-4.0..
Building library for copilot-interpreter-4.0..
[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-4.0/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-4.0/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-4.0/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-4.0/noopt/build/Copilot/Interpret/Eval.dyn_o )
src/Copilot/Interpret/Eval.hs:22:1: warning: [GHC-94817] [-Wtabs]
Tab character found here, and in three further locations.
Suggested fix: Please use spaces instead.
|
22 | arrayElems, arrayUpdate, specObservers,
| ^^^^^^^^
src/Copilot/Interpret/Eval.hs:35:1: warning: [-Wunused-imports]
The import of GHC.TypeLits is redundant
except perhaps to import instances from GHC.TypeLits
To import instances alone, use: import GHC.TypeLits()
|
35 | import GHC.TypeLits (KnownNat, Nat, natVal)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Copilot/Interpret/Eval.hs:145:8: warning: [-Wunused-matches]
Defined but not used: t
|
145 | Drop t i id ->
| ^
src/Copilot/Interpret/Eval.hs:146: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
|
146 | let Just buff = lookup id strms >>= fromDynamic in
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Copilot/Interpret/Eval.hs:148:9: warning: [-Wunused-matches]
Defined but not used: t1
|
148 | Local t1 _ name e1 e2 ->
| ^^
src/Copilot/Interpret/Eval.hs:152:7: warning: [-Wunused-matches]
Defined but not used: t
|
152 | Var t name -> fromJust $ lookup name locs >>= fromDynamic
| ^
src/Copilot/Interpret/Eval.hs:188: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 _ _
...
|
188 | evalOp1 op = case op of
| ^^^^^^^^^^...
src/Copilot/Interpret/Eval.hs:225: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 _ _
...
|
225 | evalOp2 op = case op of
| ^^^^^^^^^^...
src/Copilot/Interpret/Eval.hs:250:30: warning: [-Wunused-matches]
Defined but not used: fieldAccessor
|
250 | UpdateField (Struct _) ty (fieldAccessor :: a -> Field s b) ->
| ^^^^^^^^^^^^^
src/Copilot/Interpret/Eval.hs:270:22: warning: [-Wunused-matches]
Defined but not used: ty
|
270 | evalOp3 (UpdateArray ty) = \xs n x -> arrayUpdate xs (fromIntegral n) x
| ^^
src/Copilot/Interpret/Eval.hs:277:36: warning: [-Wunused-matches]
Defined but not used: t
|
277 | , streamExprType = t } =
| ^
src/Copilot/Interpret/Eval.hs:296:42: warning: [-Wunused-matches]
Defined but not used: t
|
296 | , streamExprType = t } =
| ^
src/Copilot/Interpret/Eval.hs:405:11: warning: [-Wunused-matches]
Defined but not used: t
|
405 | Array t -> ShowWit
| ^
src/Copilot/Interpret/Eval.hs:405:11: warning: [GHC-63397] [-Wname-shadowing]
This binding for t shadows the existing binding
bound at src/Copilot/Interpret/Eval.hs:392:9
|
405 | Array t -> ShowWit
| ^
src/Copilot/Interpret/Eval.hs:406:12: warning: [-Wunused-matches]
Defined but not used: t
|
406 | Struct t -> ShowWit
| ^
src/Copilot/Interpret/Eval.hs:406:12: warning: [GHC-63397] [-Wname-shadowing]
This binding for t shadows the existing binding
bound at src/Copilot/Interpret/Eval.hs:392:9
|
406 | 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-4.0/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-4.0/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-4.0/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-4.0/noopt/build/Copilot/Interpret.dyn_o )
Preprocessing test suite 'unit-tests' for copilot-interpreter-4.0..
Building test suite 'unit-tests' for copilot-interpreter-4.0..
[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-4.0/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-4.0/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-4.0/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-4.0/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-4.0.test
Writing: copilot-interpreter-4.0-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-4.0/noopt/hpc/vanilla/html/unit-tests/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: copilot-interpreter-4.0-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-4.0/noopt/hpc/vanilla/html/copilot-interpreter-4.0/hpc_index.html