[all reports]
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2025-03-08 03:54:00.451074092 UTC
|
| Compiler |
ghc-9.6.3 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.18.1.0 |
| Flags |
none
|
Code Coverage
| expressions | 49% (165/334) |
|---|
| boolean | guards | 9% (1/11) |
|---|
| conditions | 100% (0/0) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 79% (38/48) |
|---|
| local declarations | 61% (8/13) |
|---|
| top-level declarations | 60% (41/68) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting copilot-core-4.3
Building copilot-core-4.3
Completed copilot-core-4.3
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.3 (first run)
Configuring copilot-core-4.3...
Preprocessing library for copilot-core-4.3..
Building library for copilot-core-4.3..
[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.6.3/copilot-core-4.3/noopt/build/Copilot/Core/Type/Array.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-core-4.3/noopt/build/Copilot/Core/Type/Array.dyn_o )
src/Copilot/Core/Type/Array.hs:56:21: warning: [-Wunused-matches]
Defined but not used: x
|
56 | arrayUpdate (Array (x:xs)) 0 y = Array (y:xs)
| ^
src/Copilot/Core/Type/Array.hs:64:17: warning: [GHC-63397] [-Wname-shadowing]
This binding for x shadows the existing binding
bound at src/Copilot/Core/Type/Array.hs:58:21
|
64 | arrayAppend x (Array xs) = Array (x:xs)
| ^
src/Copilot/Core/Type/Array.hs:64:26: warning: [GHC-63397] [-Wname-shadowing]
This binding for xs shadows the existing binding
bound at src/Copilot/Core/Type/Array.hs:58:23
|
64 | arrayAppend x (Array xs) = Array (x:xs)
| ^^
[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.6.3/copilot-core-4.3/noopt/build/Copilot/Core/Type.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-core-4.3/noopt/build/Copilot/Core/Type.dyn_o )
src/Copilot/Core/Type.hs:142:14: warning: [GHC-39567] [-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.
|
142 | data Type :: * -> * where
| ^
src/Copilot/Core/Type.hs:142:19: warning: [GHC-39567] [-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.
|
142 | data Type :: * -> * where
| ^
src/Copilot/Core/Type.hs:166:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for typeSize:
Patterns of type Type (Array n t) not matched: Struct _
|
166 | typeSize ty@(Array ty'@(Array _)) = typeLength ty * typeSize ty'
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
src/Copilot/Core/Type.hs:289:3: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for simpleType:
Patterns of type Type (Array n t) not matched: Struct _
|
289 | 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.6.3/copilot-core-4.3/noopt/build/Copilot/Core/Operators.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-core-4.3/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.6.3/copilot-core-4.3/noopt/build/Copilot/Core/Expr.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-core-4.3/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.6.3/copilot-core-4.3/noopt/build/Copilot/Core/Spec.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-core-4.3/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.6.3/copilot-core-4.3/noopt/build/Copilot/Core.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-core-4.3/noopt/build/Copilot/Core.dyn_o )
Preprocessing test suite 'unit-tests' for copilot-core-4.3..
Building test suite 'unit-tests' for copilot-core-4.3..
[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.6.3/copilot-core-4.3/noopt/build/unit-tests/unit-tests-tmp/Test/Copilot/Core/Type.o )
tests/Test/Copilot/Core/Type.hs:10:1: warning: [-Wunused-imports]
The import of Data.Maybe is redundant
except perhaps to import instances from Data.Maybe
To import instances alone, use: import Data.Maybe()
|
10 | import Data.Maybe (isJust)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
tests/Test/Copilot/Core/Type.hs:139:39: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a lambda abstraction:
Patterns of type [SimpleType] not matched: []
|
139 | 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.6.3/copilot-core-4.3/noopt/build/unit-tests/unit-tests-tmp/Test/Copilot/Core/Type/Array.o )
tests/Test/Copilot/Core/Type/Array.hs:144:32: warning: [GHC-63397] [-Wname-shadowing]
This binding for length shadows the existing binding
imported from Prelude at tests/Test/Copilot/Core/Type/Array.hs:4:8-35
(and originally defined in Data.Foldable)
|
144 | forAll wrongLength $ \length ->
| ^^^^^^
tests/Test/Copilot/Core/Type/Array.hs:150:13: warning: [GHC-63397] [-Wname-shadowing]
This binding for length shadows the existing binding
imported from Prelude at tests/Test/Copilot/Core/Type/Array.hs:4:8-35
(and originally defined in Data.Foldable)
|
150 | xsInt64 length = vectorOf length arbitrary
| ^^^^^^
tests/Test/Copilot/Core/Type/Array.hs:160:24: warning: [-Wunused-matches]
Defined but not used: v
|
160 | forAll xInt64 $ \v ->
| ^
[3 of 4] Compiling Main ( tests/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-core-4.3/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.6.3/copilot-core-4.3/noopt/build/unit-tests/unit-tests-tmp/Test/Extra.o )
[5 of 5] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-core-4.3/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-4.3.test
Writing: copilot-core-4.3-inplace/Copilot.Core.Type.Array.hs.html
Writing: copilot-core-4.3-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.6.3/copilot-core-4.3/noopt/hpc/vanilla/html/unit-tests/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: copilot-core-4.3-inplace/Copilot.Core.Type.Array.hs.html
Writing: copilot-core-4.3-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.6.3/copilot-core-4.3/noopt/hpc/vanilla/html/copilot-core-4.3/hpc_index.html