Hackage :: [Package]

• Search 
• Browse
• What's new
• Upload
• User accounts

Build #1 for copilot-c99-4.4

[all reports]

Package	copilot-c99-4.4

Install	InstallOk
Docs	Ok
Tests	NotTried

Time submitted	2025-05-08 14:40:45.976926075 UTC
Compiler	ghc-9.8.4
OS	linux
Arch	x86_64
Dependencies	base-4.19.2.0, copilot-core-4.4, directory-1.3.8.5, filepath-1.4.301.0, language-c99-0.2.0, language-c99-simple-0.3.0, mtl-2.3.1, pretty-1.1.3.6
Flags	none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring copilot-core-4.4...
Preprocessing library for copilot-core-4.4..
Building library for copilot-core-4.4..
[1 of 6] Compiling Copilot.Core.Type.Array ( src/Copilot/Core/Type/Array.hs, dist/build/Copilot/Core/Type/Array.o, dist/build/Copilot/Core/Type/Array.dyn_o )

src/Copilot/Core/Type/Array.hs:56:21: warning: [GHC-40910] [-Wunused-matches]
    Defined but not used: x
   |
56 | arrayUpdate (Array (x:xs)) 0 y = Array (y:xs)
   |                     ^

src/Copilot/Core/Type/Array.hs:64:17: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at src/Copilot/Core/Type/Array.hs:58:21
   |
64 |     arrayAppend x (Array xs) = Array (x:xs)
   |                 ^

src/Copilot/Core/Type/Array.hs:64:26: warning: [GHC-63397] [-Wname-shadowing]
    This binding for xs shadows the existing binding
      bound at src/Copilot/Core/Type/Array.hs:58:23
   |
64 |     arrayAppend x (Array xs) = Array (x:xs)
   |                          ^^
[2 of 6] Compiling Copilot.Core.Type ( src/Copilot/Core/Type.hs, dist/build/Copilot/Core/Type.o, dist/build/Copilot/Core/Type.dyn_o )

src/Copilot/Core/Type.hs:142:14: warning: [GHC-39567] [-Wstar-is-type]
    Using * (or its Unicode variant) to mean Data.Kind.Type
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: Use Type from Data.Kind instead.
    |
142 | data Type :: * -> * where
    |              ^

src/Copilot/Core/Type.hs:142:19: warning: [GHC-39567] [-Wstar-is-type]
    Using * (or its Unicode variant) to mean Data.Kind.Type
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: Use Type from Data.Kind instead.
    |
142 | data Type :: * -> * where
    |                   ^

