Build #1 for copilot-interpreter-4.4
| Package | copilot-interpreter-4.4 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2025-05-08 14:39:44.41338186 UTC |
|---|---|
| Compiler | ghc-9.8.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.19.2.0, copilot-core-4.4, pretty-1.1.3.6 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Downloading copilot-core-4.4
Downloaded copilot-core-4.4
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
Downloading copilot-interpreter-4.4
Downloaded copilot-interpreter-4.4
Configuring copilot-interpreter-4.4...
Preprocessing library for copilot-interpreter-4.4..
Building library for copilot-interpreter-4.4..
[1 of 4] Compiling Copilot.Interpret.Error ( src/Copilot/Interpret/Error.hs, dist/build/Copilot/Interpret/Error.o, dist/build/Copilot/Interpret/Error.dyn_o )
[2 of 4] Compiling Copilot.Interpret.Eval ( src/Copilot/Interpret/Eval.hs, dist/build/Copilot/Interpret/Eval.o, dist/build/Copilot/Interpret/Eval.dyn_o )
src/Copilot/Interpret/Eval.hs:22:1: warning: [GHC-94817] [-Wtabs]
Tab character found here, and in three further locations.
Suggested fix: Please use spaces instead.
|
22 | arrayElems, arrayUpdate, specObservers,
| ^^^^^^^^
src/Copilot/Interpret/Eval.hs:35:1: warning: [GHC-66111] [-Wunused-imports]
The import of GHC.TypeLits is redundant
except perhaps to import instances from GHC.TypeLits
To import instances alone, use: import GHC.TypeLits()
|
35 | import GHC.TypeLits (KnownNat, Nat, natVal)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Copilot/Interpret/Eval.hs:145:8: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: t
|
145 | Drop t i id ->
| ^
src/Copilot/Interpret/Eval.hs:146:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type Maybe [a] not matched: Nothing
|
146 | let Just buff = lookup id strms >>= fromDynamic in
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Copilot/Interpret/Eval.hs:148:9: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: t1
|
148 | Local t1 _ name e1 e2 ->
| ^^
src/Copilot/Interpret/Eval.hs:152:7: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: t
|
152 | Var t name -> fromJust $ lookup name locs >>= fromDynamic
| ^
src/Copilot/Interpret/Eval.hs:188:14: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In a case alternative:
Patterns of type Op1 a b not matched:
GetField Bool _ _
GetField Int8 _ _
GetField Int16 _ _
GetField Int32 _ _
...
|
188 | evalOp1 op = case op of
| ^^^^^^^^^^...
src/Copilot/Interpret/Eval.hs:225:14: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In a case alternative:
Patterns of type Op2 a b c not matched:
UpdateField Bool _ _
UpdateField Int8 _ _
UpdateField Int16 _ _
UpdateField Int32 _ _
...
|
225 | evalOp2 op = case op of
| ^^^^^^^^^^...
src/Copilot/Interpret/Eval.hs:250:30: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: fieldAccessor
|
250 | UpdateField (Struct _) ty (fieldAccessor :: a -> Field s b) ->
| ^^^^^^^^^^^^^
src/Copilot/Interpret/Eval.hs:270:22: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: ty
|
270 | evalOp3 (UpdateArray ty) = \xs n x -> arrayUpdate xs (fromIntegral n) x
| ^^
src/Copilot/Interpret/Eval.hs:277:36: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: t
|
277 | , streamExprType = t } =
| ^
src/Copilot/Interpret/Eval.hs:296:42: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: t
|
296 | , streamExprType = t } =
| ^
src/Copilot/Interpret/Eval.hs:405:11: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: t
|
405 | Array t -> ShowWit
| ^
src/Copilot/Interpret/Eval.hs:405:11: warning: [GHC-63397] [-Wname-shadowing]
This binding for t shadows the existing binding
bound at src/Copilot/Interpret/Eval.hs:392:9
|
405 | Array t -> ShowWit
| ^
src/Copilot/Interpret/Eval.hs:406:12: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: t
|
406 | Struct t -> ShowWit
| ^
src/Copilot/Interpret/Eval.hs:406:12: warning: [GHC-63397] [-Wname-shadowing]
This binding for t shadows the existing binding
bound at src/Copilot/Interpret/Eval.hs:392:9
|
406 | Struct t -> ShowWit
| ^
[3 of 4] Compiling Copilot.Interpret.Render ( src/Copilot/Interpret/Render.hs, dist/build/Copilot/Interpret/Render.o, dist/build/Copilot/Interpret/Render.dyn_o )
src/Copilot/Interpret/Render.hs:75:17: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
75 | . map (fmap head)
| ^^^^
src/Copilot/Interpret/Render.hs:86:24: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
86 | if any null (fmap (tail.snd) trigs)
| ^^^^
src/Copilot/Interpret/Render.hs:90:41: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
90 | { interpTriggers = map (fmap tail) trigs
| ^^^^
src/Copilot/Interpret/Render.hs:108:1: warning: [GHC-38417] [-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: [GHC-63397] [-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-0.11.0:GHC.Classes)
|
112 | pad lx max b ls = ls ++ replicate (max - lx) b
| ^^^
[4 of 4] Compiling Copilot.Interpret ( src/Copilot/Interpret.hs, dist/build/Copilot/Interpret.o, dist/build/Copilot/Interpret.dyn_o )
Preprocessing library for copilot-interpreter-4.4..
Running Haddock on library for copilot-interpreter-4.4..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 4] Compiling Copilot.Interpret.Error ( src/Copilot/Interpret/Error.hs, nothing )
[2 of 4] Compiling Copilot.Interpret.Eval ( src/Copilot/Interpret/Eval.hs, nothing )
src/Copilot/Interpret/Eval.hs:22:1: warning: [GHC-94817] [-Wtabs]
Tab character found here, and in three further locations.
Suggested fix: Please use spaces instead.
|
22 | arrayElems, arrayUpdate, specObservers,
| ^^^^^^^^
src/Copilot/Interpret/Eval.hs:35:1: warning: [GHC-66111] [-Wunused-imports]
The import of GHC.TypeLits is redundant
except perhaps to import instances from GHC.TypeLits
To import instances alone, use: import GHC.TypeLits()
|
35 | import GHC.TypeLits (KnownNat, Nat, natVal)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Copilot/Interpret/Eval.hs:145:8: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: t
|
145 | Drop t i id ->
| ^
src/Copilot/Interpret/Eval.hs:148:9: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: t1
|
148 | Local t1 _ name e1 e2 ->
| ^^
src/Copilot/Interpret/Eval.hs:152:7: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: t
|
152 | Var t name -> fromJust $ lookup name locs >>= fromDynamic
| ^
src/Copilot/Interpret/Eval.hs:250:30: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: fieldAccessor
|
250 | UpdateField (Struct _) ty (fieldAccessor :: a -> Field s b) ->
| ^^^^^^^^^^^^^
src/Copilot/Interpret/Eval.hs:270:22: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: ty
|
270 | evalOp3 (UpdateArray ty) = \xs n x -> arrayUpdate xs (fromIntegral n) x
| ^^
src/Copilot/Interpret/Eval.hs:277:36: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: t
|
277 | , streamExprType = t } =
| ^
src/Copilot/Interpret/Eval.hs:296:42: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: t
|
296 | , streamExprType = t } =
| ^
src/Copilot/Interpret/Eval.hs:405:11: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: t
|
405 | Array t -> ShowWit
| ^
src/Copilot/Interpret/Eval.hs:405:11: warning: [GHC-63397] [-Wname-shadowing]
This binding for t shadows the existing binding
bound at src/Copilot/Interpret/Eval.hs:392:9
|
405 | Array t -> ShowWit
| ^
src/Copilot/Interpret/Eval.hs:406:12: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: t
|
406 | Struct t -> ShowWit
| ^
src/Copilot/Interpret/Eval.hs:406:12: warning: [GHC-63397] [-Wname-shadowing]
This binding for t shadows the existing binding
bound at src/Copilot/Interpret/Eval.hs:392:9
|
406 | Struct t -> ShowWit
| ^
[3 of 4] Compiling Copilot.Interpret.Render ( src/Copilot/Interpret/Render.hs, nothing )
src/Copilot/Interpret/Render.hs:75:17: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
75 | . map (fmap head)
| ^^^^
src/Copilot/Interpret/Render.hs:86:24: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
86 | if any null (fmap (tail.snd) trigs)
| ^^^^
src/Copilot/Interpret/Render.hs:90:41: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
90 | { interpTriggers = map (fmap tail) trigs
| ^^^^
src/Copilot/Interpret/Render.hs:108:1: warning: [GHC-38417] [-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: [GHC-63397] [-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-0.11.0:GHC.Classes)
|
112 | pad lx max b ls = ls ++ replicate (max - lx) b
| ^^^
[4 of 4] Compiling Copilot.Interpret ( src/Copilot/Interpret.hs, nothing )
Haddock coverage:
100% ( 6 / 6) in 'Copilot.Interpret.Eval'
100% ( 3 / 3) in 'Copilot.Interpret'
Documentation created: dist/doc/html/copilot-interpreter/,
dist/doc/html/copilot-interpreter/copilot-interpreter.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/copilot-interpreter-4.4-6vlERRXAdaT1cGcVNW6LAR
Warning: Unable to strip executable or library
'libHScopilot-interpreter-4.4-6vlERRXAdaT1cGcVNW6LAR' (missing the 'strip'
program)
Warning: Unable to strip executable or library
'libHScopilot-interpreter-4.4-6vlERRXAdaT1cGcVNW6LAR-ghc9.8.4' (missing the
'strip' program)
Completed copilot-interpreter-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): - colour-2.3.6 (lib:colour) (requires build) - copilot-core-4.4 (lib:copilot-core) (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) - ansi-terminal-types-1.1 (lib:ansi-terminal-types) (requires build) - copilot-prettyprinter-4.4 (lib:copilot-prettyprinter) (requires download & 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) - copilot-interpreter-4.4 (first run) /var/empty/.local: createDirectory: permission denied (Operation not permitted)