Build #1 for copilot-core-3.16.1

[all reports]

Package copilot-core-3.16.1
Install InstallOk
Docs Ok
Tests Ok
Time submitted 2023-09-08 09:03:18.229637436 UTC
Compiler ghc-9.2.4
OS linux
Arch x86_64
Dependencies base-4.16.3.0
Flags none

Code Coverage

expressions23% (35/152)
booleanguards0% (0/4)
conditions 100% (0/0)
qualifiers100% (0/0)
alternatives40% (14/35)
local declarations33% (2/6)
top-level declarations36% (14/38)

Build log

[view raw]

Resolving dependencies...
Starting     copilot-core-3.16.1
Building     copilot-core-3.16.1
Completed    copilot-core-3.16.1

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.16.1 (first run)
Configuring copilot-core-3.16.1...
Preprocessing library for copilot-core-3.16.1..
Building library for copilot-core-3.16.1..
[1 of 6] Compiling Copilot.Core.Type.Array ( src/Copilot/Core/Type/Array.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.16.1/noopt/build/Copilot/Core/Type/Array.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.16.1/noopt/build/Copilot/Core/Type/Array.dyn_o )
[2 of 6] Compiling Copilot.Core.Type ( src/Copilot/Core/Type.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.16.1/noopt/build/Copilot/Core/Type.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.16.1/noopt/build/Copilot/Core/Type.dyn_o )

src/Copilot/Core/Type.hs:94:14: warning: [-Wstar-is-type]
    Using * (or its Unicode variant) to mean Data.Kind.Type
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: use Type from Data.Kind instead.
   |
94 | data Type :: * -> * where
   |              ^

src/Copilot/Core/Type.hs:94:19: warning: [-Wstar-is-type]
    Using * (or its Unicode variant) to mean Data.Kind.Type
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: use Type from Data.Kind instead.
   |
94 | data Type :: * -> * where
   |                   ^

src/Copilot/Core/Type.hs:117:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for tysize:
        Patterns of type Type (Array n t) not matched: Struct _
    |
117 | tysize ty@(Array ty'@(Array _)) = tylength ty * tysize ty'
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Copilot/Core/Type.hs:240:3: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for simpleType:
        Patterns of type Type (Array n t) not matched: Struct _
    |
240 |   simpleType (Array t) = SArray t
    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[3 of 6] Compiling Copilot.Core.Operators ( src/Copilot/Core/Operators.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.16.1/noopt/build/Copilot/Core/Operators.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.16.1/noopt/build/Copilot/Core/Operators.dyn_o )
[4 of 6] Compiling Copilot.Core.Expr ( src/Copilot/Core/Expr.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.16.1/noopt/build/Copilot/Core/Expr.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.16.1/noopt/build/Copilot/Core/Expr.dyn_o )
[5 of 6] Compiling Copilot.Core.Spec ( src/Copilot/Core/Spec.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.16.1/noopt/build/Copilot/Core/Spec.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.16.1/noopt/build/Copilot/Core/Spec.dyn_o )
[6 of 6] Compiling Copilot.Core     ( src/Copilot/Core.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.16.1/noopt/build/Copilot/Core.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.16.1/noopt/build/Copilot/Core.dyn_o )
Preprocessing test suite 'unit-tests' for copilot-core-3.16.1..
Building test suite 'unit-tests' for copilot-core-3.16.1..
[1 of 4] Compiling Test.Copilot.Core.Type ( tests/Test/Copilot/Core/Type.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.16.1/noopt/build/unit-tests/unit-tests-tmp/Test/Copilot/Core/Type.o )

tests/Test/Copilot/Core/Type.hs:82:39: warning: [-Wincomplete-uni-patterns]
    Pattern match(es) are non-exhaustive
    In a lambda abstraction:
        Patterns of type [SimpleType] not matched: []
   |
82 |   forAllBlind (shuffle simpleTypes) $ \(t:ts) ->
   |                                       ^^^^^^^^^^...
[2 of 4] Compiling Test.Copilot.Core.Type.Array ( tests/Test/Copilot/Core/Type/Array.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.16.1/noopt/build/unit-tests/unit-tests-tmp/Test/Copilot/Core/Type/Array.o )
[3 of 4] Compiling Main             ( tests/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.16.1/noopt/build/unit-tests/unit-tests-tmp/Main.o )
[4 of 4] 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-core-3.16.1/noopt/build/unit-tests/unit-tests-tmp/Test/Extra.o )
Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.16.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-core-3.16.1.test
Writing: copilot-core-3.16.1-inplace/Copilot.Core.Type.Array.hs.html
Writing: copilot-core-3.16.1-inplace/Copilot.Core.Type.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-core-3.16.1/noopt/hpc/vanilla/html/unit-tests/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: copilot-core-3.16.1-inplace/Copilot.Core.Type.Array.hs.html
Writing: copilot-core-3.16.1-inplace/Copilot.Core.Type.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-core-3.16.1/noopt/hpc/vanilla/html/copilot-core-3.16.1/hpc_index.html