Build #1 for copilot-interpreter-3.14

[all reports]

Package copilot-interpreter-3.14
Install InstallOk
Docs Ok
Tests Ok
Time submitted 2023-03-08 08:31:45.076252584 UTC
Compiler ghc-9.2.4
OS linux
Arch x86_64
Dependencies base-4.16.3.0, copilot-core-3.14, pretty-1.1.3.6
Flags none

Code Coverage

expressions49% (232/469)
booleanguards50% (1/2)
conditions 40% (2/5)
qualifiers100% (0/0)
alternatives62% (62/100)
local declarations63% (19/30)
top-level declarations65% (13/20)

Build log

[view raw]

Resolving dependencies...
Starting     copilot-core-3.14
Building     copilot-core-3.14
Completed    copilot-core-3.14
Starting     copilot-interpreter-3.14
Building     copilot-interpreter-3.14
Completed    copilot-interpreter-3.14

Test log

[view raw]

Resolving dependencies...
Build profile: -w ghc-9.2.4 -O0
In order, the following will be built (use -v for more details):
 - copilot-core-3.14 (lib:copilot-core) (requires build)
 - copilot-prettyprinter-3.14 (lib:copilot-prettyprinter) (requires build)
 - copilot-interpreter-3.14 (first run)
Starting     copilot-core-3.14 (all, legacy fallback)
Building     copilot-core-3.14 (all, legacy fallback)
Installing   copilot-core-3.14 (all, legacy fallback)
Completed    copilot-core-3.14 (all, legacy fallback)
Starting     copilot-prettyprinter-3.14 (all, legacy fallback)
Building     copilot-prettyprinter-3.14 (all, legacy fallback)
Installing   copilot-prettyprinter-3.14 (all, legacy fallback)
Completed    copilot-prettyprinter-3.14 (all, legacy fallback)
Configuring copilot-interpreter-3.14...
Preprocessing library for copilot-interpreter-3.14..
Building library for copilot-interpreter-3.14..
[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.2.4/copilot-interpreter-3.14/noopt/build/Copilot/Interpret/Error.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-interpreter-3.14/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.2.4/copilot-interpreter-3.14/noopt/build/Copilot/Interpret/Eval.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-interpreter-3.14/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: [-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: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns of type Op1 a b not matched:
            GetField Bool Bool _
            GetField Bool Int8 _
            GetField Bool Int16 _
            GetField Bool 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: [-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:395:11: warning: [-Wunused-matches]
    Defined but not used: t
    |
395 |     Array t -> ShowWit
    |           ^

src/Copilot/Interpret/Eval.hs:396:12: warning: [-Wname-shadowing]
    This binding for t shadows the existing binding
      bound at src/Copilot/Interpret/Eval.hs:382:9
    |
396 |     Struct t -> ShowWit
    |            ^

src/Copilot/Interpret/Eval.hs:396:12: warning: [-Wunused-matches]
    Defined but not used: t
    |
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.2.4/copilot-interpreter-3.14/noopt/build/Copilot/Interpret/Render.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-interpreter-3.14/noopt/build/Copilot/Interpret/Render.dyn_o )

src/Copilot/Interpret/Render.hs:108:1: warning: [-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: [-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: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.2.4/copilot-interpreter-3.14/noopt/build/Copilot/Interpret.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-interpreter-3.14/noopt/build/Copilot/Interpret.dyn_o )
Preprocessing test suite 'unit-tests' for copilot-interpreter-3.14..
Building test suite 'unit-tests' for copilot-interpreter-3.14..
[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.2.4/copilot-interpreter-3.14/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.2.4/copilot-interpreter-3.14/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: [-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: [-Wname-shadowing]
    This binding for t shadows the existing binding
      bound at tests/Test/Copilot/Interpret/Eval.hs:790:10
    |
804 |     Struct t -> "Struct"
    |            ^

tests/Test/Copilot/Interpret/Eval.hs:804:12: warning: [-Wunused-matches]
    Defined but not used: t
    |
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.2.4/copilot-interpreter-3.14/noopt/build/unit-tests/unit-tests-tmp/Main.o )
Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-interpreter-3.14/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.14.test
Writing: copilot-interpreter-3.14-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.2.4/copilot-interpreter-3.14/noopt/hpc/vanilla/html/unit-tests/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: copilot-interpreter-3.14-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.2.4/copilot-interpreter-3.14/noopt/hpc/vanilla/html/copilot-interpreter-3.14/hpc_index.html