src/Copilot/Core/Type.hs:166:1: warning: [GHC-62161] [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for typeSize:
        Patterns of type Type (Array n t) not matched: Struct _
    |
166 | typeSize ty@(Array ty'@(Array _)) = typeLength ty * typeSize ty'
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Copilot/Core/Type.hs:289:3: warning: [GHC-62161] [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for simpleType:
        Patterns of type Type (Array n t) not matched: Struct _
    |
289 |   simpleType (Array t) = SArray t
    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[3 of 6] Compiling Copilot.Core.Operators ( src/Copilot/Core/Operators.hs, dist/build/Copilot/Core/Operators.o, dist/build/Copilot/Core/Operators.dyn_o )
[4 of 6] Compiling Copilot.Core.Expr ( src/Copilot/Core/Expr.hs, dist/build/Copilot/Core/Expr.o, dist/build/Copilot/Core/Expr.dyn_o )
[5 of 6] Compiling Copilot.Core.Spec ( src/Copilot/Core/Spec.hs, dist/build/Copilot/Core/Spec.o, dist/build/Copilot/Core/Spec.dyn_o )
[6 of 6] Compiling Copilot.Core     ( src/Copilot/Core.hs, dist/build/Copilot/Core.o, dist/build/Copilot/Core.dyn_o )
Preprocessing library for copilot-core-4.4..
Running Haddock on library for copilot-core-4.4..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 6] Compiling Copilot.Core.Type.Array ( src/Copilot/Core/Type/Array.hs, nothing )

src/Copilot/Core/Type/Array.hs:56:21: warning: [GHC-40910] [-Wunused-matches]
    Defined but not used: x
   |
56 | arrayUpdate (Array (x:xs)) 0 y = Array (y:xs)
   |                     ^

src/Copilot/Core/Type/Array.hs:64:17: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at src/Copilot/Core/Type/Array.hs:58:21
   |
64 |     arrayAppend x (Array xs) = Array (x:xs)
   |                 ^

src/Copilot/Core/Type/Array.hs:64:26: warning: [GHC-63397] [-Wname-shadowing]
    This binding for xs shadows the existing binding
      bound at src/Copilot/Core/Type/Array.hs:58:23
   |
64 |     arrayAppend x (Array xs) = Array (x:xs)
   |                          ^^
[2 of 6] Compiling Copilot.Core.Type ( src/Copilot/Core/Type.hs, nothing )

src/Copilot/Core/Type.hs:142:14: warning: [GHC-39567] [-Wstar-is-type]
    Using * (or its Unicode variant) to mean Data.Kind.Type
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: Use Type from Data.Kind instead.
    |
142 | data Type :: * -> * where
    |              ^

src/Copilot/Core/Type.hs:142:19: warning: [GHC-39567] [-Wstar-is-type]
    Using * (or its Unicode variant) to mean Data.Kind.Type
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: Use Type from Data.Kind instead.
    |
142 | data Type :: * -> * where
    |                   ^
[3 of 6] Compiling Copilot.Core.Operators ( src/Copilot/Core/Operators.hs, nothing )
[4 of 6] Compiling Copilot.Core.Expr ( src/Copilot/Core/Expr.hs, nothing )
[5 of 6] Compiling Copilot.Core.Spec ( src/Copilot/Core/Spec.hs, nothing )
[6 of 6] Compiling Copilot.Core     ( src/Copilot/Core.hs, nothing )
Haddock coverage:
 100% (  5 /  5) in 'Copilot.Core.Type.Array'
Warning: 'Bool' is ambiguous. It is defined
    * at src/Copilot/Core/Type.hs:143:3
    * in GHC.Types
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined at src/Copilot/Core/Type.hs:143:3
Warning: 'Struct' is ambiguous. It is defined
    * at src/Copilot/Core/Type.hs:157:3
    * at src/Copilot/Core/Type.hs:66:1
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined at src/Copilot/Core/Type.hs:66:1
Warning: 'Field' is ambiguous. It is defined
    * at src/Copilot/Core/Type.hs:115:30
    * at src/Copilot/Core/Type.hs:115:1
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined at src/Copilot/Core/Type.hs:115:1
Warning: 'Value' is ambiguous. It is defined
    * at src/Copilot/Core/Type.hs:111:3
    * at src/Copilot/Core/Type.hs:110:1
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined at src/Copilot/Core/Type.hs:110:1
Warning: 'K1' is ambiguous. It is defined
    * in GHC.Generics
    * in GHC.Generics
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined in GHC.Generics
Warning: ':*:' is ambiguous. It is defined
    * in GHC.Generics
    * in GHC.Generics
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined in GHC.Generics
Warning: 'M1' is ambiguous. It is defined
    * in GHC.Generics
    * in GHC.Generics
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined in GHC.Generics
Warning: 'U1' is ambiguous. It is defined
    * in GHC.Generics
    * in GHC.Generics
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined in GHC.Generics
 100% ( 19 / 19) in 'Copilot.Core.Type'
 100% (  4 /  4) in 'Copilot.Core.Operators'
 100% (  6 /  6) in 'Copilot.Core.Expr'
Warning: 'Spec' is ambiguous. It is defined
    * at src/Copilot/Core/Spec.hs:89:13
    * at src/Copilot/Core/Spec.hs:89:1
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined at src/Copilot/Core/Spec.hs:89:1
Warning: 'Trigger' is ambiguous. It is defined
    * at src/Copilot/Core/Spec.hs:57:16
    * at src/Copilot/Core/Spec.hs:57:1
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined at src/Copilot/Core/Spec.hs:57:1
 100% (  8 /  8) in 'Copilot.Core.Spec'
 100% (  8 /  8) in 'Copilot.Core'
Warning: Copilot.Core.Type: could not find link destinations for: 
	- Copilot.Core.Type.GTypedStruct
	- Copilot.Core.Type.GStruct
	- Copilot.Core.Type.GDatatype
Documentation created: dist/doc/html/copilot-core/,
dist/doc/html/copilot-core/copilot-core.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/copilot-core-4.4-JYKtLdGd3klAWMOmVNSC3X
Warning: Unable to strip executable or library
'libHScopilot-core-4.4-JYKtLdGd3klAWMOmVNSC3X' (missing the 'strip' program)
Warning: Unable to strip executable or library
'libHScopilot-core-4.4-JYKtLdGd3klAWMOmVNSC3X-ghc9.8.4' (missing the 'strip'
program)
Completed    copilot-core-4.4
Downloading  ieee754-0.8.0
Downloaded   ieee754-0.8.0
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
Warning: Unable to strip executable or library
'libHSieee754-0.8.0-LvuIvX98whmJAHZ9ZL8VOL' (missing the 'strip' program)
Warning: Unable to strip executable or library
'libHSieee754-0.8.0-LvuIvX98whmJAHZ9ZL8VOL-ghc9.8.4' (missing the 'strip'
program)
Completed    ieee754-0.8.0
Downloading  language-c99-0.2.0
Downloaded   language-c99-0.2.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
Warning: Unable to strip executable or library
'libHSlanguage-c99-0.2.0-AeDlX0jesO9IIBPQsVBxbF' (missing the 'strip' program)
Warning: Unable to strip executable or library
'libHSlanguage-c99-0.2.0-AeDlX0jesO9IIBPQsVBxbF-ghc9.8.4' (missing the 'strip'
program)
Completed    language-c99-0.2.0
Downloading  language-c99-util-0.2.0
Downloaded   language-c99-util-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
Warning: Unable to strip executable or library
'libHSlanguage-c99-util-0.2.0-BEhEVY0cKvO3kwAOmZNDg' (missing the 'strip'
program)
Warning: Unable to strip executable or library
'libHSlanguage-c99-util-0.2.0-BEhEVY0cKvO3kwAOmZNDg-ghc9.8.4' (missing the
'strip' program)
Completed    language-c99-util-0.2.0
Downloading  language-c99-simple-0.3.0
Downloaded   language-c99-simple-0.3.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
Warning: Unable to strip executable or library
'libHSlanguage-c99-simple-0.3.0-3GjCkv4as4n1ir8ZYxPqKz' (missing the 'strip'
program)
Warning: Unable to strip executable or library
'libHSlanguage-c99-simple-0.3.0-3GjCkv4as4n1ir8ZYxPqKz-ghc9.8.4' (missing the
'strip' program)
Completed    language-c99-simple-0.3.0
Downloading  copilot-c99-4.4
Downloaded   copilot-c99-4.4
Configuring copilot-c99-4.4...
Preprocessing library for copilot-c99-4.4..
Building library for copilot-c99-4.4..
[ 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.4..
Running Haddock on library for copilot-c99-4.4..
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.4-KVusEUL7khj44YOFOKyVJ9
Warning: Unable to strip executable or library
'libHScopilot-c99-4.4-KVusEUL7khj44YOFOKyVJ9' (missing the 'strip' program)
Warning: Unable to strip executable or library
'libHScopilot-c99-4.4-KVusEUL7khj44YOFOKyVJ9-ghc9.8.4' (missing the 'strip'
program)
Completed    copilot-c99-4.4

Test log

[view raw]

Resolving dependencies...
Build profile: -w ghc-9.8.4 -O0
In order, the following will be built (use -v for more details):
 - call-stack-0.4.0 (lib:call-stack) (requires build)
 - colour-2.3.6 (lib:colour) (requires build)
 - copilot-core-4.4 (lib:copilot-core) (requires build)
 - extensible-exceptions-0.1.1.4 (lib:extensible-exceptions) (requires build)
 - hostname-1.0 (lib:hostname) (requires download & build)
 - ieee754-0.8.0 (lib:ieee754) (requires build)
 - language-c99-0.2.0 (lib:language-c99) (requires build)
 - old-locale-1.0.0.7 (lib:old-locale) (requires build)
 - prettyprinter-1.7.1 (lib:prettyprinter) (requires build)
 - regex-base-0.94.0.3 (lib:regex-base) (requires build)
 - splitmix-0.1.1 (lib:splitmix) (requires build)
 - xml-1.3.14 (lib:xml) (requires build)
 - HUnit-1.6.2.0 (lib:HUnit) (requires build)
 - ansi-terminal-types-1.1 (lib:ansi-terminal-types) (requires build)
 - language-c99-util-0.2.0 (lib:language-c99-util) (requires build)
 - regex-posix-0.96.0.2 (lib:regex-posix) (requires download & build)
 - random-1.3.1 (lib:random) (requires build)
 - ansi-terminal-1.1.2 (lib:ansi-terminal) (requires build)
 - language-c99-simple-0.3.0 (lib:language-c99-simple) (requires build)
 - QuickCheck-2.15.0.1 (lib:QuickCheck) (requires build)
 - prettyprinter-ansi-terminal-1.1.3 (lib:prettyprinter-ansi-terminal) (requires build)
 - prettyprinter-compat-ansi-wl-pprint-1.0.2 (lib:prettyprinter-compat-ansi-wl-pprint) (requires download & build)
 - ansi-wl-pprint-1.0.2 (lib:ansi-wl-pprint) (requires download & build)
 - test-framework-0.8.2.2 (lib:test-framework) (requires download & build)
 - test-framework-quickcheck2-0.3.0.6 (lib:test-framework-quickcheck2) (requires download & build)
 - test-framework-hunit-0.3.0.2 (lib:test-framework-hunit) (requires download & build)
 - copilot-c99-4.4 (first run)
/var/empty/.local: createDirectory: permission denied (Operation not permitted)