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 Warning: ieee754.cabal:29:34: version operators used. To use version operators the package needs to specify at least 'cabal-version: >= 1.8'. Configuring ieee754-0.8.0... Preprocessing library for ieee754-0.8.0.. Building library for ieee754-0.8.0.. [1 of 2] Compiling Numeric.IEEE ( Numeric/IEEE.hs, dist/build/Numeric/IEEE.o, dist/build/Numeric/IEEE.dyn_o ) [2 of 2] Compiling Data.AEq ( Data/AEq.hs, dist/build/Data/AEq.o, dist/build/Data/AEq.dyn_o ) Preprocessing library for ieee754-0.8.0.. Running Haddock on library for ieee754-0.8.0.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. [1 of 2] Compiling Numeric.IEEE ( Numeric/IEEE.hs, nothing ) [2 of 2] Compiling Data.AEq ( Data/AEq.hs, nothing ) Haddock coverage: 100% ( 8 / 8) in 'Numeric.IEEE' 100% ( 2 / 2) in 'Data.AEq' Documentation created: dist/doc/html/ieee754/, dist/doc/html/ieee754/ieee754.txt Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/ieee754-0.8.0-LvuIvX98whmJAHZ9ZL8VOL Completed ieee754-0.8.0 Configuring language-c99-0.2.0... Preprocessing library for language-c99-0.2.0.. Building library for language-c99-0.2.0.. [1 of 3] Compiling Language.C99.AST ( src/Language/C99/AST.hs, dist/build/Language/C99/AST.o, dist/build/Language/C99/AST.dyn_o ) [2 of 3] Compiling Language.C99 ( src/Language/C99.hs, dist/build/Language/C99.o, dist/build/Language/C99.dyn_o ) [3 of 3] Compiling Language.C99.Pretty ( src/Language/C99/Pretty.hs, dist/build/Language/C99/Pretty.o, dist/build/Language/C99/Pretty.dyn_o ) Preprocessing library for language-c99-0.2.0.. Running Haddock on library for language-c99-0.2.0.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. [1 of 3] Compiling Language.C99.AST ( src/Language/C99/AST.hs, nothing ) [2 of 3] Compiling Language.C99 ( src/Language/C99.hs, nothing ) [3 of 3] Compiling Language.C99.Pretty ( src/Language/C99/Pretty.hs, nothing ) Haddock coverage: 0% ( 0 /135) in 'Language.C99.AST' Missing documentation for: Module header PreprocToken (src/Language/C99/AST.hs:8) Ident (src/Language/C99/AST.hs:19) IdentNonDigit (src/Language/C99/AST.hs:23) NonDigit (src/Language/C99/AST.hs:27) Digit (src/Language/C99/AST.hs:55) UnivCharName (src/Language/C99/AST.hs:69) HexQuad (src/Language/C99/AST.hs:72) Const (src/Language/C99/AST.hs:77) IntConst (src/Language/C99/AST.hs:83) DecConst (src/Language/C99/AST.hs:87) OcConst (src/Language/C99/AST.hs:90) HexConst (src/Language/C99/AST.hs:93) HexPrefix (src/Language/C99/AST.hs:96) NonZeroDigit (src/Language/C99/AST.hs:98) OcDigit (src/Language/C99/AST.hs:108) HexDigit (src/Language/C99/AST.hs:117) IntSuffix (src/Language/C99/AST.hs:134) UnsignedSuffix (src/Language/C99/AST.hs:140) LongSuffix (src/Language/C99/AST.hs:141) LongLongSuffix (src/Language/C99/AST.hs:142) FloatConst (src/Language/C99/AST.hs:145) DecFloatConst (src/Language/C99/AST.hs:148) HexFloatConst (src/Language/C99/AST.hs:152) FracConst (src/Language/C99/AST.hs:156) ExpPart (src/Language/C99/AST.hs:159) Sign (src/Language/C99/AST.hs:161) DigitSeq (src/Language/C99/AST.hs:164) HexFracConst (src/Language/C99/AST.hs:167) BinExpPart (src/Language/C99/AST.hs:170) HexDigitSeq (src/Language/C99/AST.hs:172) FloatSuffix (src/Language/C99/AST.hs:175) EnumConst (src/Language/C99/AST.hs:179) CharConst (src/Language/C99/AST.hs:182) CCharSeq (src/Language/C99/AST.hs:185) CChar (src/Language/C99/AST.hs:188) EscSeq (src/Language/C99/AST.hs:191) SimpleEscSeq (src/Language/C99/AST.hs:196) OcEscSeq (src/Language/C99/AST.hs:208) HexEscSeq (src/Language/C99/AST.hs:212) StringLit (src/Language/C99/AST.hs:218) SCharSeq (src/Language/C99/AST.hs:221) SChar (src/Language/C99/AST.hs:224) Punc (src/Language/C99/AST.hs:230) HeaderName (src/Language/C99/AST.hs:277) HCharSeq (src/Language/C99/AST.hs:280) HChar (src/Language/C99/AST.hs:283) QCharSeq (src/Language/C99/AST.hs:285) QChar (src/Language/C99/AST.hs:288) PPNumber (src/Language/C99/AST.hs:293) PrimExpr (src/Language/C99/AST.hs:306) PostfixExpr (src/Language/C99/AST.hs:312) ArgExprList (src/Language/C99/AST.hs:321) UnaryExpr (src/Language/C99/AST.hs:325) UnaryOp (src/Language/C99/AST.hs:332) CastExpr (src/Language/C99/AST.hs:340) MultExpr (src/Language/C99/AST.hs:344) AddExpr (src/Language/C99/AST.hs:350) ShiftExpr (src/Language/C99/AST.hs:355) RelExpr (src/Language/C99/AST.hs:360) EqExpr (src/Language/C99/AST.hs:367) AndExpr (src/Language/C99/AST.hs:372) XOrExpr (src/Language/C99/AST.hs:376) OrExpr (src/Language/C99/AST.hs:380) LAndExpr (src/Language/C99/AST.hs:384) LOrExpr (src/Language/C99/AST.hs:388) CondExpr (src/Language/C99/AST.hs:392) AssignExpr (src/Language/C99/AST.hs:396) AssignOp (src/Language/C99/AST.hs:399) Expr (src/Language/C99/AST.hs:412) ConstExpr (src/Language/C99/AST.hs:416) Decln (src/Language/C99/AST.hs:421) DeclnSpecs (src/Language/C99/AST.hs:423) InitDeclrList (src/Language/C99/AST.hs:428) InitDeclr (src/Language/C99/AST.hs:431) StorageClassSpec (src/Language/C99/AST.hs:435) TypeSpec (src/Language/C99/AST.hs:442) StructOrUnionSpec (src/Language/C99/AST.hs:458) StructOrUnion (src/Language/C99/AST.hs:462) StructDeclnList (src/Language/C99/AST.hs:465) StructDecln (src/Language/C99/AST.hs:468) SpecQualList (src/Language/C99/AST.hs:470) StructDeclrList (src/Language/C99/AST.hs:473) StructDeclr (src/Language/C99/AST.hs:476) EnumSpec (src/Language/C99/AST.hs:480) EnumrList (src/Language/C99/AST.hs:483) Enumr (src/Language/C99/AST.hs:486) TypeQual (src/Language/C99/AST.hs:490) FunSpec (src/Language/C99/AST.hs:495) Declr (src/Language/C99/AST.hs:498) DirectDeclr (src/Language/C99/AST.hs:500) Ptr (src/Language/C99/AST.hs:510) TypeQualList (src/Language/C99/AST.hs:513) ParamTypeList (src/Language/C99/AST.hs:516) ParamList (src/Language/C99/AST.hs:519) ParamDecln (src/Language/C99/AST.hs:522) IdentList (src/Language/C99/AST.hs:525) TypeName (src/Language/C99/AST.hs:529) AbstractDeclr (src/Language/C99/AST.hs:531) DirectAbstractDeclr (src/Language/C99/AST.hs:534) TypedefName (src/Language/C99/AST.hs:545) Init (src/Language/C99/AST.hs:548) InitList (src/Language/C99/AST.hs:552) Design (src/Language/C99/AST.hs:555) DesigrList (src/Language/C99/AST.hs:557) Desigr (src/Language/C99/AST.hs:560) Stmt (src/Language/C99/AST.hs:566) LabeledStmt (src/Language/C99/AST.hs:574) CompoundStmt (src/Language/C99/AST.hs:579) BlockItemList (src/Language/C99/AST.hs:581) BlockItem (src/Language/C99/AST.hs:584) ExprStmt (src/Language/C99/AST.hs:588) SelectStmt (src/Language/C99/AST.hs:591) IterStmt (src/Language/C99/AST.hs:596) JumpStmt (src/Language/C99/AST.hs:602) TransUnit (src/Language/C99/AST.hs:609) ExtDecln (src/Language/C99/AST.hs:612) FunDef (src/Language/C99/AST.hs:616) DeclnList (src/Language/C99/AST.hs:618) PreprocFile (src/Language/C99/AST.hs:624) Group (src/Language/C99/AST.hs:626) GroupPart (src/Language/C99/AST.hs:629) IfSection (src/Language/C99/AST.hs:634) IfGroup (src/Language/C99/AST.hs:637) ElifGroups (src/Language/C99/AST.hs:641) ElifGroup (src/Language/C99/AST.hs:644) ElseGroup (src/Language/C99/AST.hs:646) EndIfLine (src/Language/C99/AST.hs:648) ControlLine (src/Language/C99/AST.hs:650) TextLine (src/Language/C99/AST.hs:661) NonDirective (src/Language/C99/AST.hs:663) LParen (src/Language/C99/AST.hs:665) ReplaceList (src/Language/C99/AST.hs:667) PPTokens (src/Language/C99/AST.hs:669) NewLine (src/Language/C99/AST.hs:672) 50% ( 1 / 2) in 'Language.C99' Missing documentation for: Module header 0% ( 0 / 4) in 'Language.C99.Pretty' Missing documentation for: Module header bin (src/Language/C99/Pretty.hs:11) Pretty (src/Language/C99/Pretty.hs:13) fheader (src/Language/C99/Pretty.hs:705) Documentation created: dist/doc/html/language-c99/, dist/doc/html/language-c99/language-c99.txt Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/language-c99-0.2.0-AeDlX0jesO9IIBPQsVBxbF Completed language-c99-0.2.0 Configuring language-c99-util-0.2.0... Preprocessing library for language-c99-util-0.2.0.. Building library for language-c99-util-0.2.0.. [1 of 4] Compiling Language.C99.Util.IsList ( src/Language/C99/Util/IsList.hs, dist/build/Language/C99/Util/IsList.o, dist/build/Language/C99/Util/IsList.dyn_o ) src/Language/C99/Util/IsList.hs:25:10: warning: [GHC-06201] [-Wmissing-methods] " No explicit implementation for toList " In the instance declaration for IsList ArgExprList | 25 | instance IsList ArgExprList where | ^^^^^^^^^^^^^^^^^^ src/Language/C99/Util/IsList.hs:30:10: warning: [GHC-06201] [-Wmissing-methods] " No explicit implementation for toList " In the instance declaration for IsList InitList | 30 | instance IsList InitList where | ^^^^^^^^^^^^^^^ src/Language/C99/Util/IsList.hs:37:10: warning: [GHC-06201] [-Wmissing-methods] " No explicit implementation for toList " In the instance declaration for IsList BlockItemList | 37 | instance IsList BlockItemList where | ^^^^^^^^^^^^^^^^^^^^ src/Language/C99/Util/IsList.hs:42:10: warning: [GHC-06201] [-Wmissing-methods] " No explicit implementation for toList " In the instance declaration for IsList TransUnit | 42 | instance IsList TransUnit where | ^^^^^^^^^^^^^^^^ src/Language/C99/Util/IsList.hs:47:10: warning: [GHC-06201] [-Wmissing-methods] " No explicit implementation for toList " In the instance declaration for IsList DeclnList | 47 | instance IsList DeclnList where | ^^^^^^^^^^^^^^^^ [2 of 4] Compiling Language.C99.Util.Wrap ( src/Language/C99/Util/Wrap.hs, dist/build/Language/C99/Util/Wrap.o, dist/build/Language/C99/Util/Wrap.dyn_o ) [3 of 4] Compiling Language.C99.Util.Expr ( src/Language/C99/Util/Expr.hs, dist/build/Language/C99/Util/Expr.o, dist/build/Language/C99/Util/Expr.dyn_o ) src/Language/C99/Util/Expr.hs:109:35: 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." | 109 | dec = takeWhile (/='e') $ tail $ dropWhile (/='.') ds | ^^^^ src/Language/C99/Util/Expr.hs:112:16: 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." | 112 | _ -> tail e | ^^^^ src/Language/C99/Util/Expr.hs:116: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." | 116 | op = case head nat of | ^^^^ src/Language/C99/Util/Expr.hs:119:19: 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." | 119 | nat' = case head nat of | ^^^^ src/Language/C99/Util/Expr.hs:120:36: 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." | 120 | '-' -> digitseq $ digitsc (tail nat) | ^^^^ [4 of 4] Compiling Language.C99.Util ( src/Language/C99/Util.hs, dist/build/Language/C99/Util.o, dist/build/Language/C99/Util.dyn_o ) Preprocessing library for language-c99-util-0.2.0.. Running Haddock on library for language-c99-util-0.2.0.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. [1 of 4] Compiling Language.C99.Util.IsList ( src/Language/C99/Util/IsList.hs, nothing ) src/Language/C99/Util/IsList.hs:25:10: warning: [GHC-06201] [-Wmissing-methods] " No explicit implementation for toList " In the instance declaration for IsList ArgExprList | 25 | instance IsList ArgExprList where | ^^^^^^^^^^^^^^^^^^ src/Language/C99/Util/IsList.hs:30:10: warning: [GHC-06201] [-Wmissing-methods] " No explicit implementation for toList " In the instance declaration for IsList InitList | 30 | instance IsList InitList where | ^^^^^^^^^^^^^^^ src/Language/C99/Util/IsList.hs:37:10: warning: [GHC-06201] [-Wmissing-methods] " No explicit implementation for toList " In the instance declaration for IsList BlockItemList | 37 | instance IsList BlockItemList where | ^^^^^^^^^^^^^^^^^^^^ src/Language/C99/Util/IsList.hs:42:10: warning: [GHC-06201] [-Wmissing-methods] " No explicit implementation for toList " In the instance declaration for IsList TransUnit | 42 | instance IsList TransUnit where | ^^^^^^^^^^^^^^^^ src/Language/C99/Util/IsList.hs:47:10: warning: [GHC-06201] [-Wmissing-methods] " No explicit implementation for toList " In the instance declaration for IsList DeclnList | 47 | instance IsList DeclnList where | ^^^^^^^^^^^^^^^^ [2 of 4] Compiling Language.C99.Util.Wrap ( src/Language/C99/Util/Wrap.hs, nothing ) [3 of 4] Compiling Language.C99.Util.Expr ( src/Language/C99/Util/Expr.hs, nothing ) src/Language/C99/Util/Expr.hs:109:35: 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." | 109 | dec = takeWhile (/='e') $ tail $ dropWhile (/='.') ds | ^^^^ src/Language/C99/Util/Expr.hs:112:16: 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." | 112 | _ -> tail e | ^^^^ src/Language/C99/Util/Expr.hs:116: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." | 116 | op = case head nat of | ^^^^ src/Language/C99/Util/Expr.hs:119:19: 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." | 119 | nat' = case head nat of | ^^^^ src/Language/C99/Util/Expr.hs:120:36: 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." | 120 | '-' -> digitseq $ digitsc (tail nat) | ^^^^ [4 of 4] Compiling Language.C99.Util ( src/Language/C99/Util.hs, nothing ) Haddock coverage: 0% ( 0 / 19) in 'Language.C99.Util' Missing documentation for: Module header Wrap (src/Language/C99/Util/Wrap.hs:76) group (src/Language/C99/Util/IsList.hs:61) error_emptylist (src/Language/C99/Util/IsList.hs:10) hcharseq (src/Language/C99/Util/IsList.hs:53) qcharseq (src/Language/C99/Util/IsList.hs:57) pptokens (src/Language/C99/Util/IsList.hs:65) paramlist (src/Language/C99/Util/IsList.hs:69) voidparamlist (src/Language/C99/Util/IsList.hs:73) digit (src/Language/C99/Util/Expr.hs:23) nonzerodigit (src/Language/C99/Util/Expr.hs:37) nondigit (src/Language/C99/Util/Expr.hs:50) ident (src/Language/C99/Util/Expr.hs:81) litbool (src/Language/C99/Util/Expr.hs:86) litint (src/Language/C99/Util/Expr.hs:90) litdouble (src/Language/C99/Util/Expr.hs:130) litfloat (src/Language/C99/Util/Expr.hs:133) litstring (src/Language/C99/Util/Expr.hs:136) identdeclr (src/Language/C99/Util/Expr.hs:168) Warning: Language.C99.Util: could not find link destinations for: - Language.C99.Util.Wrap.WrapStep Documentation created: dist/doc/html/language-c99-util/, dist/doc/html/language-c99-util/language-c99-util.txt Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/language-c99-util-0.2.0-BEhEVY0cKvO3kwAOmZNDg Completed language-c99-util-0.2.0 Configuring language-c99-simple-0.3.0... Preprocessing library for language-c99-simple-0.3.0.. Building library for language-c99-simple-0.3.0.. [1 of 5] Compiling Language.C99.Simple.AST ( src/Language/C99/Simple/AST.hs, dist/build/Language/C99/Simple/AST.o, dist/build/Language/C99/Simple/AST.dyn_o ) [2 of 5] Compiling Language.C99.Simple.Expr ( src/Language/C99/Simple/Expr.hs, dist/build/Language/C99/Simple/Expr.o, dist/build/Language/C99/Simple/Expr.dyn_o ) [3 of 5] Compiling Language.C99.Simple.Util ( src/Language/C99/Simple/Util.hs, dist/build/Language/C99/Simple/Util.o, dist/build/Language/C99/Simple/Util.dyn_o ) [4 of 5] Compiling Language.C99.Simple.Translate ( src/Language/C99/Simple/Translate.hs, dist/build/Language/C99/Simple/Translate.o, dist/build/Language/C99/Simple/Translate.dyn_o ) [5 of 5] Compiling Language.C99.Simple ( src/Language/C99/Simple.hs, dist/build/Language/C99/Simple.o, dist/build/Language/C99/Simple.dyn_o ) Preprocessing library for language-c99-simple-0.3.0.. Running Haddock on library for language-c99-simple-0.3.0.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. [1 of 5] Compiling Language.C99.Simple.AST ( src/Language/C99/Simple/AST.hs, nothing ) [2 of 5] Compiling Language.C99.Simple.Expr ( src/Language/C99/Simple/Expr.hs, nothing ) [3 of 5] Compiling Language.C99.Simple.Util ( src/Language/C99/Simple/Util.hs, nothing ) [4 of 5] Compiling Language.C99.Simple.Translate ( src/Language/C99/Simple/Translate.hs, nothing ) [5 of 5] Compiling Language.C99.Simple ( src/Language/C99/Simple.hs, nothing ) Haddock coverage: 0% ( 0 / 19) in 'Language.C99.Simple.AST' Missing documentation for: Module header Ident (src/Language/C99/Simple/AST.hs:16) TransUnit (src/Language/C99/Simple/AST.hs:18) FunDef (src/Language/C99/Simple/AST.hs:20) Param (src/Language/C99/Simple/AST.hs:22) Decln (src/Language/C99/Simple/AST.hs:24) StorageSpec (src/Language/C99/Simple/AST.hs:28) Type (src/Language/C99/Simple/AST.hs:34) TypeSpec (src/Language/C99/Simple/AST.hs:43) FieldDecln (src/Language/C99/Simple/AST.hs:97) Init (src/Language/C99/Simple/AST.hs:99) InitItem (src/Language/C99/Simple/AST.hs:102) Expr (src/Language/C99/Simple/AST.hs:104) UnaryOp (src/Language/C99/Simple/AST.hs:130) BinaryOp (src/Language/C99/Simple/AST.hs:139) AssignOp (src/Language/C99/Simple/AST.hs:158) TypeName (src/Language/C99/Simple/AST.hs:170) Case (src/Language/C99/Simple/AST.hs:172) Stmt (src/Language/C99/Simple/AST.hs:175) 0% ( 0 / 38) in 'Language.C99.Simple.Expr' Missing documentation for: Module header .++ (src/Language/C99/Simple/Expr.hs:9) .-- (src/Language/C99/Simple/Expr.hs:12) ref (src/Language/C99/Simple/Expr.hs:15) deref (src/Language/C99/Simple/Expr.hs:18) pos (src/Language/C99/Simple/Expr.hs:21) neg (src/Language/C99/Simple/Expr.hs:24) .~ (src/Language/C99/Simple/Expr.hs:27) .! (src/Language/C99/Simple/Expr.hs:30) .* (src/Language/C99/Simple/Expr.hs:35) ./ (src/Language/C99/Simple/Expr.hs:38) .% (src/Language/C99/Simple/Expr.hs:41) .+ (src/Language/C99/Simple/Expr.hs:44) .- (src/Language/C99/Simple/Expr.hs:47) .<< (src/Language/C99/Simple/Expr.hs:50) .>> (src/Language/C99/Simple/Expr.hs:53) .< (src/Language/C99/Simple/Expr.hs:56) .> (src/Language/C99/Simple/Expr.hs:59) .<= (src/Language/C99/Simple/Expr.hs:62) .>= (src/Language/C99/Simple/Expr.hs:65) .== (src/Language/C99/Simple/Expr.hs:68) .!= (src/Language/C99/Simple/Expr.hs:71) .& (src/Language/C99/Simple/Expr.hs:74) .^ (src/Language/C99/Simple/Expr.hs:77) .| (src/Language/C99/Simple/Expr.hs:80) .&& (src/Language/C99/Simple/Expr.hs:83) .|| (src/Language/C99/Simple/Expr.hs:86) .= (src/Language/C99/Simple/Expr.hs:91) .*= (src/Language/C99/Simple/Expr.hs:94) ./= (src/Language/C99/Simple/Expr.hs:97) .%= (src/Language/C99/Simple/Expr.hs:100) .+= (src/Language/C99/Simple/Expr.hs:103) .-= (src/Language/C99/Simple/Expr.hs:106) .<<= (src/Language/C99/Simple/Expr.hs:109) .>>= (src/Language/C99/Simple/Expr.hs:112) .&= (src/Language/C99/Simple/Expr.hs:115) .^= (src/Language/C99/Simple/Expr.hs:118) .|= (src/Language/C99/Simple/Expr.hs:121) 0% ( 0 / 9) in 'Language.C99.Simple.Util' Missing documentation for: Module header appendspecs (src/Language/C99/Simple/Util.hs:13) insertptr (src/Language/C99/Simple/Util.hs:22) appendptr (src/Language/C99/Simple/Util.hs:27) gettypequals (src/Language/C99/Simple/Util.hs:32) declrarray (src/Language/C99/Simple/Util.hs:45) foldtypespecs (src/Language/C99/Simple/Util.hs:50) foldtypequals (src/Language/C99/Simple/Util.hs:58) decay (src/Language/C99/Simple/Util.hs:67) 0% ( 0 / 46) in 'Language.C99.Simple.Translate' Missing documentation for: Module header translate (src/Language/C99/Simple/Translate.hs:16) transtransunit (src/Language/C99/Simple/Translate.hs:19) transfundef (src/Language/C99/Simple/Translate.hs:24) transdecln (src/Language/C99/Simple/Translate.hs:32) transparamdecln (src/Language/C99/Simple/Translate.hs:50) transparam (src/Language/C99/Simple/Translate.hs:55) getdeclr (src/Language/C99/Simple/Translate.hs:61) getdeclnspecs (src/Language/C99/Simple/Translate.hs:90) transstorespec (src/Language/C99/Simple/Translate.hs:107) spec2spec (src/Language/C99/Simple/Translate.hs:115) transfielddeclns (src/Language/C99/Simple/Translate.hs:171) transfielddecln (src/Language/C99/Simple/Translate.hs:177) transvariantdeclns (src/Language/C99/Simple/Translate.hs:183) transvariantdecln (src/Language/C99/Simple/Translate.hs:189) getspecquals (src/Language/C99/Simple/Translate.hs:192) transexpr (src/Language/C99/Simple/Translate.hs:203) unaryop (src/Language/C99/Simple/Translate.hs:225) binaryop (src/Language/C99/Simple/Translate.hs:238) assignop (src/Language/C99/Simple/Translate.hs:262) transinit (src/Language/C99/Simple/Translate.hs:279) transinitlist (src/Language/C99/Simple/Translate.hs:283) transdesigr (src/Language/C99/Simple/Translate.hs:289) initexpr (src/Language/C99/Simple/Translate.hs:292) transinititems (src/Language/C99/Simple/Translate.hs:297) indexexpr (src/Language/C99/Simple/Translate.hs:299) dotexpr (src/Language/C99/Simple/Translate.hs:303) arrowexpr (src/Language/C99/Simple/Translate.hs:307) castexpr (src/Language/C99/Simple/Translate.hs:311) funcall (src/Language/C99/Simple/Translate.hs:315) condexpr (src/Language/C99/Simple/Translate.hs:327) transtypename (src/Language/C99/Simple/Translate.hs:333) getabstractdeclr (src/Language/C99/Simple/Translate.hs:338) transstmt (src/Language/C99/Simple/Translate.hs:377) exprstmt (src/Language/C99/Simple/Translate.hs:391) ifstmt (src/Language/C99/Simple/Translate.hs:394) ifelsestmt (src/Language/C99/Simple/Translate.hs:399) switchstmt (src/Language/C99/Simple/Translate.hs:406) whilestmt (src/Language/C99/Simple/Translate.hs:411) forstmt (src/Language/C99/Simple/Translate.hs:416) labelstmt (src/Language/C99/Simple/Translate.hs:424) returnstmt (src/Language/C99/Simple/Translate.hs:427) casestmt (src/Language/C99/Simple/Translate.hs:430) compound (src/Language/C99/Simple/Translate.hs:437) compoundstmt (src/Language/C99/Simple/Translate.hs:443) fundirectdeclr (src/Language/C99/Simple/Translate.hs:446) 80% ( 4 / 5) in 'Language.C99.Simple' Missing documentation for: Module header Documentation created: dist/doc/html/language-c99-simple/, dist/doc/html/language-c99-simple/language-c99-simple.txt Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/language-c99-simple-0.3.0-3GjCkv4as4n1ir8ZYxPqKz Completed language-c99-simple-0.3.0 Configuring copilot-c99-4.5... Preprocessing library for copilot-c99-4.5.. Building library for copilot-c99-4.5.. [ 1 of 10] Compiling Copilot.Compile.C99.Error ( src/Copilot/Compile/C99/Error.hs, dist/build/Copilot/Compile/C99/Error.o, dist/build/Copilot/Compile/C99/Error.dyn_o ) [ 2 of 10] Compiling Copilot.Compile.C99.Name ( src/Copilot/Compile/C99/Name.hs, dist/build/Copilot/Compile/C99/Name.o, dist/build/Copilot/Compile/C99/Name.dyn_o ) [ 3 of 10] Compiling Copilot.Compile.C99.External ( src/Copilot/Compile/C99/External.hs, dist/build/Copilot/Compile/C99/External.o, dist/build/Copilot/Compile/C99/External.dyn_o ) [ 4 of 10] Compiling Copilot.Compile.C99.Representation ( src/Copilot/Compile/C99/Representation.hs, dist/build/Copilot/Compile/C99/Representation.o, dist/build/Copilot/Compile/C99/Representation.dyn_o ) src/Copilot/Compile/C99/Representation.hs:19:31: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Show b0) arising from a use of mkUnique at src/Copilot/Compile/C99/Representation.hs:19:31-38 (Num b0) arising from the literal 0 at src/Copilot/Compile/C99/Representation.hs:19:44 (Enum b0) arising from the arithmetic sequence 0 ..  at src/Copilot/Compile/C99/Representation.hs:19:43-47 " In the first argument of zipWith, namely mkUnique In the expression: zipWith mkUnique ts [0 .. ] In an equation for mkUniqueTriggers: mkUniqueTriggers ts = zipWith mkUnique ts [0 .. ] where mkUnique t@(Trigger name _ _) n = UniqueTrigger (name ++ "_" ++ show n) t | 19 | mkUniqueTriggers ts = zipWith mkUnique ts [0..] | ^^^^^^^^ [ 5 of 10] Compiling Copilot.Compile.C99.Settings ( src/Copilot/Compile/C99/Settings.hs, dist/build/Copilot/Compile/C99/Settings.o, dist/build/Copilot/Compile/C99/Settings.dyn_o ) [ 6 of 10] Compiling Copilot.Compile.C99.Type ( src/Copilot/Compile/C99/Type.hs, dist/build/Copilot/Compile/C99/Type.o, dist/build/Copilot/Compile/C99/Type.dyn_o ) [ 7 of 10] Compiling Copilot.Compile.C99.Expr ( src/Copilot/Compile/C99/Expr.hs, dist/build/Copilot/Compile/C99/Expr.o, dist/build/Copilot/Compile/C99/Expr.dyn_o ) src/Copilot/Compile/C99/Expr.hs:66:13: warning: [GHC-63397] [-Wname-shadowing] This binding for i shadows the existing binding bound at src/Copilot/Compile/C99/Expr.hs:64:4 | 66 | modify (\(i, x, y) -> (i + 1, x, y)) | ^ src/Copilot/Compile/C99/Expr.hs:71:13: warning: [GHC-63397] [-Wname-shadowing] This binding for i shadows the existing binding bound at src/Copilot/Compile/C99/Expr.hs:64:4 | 71 | modify (\(i, x, y) -> (i, x ++ [initDecl], y)) | ^ src/Copilot/Compile/C99/Expr.hs:95:13: warning: [GHC-63397] [-Wname-shadowing] This binding for i shadows the existing binding bound at src/Copilot/Compile/C99/Expr.hs:64:4 | 95 | modify (\(i, x, y) -> (i, x, y ++ [ initStmt, updateStmt ])) | ^ src/Copilot/Compile/C99/Expr.hs:104:11: warning: [GHC-40910] [-Wunused-matches] Defined but not used: e | 104 | transExpr e@(Op3 (UpdateArray arrTy@(Array ty2)) e1 e2 e3) = do | ^ src/Copilot/Compile/C99/Expr.hs:112:13: warning: [GHC-63397] [-Wname-shadowing] This binding for i shadows the existing binding bound at src/Copilot/Compile/C99/Expr.hs:110:4 | 112 | modify (\(i, x, y) -> (i + 1, x, y)) | ^ src/Copilot/Compile/C99/Expr.hs:117:13: warning: [GHC-63397] [-Wname-shadowing] This binding for i shadows the existing binding bound at src/Copilot/Compile/C99/Expr.hs:110:4 | 117 | modify (\(i, x, y) -> (i, x ++ [initDecl], y)) | ^ src/Copilot/Compile/C99/Expr.hs:120:7: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for size: Patterns of type Type (Array n t) not matched: Struct _ | 120 | size arrTy@(Array ty) = C.LitInt (fromIntegral $ typeLength arrTy) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Copilot/Compile/C99/Expr.hs:120:12: warning: [GHC-63397] [-Wname-shadowing] This binding for arrTy shadows the existing binding bound at src/Copilot/Compile/C99/Expr.hs:104:31 | 120 | size arrTy@(Array ty) = C.LitInt (fromIntegral $ typeLength arrTy) | ^^^^^ src/Copilot/Compile/C99/Expr.hs:131:13: warning: [GHC-63397] [-Wname-shadowing] This binding for size shadows the existing binding bound at src/Copilot/Compile/C99/Expr.hs:120:7 | 131 | size = C.LitInt | ^^^^ src/Copilot/Compile/C99/Expr.hs:141:13: warning: [GHC-63397] [-Wname-shadowing] This binding for i shadows the existing binding bound at src/Copilot/Compile/C99/Expr.hs:110:4 | 141 | modify (\(i, x, y) -> (i, x, y ++ [ initStmt, updateStmt ])) | ^ src/Copilot/Compile/C99/Expr.hs:161:3: 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 _ _ ... | 161 | case op of | ^^^^^^^^^^... [ 8 of 10] Compiling Copilot.Compile.C99.CodeGen ( src/Copilot/Compile/C99/CodeGen.hs, dist/build/Copilot/Compile/C99/CodeGen.o, dist/build/Copilot/Compile/C99/CodeGen.dyn_o ) src/Copilot/Compile/C99/CodeGen.hs:71:1: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for mkStructDecln: Patterns of type Type a not matched: Bool Int8 Int16 Int32 ... | 71 | mkStructDecln (Struct x) = C.TypeDecln struct | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Copilot/Compile/C99/CodeGen.hs:81:1: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for mkStructForwDecln: Patterns of type Type a not matched: Bool Int8 Int16 Int32 ... | 81 | mkStructForwDecln (Struct x) = C.TypeDecln struct | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [ 9 of 10] Compiling Copilot.Compile.C99.Compile ( src/Copilot/Compile/C99/Compile.hs, dist/build/Copilot/Compile/C99/Compile.o, dist/build/Copilot/Compile/C99/Compile.dyn_o ) [10 of 10] Compiling Copilot.Compile.C99 ( src/Copilot/Compile/C99.hs, dist/build/Copilot/Compile/C99.o, dist/build/Copilot/Compile/C99.dyn_o ) Preprocessing library for copilot-c99-4.5.. Running Haddock on library for copilot-c99-4.5.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. [ 1 of 10] Compiling Copilot.Compile.C99.Error ( src/Copilot/Compile/C99/Error.hs, nothing ) [ 2 of 10] Compiling Copilot.Compile.C99.Name ( src/Copilot/Compile/C99/Name.hs, nothing ) [ 3 of 10] Compiling Copilot.Compile.C99.External ( src/Copilot/Compile/C99/External.hs, nothing ) [ 4 of 10] Compiling Copilot.Compile.C99.Representation ( src/Copilot/Compile/C99/Representation.hs, nothing ) src/Copilot/Compile/C99/Representation.hs:19:31: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Show b0) arising from a use of mkUnique at src/Copilot/Compile/C99/Representation.hs:19:31-38 (Num b0) arising from the literal 0 at src/Copilot/Compile/C99/Representation.hs:19:44 (Enum b0) arising from the arithmetic sequence 0 ..  at src/Copilot/Compile/C99/Representation.hs:19:43-47 " In the first argument of zipWith, namely mkUnique In the expression: zipWith mkUnique ts [0 .. ] In an equation for mkUniqueTriggers: mkUniqueTriggers ts = zipWith mkUnique ts [0 .. ] where mkUnique t@(Trigger name _ _) n = UniqueTrigger (name ++ "_" ++ show n) t | 19 | mkUniqueTriggers ts = zipWith mkUnique ts [0..] | ^^^^^^^^ [ 5 of 10] Compiling Copilot.Compile.C99.Settings ( src/Copilot/Compile/C99/Settings.hs, nothing ) [ 6 of 10] Compiling Copilot.Compile.C99.Type ( src/Copilot/Compile/C99/Type.hs, nothing ) [ 7 of 10] Compiling Copilot.Compile.C99.Expr ( src/Copilot/Compile/C99/Expr.hs, nothing ) src/Copilot/Compile/C99/Expr.hs:66:13: warning: [GHC-63397] [-Wname-shadowing] This binding for i shadows the existing binding bound at src/Copilot/Compile/C99/Expr.hs:64:4 | 66 | modify (\(i, x, y) -> (i + 1, x, y)) | ^ src/Copilot/Compile/C99/Expr.hs:71:13: warning: [GHC-63397] [-Wname-shadowing] This binding for i shadows the existing binding bound at src/Copilot/Compile/C99/Expr.hs:64:4 | 71 | modify (\(i, x, y) -> (i, x ++ [initDecl], y)) | ^ src/Copilot/Compile/C99/Expr.hs:95:13: warning: [GHC-63397] [-Wname-shadowing] This binding for i shadows the existing binding bound at src/Copilot/Compile/C99/Expr.hs:64:4 | 95 | modify (\(i, x, y) -> (i, x, y ++ [ initStmt, updateStmt ])) | ^ src/Copilot/Compile/C99/Expr.hs:104:11: warning: [GHC-40910] [-Wunused-matches] Defined but not used: e | 104 | transExpr e@(Op3 (UpdateArray arrTy@(Array ty2)) e1 e2 e3) = do | ^ src/Copilot/Compile/C99/Expr.hs:112:13: warning: [GHC-63397] [-Wname-shadowing] This binding for i shadows the existing binding bound at src/Copilot/Compile/C99/Expr.hs:110:4 | 112 | modify (\(i, x, y) -> (i + 1, x, y)) | ^ src/Copilot/Compile/C99/Expr.hs:117:13: warning: [GHC-63397] [-Wname-shadowing] This binding for i shadows the existing binding bound at src/Copilot/Compile/C99/Expr.hs:110:4 | 117 | modify (\(i, x, y) -> (i, x ++ [initDecl], y)) | ^ src/Copilot/Compile/C99/Expr.hs:120:12: warning: [GHC-63397] [-Wname-shadowing] This binding for arrTy shadows the existing binding bound at src/Copilot/Compile/C99/Expr.hs:104:31 | 120 | size arrTy@(Array ty) = C.LitInt (fromIntegral $ typeLength arrTy) | ^^^^^ src/Copilot/Compile/C99/Expr.hs:131:13: warning: [GHC-63397] [-Wname-shadowing] This binding for size shadows the existing binding bound at src/Copilot/Compile/C99/Expr.hs:120:7 | 131 | size = C.LitInt | ^^^^ src/Copilot/Compile/C99/Expr.hs:141:13: warning: [GHC-63397] [-Wname-shadowing] This binding for i shadows the existing binding bound at src/Copilot/Compile/C99/Expr.hs:110:4 | 141 | modify (\(i, x, y) -> (i, x, y ++ [ initStmt, updateStmt ])) | ^ [ 8 of 10] Compiling Copilot.Compile.C99.CodeGen ( src/Copilot/Compile/C99/CodeGen.hs, nothing ) [ 9 of 10] Compiling Copilot.Compile.C99.Compile ( src/Copilot/Compile/C99/Compile.hs, nothing ) [10 of 10] Compiling Copilot.Compile.C99 ( src/Copilot/Compile/C99.hs, nothing ) Haddock coverage: Warning: 'Spec' is ambiguous. It is defined * in Copilot.Core.Spec * in Copilot.Core.Spec 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 Copilot.Core.Spec 100% ( 5 / 5) in 'Copilot.Compile.C99' Documentation created: dist/doc/html/copilot-c99/, dist/doc/html/copilot-c99/copilot-c99.txt Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/copilot-c99-4.5-5n1rsCep8J0IsT5c3hpLLM Completed copilot-c99-4.5