[all reports]
Package |
copilot-core-3.14 |
Install |
InstallOk |
Docs |
Ok |
Tests |
Ok |
Time submitted |
2023-03-08 08:32:39.469086244 UTC
|
Compiler |
ghc-9.2.4 |
OS |
linux |
Arch |
x86_64 |
Dependencies |
base-4.16.3.0, pretty-1.1.3.6 |
Flags |
none
|
Code Coverage
expressions | 19% (35/180) |
boolean | guards | 0% (0/4) |
conditions | 100% (0/0) |
qualifiers | 100% (0/0) |
alternatives | 29% (14/47) |
local declarations | 33% (2/6) |
top-level declarations | 31% (14/44) |
Build log
[view raw]
Resolving dependencies...
Starting copilot-core-3.14
Building copilot-core-3.14
Completed copilot-core-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 (first run)
Configuring copilot-core-3.14...
Preprocessing library for copilot-core-3.14..
Building library for copilot-core-3.14..
[ 1 of 10] Compiling Copilot.Core.Error ( src/Copilot/Core/Error.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.14/noopt/build/Copilot/Core/Error.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.14/noopt/build/Copilot/Core/Error.dyn_o )
[ 2 of 10] 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.14/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.14/noopt/build/Copilot/Core/Type/Array.dyn_o )
[ 3 of 10] Compiling Copilot.Core.Type.Equality ( src/Copilot/Core/Type/Equality.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.14/noopt/build/Copilot/Core/Type/Equality.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.14/noopt/build/Copilot/Core/Type/Equality.dyn_o )
src/Copilot/Core/Type/Equality.hs:20:15: 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.
|
20 | data Equal :: * -> * -> * where
| ^
src/Copilot/Core/Type/Equality.hs:20:20: 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.
|
20 | data Equal :: * -> * -> * where
| ^
src/Copilot/Core/Type/Equality.hs:20:25: 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.
|
20 | data Equal :: * -> * -> * where
| ^
[ 4 of 10] 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.14/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.14/noopt/build/Copilot/Core/Type.dyn_o )
src/Copilot/Core/Type.hs:100: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.
|
100 | data Type :: * -> * where
| ^
src/Copilot/Core/Type.hs:100: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.
|
100 | data Type :: * -> * where
| ^
src/Copilot/Core/Type.hs:123: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 _
|
123 | tysize ty@(Array ty'@(Array _)) = tylength ty * tysize ty'
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
src/Copilot/Core/Type.hs:260: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 _
|
260 | simpleType (Array t) = SArray t
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 5 of 10] 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.14/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.14/noopt/build/Copilot/Core/Operators.dyn_o )
[ 6 of 10] 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.14/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.14/noopt/build/Copilot/Core/Expr.dyn_o )
[ 7 of 10] 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.14/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.14/noopt/build/Copilot/Core/Spec.dyn_o )
[ 8 of 10] 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.14/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.14/noopt/build/Copilot/Core.dyn_o )
[ 9 of 10] Compiling Copilot.Core.Type.Show ( src/Copilot/Core/Type/Show.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.14/noopt/build/Copilot/Core/Type/Show.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.14/noopt/build/Copilot/Core/Type/Show.dyn_o )
src/Copilot/Core/Type/Show.hs:53:11: warning: [-Wname-shadowing]
This binding for t shadows the existing binding
bound at src/Copilot/Core/Type/Show.hs:40:10
|
53 | Array t -> "Array " ++ showType t
| ^
src/Copilot/Core/Type/Show.hs:54:12: warning: [-Wname-shadowing]
This binding for t shadows the existing binding
bound at src/Copilot/Core/Type/Show.hs:40:10
|
54 | Struct t -> "Struct"
| ^
src/Copilot/Core/Type/Show.hs:54:12: warning: [-Wunused-matches]
Defined but not used: t
|
54 | Struct t -> "Struct"
| ^
src/Copilot/Core/Type/Show.hs:76:11: warning: [-Wname-shadowing]
This binding for t shadows the existing binding
bound at src/Copilot/Core/Type/Show.hs:63:9
|
76 | Array t -> ShowWit
| ^
src/Copilot/Core/Type/Show.hs:76:11: warning: [-Wunused-matches]
Defined but not used: t
|
76 | Array t -> ShowWit
| ^
src/Copilot/Core/Type/Show.hs:77:12: warning: [-Wname-shadowing]
This binding for t shadows the existing binding
bound at src/Copilot/Core/Type/Show.hs:63:9
|
77 | Struct t -> ShowWit
| ^
src/Copilot/Core/Type/Show.hs:77:12: warning: [-Wunused-matches]
Defined but not used: t
|
77 | Struct t -> ShowWit
| ^
[10 of 10] Compiling Copilot.Core.PrettyPrint ( src/Copilot/Core/PrettyPrint.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.14/noopt/build/Copilot/Core/PrettyPrint.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/copilot-core-3.14/noopt/build/Copilot/Core/PrettyPrint.dyn_o )
Preprocessing test suite 'unit-tests' for copilot-core-3.14..
Building test suite 'unit-tests' for copilot-core-3.14..
[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.14/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.14/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.14/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.14/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.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-core-3.14.test
Writing: copilot-core-3.14-inplace/Copilot.Core.Type.Equality.hs.html
Writing: copilot-core-3.14-inplace/Copilot.Core.Type.Array.hs.html
Writing: copilot-core-3.14-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.14/noopt/hpc/vanilla/html/unit-tests/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: copilot-core-3.14-inplace/Copilot.Core.Type.Equality.hs.html
Writing: copilot-core-3.14-inplace/Copilot.Core.Type.Array.hs.html
Writing: copilot-core-3.14-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.14/noopt/hpc/vanilla/html/copilot-core-3.14/hpc_index.html