Resolving dependencies... Configuring copilot-core-4.5... Preprocessing library for copilot-core-4.5.. Building library for copilot-core-4.5.. [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.5.. Running Haddock on library for copilot-core-4.5.. 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.5-HWtfQMVyWV0KZ0kfIBRGdI Completed copilot-core-4.5 Configuring copilot-interpreter-4.5... Preprocessing library for copilot-interpreter-4.5.. Building library for copilot-interpreter-4.5.. [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.5.. Running Haddock on library for copilot-interpreter-4.5.. 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.5-GokbkzibiwFLSuHCSivEmQ Completed copilot-interpreter-4.5