[all reports]
| Package |
copilot-interpreter-4.6.1 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2026-01-08 23:33:47.122736323 UTC
|
| Compiler |
ghc-9.8.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.19.2.0, copilot-core-4.6.1, pretty-1.1.3.6 |
| Flags |
none
|
Code Coverage
| expressions | 48% (233/483) |
|---|
| boolean | guards | 50% (1/2) |
|---|
| conditions | 40% (2/5) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 62% (64/103) |
|---|
| local declarations | 61% (19/31) |
|---|
| top-level declarations | 48% (13/27) |
|---|
Build log
[view raw]
Resolving dependencies...
Configuring copilot-core-4.6.1...
Preprocessing library for copilot-core-4.6.1..
Building library for copilot-core-4.6.1..
[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.6.1..
Running Haddock on library for copilot-core-4.6.1..
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.6.1-5JrdTURfhoLL9lqrfHizXA
Completed copilot-core-4.6.1
Configuring copilot-interpreter-4.6.1...
Preprocessing library for copilot-interpreter-4.6.1..
Building library for copilot-interpreter-4.6.1..
[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.6.1..
Running Haddock on library for copilot-interpreter-4.6.1..
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.6.1-w32NOeL7qIJiJMmPib0ok
Completed copilot-interpreter-4.6.1
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):
- copilot-core-4.6.1 (lib:copilot-core) (requires build)
- hostname-1.0 (lib:hostname) (requires build)
- prettyprinter-1.7.1 (lib:prettyprinter) (requires build)
- regex-base-0.94.0.3 (lib:regex-base) (requires build)
- xml-1.3.14 (lib:xml) (requires build)
- copilot-prettyprinter-4.6.1 (lib:copilot-prettyprinter) (requires build)
- prettyprinter-ansi-terminal-1.1.3 (lib:prettyprinter-ansi-terminal) (requires build)
- regex-posix-0.96.0.2 (lib:regex-posix) (requires build)
- prettyprinter-compat-ansi-wl-pprint-1.0.2 (lib:prettyprinter-compat-ansi-wl-pprint) (requires build)
- ansi-wl-pprint-1.0.2 (lib:ansi-wl-pprint) (requires build)
- test-framework-0.8.2.3 (lib:test-framework) (requires build)
- test-framework-quickcheck2-0.3.0.7 (lib:test-framework-quickcheck2) (requires build)
- copilot-interpreter-4.6.1 (first run)
Configuring copilot-core-4.6.1...
Preprocessing library for copilot-core-4.6.1..
Building library for copilot-core-4.6.1..
[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 )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1282050/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/copilot-core-4.6.1-a6cbffc4cecd71d3cdd6851d7282331bfd51d0ba8a035954eaa2038538bd0c70/lib
Warning: hostname.cabal:15:38: version operators used. To use version
operators the package needs to specify at least 'cabal-version: >= 1.8'.
Configuring hostname-1.0...
Preprocessing library for hostname-1.0..
Building library for hostname-1.0..
[1 of 1] Compiling Network.HostName ( Network/HostName.hs, dist/build/Network/HostName.o, dist/build/Network/HostName.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1282050/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hostname-1.0-c33db40bad88d37e00001c1838224801ca7ff416388d43206e88bc62f79f3c3d/lib
Configuring prettyprinter-1.7.1...
Preprocessing library for prettyprinter-1.7.1..
Building library for prettyprinter-1.7.1..
[ 1 of 28] Compiling Prettyprinter.Render.Util.Panic ( src/Prettyprinter/Render/Util/Panic.hs, dist/build/Prettyprinter/Render/Util/Panic.o, dist/build/Prettyprinter/Render/Util/Panic.dyn_o )
[ 2 of 28] Compiling Prettyprinter.Internal ( src/Prettyprinter/Internal.hs, dist/build/Prettyprinter/Internal.o, dist/build/Prettyprinter/Internal.dyn_o )
[ 3 of 28] Compiling Prettyprinter.Render.String ( src/Prettyprinter/Render/String.hs, dist/build/Prettyprinter/Render/String.o, dist/build/Prettyprinter/Render/String.dyn_o )
[ 4 of 28] Compiling Data.Text.Prettyprint.Doc.Render.String ( src/Data/Text/Prettyprint/Doc/Render/String.hs, dist/build/Data/Text/Prettyprint/Doc/Render/String.o, dist/build/Data/Text/Prettyprint/Doc/Render/String.dyn_o )
[ 5 of 28] Compiling Prettyprinter.Internal.Type ( src/Prettyprinter/Internal/Type.hs, dist/build/Prettyprinter/Internal/Type.o, dist/build/Prettyprinter/Internal/Type.dyn_o )
[ 6 of 28] Compiling Data.Text.Prettyprint.Doc.Internal.Type ( src/Data/Text/Prettyprint/Doc/Internal/Type.hs, dist/build/Data/Text/Prettyprint/Doc/Internal/Type.o, dist/build/Data/Text/Prettyprint/Doc/Internal/Type.dyn_o )
[ 7 of 28] Compiling Prettyprinter.Internal.Debug ( src/Prettyprinter/Internal/Debug.hs, dist/build/Prettyprinter/Internal/Debug.o, dist/build/Prettyprinter/Internal/Debug.dyn_o )
[ 8 of 28] Compiling Data.Text.Prettyprint.Doc.Internal.Debug ( src/Data/Text/Prettyprint/Doc/Internal/Debug.hs, dist/build/Data/Text/Prettyprint/Doc/Internal/Debug.o, dist/build/Data/Text/Prettyprint/Doc/Internal/Debug.dyn_o )
[ 9 of 28] Compiling Data.Text.Prettyprint.Doc.Internal ( src/Data/Text/Prettyprint/Doc/Internal.hs, dist/build/Data/Text/Prettyprint/Doc/Internal.o, dist/build/Data/Text/Prettyprint/Doc/Internal.dyn_o )
[10 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Util.Panic ( src/Data/Text/Prettyprint/Doc/Render/Util/Panic.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Util/Panic.o, dist/build/Data/Text/Prettyprint/Doc/Render/Util/Panic.dyn_o )
[11 of 28] Compiling Prettyprinter.Render.Util.StackMachine ( src/Prettyprinter/Render/Util/StackMachine.hs, dist/build/Prettyprinter/Render/Util/StackMachine.o, dist/build/Prettyprinter/Render/Util/StackMachine.dyn_o )
src/Prettyprinter/Render/Util/StackMachine.hs:34:1: warning: [GHC-66111] [-Wunused-imports]
The import of Control.Applicative is redundant
except perhaps to import instances from Control.Applicative
To import instances alone, use: import Control.Applicative()
|
34 | import Control.Applicative
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[12 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Util.StackMachine ( src/Data/Text/Prettyprint/Doc/Render/Util/StackMachine.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Util/StackMachine.o, dist/build/Data/Text/Prettyprint/Doc/Render/Util/StackMachine.dyn_o )
[13 of 28] Compiling Prettyprinter.Symbols.Ascii ( src/Prettyprinter/Symbols/Ascii.hs, dist/build/Prettyprinter/Symbols/Ascii.o, dist/build/Prettyprinter/Symbols/Ascii.dyn_o )
[14 of 28] Compiling Prettyprinter ( src/Prettyprinter.hs, dist/build/Prettyprinter.o, dist/build/Prettyprinter.dyn_o )
[15 of 28] Compiling Prettyprinter.Render.Util.SimpleDocTree ( src/Prettyprinter/Render/Util/SimpleDocTree.hs, dist/build/Prettyprinter/Render/Util/SimpleDocTree.o, dist/build/Prettyprinter/Render/Util/SimpleDocTree.dyn_o )
[16 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Util.SimpleDocTree ( src/Data/Text/Prettyprint/Doc/Render/Util/SimpleDocTree.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Util/SimpleDocTree.o, dist/build/Data/Text/Prettyprint/Doc/Render/Util/SimpleDocTree.dyn_o )
[17 of 28] Compiling Prettyprinter.Render.Tutorials.TreeRenderingTutorial ( src/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.hs, dist/build/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.o, dist/build/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.dyn_o )
[18 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Tutorials.TreeRenderingTutorial ( src/Data/Text/Prettyprint/Doc/Render/Tutorials/TreeRenderingTutorial.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/TreeRenderingTutorial.o, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/TreeRenderingTutorial.dyn_o )
[19 of 28] Compiling Prettyprinter.Render.Tutorials.StackMachineTutorial ( src/Prettyprinter/Render/Tutorials/StackMachineTutorial.hs, dist/build/Prettyprinter/Render/Tutorials/StackMachineTutorial.o, dist/build/Prettyprinter/Render/Tutorials/StackMachineTutorial.dyn_o )
[20 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Tutorials.StackMachineTutorial ( src/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.o, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.dyn_o )
src/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.hs:7:1: warning: [GHC-15328] [-Wdeprecations]
Module Prettyprinter.Render.Tutorials.StackMachineTutorial is deprecated:
"Writing your own stack machine is probably more efficient and customizable; also consider using �renderSimplyDecorated(A)� instead"
|
7 | import Prettyprinter.Render.Tutorials.StackMachineTutorial
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[21 of 28] Compiling Prettyprinter.Render.Text ( src/Prettyprinter/Render/Text.hs, dist/build/Prettyprinter/Render/Text.o, dist/build/Prettyprinter/Render/Text.dyn_o )
[22 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Text ( src/Data/Text/Prettyprint/Doc/Render/Text.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Text.o, dist/build/Data/Text/Prettyprint/Doc/Render/Text.dyn_o )
[23 of 28] Compiling Data.Text.Prettyprint.Doc ( src/Data/Text/Prettyprint/Doc.hs, dist/build/Data/Text/Prettyprint/Doc.o, dist/build/Data/Text/Prettyprint/Doc.dyn_o )
[24 of 28] Compiling Data.Text.Prettyprint.Doc.Symbols.Ascii ( src/Data/Text/Prettyprint/Doc/Symbols/Ascii.hs, dist/build/Data/Text/Prettyprint/Doc/Symbols/Ascii.o, dist/build/Data/Text/Prettyprint/Doc/Symbols/Ascii.dyn_o )
[25 of 28] Compiling Prettyprinter.Symbols.Unicode ( src/Prettyprinter/Symbols/Unicode.hs, dist/build/Prettyprinter/Symbols/Unicode.o, dist/build/Prettyprinter/Symbols/Unicode.dyn_o )
[26 of 28] Compiling Data.Text.Prettyprint.Doc.Symbols.Unicode ( src/Data/Text/Prettyprint/Doc/Symbols/Unicode.hs, dist/build/Data/Text/Prettyprint/Doc/Symbols/Unicode.o, dist/build/Data/Text/Prettyprint/Doc/Symbols/Unicode.dyn_o )
[27 of 28] Compiling Prettyprinter.Util ( src/Prettyprinter/Util.hs, dist/build/Prettyprinter/Util.o, dist/build/Prettyprinter/Util.dyn_o )
[28 of 28] Compiling Data.Text.Prettyprint.Doc.Util ( src/Data/Text/Prettyprint/Doc/Util.hs, dist/build/Data/Text/Prettyprint/Doc/Util.o, dist/build/Data/Text/Prettyprint/Doc/Util.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1282050/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/prettyprinter-1.7.1-698f6d27ba9dc4afb698ee24b5b7298b328c15147c4c3170a4fd72165e2b9672/lib
Configuring regex-base-0.94.0.3...
Preprocessing library for regex-base-0.94.0.3..
Building library for regex-base-0.94.0.3..
[1 of 5] Compiling Paths_regex_base ( dist/build/autogen/Paths_regex_base.hs, dist/build/Paths_regex_base.o, dist/build/Paths_regex_base.dyn_o )
[2 of 5] Compiling Text.Regex.Base.RegexLike ( src/Text/Regex/Base/RegexLike.hs, dist/build/Text/Regex/Base/RegexLike.o, dist/build/Text/Regex/Base/RegexLike.dyn_o )
[3 of 5] Compiling Text.Regex.Base.Context ( src/Text/Regex/Base/Context.hs, dist/build/Text/Regex/Base/Context.o, dist/build/Text/Regex/Base/Context.dyn_o )
src/Text/Regex/Base/Context.hs:316:10: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type [(b, (MatchOffset, MatchLength))] not matched:
[]
|
316 | let ((whole,_):subs) = elems ma
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Text/Regex/Base/Context.hs:329:41: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type [(b, (MatchOffset, MatchLength))] not matched:
[]
|
329 | matchM = actOn (\(pre,ma,post) -> let ((whole,_):_) = elems ma
| ^^^^^^^^^^^^^^^^^^^^^^^^
src/Text/Regex/Base/Context.hs:334:41: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type [(b, (MatchOffset, MatchLength))] not matched:
[]
|
334 | matchM = actOn (\(pre,ma,post) -> let ((whole,_):subs) = elems ma
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[4 of 5] Compiling Text.Regex.Base ( src/Text/Regex/Base.hs, dist/build/Text/Regex/Base.o, dist/build/Text/Regex/Base.dyn_o )
[5 of 5] Compiling Text.Regex.Base.Impl ( src/Text/Regex/Base/Impl.hs, dist/build/Text/Regex/Base/Impl.o, dist/build/Text/Regex/Base/Impl.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1282050/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/regex-base-0.94.0.3-c407b500cb84c19f296291097fec916658b7198f384858183d8238e2936fb367/lib
Warning: xml.cabal:18:32: version operators used. To use version operators the
package needs to specify at least 'cabal-version: >= 1.8'.
Configuring xml-1.3.14...
Preprocessing library for xml-1.3.14..
Building library for xml-1.3.14..
[1 of 7] Compiling Text.XML.Light.Types ( Text/XML/Light/Types.hs, dist/build/Text/XML/Light/Types.o, dist/build/Text/XML/Light/Types.dyn_o )
[2 of 7] Compiling Text.XML.Light.Proc ( Text/XML/Light/Proc.hs, dist/build/Text/XML/Light/Proc.o, dist/build/Text/XML/Light/Proc.dyn_o )
[3 of 7] Compiling Text.XML.Light.Output ( Text/XML/Light/Output.hs, dist/build/Text/XML/Light/Output.o, dist/build/Text/XML/Light/Output.dyn_o )
[4 of 7] Compiling Text.XML.Light.Lexer ( Text/XML/Light/Lexer.hs, dist/build/Text/XML/Light/Lexer.o, dist/build/Text/XML/Light/Lexer.dyn_o )
Text/XML/Light/Lexer.hs:119:1: warning: [GHC-94817] [-Wtabs]
Tab character found here, and in one further location.
Suggested fix: Please use spaces instead.
|
119 | | otherwise = munch ('>':acc) (nesting-1) ds
| ^^^^^^^^
Text/XML/Light/Lexer.hs:149:39: 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."
|
149 | in TokStart (fst (head cs)) n as b : ts
| ^^^^
[5 of 7] Compiling Text.XML.Light.Input ( Text/XML/Light/Input.hs, dist/build/Text/XML/Light/Input.o, dist/build/Text/XML/Light/Input.dyn_o )
[6 of 7] Compiling Text.XML.Light.Cursor ( Text/XML/Light/Cursor.hs, dist/build/Text/XML/Light/Cursor.o, dist/build/Text/XML/Light/Cursor.dyn_o )
[7 of 7] Compiling Text.XML.Light ( Text/XML/Light.hs, dist/build/Text/XML/Light.o, dist/build/Text/XML/Light.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1282050/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/xml-1.3.14-f7a1cbb4f00db04b00ede643cef3457dc6ab25cb9a4d6350c1ed5f31e3ae28a7/lib
Configuring copilot-prettyprinter-4.6.1...
Preprocessing library for copilot-prettyprinter-4.6.1..
Building library for copilot-prettyprinter-4.6.1..
[1 of 3] Compiling Copilot.PrettyPrint.Error ( src/Copilot/PrettyPrint/Error.hs, dist/build/Copilot/PrettyPrint/Error.o, dist/build/Copilot/PrettyPrint/Error.dyn_o )
[2 of 3] Compiling Copilot.PrettyPrint.Type ( src/Copilot/PrettyPrint/Type.hs, dist/build/Copilot/PrettyPrint/Type.o, dist/build/Copilot/PrettyPrint/Type.dyn_o )
src/Copilot/PrettyPrint/Type.hs:53:11: warning: [GHC-63397] [-Wname-shadowing]
This binding for t shadows the existing binding
bound at src/Copilot/PrettyPrint/Type.hs:40:10
|
53 | Array t -> "Array " ++ showType t
| ^
src/Copilot/PrettyPrint/Type.hs:54:12: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: t
|
54 | Struct t -> "Struct"
| ^
src/Copilot/PrettyPrint/Type.hs:54:12: warning: [GHC-63397] [-Wname-shadowing]
This binding for t shadows the existing binding
bound at src/Copilot/PrettyPrint/Type.hs:40:10
|
54 | Struct t -> "Struct"
| ^
src/Copilot/PrettyPrint/Type.hs:76:11: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: t
|
76 | Array t -> ShowWit
| ^
src/Copilot/PrettyPrint/Type.hs:76:11: warning: [GHC-63397] [-Wname-shadowing]
This binding for t shadows the existing binding
bound at src/Copilot/PrettyPrint/Type.hs:63:9
|
76 | Array t -> ShowWit
| ^
src/Copilot/PrettyPrint/Type.hs:77:12: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: t
|
77 | Struct t -> ShowWit
| ^
src/Copilot/PrettyPrint/Type.hs:77:12: warning: [GHC-63397] [-Wname-shadowing]
This binding for t shadows the existing binding
bound at src/Copilot/PrettyPrint/Type.hs:63:9
|
77 | Struct t -> ShowWit
| ^
[3 of 3] Compiling Copilot.PrettyPrint ( src/Copilot/PrettyPrint.hs, dist/build/Copilot/PrettyPrint.o, dist/build/Copilot/PrettyPrint.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1282050/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/copilot-prettyprinter-4.6.1-45d6682dda85f3321d7d2789907b9c6fcbaf7b9d650a2a18456fe08f4c10f13b/lib
Configuring prettyprinter-ansi-terminal-1.1.3...
Preprocessing library for prettyprinter-ansi-terminal-1.1.3..
Building library for prettyprinter-ansi-terminal-1.1.3..
[1 of 4] Compiling Prettyprinter.Render.Terminal.Internal ( src/Prettyprinter/Render/Terminal/Internal.hs, dist/build/Prettyprinter/Render/Terminal/Internal.o, dist/build/Prettyprinter/Render/Terminal/Internal.dyn_o )
[2 of 4] Compiling Prettyprinter.Render.Terminal ( src/Prettyprinter/Render/Terminal.hs, dist/build/Prettyprinter/Render/Terminal.o, dist/build/Prettyprinter/Render/Terminal.dyn_o )
[3 of 4] Compiling Data.Text.Prettyprint.Doc.Render.Terminal ( src/Data/Text/Prettyprint/Doc/Render/Terminal.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal.o, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal.dyn_o )
[4 of 4] Compiling Data.Text.Prettyprint.Doc.Render.Terminal.Internal ( src/Data/Text/Prettyprint/Doc/Render/Terminal/Internal.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal/Internal.o, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal/Internal.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1282050/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/prettyprinter-ansi-terminal-1.1.3-174dbf53220eb3e988f9b1c04bb100c2060a02ca37bc97c07282211ef4d706f7/lib
Configuring regex-posix-0.96.0.2...
Preprocessing library for regex-posix-0.96.0.2..
Building library for regex-posix-0.96.0.2..
[1 of 7] Compiling Paths_regex_posix ( dist/build/autogen/Paths_regex_posix.hs, dist/build/Paths_regex_posix.o, dist/build/Paths_regex_posix.dyn_o )
[2 of 7] Compiling Text.Regex.Posix.Wrap ( dist/build/Text/Regex/Posix/Wrap.hs, dist/build/Text/Regex/Posix/Wrap.o, dist/build/Text/Regex/Posix/Wrap.dyn_o )
[3 of 7] Compiling Text.Regex.Posix.String ( src/Text/Regex/Posix/String.hs, dist/build/Text/Regex/Posix/String.o, dist/build/Text/Regex/Posix/String.dyn_o )
[4 of 7] Compiling Text.Regex.Posix.Sequence ( src/Text/Regex/Posix/Sequence.hs, dist/build/Text/Regex/Posix/Sequence.o, dist/build/Text/Regex/Posix/Sequence.dyn_o )
[5 of 7] Compiling Text.Regex.Posix.ByteString ( src/Text/Regex/Posix/ByteString.hs, dist/build/Text/Regex/Posix/ByteString.o, dist/build/Text/Regex/Posix/ByteString.dyn_o )
[6 of 7] Compiling Text.Regex.Posix.ByteString.Lazy ( src/Text/Regex/Posix/ByteString/Lazy.hs, dist/build/Text/Regex/Posix/ByteString/Lazy.o, dist/build/Text/Regex/Posix/ByteString/Lazy.dyn_o )
[7 of 7] Compiling Text.Regex.Posix ( src/Text/Regex/Posix.hs, dist/build/Text/Regex/Posix.o, dist/build/Text/Regex/Posix.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1282050/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/regex-posix-0.96.0.2-84ba0ac313e9c9beb3f99825b98391ea7103d7744b173299db106c0845ba5b1f/lib
Configuring prettyprinter-compat-ansi-wl-pprint-1.0.2...
Preprocessing library for prettyprinter-compat-ansi-wl-pprint-1.0.2..
Building library for prettyprinter-compat-ansi-wl-pprint-1.0.2..
[1 of 1] Compiling Text.PrettyPrint.ANSI.Leijen ( src/Text/PrettyPrint/ANSI/Leijen.hs, dist/build/Text/PrettyPrint/ANSI/Leijen.o, dist/build/Text/PrettyPrint/ANSI/Leijen.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1282050/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/prettyprinter-compat-ansi-wl-pprint-1.0.2-04962fc48abe5beb68df6ed56a9a80b239111689bb755c0458fae67f5d2ce7c5/lib
Configuring ansi-wl-pprint-1.0.2...
Preprocessing library for ansi-wl-pprint-1.0.2..
Building library for ansi-wl-pprint-1.0.2..
[1 of 1] Compiling Text.PrettyPrint.ANSI.Leijen ( Text/PrettyPrint/ANSI/Leijen.hs, dist/build/Text/PrettyPrint/ANSI/Leijen.o, dist/build/Text/PrettyPrint/ANSI/Leijen.dyn_o )
Text/PrettyPrint/ANSI/Leijen.hs:165:1: warning: [GHC-15328] [-Wdeprecations]
Module Text.PrettyPrint.ANSI.Leijen is deprecated:
"Compatibility module for users of ansi-wl-pprint - use \"Prettyprinter\" instead"
|
165 | import "prettyprinter-compat-ansi-wl-pprint" Text.PrettyPrint.ANSI.Leijen
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1282050/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-wl-pprint-1.0.2-0a087768ad5473d8c05b8f751e698522892c9ecec48d0538b9af9d8e78e9f37c/lib
Configuring test-framework-0.8.2.3...
Preprocessing library for test-framework-0.8.2.3..
Building library for test-framework-0.8.2.3..
[ 1 of 24] Compiling Test.Framework.Improving ( src/Test/Framework/Improving.hs, dist/build/Test/Framework/Improving.o, dist/build/Test/Framework/Improving.dyn_o )
[ 2 of 24] Compiling Test.Framework.Runners.Console.Colors ( src/Test/Framework/Runners/Console/Colors.hs, dist/build/Test/Framework/Runners/Console/Colors.o, dist/build/Test/Framework/Runners/Console/Colors.dyn_o )
[ 3 of 24] Compiling Test.Framework.Runners.Console.ProgressBar ( src/Test/Framework/Runners/Console/ProgressBar.hs, dist/build/Test/Framework/Runners/Console/ProgressBar.o, dist/build/Test/Framework/Runners/Console/ProgressBar.dyn_o )
[ 4 of 24] Compiling Test.Framework.Runners.Console.Utilities ( src/Test/Framework/Runners/Console/Utilities.hs, dist/build/Test/Framework/Runners/Console/Utilities.o, dist/build/Test/Framework/Runners/Console/Utilities.dyn_o )
[ 5 of 24] Compiling Test.Framework.Runners.Processors ( src/Test/Framework/Runners/Processors.hs, dist/build/Test/Framework/Runners/Processors.o, dist/build/Test/Framework/Runners/Processors.dyn_o )
[ 6 of 24] Compiling Test.Framework.Runners.ThreadPool ( src/Test/Framework/Runners/ThreadPool.hs, dist/build/Test/Framework/Runners/ThreadPool.o, dist/build/Test/Framework/Runners/ThreadPool.dyn_o )
[ 7 of 24] Compiling Test.Framework.Utilities ( src/Test/Framework/Utilities.hs, dist/build/Test/Framework/Utilities.o, dist/build/Test/Framework/Utilities.dyn_o )
[ 8 of 24] Compiling Test.Framework.Seed ( src/Test/Framework/Seed.hs, dist/build/Test/Framework/Seed.o, dist/build/Test/Framework/Seed.dyn_o )
[ 9 of 24] Compiling Test.Framework.Runners.TimedConsumption ( src/Test/Framework/Runners/TimedConsumption.hs, dist/build/Test/Framework/Runners/TimedConsumption.o, dist/build/Test/Framework/Runners/TimedConsumption.dyn_o )
[10 of 24] Compiling Test.Framework.Runners.TestPattern ( src/Test/Framework/Runners/TestPattern.hs, dist/build/Test/Framework/Runners/TestPattern.o, dist/build/Test/Framework/Runners/TestPattern.dyn_o )
[11 of 24] Compiling Test.Framework.Runners.Console.Table ( src/Test/Framework/Runners/Console/Table.hs, dist/build/Test/Framework/Runners/Console/Table.o, dist/build/Test/Framework/Runners/Console/Table.dyn_o )
src/Test/Framework/Runners/Console/Table.hs:45:73: 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."
|
45 | eitherSideSeperator columns = zipWith (||) (False:column_is_seperator) (tail column_is_seperator ++ [False])
| ^^^^
[12 of 24] Compiling Test.Framework.Options ( src/Test/Framework/Options.hs, dist/build/Test/Framework/Options.o, dist/build/Test/Framework/Options.dyn_o )
[13 of 24] Compiling Test.Framework.Runners.Options ( src/Test/Framework/Runners/Options.hs, dist/build/Test/Framework/Runners/Options.o, dist/build/Test/Framework/Runners/Options.dyn_o )
[14 of 24] Compiling Test.Framework.Core ( src/Test/Framework/Core.hs, dist/build/Test/Framework/Core.o, dist/build/Test/Framework/Core.dyn_o )
[15 of 24] Compiling Test.Framework.Runners.Core ( src/Test/Framework/Runners/Core.hs, dist/build/Test/Framework/Runners/Core.o, dist/build/Test/Framework/Runners/Core.dyn_o )
[16 of 24] Compiling Test.Framework.Runners.XML.JUnitWriter ( src/Test/Framework/Runners/XML/JUnitWriter.hs, dist/build/Test/Framework/Runners/XML/JUnitWriter.o, dist/build/Test/Framework/Runners/XML/JUnitWriter.dyn_o )
[17 of 24] Compiling Test.Framework.Runners.Statistics ( src/Test/Framework/Runners/Statistics.hs, dist/build/Test/Framework/Runners/Statistics.o, dist/build/Test/Framework/Runners/Statistics.dyn_o )
[18 of 24] Compiling Test.Framework.Runners.XML ( src/Test/Framework/Runners/XML.hs, dist/build/Test/Framework/Runners/XML.o, dist/build/Test/Framework/Runners/XML.dyn_o )
[19 of 24] Compiling Test.Framework.Runners.Console.Statistics ( src/Test/Framework/Runners/Console/Statistics.hs, dist/build/Test/Framework/Runners/Console/Statistics.o, dist/build/Test/Framework/Runners/Console/Statistics.dyn_o )
[20 of 24] Compiling Test.Framework.Runners.API ( src/Test/Framework/Runners/API.hs, dist/build/Test/Framework/Runners/API.o, dist/build/Test/Framework/Runners/API.dyn_o )
[21 of 24] Compiling Test.Framework.Runners.Console.Run ( src/Test/Framework/Runners/Console/Run.hs, dist/build/Test/Framework/Runners/Console/Run.o, dist/build/Test/Framework/Runners/Console/Run.dyn_o )
[22 of 24] Compiling Test.Framework.Runners.Console ( src/Test/Framework/Runners/Console.hs, dist/build/Test/Framework/Runners/Console.o, dist/build/Test/Framework/Runners/Console.dyn_o )
[23 of 24] Compiling Test.Framework.Providers.API ( src/Test/Framework/Providers/API.hs, dist/build/Test/Framework/Providers/API.o, dist/build/Test/Framework/Providers/API.dyn_o )
[24 of 24] Compiling Test.Framework ( src/Test/Framework.hs, dist/build/Test/Framework.o, dist/build/Test/Framework.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1282050/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/test-framework-0.8.2.3-4f6449ad120ca00d5f33042f9cece1a3b0b1fee77c029a3f9a3254f19711636e/lib
Configuring test-framework-quickcheck2-0.3.0.7...
Preprocessing library for test-framework-quickcheck2-0.3.0.7..
Building library for test-framework-quickcheck2-0.3.0.7..
[1 of 1] Compiling Test.Framework.Providers.QuickCheck2 ( Test/Framework/Providers/QuickCheck2.hs, dist/build/Test/Framework/Providers/QuickCheck2.o, dist/build/Test/Framework/Providers/QuickCheck2.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1282050/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/test-framework-quickcheck2-0.3.0.7-cea3e11ac976673e1918ce785fcb0b74f75ec0bd79bb35843f4659a46076a5e9/lib
Configuring copilot-interpreter-4.6.1...
Preprocessing library for copilot-interpreter-4.6.1..
Building library for copilot-interpreter-4.6.1..
[1 of 4] Compiling Copilot.Interpret.Error ( src/Copilot/Interpret/Error.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-interpreter-4.6.1/noopt/build/Copilot/Interpret/Error.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-interpreter-4.6.1/noopt/build/Copilot/Interpret/Error.dyn_o )
[2 of 4] Compiling Copilot.Interpret.Eval ( src/Copilot/Interpret/Eval.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-interpreter-4.6.1/noopt/build/Copilot/Interpret/Eval.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-interpreter-4.6.1/noopt/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, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-interpreter-4.6.1/noopt/build/Copilot/Interpret/Render.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-interpreter-4.6.1/noopt/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, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-interpreter-4.6.1/noopt/build/Copilot/Interpret.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-interpreter-4.6.1/noopt/build/Copilot/Interpret.dyn_o )
Preprocessing test suite 'unit-tests' for copilot-interpreter-4.6.1..
Building test suite 'unit-tests' for copilot-interpreter-4.6.1..
[1 of 3] Compiling Test.Extra ( tests/Test/Extra.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-interpreter-4.6.1/noopt/build/unit-tests/unit-tests-tmp/Test/Extra.o )
[2 of 3] Compiling Test.Copilot.Interpret.Eval ( tests/Test/Copilot/Interpret/Eval.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-interpreter-4.6.1/noopt/build/unit-tests/unit-tests-tmp/Test/Copilot/Interpret/Eval.o )
tests/Test/Copilot/Interpret/Eval.hs:14:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.List is redundant
except perhaps to import instances from Data.List
To import instances alone, use: import Data.List()
|
14 | import Data.List (lookup)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
tests/Test/Copilot/Interpret/Eval.hs:803:11: warning: [GHC-63397] [-Wname-shadowing]
This binding for t shadows the existing binding
bound at tests/Test/Copilot/Interpret/Eval.hs:790:10
|
803 | Array t -> "Array " ++ showType t
| ^
tests/Test/Copilot/Interpret/Eval.hs:804:12: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: t
|
804 | Struct t -> "Struct"
| ^
tests/Test/Copilot/Interpret/Eval.hs:804:12: warning: [GHC-63397] [-Wname-shadowing]
This binding for t shadows the existing binding
bound at tests/Test/Copilot/Interpret/Eval.hs:790:10
|
804 | Struct t -> "Struct"
| ^
[3 of 3] Compiling Main ( tests/Main.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-interpreter-4.6.1/noopt/build/unit-tests/unit-tests-tmp/Main.o )
[4 of 4] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-interpreter-4.6.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:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/copilot-interpreter-4.6.1.test
Writing: copilot-interpreter-4.6.1-inplace/Copilot.Interpret.Eval.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
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-interpreter-4.6.1/noopt/hpc/vanilla/html/unit-tests/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: copilot-interpreter-4.6.1-inplace/Copilot.Interpret.Eval.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
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-interpreter-4.6.1/noopt/hpc/vanilla/html/copilot-interpreter-4.6.1/hpc_index.html