[all reports]
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Failed |
| Time submitted |
2025-07-08 10:53:32.078232785 UTC
|
| Compiler |
ghc-9.8.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.19.2.0, copilot-core-4.5, 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
| expressions | 43% (821/1878) |
|---|
| boolean | guards | 0% (0/8) |
|---|
| conditions | 100% (0/0) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 20% (34/170) |
|---|
| local declarations | 72% (112/154) |
|---|
| top-level declarations | 68% (43/63) |
|---|
Build log
[view raw]
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
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)
- ieee754-0.8.0 (lib:ieee754) (requires build)
- language-c99-0.2.0 (lib:language-c99) (requires build)
- HUnit-1.6.2.0 (lib:HUnit) (requires build)
- language-c99-util-0.2.0 (lib:language-c99-util) (requires build)
- test-framework-hunit-0.3.0.2 (lib:test-framework-hunit) (requires build)
- language-c99-simple-0.3.0 (lib:language-c99-simple) (requires build)
- copilot-c99-4.5 (first run)
Configuring call-stack-0.4.0...
Preprocessing library for call-stack-0.4.0..
Building library for call-stack-0.4.0..
[1 of 3] Compiling Data.SrcLoc ( src/Data/SrcLoc.hs, dist/build/Data/SrcLoc.o, dist/build/Data/SrcLoc.dyn_o )
[2 of 3] Compiling Data.CallStack ( src/Data/CallStack.hs, dist/build/Data/CallStack.o, dist/build/Data/CallStack.dyn_o )
[3 of 3] Compiling Paths_call_stack ( dist/build/autogen/Paths_call_stack.hs, dist/build/Paths_call_stack.o, dist/build/Paths_call_stack.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1755487/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/call-stack-0.4.0-31951dc4e9db177e2ea89098d1122ced7b6da41fd279273945130bdfc91e7098/lib
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 )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1755487/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ieee754-0.8.0-537553520ad67afd8d79614b2caee56dcfd15d6074592730788107bfa6d9b65c/lib
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 )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1755487/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/language-c99-0.2.0-478fa5cef8cad613f566713fd11f9368dc488ed073c9c8b63cb639bf31274111/lib
Configuring HUnit-1.6.2.0...
Preprocessing library for HUnit-1.6.2.0..
Building library for HUnit-1.6.2.0..
[1 of 6] Compiling Paths_HUnit ( dist/build/autogen/Paths_HUnit.hs, dist/build/Paths_HUnit.o, dist/build/Paths_HUnit.dyn_o )
[2 of 6] Compiling Test.HUnit.Lang ( src/Test/HUnit/Lang.hs, dist/build/Test/HUnit/Lang.o, dist/build/Test/HUnit/Lang.dyn_o )
[3 of 6] Compiling Test.HUnit.Base ( src/Test/HUnit/Base.hs, dist/build/Test/HUnit/Base.o, dist/build/Test/HUnit/Base.dyn_o )
[4 of 6] Compiling Test.HUnit.Terminal ( src/Test/HUnit/Terminal.hs, dist/build/Test/HUnit/Terminal.o, dist/build/Test/HUnit/Terminal.dyn_o )
src/Test/HUnit/Terminal.hs:41:41: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
41 | | otherwise = ta f (c:bs) (tail as) cs
| ^^^^
[5 of 6] Compiling Test.HUnit.Text ( src/Test/HUnit/Text.hs, dist/build/Test/HUnit/Text.o, dist/build/Test/HUnit/Text.dyn_o )
[6 of 6] Compiling Test.HUnit ( src/Test/HUnit.hs, dist/build/Test/HUnit.o, dist/build/Test/HUnit.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1755487/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/HUnit-1.6.2.0-aa8518921a665b3ce3b9f7f0c7a8a7fa42d03d10681bd5ecec8be730444183ec/lib
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 )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1755487/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/language-c99-util-0.2.0-83befa84a3728436e5ef5b18cc2516000a166072535e289d45e3453efeb87e58/lib
Warning: test-framework-hunit.cabal:33:61: version operators used. To use
version operators the package needs to specify at least 'cabal-version: >=
1.8'.
Warning: test-framework-hunit.cabal:30:53: version operators used. To use
version operators the package needs to specify at least 'cabal-version: >=
1.8'.
Warning: test-framework-hunit.cabal:28:73: version operators used. To use
version operators the package needs to specify at least 'cabal-version: >=
1.8'.
Warning: test-framework-hunit.cabal:28:114: version operators used. To use
version operators the package needs to specify at least 'cabal-version: >=
1.8'.
Configuring test-framework-hunit-0.3.0.2...
Preprocessing library for test-framework-hunit-0.3.0.2..
Building library for test-framework-hunit-0.3.0.2..
[1 of 1] Compiling Test.Framework.Providers.HUnit ( Test/Framework/Providers/HUnit.hs, dist/build/Test/Framework/Providers/HUnit.o, dist/build/Test/Framework/Providers/HUnit.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1755487/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/test-framework-hunit-0.3.0.2-feb7c74dcc2f10e2e632f6b4832d861f9b2e89a3c75adce4c58faa046da48083/lib
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 )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1755487/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/language-c99-simple-0.3.0-cff10f4efdb08d0c51bc572722fff6fee7819c29c0325ff2ed8fc415f2f7ad11/lib
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, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/Copilot/Compile/C99/Error.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/Copilot/Compile/C99/Error.dyn_o )
[ 2 of 10] Compiling Copilot.Compile.C99.Name ( src/Copilot/Compile/C99/Name.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/Copilot/Compile/C99/Name.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/Copilot/Compile/C99/Name.dyn_o )
[ 3 of 10] Compiling Copilot.Compile.C99.External ( src/Copilot/Compile/C99/External.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/Copilot/Compile/C99/External.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/Copilot/Compile/C99/External.dyn_o )
[ 4 of 10] Compiling Copilot.Compile.C99.Representation ( src/Copilot/Compile/C99/Representation.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/Copilot/Compile/C99/Representation.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/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, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/Copilot/Compile/C99/Settings.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/Copilot/Compile/C99/Settings.dyn_o )
[ 6 of 10] Compiling Copilot.Compile.C99.Type ( src/Copilot/Compile/C99/Type.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/Copilot/Compile/C99/Type.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/Copilot/Compile/C99/Type.dyn_o )
[ 7 of 10] Compiling Copilot.Compile.C99.Expr ( src/Copilot/Compile/C99/Expr.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/Copilot/Compile/C99/Expr.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/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, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/Copilot/Compile/C99/CodeGen.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/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, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/Copilot/Compile/C99/Compile.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/Copilot/Compile/C99/Compile.dyn_o )
[10 of 10] Compiling Copilot.Compile.C99 ( src/Copilot/Compile/C99.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/Copilot/Compile/C99.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/Copilot/Compile/C99.dyn_o )
Preprocessing test suite 'unit-tests' for copilot-c99-4.5..
Building test suite 'unit-tests' for copilot-c99-4.5..
[1 of 2] Compiling Test.Copilot.Compile.C99 ( tests/Test/Copilot/Compile/C99.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/unit-tests/unit-tests-tmp/Test/Copilot/Compile/C99.o )
tests/Test/Copilot/Compile/C99.hs:37:1: warning: [GHC-66111] [-Wunused-imports]
The import of Copilot.Core.Type.Array is redundant
except perhaps to import instances from Copilot.Core.Type.Array
To import instances alone, use: import Copilot.Core.Type.Array()
|
37 | import Copilot.Core.Type.Array (array)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
tests/Test/Copilot/Compile/C99.hs:437:5: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of TestCase1 wrapTC1Expr
|
437 | { wrapTC1Expr :: Spec
| ^^^^^^^^^^^
tests/Test/Copilot/Compile/C99.hs:441:5: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of TestCase1 wrapTC1Fun
|
441 | , wrapTC1Fun :: [a] -> [b]
| ^^^^^^^^^^
tests/Test/Copilot/Compile/C99.hs:445:5: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of TestCase1 wrapTC1CopInp
|
445 | , wrapTC1CopInp :: (String -> String, String, String, Gen a)
| ^^^^^^^^^^^^^
tests/Test/Copilot/Compile/C99.hs:459:5: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of TestCase1 wrapTC1CopOut
|
459 | , wrapTC1CopOut :: (String, String)
| ^^^^^^^^^^^^^
tests/Test/Copilot/Compile/C99.hs:470:5: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of TestCase2 wrapTC2Expr
|
470 | { wrapTC2Expr :: Spec
| ^^^^^^^^^^^
tests/Test/Copilot/Compile/C99.hs:474:5: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of TestCase2 wrapTC2Fun
|
474 | , wrapTC2Fun :: [a] -> [b] -> [c]
| ^^^^^^^^^^
tests/Test/Copilot/Compile/C99.hs:478:5: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of TestCase2 wrapTC2CopInp1
|
478 | , wrapTC2CopInp1 :: (String -> String, String, String, Gen a)
| ^^^^^^^^^^^^^^
tests/Test/Copilot/Compile/C99.hs:492:5: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of TestCase2 wrapTC2CopInp2
|
492 | , wrapTC2CopInp2 :: (String -> String, String, String, Gen b)
| ^^^^^^^^^^^^^^
tests/Test/Copilot/Compile/C99.hs:506:5: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of TestCase2 wrapTC2CopOut
|
506 | , wrapTC2CopOut :: (String, String)
| ^^^^^^^^^^^^^
[2 of 2] Compiling Main ( tests/Main.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/unit-tests/unit-tests-tmp/Main.o )
[3 of 3] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/build/unit-tests/unit-tests
Running 1 test suites...
Test suite unit-tests: RUNNING...
Test suite unit-tests: FAIL
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/copilot-c99-4.5.test
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/hpc/vanilla/html/unit-tests/hpc_index.html
0 of 1 test suites (0 of 1 test cases) passed.
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Package coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/copilot-c99-4.5/noopt/hpc/vanilla/html/copilot-c99-4.5/hpc_index.html
Error: cabal: Tests failed for copilot-c99-4.5.