Build #1 for copilot-core-4.4
| Package | copilot-core-4.4 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2025-05-08 14:40:58.108360553 UTC |
|---|---|
| Compiler | ghc-9.8.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.19.2.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring copilot-core-4.4...
Preprocessing library for copilot-core-4.4..
Building library for copilot-core-4.4..
[1 of 6] Compiling Copilot.Core.Type.Array ( src/Copilot/Core/Type/Array.hs, dist/build/Copilot/Core/Type/Array.o, dist/build/Copilot/Core/Type/Array.dyn_o )
src/Copilot/Core/Type/Array.hs:56:21: warning: [GHC-40910] [-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, dist/build/Copilot/Core/Type.o, dist/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, dist/build/Copilot/Core/Operators.o, dist/build/Copilot/Core/Operators.dyn_o )
[4 of 6] Compiling Copilot.Core.Expr ( src/Copilot/Core/Expr.hs, dist/build/Copilot/Core/Expr.o, dist/build/Copilot/Core/Expr.dyn_o )
[5 of 6] Compiling Copilot.Core.Spec ( src/Copilot/Core/Spec.hs, dist/build/Copilot/Core/Spec.o, dist/build/Copilot/Core/Spec.dyn_o )
[6 of 6] Compiling Copilot.Core ( src/Copilot/Core.hs, dist/build/Copilot/Core.o, dist/build/Copilot/Core.dyn_o )
Preprocessing library for copilot-core-4.4..
Running Haddock on library for copilot-core-4.4..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 6] Compiling Copilot.Core.Type.Array ( src/Copilot/Core/Type/Array.hs, nothing )
src/Copilot/Core/Type/Array.hs:56:21: warning: [GHC-40910] [-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, nothing )
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
| ^
[3 of 6] Compiling Copilot.Core.Operators ( src/Copilot/Core/Operators.hs, nothing )
[4 of 6] Compiling Copilot.Core.Expr ( src/Copilot/Core/Expr.hs, nothing )
[5 of 6] Compiling Copilot.Core.Spec ( src/Copilot/Core/Spec.hs, nothing )
[6 of 6] Compiling Copilot.Core ( src/Copilot/Core.hs, nothing )
Haddock coverage:
100% ( 5 / 5) in 'Copilot.Core.Type.Array'
Warning: 'Bool' is ambiguous. It is defined
* at src/Copilot/Core/Type.hs:143:3
* in GHC.Types
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Copilot/Core/Type.hs:143:3
Warning: 'Struct' is ambiguous. It is defined
* at src/Copilot/Core/Type.hs:157:3
* at src/Copilot/Core/Type.hs:66:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Copilot/Core/Type.hs:66:1
Warning: 'Field' is ambiguous. It is defined
* at src/Copilot/Core/Type.hs:115:30
* at src/Copilot/Core/Type.hs:115:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Copilot/Core/Type.hs:115:1
Warning: 'Value' is ambiguous. It is defined
* at src/Copilot/Core/Type.hs:111:3
* at src/Copilot/Core/Type.hs:110:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Copilot/Core/Type.hs:110:1
Warning: 'K1' is ambiguous. It is defined
* in GHC.Generics
* in GHC.Generics
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.Generics
Warning: ':*:' is ambiguous. It is defined
* in GHC.Generics
* in GHC.Generics
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.Generics
Warning: 'M1' is ambiguous. It is defined
* in GHC.Generics
* in GHC.Generics
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.Generics
Warning: 'U1' is ambiguous. It is defined
* in GHC.Generics
* in GHC.Generics
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.Generics
100% ( 19 / 19) in 'Copilot.Core.Type'
100% ( 4 / 4) in 'Copilot.Core.Operators'
100% ( 6 / 6) in 'Copilot.Core.Expr'
Warning: 'Spec' is ambiguous. It is defined
* at src/Copilot/Core/Spec.hs:89:13
* at src/Copilot/Core/Spec.hs:89:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Copilot/Core/Spec.hs:89:1
Warning: 'Trigger' is ambiguous. It is defined
* at src/Copilot/Core/Spec.hs:57:16
* at src/Copilot/Core/Spec.hs:57:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Copilot/Core/Spec.hs:57:1
100% ( 8 / 8) in 'Copilot.Core.Spec'
100% ( 8 / 8) in 'Copilot.Core'
Warning: Copilot.Core.Type: could not find link destinations for:
- Copilot.Core.Type.GTypedStruct
- Copilot.Core.Type.GStruct
- Copilot.Core.Type.GDatatype
Documentation created: dist/doc/html/copilot-core/,
dist/doc/html/copilot-core/copilot-core.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/copilot-core-4.4-JYKtLdGd3klAWMOmVNSC3X
Warning: Unable to strip executable or library
'libHScopilot-core-4.4-JYKtLdGd3klAWMOmVNSC3X' (missing the 'strip' program)
Warning: Unable to strip executable or library
'libHScopilot-core-4.4-JYKtLdGd3klAWMOmVNSC3X-ghc9.8.4' (missing the 'strip'
program)
Completed copilot-core-4.4
Test log
[view raw]
Resolving dependencies... Build profile: -w ghc-9.8.4 -O0 In order, the following will be built (use -v for more details): - call-stack-0.4.0 (lib:call-stack) (requires build) - colour-2.3.6 (lib:colour) (requires build) - extensible-exceptions-0.1.1.4 (lib:extensible-exceptions) (requires build) - hostname-1.0 (lib:hostname) (requires download & build) - old-locale-1.0.0.7 (lib:old-locale) (requires build) - prettyprinter-1.7.1 (lib:prettyprinter) (requires build) - regex-base-0.94.0.3 (lib:regex-base) (requires build) - splitmix-0.1.1 (lib:splitmix) (requires build) - xml-1.3.14 (lib:xml) (requires build) - HUnit-1.6.2.0 (lib:HUnit) (requires build) - ansi-terminal-types-1.1 (lib:ansi-terminal-types) (requires build) - regex-posix-0.96.0.2 (lib:regex-posix) (requires download & build) - random-1.3.1 (lib:random) (requires build) - ansi-terminal-1.1.2 (lib:ansi-terminal) (requires build) - QuickCheck-2.15.0.1 (lib:QuickCheck) (requires build) - prettyprinter-ansi-terminal-1.1.3 (lib:prettyprinter-ansi-terminal) (requires build) - prettyprinter-compat-ansi-wl-pprint-1.0.2 (lib:prettyprinter-compat-ansi-wl-pprint) (requires download & build) - ansi-wl-pprint-1.0.2 (lib:ansi-wl-pprint) (requires download & build) - test-framework-0.8.2.2 (lib:test-framework) (requires download & build) - test-framework-quickcheck2-0.3.0.6 (lib:test-framework-quickcheck2) (requires download & build) - test-framework-hunit-0.3.0.2 (lib:test-framework-hunit) (requires download & build) - copilot-core-4.4 (first run) /var/empty/.local: createDirectory: permission denied (Operation not permitted)