Build #1 for MiniAgda-0.2025.7.23
| Package | MiniAgda-0.2025.7.23 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2025-07-23 12:59:23.239317064 UTC |
|---|---|
| Compiler | ghc-9.8.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | array-0.5.8.0, base-4.19.2.0, containers-0.6.8, haskell-src-exts-1.21.1, mtl-2.3.1, optparse-applicative-0.19.0.0, pretty-1.1.3.6, string-qq-0.0.6, transformers-0.6.1.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring colour-2.3.6...
Preprocessing library for colour-2.3.6..
Building library for colour-2.3.6..
[ 1 of 14] Compiling Data.Colour.CIE.Chromaticity ( Data/Colour/CIE/Chromaticity.hs, dist/build/Data/Colour/CIE/Chromaticity.o, dist/build/Data/Colour/CIE/Chromaticity.dyn_o )
[ 2 of 14] Compiling Data.Colour.CIE.Illuminant ( Data/Colour/CIE/Illuminant.hs, dist/build/Data/Colour/CIE/Illuminant.o, dist/build/Data/Colour/CIE/Illuminant.dyn_o )
[ 3 of 14] Compiling Data.Colour.Chan ( Data/Colour/Chan.hs, dist/build/Data/Colour/Chan.o, dist/build/Data/Colour/Chan.dyn_o )
[ 4 of 14] Compiling Data.Colour.Internal ( Data/Colour/Internal.hs, dist/build/Data/Colour/Internal.o, dist/build/Data/Colour/Internal.dyn_o )
[ 5 of 14] Compiling Data.Colour.Matrix ( Data/Colour/Matrix.hs, dist/build/Data/Colour/Matrix.o, dist/build/Data/Colour/Matrix.dyn_o )
[ 6 of 14] Compiling Data.Colour.RGB ( Data/Colour/RGB.hs, dist/build/Data/Colour/RGB.o, dist/build/Data/Colour/RGB.dyn_o )
[ 7 of 14] Compiling Data.Colour.RGBSpace.HSL ( Data/Colour/RGBSpace/HSL.hs, dist/build/Data/Colour/RGBSpace/HSL.o, dist/build/Data/Colour/RGBSpace/HSL.dyn_o )
[ 8 of 14] Compiling Data.Colour.RGBSpace.HSV ( Data/Colour/RGBSpace/HSV.hs, dist/build/Data/Colour/RGBSpace/HSV.o, dist/build/Data/Colour/RGBSpace/HSV.dyn_o )
[ 9 of 14] Compiling Data.Colour.SRGB.Linear ( Data/Colour/SRGB/Linear.hs, dist/build/Data/Colour/SRGB/Linear.o, dist/build/Data/Colour/SRGB/Linear.dyn_o )
[10 of 14] Compiling Data.Colour.RGBSpace ( Data/Colour/RGBSpace.hs, dist/build/Data/Colour/RGBSpace.o, dist/build/Data/Colour/RGBSpace.dyn_o )
[11 of 14] Compiling Data.Colour.SRGB ( Data/Colour/SRGB.hs, dist/build/Data/Colour/SRGB.o, dist/build/Data/Colour/SRGB.dyn_o )
Data/Colour/SRGB.hs:117:8: 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."
|
117 | x' | head x == '#' = tail x
| ^^^^
Data/Colour/SRGB.hs:117:24: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
117 | x' | head x == '#' = tail x
| ^^^^
Data/Colour/SRGB.hs:127:50: 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."
|
127 | sRGB24read x | length rx /= 1 || not (null (snd (head rx))) =
| ^^^^
Data/Colour/SRGB.hs:129:33: 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."
|
129 | | otherwise = fst (head rx)
| ^^^^
[12 of 14] Compiling Data.Colour ( Data/Colour.hs, dist/build/Data/Colour.o, dist/build/Data/Colour.dyn_o )
[13 of 14] Compiling Data.Colour.Names ( Data/Colour/Names.hs, dist/build/Data/Colour/Names.o, dist/build/Data/Colour/Names.dyn_o )
[14 of 14] Compiling Data.Colour.CIE ( Data/Colour/CIE.hs, dist/build/Data/Colour/CIE.o, dist/build/Data/Colour/CIE.dyn_o )
Preprocessing library for colour-2.3.6..
Running Haddock on library for colour-2.3.6..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 14] Compiling Data.Colour.CIE.Chromaticity ( Data/Colour/CIE/Chromaticity.hs, nothing )
[ 2 of 14] Compiling Data.Colour.CIE.Illuminant ( Data/Colour/CIE/Illuminant.hs, nothing )
[ 3 of 14] Compiling Data.Colour.Chan ( Data/Colour/Chan.hs, nothing )
[ 4 of 14] Compiling Data.Colour.Internal ( Data/Colour/Internal.hs, nothing )
[ 5 of 14] Compiling Data.Colour.Matrix ( Data/Colour/Matrix.hs, nothing )
[ 6 of 14] Compiling Data.Colour.RGB ( Data/Colour/RGB.hs, nothing )
[ 7 of 14] Compiling Data.Colour.RGBSpace.HSL ( Data/Colour/RGBSpace/HSL.hs, nothing )
[ 8 of 14] Compiling Data.Colour.RGBSpace.HSV ( Data/Colour/RGBSpace/HSV.hs, nothing )
[ 9 of 14] Compiling Data.Colour.SRGB.Linear ( Data/Colour/SRGB/Linear.hs, nothing )
[10 of 14] Compiling Data.Colour.RGBSpace ( Data/Colour/RGBSpace.hs, nothing )
[11 of 14] Compiling Data.Colour.SRGB ( Data/Colour/SRGB.hs, nothing )
Data/Colour/SRGB.hs:117:8: 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."
|
117 | x' | head x == '#' = tail x
| ^^^^
Data/Colour/SRGB.hs:117:24: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
117 | x' | head x == '#' = tail x
| ^^^^
Data/Colour/SRGB.hs:127:50: 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."
|
127 | sRGB24read x | length rx /= 1 || not (null (snd (head rx))) =
| ^^^^
Data/Colour/SRGB.hs:129:33: 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."
|
129 | | otherwise = fst (head rx)
| ^^^^
[12 of 14] Compiling Data.Colour ( Data/Colour.hs, nothing )
[13 of 14] Compiling Data.Colour.Names ( Data/Colour/Names.hs, nothing )
[14 of 14] Compiling Data.Colour.CIE ( Data/Colour/CIE.hs, nothing )
Haddock coverage:
100% ( 21 / 21) in 'Data.Colour.CIE.Illuminant'
Warning: 'RGBGamut' is ambiguous. It is defined
* at Data/Colour/RGB.hs:54:17
* at Data/Colour/RGB.hs:54: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 Data/Colour/RGB.hs:54:1
Warning: 'RGB' is ambiguous. It is defined
* at Data/Colour/RGB.hs:30:14
* at Data/Colour/RGB.hs:30: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 Data/Colour/RGB.hs:30:1
Warning: 'RGB' is ambiguous. It is defined
* at Data/Colour/RGB.hs:30:14
* at Data/Colour/RGB.hs:30: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 Data/Colour/RGB.hs:30:1
85% ( 6 / 7) in 'Data.Colour.RGBSpace.HSL'
Missing documentation for:
Module header
Warning: 'RGB' is ambiguous. It is defined
* at Data/Colour/RGB.hs:30:14
* at Data/Colour/RGB.hs:30: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 Data/Colour/RGB.hs:30:1
85% ( 6 / 7) in 'Data.Colour.RGBSpace.HSV'
Missing documentation for:
Module header
100% ( 6 / 6) in 'Data.Colour.SRGB.Linear'
Warning: 'RGBSpace' is ambiguous. It is defined
* at Data/Colour/RGBSpace.hs:122:19
* at Data/Colour/RGBSpace.hs:122: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 Data/Colour/RGBSpace.hs:122:1
Warning: 'TransferFunction' is ambiguous. It is defined
* at Data/Colour/RGBSpace.hs:92:27
* at Data/Colour/RGBSpace.hs:92: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 Data/Colour/RGBSpace.hs:92:1
Warning: 'RGB' is ambiguous. It is defined
* at Data/Colour/RGB.hs:30:14
* at Data/Colour/RGB.hs:30: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 Data/Colour/RGB.hs:30:1
Warning: 'RGBGamut' is ambiguous. It is defined
* at Data/Colour/RGB.hs:54:17
* at Data/Colour/RGB.hs:54: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 Data/Colour/RGB.hs:54:1
83% ( 20 / 24) in 'Data.Colour.RGBSpace'
Missing documentation for:
primaries
whitePoint
gamut
transferFunction
100% ( 14 / 14) in 'Data.Colour.SRGB'
85% ( 17 / 20) in 'Data.Colour'
Missing documentation for:
black (Data/Colour/Internal.hs:53)
AffineSpace (Data/Colour/Internal.hs:110)
ColourOps (Data/Colour/Internal.hs:147)
0% ( 1 /149) in 'Data.Colour.Names'
Missing documentation for:
readColourName (Data/Colour/Names.hs:190)
aliceblue (Data/Colour/Names.hs:341)
antiquewhite (Data/Colour/Names.hs:344)
aqua (Data/Colour/Names.hs:347)
aquamarine (Data/Colour/Names.hs:350)
azure (Data/Colour/Names.hs:353)
beige (Data/Colour/Names.hs:356)
bisque (Data/Colour/Names.hs:359)
black (Data/Colour/Internal.hs:53)
blanchedalmond (Data/Colour/Names.hs:364)
blue (Data/Colour/Names.hs:367)
blueviolet (Data/Colour/Names.hs:370)
brown (Data/Colour/Names.hs:373)
burlywood (Data/Colour/Names.hs:376)
cadetblue (Data/Colour/Names.hs:379)
chartreuse (Data/Colour/Names.hs:382)
chocolate (Data/Colour/Names.hs:385)
coral (Data/Colour/Names.hs:388)
cornflowerblue (Data/Colour/Names.hs:391)
cornsilk (Data/Colour/Names.hs:394)
crimson (Data/Colour/Names.hs:397)
cyan (Data/Colour/Names.hs:400)
darkblue (Data/Colour/Names.hs:403)
darkcyan (Data/Colour/Names.hs:406)
darkgoldenrod (Data/Colour/Names.hs:409)
darkgray (Data/Colour/Names.hs:412)
darkgreen (Data/Colour/Names.hs:415)
darkgrey (Data/Colour/Names.hs:418)
darkkhaki (Data/Colour/Names.hs:421)
darkmagenta (Data/Colour/Names.hs:424)
darkolivegreen (Data/Colour/Names.hs:427)
darkorange (Data/Colour/Names.hs:430)
darkorchid (Data/Colour/Names.hs:433)
darkred (Data/Colour/Names.hs:436)
darksalmon (Data/Colour/Names.hs:439)
darkseagreen (Data/Colour/Names.hs:442)
darkslateblue (Data/Colour/Names.hs:445)
darkslategray (Data/Colour/Names.hs:448)
darkslategrey (Data/Colour/Names.hs:451)
darkturquoise (Data/Colour/Names.hs:454)
darkviolet (Data/Colour/Names.hs:457)
deeppink (Data/Colour/Names.hs:460)
deepskyblue (Data/Colour/Names.hs:463)
dimgray (Data/Colour/Names.hs:466)
dimgrey (Data/Colour/Names.hs:469)
dodgerblue (Data/Colour/Names.hs:472)
firebrick (Data/Colour/Names.hs:475)
floralwhite (Data/Colour/Names.hs:478)
forestgreen (Data/Colour/Names.hs:481)
fuchsia (Data/Colour/Names.hs:484)
gainsboro (Data/Colour/Names.hs:487)
ghostwhite (Data/Colour/Names.hs:490)
gold (Data/Colour/Names.hs:493)
goldenrod (Data/Colour/Names.hs:496)
gray (Data/Colour/Names.hs:499)
grey (Data/Colour/Names.hs:502)
green (Data/Colour/Names.hs:505)
greenyellow (Data/Colour/Names.hs:508)
honeydew (Data/Colour/Names.hs:511)
hotpink (Data/Colour/Names.hs:514)
indianred (Data/Colour/Names.hs:517)
indigo (Data/Colour/Names.hs:520)
ivory (Data/Colour/Names.hs:523)
khaki (Data/Colour/Names.hs:526)
lavender (Data/Colour/Names.hs:529)
lavenderblush (Data/Colour/Names.hs:532)
lawngreen (Data/Colour/Names.hs:535)
lemonchiffon (Data/Colour/Names.hs:538)
lightblue (Data/Colour/Names.hs:541)
lightcoral (Data/Colour/Names.hs:544)
lightcyan (Data/Colour/Names.hs:547)
lightgoldenrodyellow (Data/Colour/Names.hs:550)
lightgray (Data/Colour/Names.hs:553)
lightgreen (Data/Colour/Names.hs:556)
lightgrey (Data/Colour/Names.hs:559)
lightpink (Data/Colour/Names.hs:562)
lightsalmon (Data/Colour/Names.hs:565)
lightseagreen (Data/Colour/Names.hs:568)
lightskyblue (Data/Colour/Names.hs:571)
lightslategray (Data/Colour/Names.hs:574)
lightslategrey (Data/Colour/Names.hs:577)
lightsteelblue (Data/Colour/Names.hs:580)
lightyellow (Data/Colour/Names.hs:583)
lime (Data/Colour/Names.hs:586)
limegreen (Data/Colour/Names.hs:589)
linen (Data/Colour/Names.hs:592)
magenta (Data/Colour/Names.hs:595)
maroon (Data/Colour/Names.hs:598)
mediumaquamarine (Data/Colour/Names.hs:601)
mediumblue (Data/Colour/Names.hs:604)
mediumorchid (Data/Colour/Names.hs:607)
mediumpurple (Data/Colour/Names.hs:610)
mediumseagreen (Data/Colour/Names.hs:613)
mediumslateblue (Data/Colour/Names.hs:616)
mediumspringgreen (Data/Colour/Names.hs:619)
mediumturquoise (Data/Colour/Names.hs:622)
mediumvioletred (Data/Colour/Names.hs:625)
midnightblue (Data/Colour/Names.hs:628)
mintcream (Data/Colour/Names.hs:631)
mistyrose (Data/Colour/Names.hs:634)
moccasin (Data/Colour/Names.hs:637)
navajowhite (Data/Colour/Names.hs:640)
navy (Data/Colour/Names.hs:643)
oldlace (Data/Colour/Names.hs:646)
olive (Data/Colour/Names.hs:649)
olivedrab (Data/Colour/Names.hs:652)
orange (Data/Colour/Names.hs:655)
orangered (Data/Colour/Names.hs:658)
orchid (Data/Colour/Names.hs:661)
palegoldenrod (Data/Colour/Names.hs:664)
palegreen (Data/Colour/Names.hs:667)
paleturquoise (Data/Colour/Names.hs:670)
palevioletred (Data/Colour/Names.hs:673)
papayawhip (Data/Colour/Names.hs:676)
peachpuff (Data/Colour/Names.hs:679)
peru (Data/Colour/Names.hs:682)
pink (Data/Colour/Names.hs:685)
plum (Data/Colour/Names.hs:688)
powderblue (Data/Colour/Names.hs:691)
purple (Data/Colour/Names.hs:694)
red (Data/Colour/Names.hs:697)
rosybrown (Data/Colour/Names.hs:700)
royalblue (Data/Colour/Names.hs:703)
saddlebrown (Data/Colour/Names.hs:706)
salmon (Data/Colour/Names.hs:709)
sandybrown (Data/Colour/Names.hs:712)
seagreen (Data/Colour/Names.hs:715)
seashell (Data/Colour/Names.hs:718)
sienna (Data/Colour/Names.hs:721)
silver (Data/Colour/Names.hs:724)
skyblue (Data/Colour/Names.hs:727)
slateblue (Data/Colour/Names.hs:730)
slategray (Data/Colour/Names.hs:733)
slategrey (Data/Colour/Names.hs:736)
snow (Data/Colour/Names.hs:739)
springgreen (Data/Colour/Names.hs:742)
steelblue (Data/Colour/Names.hs:745)
tan (Data/Colour/Names.hs:748)
teal (Data/Colour/Names.hs:751)
thistle (Data/Colour/Names.hs:754)
tomato (Data/Colour/Names.hs:757)
turquoise (Data/Colour/Names.hs:760)
violet (Data/Colour/Names.hs:763)
wheat (Data/Colour/Names.hs:766)
white (Data/Colour/Names.hs:769)
whitesmoke (Data/Colour/Names.hs:772)
yellow (Data/Colour/Names.hs:775)
yellowgreen (Data/Colour/Names.hs:778)
Warning: 'toCIEXYZ' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'cieXYZView' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
88% ( 15 / 17) in 'Data.Colour.CIE'
Missing documentation for:
toCIEXYZ (Data/Colour/CIE.hs:65)
Chromaticity (Data/Colour/CIE/Chromaticity.hs:25)
Documentation created: dist/doc/html/colour/, dist/doc/html/colour/colour.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/colour-2.3.6-JegldMtiv9a8c4VaIBFkGx
Completed colour-2.3.6
Downloading haskell-src-exts-1.21.1
Downloaded haskell-src-exts-1.21.1
Configuring haskell-src-exts-1.21.1...
Preprocessing library for haskell-src-exts-1.21.1..
unused rules: 3
Building library for haskell-src-exts-1.21.1..
[ 1 of 18] Compiling Language.Haskell.Exts.Extension ( src/Language/Haskell/Exts/Extension.hs, dist/build/Language/Haskell/Exts/Extension.o, dist/build/Language/Haskell/Exts/Extension.dyn_o )
src/Language/Haskell/Exts/Extension.hs:686:8: 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."
|
686 | [ (head str, (str, extension))
| ^^^^
[ 2 of 18] Compiling Language.Haskell.Exts.ExtScheme ( src/Language/Haskell/Exts/ExtScheme.hs, dist/build/Language/Haskell/Exts/ExtScheme.o, dist/build/Language/Haskell/Exts/ExtScheme.dyn_o )
[ 3 of 18] Compiling Language.Haskell.Exts.SrcLoc ( src/Language/Haskell/Exts/SrcLoc.hs, dist/build/Language/Haskell/Exts/SrcLoc.o, dist/build/Language/Haskell/Exts/SrcLoc.dyn_o )
[ 4 of 18] Compiling Language.Haskell.Exts.Syntax ( src/Language/Haskell/Exts/Syntax.hs, dist/build/Language/Haskell/Exts/Syntax.o, dist/build/Language/Haskell/Exts/Syntax.dyn_o )
[ 5 of 18] Compiling Language.Haskell.Exts.ParseSyntax ( src/Language/Haskell/Exts/ParseSyntax.hs, dist/build/Language/Haskell/Exts/ParseSyntax.o, dist/build/Language/Haskell/Exts/ParseSyntax.dyn_o )
[ 6 of 18] Compiling Language.Haskell.Exts.Pretty ( src/Language/Haskell/Exts/Pretty.hs, dist/build/Language/Haskell/Exts/Pretty.o, dist/build/Language/Haskell/Exts/Pretty.dyn_o )
src/Language/Haskell/Exts/Pretty.hs:119:9: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical (>>) definition detected
in the instance declaration for Monad (DocM s).
(>>) will eventually be removed in favour of (*>)
Suggested fix:
Either remove definition for (>>) (recommended) or define as (>>) = (*>)
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
119 | (>>) = then_DocM
| ^^^^^^^^^^^^^^^^
src/Language/Haskell/Exts/Pretty.hs:120:9: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (DocM s).
return will eventually be removed in favour of pure
Suggested fix:
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
120 | return = retDocM
| ^^^^^^^^^^^^^^^^
[ 7 of 18] Compiling Language.Haskell.Exts.Fixity ( src/Language/Haskell/Exts/Fixity.hs, dist/build/Language/Haskell/Exts/Fixity.o, dist/build/Language/Haskell/Exts/Fixity.dyn_o )
[ 8 of 18] Compiling Language.Haskell.Exts.Comments ( src/Language/Haskell/Exts/Comments.hs, dist/build/Language/Haskell/Exts/Comments.o, dist/build/Language/Haskell/Exts/Comments.dyn_o )
src/Language/Haskell/Exts/Comments.hs:146:40: 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."
|
146 | let end = srcSpanEnd $ srcInfoSpan $ head srcs
| ^^^^
[ 9 of 18] Compiling Language.Haskell.Exts.ParseMonad ( src/Language/Haskell/Exts/ParseMonad.hs, dist/build/Language/Haskell/Exts/ParseMonad.o, dist/build/Language/Haskell/Exts/ParseMonad.dyn_o )
src/Language/Haskell/Exts/ParseMonad.hs:51:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Semigroup is redundant
except perhaps to import instances from Data.Semigroup
To import instances alone, use: import Data.Semigroup()
|
51 | import Data.Semigroup (Semigroup(..))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Language/Haskell/Exts/ParseMonad.hs:99:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad ParseResult.
return will eventually be removed in favour of pure
Suggested fix:
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
99 | return = ParseOk
| ^^^^^^^^^^^^^^^^
src/Language/Haskell/Exts/ParseMonad.hs:243:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative P.
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
243 | pure = return
| ^^^^^^^^^^^^^
src/Language/Haskell/Exts/ParseMonad.hs:247:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad P.
return will eventually be removed in favour of pure
Suggested fix:
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
247 | return a = P $ \_i _x _y _l _ch s _m -> Ok s a
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Language/Haskell/Exts/ParseMonad.hs:277: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."
|
277 | removeSuffix l = reverse $ tail $ dropWhile ('.'/=) $ reverse l
| ^^^^
src/Language/Haskell/Exts/ParseMonad.hs:355:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (Lex r).
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
355 | pure = return
| ^^^^^^^^^^^^^
src/Language/Haskell/Exts/ParseMonad.hs:359:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (Lex r).
return will eventually be removed in favour of pure
Suggested fix:
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
359 | return a = Lex $ \k -> k a
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Language/Haskell/Exts/ParseMonad.hs:361:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical (>>) definition detected
in the instance declaration for Monad (Lex r).
(>>) will eventually be removed in favour of (*>)
Suggested fix:
Either remove definition for (>>) (recommended) or define as (>>) = (*>)
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
361 | Lex v >> Lex w = Lex $ \k -> v (\_ -> w k)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Language/Haskell/Exts/ParseMonad.hs:378:32: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding: Patterns of type [Char] not matched: []
|
378 | -> let (newCh:rest)= if n > 0 then drop (n-1) r else (ch:r)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Language/Haskell/Exts/ParseMonad.hs:399:29: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a lambda abstraction:
Patterns of type [Char], Int not matched: [] _
|
399 | lexTab = Lex $ \cont -> P $ \(_:r) x -> runP (cont ()) r (nextTab x)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[10 of 18] Compiling Language.Haskell.Exts.ParseUtils ( src/Language/Haskell/Exts/ParseUtils.hs, dist/build/Language/Haskell/Exts/ParseUtils.o, dist/build/Language/Haskell/Exts/ParseUtils.dyn_o )
src/Language/Haskell/Exts/ParseUtils.hs:839:43: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding: Patterns of type [Pat L] not matched: []
|
839 | else let (a:bs) = ps
| ^^^^^^^^^^^
src/Language/Haskell/Exts/ParseUtils.hs:871:44: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type [SrcSpan] not matched:
[]
[_]
(_:_:_:_)
|
871 | let [x,y] = srcInfoPoints l
| ^^^^^^^^^^^^^^^^^^^^^^^
src/Language/Haskell/Exts/ParseUtils.hs:921:7: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding: Patterns of type [SrcSpan] not matched: []
|
921 | let (b:_) = srcInfoPoints loc in return (name,typ,b)
| ^^^^^^^^^^^^^^^^^^^^^^^^^
src/Language/Haskell/Exts/ParseUtils.hs:1310:17: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a lambda abstraction:
Patterns of type (Int, Either SrcSpan (CName L)) not matched:
(_, (Right _))
|
1310 | (\(n,Left s) -> EWildcard (noInfoSpan s) n)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[11 of 18] Compiling Language.Haskell.Exts.InternalLexer ( src/Language/Haskell/Exts/InternalLexer.hs, dist/build/Language/Haskell/Exts/InternalLexer.o, dist/build/Language/Haskell/Exts/InternalLexer.dyn_o )
src/Language/Haskell/Exts/InternalLexer.hs:382:18: 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."
|
382 | if null s || head s /= c then fail msg else discard 1
| ^^^^
src/Language/Haskell/Exts/InternalLexer.hs:1084:32: 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."
|
1084 | not (isHSymbol $ head cs) &&
| ^^^^
src/Language/Haskell/Exts/InternalLexer.hs:1085:30: 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."
|
1085 | not (isIdent $ head cs) && MagicHash `elem` exts -> do
| ^^^^
[12 of 18] Compiling Language.Haskell.Exts.Lexer ( src/Language/Haskell/Exts/Lexer.hs, dist/build/Language/Haskell/Exts/Lexer.o, dist/build/Language/Haskell/Exts/Lexer.dyn_o )
[13 of 18] Compiling Language.Haskell.Exts.InternalParser ( dist/build/Language/Haskell/Exts/InternalParser.hs, dist/build/Language/Haskell/Exts/InternalParser.o, dist/build/Language/Haskell/Exts/InternalParser.dyn_o )
[14 of 18] Compiling Language.Haskell.Exts.Parser ( src/Language/Haskell/Exts/Parser.hs, dist/build/Language/Haskell/Exts/Parser.o, dist/build/Language/Haskell/Exts/Parser.dyn_o )
[15 of 18] Compiling Language.Haskell.Exts.ExactPrint ( src/Language/Haskell/Exts/ExactPrint.hs, dist/build/Language/Haskell/Exts/ExactPrint.o, dist/build/Language/Haskell/Exts/ExactPrint.dyn_o )
src/Language/Haskell/Exts/ExactPrint.hs:50:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative EP.
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
50 | pure = return
| ^^^^^^^^^^^^^
src/Language/Haskell/Exts/ExactPrint.hs:54:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad EP.
return will eventually be removed in favour of pure
Suggested fix:
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
54 | return x = EP $ \l cs -> (x, l, cs, id)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Language/Haskell/Exts/ExactPrint.hs:381:18: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding: Patterns of type [SrcSpan] not matched: []
|
381 | let (x:pts') = pts
| ^^^^^^^^^^^^^^
src/Language/Haskell/Exts/ExactPrint.hs:635:45: 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."
|
635 | maybeEP (\kd -> printStringAt (pos (head (srcInfoPoints l))) "::" >> exactPC kd) mk
| ^^^^
src/Language/Haskell/Exts/ExactPrint.hs:702:21: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding: Patterns of type [SrcSpan] not matched: []
|
702 | let (p:pts') = pts
| ^^^^^^^^^^^^^^
src/Language/Haskell/Exts/ExactPrint.hs:741:13: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding: Patterns of type [SrcSpan] not matched: []
|
741 | let (pat:pts) = srcInfoPoints l
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Language/Haskell/Exts/ExactPrint.hs:762:45: 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."
|
762 | maybeEP (\bs -> printStringAt (pos (head pts)) "where" >> exactPC bs) mbs
| ^^^^
src/Language/Haskell/Exts/ExactPrint.hs:1207:26: 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."
|
1207 | [] -> exactPC $ head ihs
| ^^^^
src/Language/Haskell/Exts/ExactPrint.hs:1231:49: 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."
|
1231 | maybeEP (\kd -> printStringAt (pos (head pts)) "::" >> exactPC kd) mk
| ^^^^
src/Language/Haskell/Exts/ExactPrint.hs:1745:13: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding: Patterns of type [SrcSpan] not matched: []
|
1745 | let (opt:pts) = srcInfoPoints l
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Language/Haskell/Exts/ExactPrint.hs:1855:41: 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."
|
1855 | maybeEP (\bs -> printStringAt (pos (head (srcInfoPoints l))) "where" >> exactPC bs) mbs
| ^^^^
src/Language/Haskell/Exts/ExactPrint.hs:1868:42: 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."
|
1868 | maybeEP (\bds -> printStringAt (pos (head pts)) "where" >> exactPC bds) mbinds
| ^^^^
src/Language/Haskell/Exts/ExactPrint.hs:1880:42: 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."
|
1880 | maybeEP (\bds -> printStringAt (pos (head whPt)) "where" >> exactPC bds) mbinds
| ^^^^
[16 of 18] Compiling Language.Haskell.Exts.Build ( src/Language/Haskell/Exts/Build.hs, dist/build/Language/Haskell/Exts/Build.o, dist/build/Language/Haskell/Exts/Build.dyn_o )
[17 of 18] Compiling Language.Preprocessor.Unlit ( src/Language/Preprocessor/Unlit.hs, dist/build/Language/Preprocessor/Unlit.o, dist/build/Language/Preprocessor/Unlit.dyn_o )
src/Language/Preprocessor/Unlit.hs:17:25: warning: [GHC-63397] [-Wname-shadowing]
This binding for x shadows the existing binding
bound at src/Language/Preprocessor/Unlit.hs:14:17
|
17 | allProg (('\\':x):xs) | "end{code}"`isPrefixOf`x = Blank : classify xs
| ^
src/Language/Preprocessor/Unlit.hs:17:28: warning: [GHC-63397] [-Wname-shadowing]
This binding for xs shadows the existing binding
bound at src/Language/Preprocessor/Unlit.hs:14:20
|
17 | allProg (('\\':x):xs) | "end{code}"`isPrefixOf`x = Blank : classify xs
| ^^
src/Language/Preprocessor/Unlit.hs:18:19: warning: [GHC-63397] [-Wname-shadowing]
This binding for x shadows the existing binding
bound at src/Language/Preprocessor/Unlit.hs:14:17
|
18 | allProg (x:xs) = Program x:allProg xs
| ^
src/Language/Preprocessor/Unlit.hs:18:21: warning: [GHC-63397] [-Wname-shadowing]
This binding for xs shadows the existing binding
bound at src/Language/Preprocessor/Unlit.hs:14:20
|
18 | allProg (x:xs) = Program x:allProg xs
| ^^
src/Language/Preprocessor/Unlit.hs:27:11: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: x
|
27 | classify (x:xs) = Comment:classify xs
| ^
src/Language/Preprocessor/Unlit.hs:46:17: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: y
|
46 | adjacent file n y@(Program _) (x@Comment :xs) = error (message file n "program" "comment")
| ^
src/Language/Preprocessor/Unlit.hs:46:32: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: x
|
46 | adjacent file n y@(Program _) (x@Comment :xs) = error (message file n "program" "comment")
| ^
src/Language/Preprocessor/Unlit.hs:46:48: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: xs
|
46 | adjacent file n y@(Program _) (x@Comment :xs) = error (message file n "program" "comment")
| ^^
src/Language/Preprocessor/Unlit.hs:47:10: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: file
|
47 | adjacent file n y@(Program _) (x@(Include i f):xs) = x: adjacent f i y xs
| ^^^^
src/Language/Preprocessor/Unlit.hs:47:15: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: n
|
47 | adjacent file n y@(Program _) (x@(Include i f):xs) = x: adjacent f i y xs
| ^
src/Language/Preprocessor/Unlit.hs:49:17: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: y
|
49 | adjacent file n y@Comment (x@(Program _) :xs) = error (message file n "comment" "program")
| ^
src/Language/Preprocessor/Unlit.hs:49:32: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: x
|
49 | adjacent file n y@Comment (x@(Program _) :xs) = error (message file n "comment" "program")
| ^
src/Language/Preprocessor/Unlit.hs:49:48: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: xs
|
49 | adjacent file n y@Comment (x@(Program _) :xs) = error (message file n "comment" "program")
| ^^
src/Language/Preprocessor/Unlit.hs:50:10: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: file
|
50 | adjacent file n y@Comment (x@(Include i f):xs) = x: adjacent f i y xs
| ^^^^
src/Language/Preprocessor/Unlit.hs:50:15: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: n
|
50 | adjacent file n y@Comment (x@(Include i f):xs) = x: adjacent f i y xs
| ^
src/Language/Preprocessor/Unlit.hs:52:10: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: file
|
52 | adjacent file n y@Blank (x@(Include i f):xs) = x: adjacent f i y xs
| ^^^^
src/Language/Preprocessor/Unlit.hs:52:15: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: n
|
52 | adjacent file n y@Blank (x@(Include i f):xs) = x: adjacent f i y xs
| ^
src/Language/Preprocessor/Unlit.hs:54:34: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: next
|
54 | adjacent file n _ (x@next :xs) = x: adjacent file (n+1) x xs
| ^^^^
src/Language/Preprocessor/Unlit.hs:55:10: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: file
|
55 | adjacent file n _ [] = []
| ^^^^
src/Language/Preprocessor/Unlit.hs:55:15: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: n
|
55 | adjacent file n _ [] = []
| ^
src/Language/Preprocessor/Unlit.hs:69:22: warning: [GHC-63397] [-Wname-shadowing]
This binding for s shadows the existing binding
bound at src/Language/Preprocessor/Unlit.hs:66:9
|
69 | lines' ('\^M':'\n':s) acc = acc [] : lines' s id -- DOS
| ^
src/Language/Preprocessor/Unlit.hs:70:17: warning: [GHC-63397] [-Wname-shadowing]
This binding for s shadows the existing binding
bound at src/Language/Preprocessor/Unlit.hs:66:9
|
70 | lines' ('\^M':s) acc = acc [] : lines' s id -- MacOS
| ^
src/Language/Preprocessor/Unlit.hs:71:16: warning: [GHC-63397] [-Wname-shadowing]
This binding for s shadows the existing binding
bound at src/Language/Preprocessor/Unlit.hs:66:9
|
71 | lines' ('\n':s) acc = acc [] : lines' s id -- Unix
| ^
src/Language/Preprocessor/Unlit.hs:72:13: warning: [GHC-63397] [-Wname-shadowing]
This binding for s shadows the existing binding
bound at src/Language/Preprocessor/Unlit.hs:66:9
|
72 | lines' (c:s) acc = lines' s (acc . (c:))
| ^
[18 of 18] Compiling Language.Haskell.Exts ( src/Language/Haskell/Exts.hs, dist/build/Language/Haskell/Exts.o, dist/build/Language/Haskell/Exts.dyn_o )
Preprocessing library for haskell-src-exts-1.21.1..
Running Haddock on library for haskell-src-exts-1.21.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 18] Compiling Language.Haskell.Exts.Extension ( src/Language/Haskell/Exts/Extension.hs, nothing )
src/Language/Haskell/Exts/Extension.hs:686:8: 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."
|
686 | [ (head str, (str, extension))
| ^^^^
[ 2 of 18] Compiling Language.Haskell.Exts.ExtScheme ( src/Language/Haskell/Exts/ExtScheme.hs, nothing )
[ 3 of 18] Compiling Language.Haskell.Exts.SrcLoc ( src/Language/Haskell/Exts/SrcLoc.hs, nothing )
[ 4 of 18] Compiling Language.Haskell.Exts.Syntax ( src/Language/Haskell/Exts/Syntax.hs, nothing )
[ 5 of 18] Compiling Language.Haskell.Exts.ParseSyntax ( src/Language/Haskell/Exts/ParseSyntax.hs, nothing )
[ 6 of 18] Compiling Language.Haskell.Exts.Pretty ( src/Language/Haskell/Exts/Pretty.hs, nothing )
src/Language/Haskell/Exts/Pretty.hs:119:9: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical (>>) definition detected
in the instance declaration for Monad (DocM s).
(>>) will eventually be removed in favour of (*>)
Suggested fix:
Either remove definition for (>>) (recommended) or define as (>>) = (*>)
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
119 | (>>) = then_DocM
| ^^^^^^^^^^^^^^^^
src/Language/Haskell/Exts/Pretty.hs:120:9: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (DocM s).
return will eventually be removed in favour of pure
Suggested fix:
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
120 | return = retDocM
| ^^^^^^^^^^^^^^^^
[ 7 of 18] Compiling Language.Haskell.Exts.Fixity ( src/Language/Haskell/Exts/Fixity.hs, nothing )
[ 8 of 18] Compiling Language.Haskell.Exts.Comments ( src/Language/Haskell/Exts/Comments.hs, nothing )
src/Language/Haskell/Exts/Comments.hs:146:40: 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."
|
146 | let end = srcSpanEnd $ srcInfoSpan $ head srcs
| ^^^^
[ 9 of 18] Compiling Language.Haskell.Exts.ParseMonad ( src/Language/Haskell/Exts/ParseMonad.hs, nothing )
src/Language/Haskell/Exts/ParseMonad.hs:51:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Semigroup is redundant
except perhaps to import instances from Data.Semigroup
To import instances alone, use: import Data.Semigroup()
|
51 | import Data.Semigroup (Semigroup(..))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Language/Haskell/Exts/ParseMonad.hs:99:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad ParseResult.
return will eventually be removed in favour of pure
Suggested fix:
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
99 | return = ParseOk
| ^^^^^^^^^^^^^^^^
src/Language/Haskell/Exts/ParseMonad.hs:243:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative P.
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
243 | pure = return
| ^^^^^^^^^^^^^
src/Language/Haskell/Exts/ParseMonad.hs:247:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad P.
return will eventually be removed in favour of pure
Suggested fix:
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
247 | return a = P $ \_i _x _y _l _ch s _m -> Ok s a
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Language/Haskell/Exts/ParseMonad.hs:277: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."
|
277 | removeSuffix l = reverse $ tail $ dropWhile ('.'/=) $ reverse l
| ^^^^
src/Language/Haskell/Exts/ParseMonad.hs:355:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (Lex r).
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
355 | pure = return
| ^^^^^^^^^^^^^
src/Language/Haskell/Exts/ParseMonad.hs:359:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (Lex r).
return will eventually be removed in favour of pure
Suggested fix:
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
359 | return a = Lex $ \k -> k a
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Language/Haskell/Exts/ParseMonad.hs:361:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical (>>) definition detected
in the instance declaration for Monad (Lex r).
(>>) will eventually be removed in favour of (*>)
Suggested fix:
Either remove definition for (>>) (recommended) or define as (>>) = (*>)
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
361 | Lex v >> Lex w = Lex $ \k -> v (\_ -> w k)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[10 of 18] Compiling Language.Haskell.Exts.ParseUtils ( src/Language/Haskell/Exts/ParseUtils.hs, nothing )
[11 of 18] Compiling Language.Haskell.Exts.InternalLexer ( src/Language/Haskell/Exts/InternalLexer.hs, nothing )
src/Language/Haskell/Exts/InternalLexer.hs:382:18: 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."
|
382 | if null s || head s /= c then fail msg else discard 1
| ^^^^
src/Language/Haskell/Exts/InternalLexer.hs:1084:32: 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."
|
1084 | not (isHSymbol $ head cs) &&
| ^^^^
src/Language/Haskell/Exts/InternalLexer.hs:1085:30: 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."
|
1085 | not (isIdent $ head cs) && MagicHash `elem` exts -> do
| ^^^^
[12 of 18] Compiling Language.Haskell.Exts.Lexer ( src/Language/Haskell/Exts/Lexer.hs, nothing )
[13 of 18] Compiling Language.Haskell.Exts.InternalParser ( dist/build/Language/Haskell/Exts/InternalParser.hs, nothing )
[14 of 18] Compiling Language.Haskell.Exts.Parser ( src/Language/Haskell/Exts/Parser.hs, nothing )
[15 of 18] Compiling Language.Haskell.Exts.ExactPrint ( src/Language/Haskell/Exts/ExactPrint.hs, nothing )
src/Language/Haskell/Exts/ExactPrint.hs:50:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative EP.
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
50 | pure = return
| ^^^^^^^^^^^^^
src/Language/Haskell/Exts/ExactPrint.hs:54:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad EP.
return will eventually be removed in favour of pure
Suggested fix:
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
54 | return x = EP $ \l cs -> (x, l, cs, id)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Language/Haskell/Exts/ExactPrint.hs:635:45: 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."
|
635 | maybeEP (\kd -> printStringAt (pos (head (srcInfoPoints l))) "::" >> exactPC kd) mk
| ^^^^
src/Language/Haskell/Exts/ExactPrint.hs:762:45: 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."
|
762 | maybeEP (\bs -> printStringAt (pos (head pts)) "where" >> exactPC bs) mbs
| ^^^^
src/Language/Haskell/Exts/ExactPrint.hs:1207:26: 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."
|
1207 | [] -> exactPC $ head ihs
| ^^^^
src/Language/Haskell/Exts/ExactPrint.hs:1231:49: 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."
|
1231 | maybeEP (\kd -> printStringAt (pos (head pts)) "::" >> exactPC kd) mk
| ^^^^
src/Language/Haskell/Exts/ExactPrint.hs:1855:41: 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."
|
1855 | maybeEP (\bs -> printStringAt (pos (head (srcInfoPoints l))) "where" >> exactPC bs) mbs
| ^^^^
src/Language/Haskell/Exts/ExactPrint.hs:1868:42: 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."
|
1868 | maybeEP (\bds -> printStringAt (pos (head pts)) "where" >> exactPC bds) mbinds
| ^^^^
src/Language/Haskell/Exts/ExactPrint.hs:1880:42: 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."
|
1880 | maybeEP (\bds -> printStringAt (pos (head whPt)) "where" >> exactPC bds) mbinds
| ^^^^
[16 of 18] Compiling Language.Haskell.Exts.Build ( src/Language/Haskell/Exts/Build.hs, nothing )
[17 of 18] Compiling Language.Preprocessor.Unlit ( src/Language/Preprocessor/Unlit.hs, nothing )
src/Language/Preprocessor/Unlit.hs:17:25: warning: [GHC-63397] [-Wname-shadowing]
This binding for x shadows the existing binding
bound at src/Language/Preprocessor/Unlit.hs:14:17
|
17 | allProg (('\\':x):xs) | "end{code}"`isPrefixOf`x = Blank : classify xs
| ^
src/Language/Preprocessor/Unlit.hs:17:28: warning: [GHC-63397] [-Wname-shadowing]
This binding for xs shadows the existing binding
bound at src/Language/Preprocessor/Unlit.hs:14:20
|
17 | allProg (('\\':x):xs) | "end{code}"`isPrefixOf`x = Blank : classify xs
| ^^
src/Language/Preprocessor/Unlit.hs:18:19: warning: [GHC-63397] [-Wname-shadowing]
This binding for x shadows the existing binding
bound at src/Language/Preprocessor/Unlit.hs:14:17
|
18 | allProg (x:xs) = Program x:allProg xs
| ^
src/Language/Preprocessor/Unlit.hs:18:21: warning: [GHC-63397] [-Wname-shadowing]
This binding for xs shadows the existing binding
bound at src/Language/Preprocessor/Unlit.hs:14:20
|
18 | allProg (x:xs) = Program x:allProg xs
| ^^
src/Language/Preprocessor/Unlit.hs:27:11: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: x
|
27 | classify (x:xs) = Comment:classify xs
| ^
src/Language/Preprocessor/Unlit.hs:46:17: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: y
|
46 | adjacent file n y@(Program _) (x@Comment :xs) = error (message file n "program" "comment")
| ^
src/Language/Preprocessor/Unlit.hs:46:32: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: x
|
46 | adjacent file n y@(Program _) (x@Comment :xs) = error (message file n "program" "comment")
| ^
src/Language/Preprocessor/Unlit.hs:46:48: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: xs
|
46 | adjacent file n y@(Program _) (x@Comment :xs) = error (message file n "program" "comment")
| ^^
src/Language/Preprocessor/Unlit.hs:47:10: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: file
|
47 | adjacent file n y@(Program _) (x@(Include i f):xs) = x: adjacent f i y xs
| ^^^^
src/Language/Preprocessor/Unlit.hs:47:15: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: n
|
47 | adjacent file n y@(Program _) (x@(Include i f):xs) = x: adjacent f i y xs
| ^
src/Language/Preprocessor/Unlit.hs:49:17: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: y
|
49 | adjacent file n y@Comment (x@(Program _) :xs) = error (message file n "comment" "program")
| ^
src/Language/Preprocessor/Unlit.hs:49:32: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: x
|
49 | adjacent file n y@Comment (x@(Program _) :xs) = error (message file n "comment" "program")
| ^
src/Language/Preprocessor/Unlit.hs:49:48: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: xs
|
49 | adjacent file n y@Comment (x@(Program _) :xs) = error (message file n "comment" "program")
| ^^
src/Language/Preprocessor/Unlit.hs:50:10: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: file
|
50 | adjacent file n y@Comment (x@(Include i f):xs) = x: adjacent f i y xs
| ^^^^
src/Language/Preprocessor/Unlit.hs:50:15: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: n
|
50 | adjacent file n y@Comment (x@(Include i f):xs) = x: adjacent f i y xs
| ^
src/Language/Preprocessor/Unlit.hs:52:10: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: file
|
52 | adjacent file n y@Blank (x@(Include i f):xs) = x: adjacent f i y xs
| ^^^^
src/Language/Preprocessor/Unlit.hs:52:15: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: n
|
52 | adjacent file n y@Blank (x@(Include i f):xs) = x: adjacent f i y xs
| ^
src/Language/Preprocessor/Unlit.hs:54:34: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: next
|
54 | adjacent file n _ (x@next :xs) = x: adjacent file (n+1) x xs
| ^^^^
src/Language/Preprocessor/Unlit.hs:55:10: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: file
|
55 | adjacent file n _ [] = []
| ^^^^
src/Language/Preprocessor/Unlit.hs:55:15: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: n
|
55 | adjacent file n _ [] = []
| ^
src/Language/Preprocessor/Unlit.hs:69:22: warning: [GHC-63397] [-Wname-shadowing]
This binding for s shadows the existing binding
bound at src/Language/Preprocessor/Unlit.hs:66:9
|
69 | lines' ('\^M':'\n':s) acc = acc [] : lines' s id -- DOS
| ^
src/Language/Preprocessor/Unlit.hs:70:17: warning: [GHC-63397] [-Wname-shadowing]
This binding for s shadows the existing binding
bound at src/Language/Preprocessor/Unlit.hs:66:9
|
70 | lines' ('\^M':s) acc = acc [] : lines' s id -- MacOS
| ^
src/Language/Preprocessor/Unlit.hs:71:16: warning: [GHC-63397] [-Wname-shadowing]
This binding for s shadows the existing binding
bound at src/Language/Preprocessor/Unlit.hs:66:9
|
71 | lines' ('\n':s) acc = acc [] : lines' s id -- Unix
| ^
src/Language/Preprocessor/Unlit.hs:72:13: warning: [GHC-63397] [-Wname-shadowing]
This binding for s shadows the existing binding
bound at src/Language/Preprocessor/Unlit.hs:66:9
|
72 | lines' (c:s) acc = lines' s (acc . (c:))
| ^
[18 of 18] Compiling Language.Haskell.Exts ( src/Language/Haskell/Exts.hs, nothing )
Haddock coverage:
Warning: 'capi' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
65% ( 13 / 20) in 'Language.Haskell.Exts.Extension'
Missing documentation for:
Language (src/Language/Haskell/Exts/Extension.hs:86)
knownLanguages (src/Language/Haskell/Exts/Extension.hs:106)
classifyLanguage (src/Language/Haskell/Exts/Extension.hs:109)
prettyLanguage (src/Language/Haskell/Exts/Extension.hs:115)
KnownExtension (src/Language/Haskell/Exts/Extension.hs:135)
ghcDefault (src/Language/Haskell/Exts/Extension.hs:643)
toExtensionList (src/Language/Haskell/Exts/Extension.hs:722)
Warning: 'SrcSpanInfo' is ambiguous. It is defined
* at src/Language/Haskell/Exts/SrcLoc.hs:94:20
* at src/Language/Haskell/Exts/SrcLoc.hs:94: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/Language/Haskell/Exts/SrcLoc.hs:94:1
Warning: 'SrcSpan' is ambiguous. It is defined
* at src/Language/Haskell/Exts/SrcLoc.hs:38:16
* at src/Language/Haskell/Exts/SrcLoc.hs:38: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/Language/Haskell/Exts/SrcLoc.hs:38:1
Warning: 'SrcInfoSpan' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
91% ( 21 / 23) in 'Language.Haskell.Exts.SrcLoc'
Missing documentation for:
noLoc (src/Language/Haskell/Exts/SrcLoc.hs:35)
spanSize (src/Language/Haskell/Exts/SrcLoc.hs:83)
Warning: 'forall' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'FieldDecl' is ambiguous. It is defined
* at src/Language/Haskell/Exts/Syntax.hs:542:20
* at src/Language/Haskell/Exts/Syntax.hs:542: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/Language/Haskell/Exts/Syntax.hs:542:1
65% ( 99 /152) in 'Language.Haskell.Exts.Syntax'
Missing documentation for:
PatternSynDirection (src/Language/Haskell/Exts/Syntax.hs:344)
ResultSig (src/Language/Haskell/Exts/Syntax.hs:387)
Unpackedness (src/Language/Haskell/Exts/Syntax.hs:603)
Role (src/Language/Haskell/Exts/Syntax.hs:371)
MaybePromotedName (src/Language/Haskell/Exts/Syntax.hs:653)
prelude_mod (src/Language/Haskell/Exts/Syntax.hs:1011)
main_mod (src/Language/Haskell/Exts/Syntax.hs:1012)
main_name (src/Language/Haskell/Exts/Syntax.hs:1015)
unit_con_name (src/Language/Haskell/Exts/Syntax.hs:1018)
tuple_con_name (src/Language/Haskell/Exts/Syntax.hs:1021)
list_con_name (src/Language/Haskell/Exts/Syntax.hs:1024)
list_cons_name (src/Language/Haskell/Exts/Syntax.hs:1027)
unboxed_singleton_con_name (src/Language/Haskell/Exts/Syntax.hs:1030)
unit_con (src/Language/Haskell/Exts/Syntax.hs:1033)
tuple_con (src/Language/Haskell/Exts/Syntax.hs:1036)
unboxed_singleton_con (src/Language/Haskell/Exts/Syntax.hs:1039)
as_name (src/Language/Haskell/Exts/Syntax.hs:1042)
qualified_name (src/Language/Haskell/Exts/Syntax.hs:1043)
hiding_name (src/Language/Haskell/Exts/Syntax.hs:1044)
minus_name (src/Language/Haskell/Exts/Syntax.hs:1045)
bang_name (src/Language/Haskell/Exts/Syntax.hs:1046)
dot_name (src/Language/Haskell/Exts/Syntax.hs:1047)
star_name (src/Language/Haskell/Exts/Syntax.hs:1048)
export_name (src/Language/Haskell/Exts/Syntax.hs:1057)
safe_name (src/Language/Haskell/Exts/Syntax.hs:1058)
unsafe_name (src/Language/Haskell/Exts/Syntax.hs:1059)
interruptible_name (src/Language/Haskell/Exts/Syntax.hs:1060)
threadsafe_name (src/Language/Haskell/Exts/Syntax.hs:1061)
stdcall_name (src/Language/Haskell/Exts/Syntax.hs:1062)
ccall_name (src/Language/Haskell/Exts/Syntax.hs:1063)
cplusplus_name (src/Language/Haskell/Exts/Syntax.hs:1064)
dotnet_name (src/Language/Haskell/Exts/Syntax.hs:1065)
jvm_name (src/Language/Haskell/Exts/Syntax.hs:1066)
js_name (src/Language/Haskell/Exts/Syntax.hs:1067)
javascript_name (src/Language/Haskell/Exts/Syntax.hs:1068)
capi_name (src/Language/Haskell/Exts/Syntax.hs:1069)
forall_name (src/Language/Haskell/Exts/Syntax.hs:1070)
family_name (src/Language/Haskell/Exts/Syntax.hs:1071)
role_name (src/Language/Haskell/Exts/Syntax.hs:1072)
hole_name (src/Language/Haskell/Exts/Syntax.hs:1051)
stock_name (src/Language/Haskell/Exts/Syntax.hs:1073)
anyclass_name (src/Language/Haskell/Exts/Syntax.hs:1074)
via_name (src/Language/Haskell/Exts/Syntax.hs:1075)
unit_tycon_name (src/Language/Haskell/Exts/Syntax.hs:1078)
fun_tycon_name (src/Language/Haskell/Exts/Syntax.hs:1079)
list_tycon_name (src/Language/Haskell/Exts/Syntax.hs:1080)
tuple_tycon_name (src/Language/Haskell/Exts/Syntax.hs:1084)
unboxed_singleton_tycon_name (src/Language/Haskell/Exts/Syntax.hs:1081)
unit_tycon (src/Language/Haskell/Exts/Syntax.hs:1087)
fun_tycon (src/Language/Haskell/Exts/Syntax.hs:1088)
list_tycon (src/Language/Haskell/Exts/Syntax.hs:1089)
tuple_tycon (src/Language/Haskell/Exts/Syntax.hs:1093)
unboxed_singleton_tycon (src/Language/Haskell/Exts/Syntax.hs:1090)
Warning: 'PPHsMode' is ambiguous. It is defined
* at src/Language/Haskell/Exts/Pretty.hs:63:17
* at src/Language/Haskell/Exts/Pretty.hs:63: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/Language/Haskell/Exts/Pretty.hs:63:1
94% ( 17 / 18) in 'Language.Haskell.Exts.Pretty'
Missing documentation for:
Indent (src/Language/Haskell/Exts/Pretty.hs:58)
75% ( 9 / 12) in 'Language.Haskell.Exts.Fixity'
Missing documentation for:
infix_ (src/Language/Haskell/Exts/Fixity.hs:188)
infixl_ (src/Language/Haskell/Exts/Fixity.hs:187)
infixr_ (src/Language/Haskell/Exts/Fixity.hs:186)
Warning: 'Module' is ambiguous. It is defined
* at src/Language/Haskell/Exts/Syntax.hs:187:7
* at src/Language/Haskell/Exts/Syntax.hs:186: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/Language/Haskell/Exts/Syntax.hs:186:1
Warning: 'SrcSpanInfo' is ambiguous. It is defined
* at src/Language/Haskell/Exts/SrcLoc.hs:94:20
* at src/Language/Haskell/Exts/SrcLoc.hs:94: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/Language/Haskell/Exts/SrcLoc.hs:94:1
Warning: 'Comment' is ambiguous. It is defined
* at src/Language/Haskell/Exts/Comments.hs:52:16
* at src/Language/Haskell/Exts/Comments.hs:52: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/Language/Haskell/Exts/Comments.hs:52:1
100% ( 4 / 4) in 'Language.Haskell.Exts.Comments'
Warning: 'ParseMode' is ambiguous. It is defined
* at src/Language/Haskell/Exts/ParseMonad.hs:145:18
* at src/Language/Haskell/Exts/ParseMonad.hs:145: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/Language/Haskell/Exts/ParseMonad.hs:145:1
Warning: 'Prelude' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
66% ( 4 / 6) in 'Language.Haskell.Exts.Lexer'
Missing documentation for:
Token (src/Language/Haskell/Exts/InternalLexer.hs:37)
showToken (src/Language/Haskell/Exts/InternalLexer.hs:1292)
Warning: 'SrcSpanInfo' is ambiguous. It is defined
* at src/Language/Haskell/Exts/SrcLoc.hs:94:20
* at src/Language/Haskell/Exts/SrcLoc.hs:94: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/Language/Haskell/Exts/SrcLoc.hs:94:1
Warning: 'ParseMode' is ambiguous. It is defined
* at src/Language/Haskell/Exts/ParseMonad.hs:145:18
* at src/Language/Haskell/Exts/ParseMonad.hs:145: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/Language/Haskell/Exts/ParseMonad.hs:145:1
93% ( 42 / 45) in 'Language.Haskell.Exts.Parser'
Missing documentation for:
unListOf (src/Language/Haskell/Exts/Parser.hs:250)
PragmasAndModuleHead (src/Language/Haskell/Exts/Parser.hs:192)
ModuleHeadAndImports (src/Language/Haskell/Exts/Parser.hs:212)
66% ( 2 / 3) in 'Language.Haskell.Exts.ExactPrint'
Missing documentation for:
ExactP (src/Language/Haskell/Exts/ExactPrint.hs:224)
100% ( 49 / 49) in 'Language.Haskell.Exts.Build'
88% ( 23 / 26) in 'Language.Haskell.Exts'
Missing documentation for:
Token (src/Language/Haskell/Exts/InternalLexer.hs:37)
parseFileWithComments (src/Language/Haskell/Exts.hs:75)
parseFileContentsWithComments (src/Language/Haskell/Exts.hs:116)
Warning: Language.Haskell.Exts.SrcLoc: could not find link destinations for:
- Language.Haskell.Exts.SrcLoc.Rep_SrcSpanInfo
- Language.Haskell.Exts.SrcLoc.Rep_Loc
- Language.Haskell.Exts.SrcLoc.Rep_SrcSpan
- Language.Haskell.Exts.SrcLoc.Rep_SrcLoc
- Language.Haskell.Exts.Pretty.pretty
- Language.Haskell.Exts.Pretty.prettyPrec
- Language.Haskell.Exts.Pretty.Doc
- Language.Haskell.Exts.ParseMonad.P
- Language.Haskell.Exts.ParseMonad.parser
Warning: Language.Haskell.Exts.Syntax: could not find link destinations for:
- Language.Haskell.Exts.Syntax.Rep_Module
- Language.Haskell.Exts.Syntax.Rep_ModulePragma
- Language.Haskell.Exts.Syntax.Rep_Alt
- Language.Haskell.Exts.Syntax.Rep_Pat
- Language.Haskell.Exts.Syntax.Rep_PatField
- Language.Haskell.Exts.Syntax.Rep_RPat
- Language.Haskell.Exts.Syntax.Rep_Stmt
- Language.Haskell.Exts.Syntax.Rep_Exp
- Language.Haskell.Exts.Syntax.Rep_FieldUpdate
- Language.Haskell.Exts.Syntax.Rep_QualStmt
- Language.Haskell.Exts.Syntax.Rep_Splice
- Language.Haskell.Exts.Syntax.Rep_Bracket
- Language.Haskell.Exts.Syntax.Rep_Type
- Language.Haskell.Exts.Syntax.Rep_Context
- Language.Haskell.Exts.Syntax.Rep_Asst
- Language.Haskell.Exts.Syntax.Rep_TyVarBind
- Language.Haskell.Exts.Syntax.Rep_Promoted
- Language.Haskell.Exts.Syntax.Rep_Decl
- Language.Haskell.Exts.Syntax.Rep_Rule
- Language.Haskell.Exts.Syntax.Rep_RuleVar
- Language.Haskell.Exts.Syntax.Rep_Rhs
- Language.Haskell.Exts.Syntax.Rep_GuardedRhs
- Language.Haskell.Exts.Syntax.Rep_InstDecl
- Language.Haskell.Exts.Syntax.Rep_GadtDecl
- Language.Haskell.Exts.Syntax.Rep_FieldDecl
- Language.Haskell.Exts.Syntax.Rep_QualConDecl
- Language.Haskell.Exts.Syntax.Rep_ConDecl
- Language.Haskell.Exts.Syntax.Rep_Deriving
- Language.Haskell.Exts.Syntax.Rep_DerivStrategy
- Language.Haskell.Exts.Syntax.Rep_InstRule
- Language.Haskell.Exts.Syntax.Rep_InstHead
- Language.Haskell.Exts.Syntax.Rep_ClassDecl
- Language.Haskell.Exts.Syntax.Rep_DeclHead
- Language.Haskell.Exts.Syntax.Rep_ResultSig
- Language.Haskell.Exts.Syntax.Rep_TypeEqn
- Language.Haskell.Exts.Syntax.Rep_Match
- Language.Haskell.Exts.Syntax.Rep_Binds
- Language.Haskell.Exts.Syntax.Rep_IPBind
- Language.Haskell.Exts.Syntax.Rep_Annotation
- Language.Haskell.Exts.Syntax.Rep_PatternSynDirection
- Language.Haskell.Exts.Syntax.Rep_XAttr
- Language.Haskell.Exts.Syntax.Rep_PXAttr
- Language.Haskell.Exts.Syntax.Rep_RPatOp
- Language.Haskell.Exts.Syntax.Rep_ModuleHead
- Language.Haskell.Exts.Syntax.Rep_WarningText
- Language.Haskell.Exts.Syntax.Rep_Activation
- Language.Haskell.Exts.Syntax.Rep_Overlap
- Language.Haskell.Exts.Syntax.Rep_Tool
- Language.Haskell.Exts.Syntax.Rep_CallConv
- Language.Haskell.Exts.Syntax.Rep_Safety
- Language.Haskell.Exts.Syntax.Rep_XName
- Language.Haskell.Exts.Syntax.Rep_Sign
- Language.Haskell.Exts.Syntax.Rep_Literal
- Language.Haskell.Exts.Syntax.Rep_FunDep
- Language.Haskell.Exts.Syntax.Rep_QOp
- Language.Haskell.Exts.Syntax.Rep_ExportSpecList
- Language.Haskell.Exts.Syntax.Rep_ExportSpec
- Language.Haskell.Exts.Syntax.Rep_MaybePromotedName
- Language.Haskell.Exts.Syntax.Rep_QName
- Language.Haskell.Exts.Syntax.Rep_SpecialCon
- Language.Haskell.Exts.Syntax.Rep_Boxed
- Language.Haskell.Exts.Syntax.Rep_Unpackedness
- Language.Haskell.Exts.Syntax.Rep_BangType
- Language.Haskell.Exts.Syntax.Rep_InjectivityInfo
- Language.Haskell.Exts.Syntax.Rep_DataOrNew
- Language.Haskell.Exts.Syntax.Rep_Role
- Language.Haskell.Exts.Syntax.Rep_BooleanFormula
- Language.Haskell.Exts.Syntax.Rep_Assoc
- Language.Haskell.Exts.Syntax.Rep_ImportDecl
- Language.Haskell.Exts.Syntax.Rep_ImportSpecList
- Language.Haskell.Exts.Syntax.Rep_ImportSpec
- Language.Haskell.Exts.Syntax.Rep_Namespace
- Language.Haskell.Exts.Syntax.Rep_EWildcard
- Language.Haskell.Exts.Syntax.Rep_CName
- Language.Haskell.Exts.Syntax.Rep_Op
- Language.Haskell.Exts.Syntax.Rep_IPName
- Language.Haskell.Exts.Syntax.Rep_Name
- Language.Haskell.Exts.Syntax.Rep_ModuleName
- Language.Haskell.Exts.Pretty.pretty
- Language.Haskell.Exts.Pretty.prettyPrec
- Language.Haskell.Exts.Pretty.Doc
- Language.Haskell.Exts.ParseMonad.P
- Language.Haskell.Exts.ParseMonad.parser
- Language.Haskell.Exts.ExactPrint.exactP
- Language.Haskell.Exts.ExactPrint.EP
Warning: Language.Haskell.Exts.Pretty: could not find link destinations for:
- Text.PrettyPrint.Annotated.HughesPJ.Rep_Mode
- Text.PrettyPrint.Annotated.HughesPJ.Rep_Style
- Language.Haskell.Exts.Pretty.pretty
- Language.Haskell.Exts.Pretty.prettyPrec
- Language.Haskell.Exts.Pretty.Doc
Warning: Language.Haskell.Exts.Lexer: could not find link destinations for:
- Language.Haskell.Exts.SrcLoc.Rep_Loc
Warning: Language.Haskell.Exts.Parser: could not find link destinations for:
- Language.Haskell.Exts.ParseMonad.P
- Language.Haskell.Exts.ParseMonad.parser
Warning: Language.Haskell.Exts.ExactPrint: could not find link destinations for:
- Language.Haskell.Exts.ExactPrint.exactP
- Language.Haskell.Exts.ExactPrint.EP
Documentation created: dist/doc/html/haskell-src-exts/,
dist/doc/html/haskell-src-exts/haskell-src-exts.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/haskell-src-exts-1.21.1-1cMtMpPvDFqLHyHR9PgdrJ
Completed haskell-src-exts-1.21.1
Configuring prettyprinter-1.7.1...
Preprocessing library for prettyprinter-1.7.1..
Building library for prettyprinter-1.7.1..
[ 1 of 28] Compiling Prettyprinter.Render.Util.Panic ( src/Prettyprinter/Render/Util/Panic.hs, dist/build/Prettyprinter/Render/Util/Panic.o, dist/build/Prettyprinter/Render/Util/Panic.dyn_o )
[ 2 of 28] Compiling Prettyprinter.Internal ( src/Prettyprinter/Internal.hs, dist/build/Prettyprinter/Internal.o, dist/build/Prettyprinter/Internal.dyn_o )
[ 3 of 28] Compiling Prettyprinter.Render.String ( src/Prettyprinter/Render/String.hs, dist/build/Prettyprinter/Render/String.o, dist/build/Prettyprinter/Render/String.dyn_o )
[ 4 of 28] Compiling Data.Text.Prettyprint.Doc.Render.String ( src/Data/Text/Prettyprint/Doc/Render/String.hs, dist/build/Data/Text/Prettyprint/Doc/Render/String.o, dist/build/Data/Text/Prettyprint/Doc/Render/String.dyn_o )
[ 5 of 28] Compiling Prettyprinter.Internal.Type ( src/Prettyprinter/Internal/Type.hs, dist/build/Prettyprinter/Internal/Type.o, dist/build/Prettyprinter/Internal/Type.dyn_o )
[ 6 of 28] Compiling Data.Text.Prettyprint.Doc.Internal.Type ( src/Data/Text/Prettyprint/Doc/Internal/Type.hs, dist/build/Data/Text/Prettyprint/Doc/Internal/Type.o, dist/build/Data/Text/Prettyprint/Doc/Internal/Type.dyn_o )
[ 7 of 28] Compiling Prettyprinter.Internal.Debug ( src/Prettyprinter/Internal/Debug.hs, dist/build/Prettyprinter/Internal/Debug.o, dist/build/Prettyprinter/Internal/Debug.dyn_o )
[ 8 of 28] Compiling Data.Text.Prettyprint.Doc.Internal.Debug ( src/Data/Text/Prettyprint/Doc/Internal/Debug.hs, dist/build/Data/Text/Prettyprint/Doc/Internal/Debug.o, dist/build/Data/Text/Prettyprint/Doc/Internal/Debug.dyn_o )
[ 9 of 28] Compiling Data.Text.Prettyprint.Doc.Internal ( src/Data/Text/Prettyprint/Doc/Internal.hs, dist/build/Data/Text/Prettyprint/Doc/Internal.o, dist/build/Data/Text/Prettyprint/Doc/Internal.dyn_o )
[10 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Util.Panic ( src/Data/Text/Prettyprint/Doc/Render/Util/Panic.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Util/Panic.o, dist/build/Data/Text/Prettyprint/Doc/Render/Util/Panic.dyn_o )
[11 of 28] Compiling Prettyprinter.Render.Util.StackMachine ( src/Prettyprinter/Render/Util/StackMachine.hs, dist/build/Prettyprinter/Render/Util/StackMachine.o, dist/build/Prettyprinter/Render/Util/StackMachine.dyn_o )
src/Prettyprinter/Render/Util/StackMachine.hs:34:1: warning: [GHC-66111] [-Wunused-imports]
The import of Control.Applicative is redundant
except perhaps to import instances from Control.Applicative
To import instances alone, use: import Control.Applicative()
|
34 | import Control.Applicative
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[12 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Util.StackMachine ( src/Data/Text/Prettyprint/Doc/Render/Util/StackMachine.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Util/StackMachine.o, dist/build/Data/Text/Prettyprint/Doc/Render/Util/StackMachine.dyn_o )
[13 of 28] Compiling Prettyprinter.Symbols.Ascii ( src/Prettyprinter/Symbols/Ascii.hs, dist/build/Prettyprinter/Symbols/Ascii.o, dist/build/Prettyprinter/Symbols/Ascii.dyn_o )
[14 of 28] Compiling Prettyprinter ( src/Prettyprinter.hs, dist/build/Prettyprinter.o, dist/build/Prettyprinter.dyn_o )
[15 of 28] Compiling Prettyprinter.Render.Util.SimpleDocTree ( src/Prettyprinter/Render/Util/SimpleDocTree.hs, dist/build/Prettyprinter/Render/Util/SimpleDocTree.o, dist/build/Prettyprinter/Render/Util/SimpleDocTree.dyn_o )
[16 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Util.SimpleDocTree ( src/Data/Text/Prettyprint/Doc/Render/Util/SimpleDocTree.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Util/SimpleDocTree.o, dist/build/Data/Text/Prettyprint/Doc/Render/Util/SimpleDocTree.dyn_o )
[17 of 28] Compiling Prettyprinter.Render.Tutorials.TreeRenderingTutorial ( src/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.hs, dist/build/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.o, dist/build/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.dyn_o )
[18 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Tutorials.TreeRenderingTutorial ( src/Data/Text/Prettyprint/Doc/Render/Tutorials/TreeRenderingTutorial.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/TreeRenderingTutorial.o, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/TreeRenderingTutorial.dyn_o )
[19 of 28] Compiling Prettyprinter.Render.Tutorials.StackMachineTutorial ( src/Prettyprinter/Render/Tutorials/StackMachineTutorial.hs, dist/build/Prettyprinter/Render/Tutorials/StackMachineTutorial.o, dist/build/Prettyprinter/Render/Tutorials/StackMachineTutorial.dyn_o )
[20 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Tutorials.StackMachineTutorial ( src/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.o, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.dyn_o )
src/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.hs:7:1: warning: [GHC-15328] [-Wdeprecations]
Module Prettyprinter.Render.Tutorials.StackMachineTutorial is deprecated:
"Writing your own stack machine is probably more efficient and customizable; also consider using �renderSimplyDecorated(A)� instead"
|
7 | import Prettyprinter.Render.Tutorials.StackMachineTutorial
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[21 of 28] Compiling Prettyprinter.Render.Text ( src/Prettyprinter/Render/Text.hs, dist/build/Prettyprinter/Render/Text.o, dist/build/Prettyprinter/Render/Text.dyn_o )
[22 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Text ( src/Data/Text/Prettyprint/Doc/Render/Text.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Text.o, dist/build/Data/Text/Prettyprint/Doc/Render/Text.dyn_o )
[23 of 28] Compiling Data.Text.Prettyprint.Doc ( src/Data/Text/Prettyprint/Doc.hs, dist/build/Data/Text/Prettyprint/Doc.o, dist/build/Data/Text/Prettyprint/Doc.dyn_o )
[24 of 28] Compiling Data.Text.Prettyprint.Doc.Symbols.Ascii ( src/Data/Text/Prettyprint/Doc/Symbols/Ascii.hs, dist/build/Data/Text/Prettyprint/Doc/Symbols/Ascii.o, dist/build/Data/Text/Prettyprint/Doc/Symbols/Ascii.dyn_o )
[25 of 28] Compiling Prettyprinter.Symbols.Unicode ( src/Prettyprinter/Symbols/Unicode.hs, dist/build/Prettyprinter/Symbols/Unicode.o, dist/build/Prettyprinter/Symbols/Unicode.dyn_o )
[26 of 28] Compiling Data.Text.Prettyprint.Doc.Symbols.Unicode ( src/Data/Text/Prettyprint/Doc/Symbols/Unicode.hs, dist/build/Data/Text/Prettyprint/Doc/Symbols/Unicode.o, dist/build/Data/Text/Prettyprint/Doc/Symbols/Unicode.dyn_o )
[27 of 28] Compiling Prettyprinter.Util ( src/Prettyprinter/Util.hs, dist/build/Prettyprinter/Util.o, dist/build/Prettyprinter/Util.dyn_o )
[28 of 28] Compiling Data.Text.Prettyprint.Doc.Util ( src/Data/Text/Prettyprint/Doc/Util.hs, dist/build/Data/Text/Prettyprint/Doc/Util.o, dist/build/Data/Text/Prettyprint/Doc/Util.dyn_o )
Preprocessing library for prettyprinter-1.7.1..
Running Haddock on library for prettyprinter-1.7.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 28] Compiling Prettyprinter.Render.Util.Panic ( src/Prettyprinter/Render/Util/Panic.hs, nothing )
[ 2 of 28] Compiling Prettyprinter.Internal ( src/Prettyprinter/Internal.hs, nothing )
[ 3 of 28] Compiling Prettyprinter.Render.String ( src/Prettyprinter/Render/String.hs, nothing )
[ 4 of 28] Compiling Data.Text.Prettyprint.Doc.Render.String ( src/Data/Text/Prettyprint/Doc/Render/String.hs, nothing )
[ 5 of 28] Compiling Prettyprinter.Internal.Type ( src/Prettyprinter/Internal/Type.hs, nothing )
[ 6 of 28] Compiling Data.Text.Prettyprint.Doc.Internal.Type ( src/Data/Text/Prettyprint/Doc/Internal/Type.hs, nothing )
[ 7 of 28] Compiling Prettyprinter.Internal.Debug ( src/Prettyprinter/Internal/Debug.hs, nothing )
[ 8 of 28] Compiling Data.Text.Prettyprint.Doc.Internal.Debug ( src/Data/Text/Prettyprint/Doc/Internal/Debug.hs, nothing )
[ 9 of 28] Compiling Data.Text.Prettyprint.Doc.Internal ( src/Data/Text/Prettyprint/Doc/Internal.hs, nothing )
[10 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Util.Panic ( src/Data/Text/Prettyprint/Doc/Render/Util/Panic.hs, nothing )
[11 of 28] Compiling Prettyprinter.Render.Util.StackMachine ( src/Prettyprinter/Render/Util/StackMachine.hs, nothing )
src/Prettyprinter/Render/Util/StackMachine.hs:34:1: warning: [GHC-66111] [-Wunused-imports]
The import of Control.Applicative is redundant
except perhaps to import instances from Control.Applicative
To import instances alone, use: import Control.Applicative()
|
34 | import Control.Applicative
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[12 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Util.StackMachine ( src/Data/Text/Prettyprint/Doc/Render/Util/StackMachine.hs, nothing )
[13 of 28] Compiling Prettyprinter.Symbols.Ascii ( src/Prettyprinter/Symbols/Ascii.hs, nothing )
[14 of 28] Compiling Prettyprinter ( src/Prettyprinter.hs, nothing )
[15 of 28] Compiling Prettyprinter.Render.Util.SimpleDocTree ( src/Prettyprinter/Render/Util/SimpleDocTree.hs, nothing )
[16 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Util.SimpleDocTree ( src/Data/Text/Prettyprint/Doc/Render/Util/SimpleDocTree.hs, nothing )
[17 of 28] Compiling Prettyprinter.Render.Tutorials.TreeRenderingTutorial ( src/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.hs, nothing )
[18 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Tutorials.TreeRenderingTutorial ( src/Data/Text/Prettyprint/Doc/Render/Tutorials/TreeRenderingTutorial.hs, nothing )
[19 of 28] Compiling Prettyprinter.Render.Tutorials.StackMachineTutorial ( src/Prettyprinter/Render/Tutorials/StackMachineTutorial.hs, nothing )
[20 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Tutorials.StackMachineTutorial ( src/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.hs, nothing )
src/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.hs:7:1: warning: [GHC-15328] [-Wdeprecations]
Module Prettyprinter.Render.Tutorials.StackMachineTutorial is deprecated:
"Writing your own stack machine is probably more efficient and customizable; also consider using �renderSimplyDecorated(A)� instead"
|
7 | import Prettyprinter.Render.Tutorials.StackMachineTutorial
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[21 of 28] Compiling Prettyprinter.Render.Text ( src/Prettyprinter/Render/Text.hs, nothing )
[22 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Text ( src/Data/Text/Prettyprint/Doc/Render/Text.hs, nothing )
[23 of 28] Compiling Data.Text.Prettyprint.Doc ( src/Data/Text/Prettyprint/Doc.hs, nothing )
[24 of 28] Compiling Data.Text.Prettyprint.Doc.Symbols.Ascii ( src/Data/Text/Prettyprint/Doc/Symbols/Ascii.hs, nothing )
[25 of 28] Compiling Prettyprinter.Symbols.Unicode ( src/Prettyprinter/Symbols/Unicode.hs, nothing )
[26 of 28] Compiling Data.Text.Prettyprint.Doc.Symbols.Unicode ( src/Data/Text/Prettyprint/Doc/Symbols/Unicode.hs, nothing )
[27 of 28] Compiling Prettyprinter.Util ( src/Prettyprinter/Util.hs, nothing )
[28 of 28] Compiling Data.Text.Prettyprint.Doc.Util ( src/Data/Text/Prettyprint/Doc/Util.hs, nothing )
Haddock coverage:
57% ( 4 / 7) in 'Prettyprinter.Render.Util.Panic'
Missing documentation for:
Module header
panicPeekedEmpty (src/Prettyprinter/Render/Util/Panic.hs:36)
panicPoppedEmpty (src/Prettyprinter/Render/Util/Panic.hs:36)
Warning: 'Text' is ambiguous. It is defined
* at src/Prettyprinter/Internal.hs:159:7
* in Data.Text.Internal
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/Prettyprinter/Internal.hs:159:7
Warning: 'parens' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'space' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'doc' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'putDoc' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'hPutDoc' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'reAnnotateST' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'comma' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
98% ( 77 / 78) in 'Prettyprinter.Internal'
Missing documentation for:
defaultPageWidth (src/Prettyprinter/Internal.hs:1778)
66% ( 2 / 3) in 'Prettyprinter.Render.String'
Missing documentation for:
Module header
50% ( 1 / 2) in 'Data.Text.Prettyprint.Doc.Render.String'
Missing documentation for:
Module header
100% ( 2 / 2) in 'Prettyprinter.Internal.Type'
50% ( 1 / 2) in 'Data.Text.Prettyprint.Doc.Internal.Type'
Missing documentation for:
Module header
75% ( 3 / 4) in 'Prettyprinter.Internal.Debug'
Missing documentation for:
diag' (src/Prettyprinter/Internal/Debug.hs:76)
50% ( 1 / 2) in 'Data.Text.Prettyprint.Doc.Internal.Debug'
Missing documentation for:
Module header
50% ( 1 / 2) in 'Data.Text.Prettyprint.Doc.Internal'
Missing documentation for:
Module header
50% ( 1 / 2) in 'Data.Text.Prettyprint.Doc.Render.Util.Panic'
Missing documentation for:
Module header
Warning: 'Text' is ambiguous. It is defined
* at src/Prettyprinter/Internal.hs:159:7
* in Data.Text.Internal
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/Prettyprinter/Internal.hs:159:7
100% ( 13 / 13) in 'Prettyprinter.Render.Util.StackMachine'
50% ( 1 / 2) in 'Data.Text.Prettyprint.Doc.Render.Util.StackMachine'
Missing documentation for:
Module header
100% ( 27 / 27) in 'Prettyprinter.Symbols.Ascii'
Warning: 'Keyword' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Red' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'color' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'colorDull' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'bgColor' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'bgColorDull' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% (112 /112) in 'Prettyprinter'
Warning: 'Text' is ambiguous. It is defined
* at src/Prettyprinter/Internal.hs:159:7
* in Data.Text.Internal
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/Prettyprinter/Internal.hs:159:7
100% ( 11 / 11) in 'Prettyprinter.Render.Util.SimpleDocTree'
50% ( 1 / 2) in 'Data.Text.Prettyprint.Doc.Render.Util.SimpleDocTree'
Missing documentation for:
Module header
61% ( 11 / 18) in 'Prettyprinter.Render.Tutorials.TreeRenderingTutorial'
Missing documentation for:
SimpleHtml (src/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.hs:40)
Color (src/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.hs:41)
bold (src/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.hs:46)
italics (src/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.hs:47)
paragraph (src/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.hs:48)
headline (src/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.hs:49)
color (src/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.hs:52)
50% ( 1 / 2) in 'Data.Text.Prettyprint.Doc.Render.Tutorials.TreeRenderingTutorial'
Missing documentation for:
Module header
61% ( 11 / 18) in 'Prettyprinter.Render.Tutorials.StackMachineTutorial'
Missing documentation for:
SimpleHtml (src/Prettyprinter/Render/Tutorials/StackMachineTutorial.hs:43)
Color (src/Prettyprinter/Render/Tutorials/StackMachineTutorial.hs:44)
bold (src/Prettyprinter/Render/Tutorials/StackMachineTutorial.hs:49)
italics (src/Prettyprinter/Render/Tutorials/StackMachineTutorial.hs:50)
paragraph (src/Prettyprinter/Render/Tutorials/StackMachineTutorial.hs:51)
headline (src/Prettyprinter/Render/Tutorials/StackMachineTutorial.hs:52)
color (src/Prettyprinter/Render/Tutorials/StackMachineTutorial.hs:55)
50% ( 1 / 2) in 'Data.Text.Prettyprint.Doc.Render.Tutorials.StackMachineTutorial'
Missing documentation for:
Module header
Warning: 'Text' is ambiguous. It is defined
* at src/Prettyprinter/Internal.hs:159:7
* in Data.Text.Internal
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/Prettyprinter/Internal.hs:159:7
100% ( 9 / 9) in 'Prettyprinter.Render.Text'
50% ( 1 / 2) in 'Data.Text.Prettyprint.Doc.Render.Text'
Missing documentation for:
Module header
50% ( 1 / 2) in 'Data.Text.Prettyprint.Doc'
Missing documentation for:
Module header
50% ( 1 / 2) in 'Data.Text.Prettyprint.Doc.Symbols.Ascii'
Missing documentation for:
Module header
100% ( 30 / 30) in 'Prettyprinter.Symbols.Unicode'
50% ( 1 / 2) in 'Data.Text.Prettyprint.Doc.Symbols.Unicode'
Missing documentation for:
Module header
Warning: Prettyprinter.Util: Could not find documentation for exported module: Prettyprinter.Util
100% ( 4 / 4) in 'Prettyprinter.Util'
50% ( 1 / 2) in 'Data.Text.Prettyprint.Doc.Util'
Missing documentation for:
Module header
Warning: Prettyprinter.Internal: could not find link destinations for:
- Prettyprinter.Internal.Rep_Doc
- Prettyprinter.Internal.Rep_SimpleDocStream
Warning: Prettyprinter.Internal.Type: could not find link destinations for:
- Prettyprinter.Internal.Rep_Doc
Warning: Prettyprinter: could not find link destinations for:
- Prettyprinter.Internal.Rep_Doc
- Prettyprinter.Internal.Rep_SimpleDocStream
Warning: Prettyprinter.Render.Util.SimpleDocTree: could not find link destinations for:
- Prettyprinter.Render.Util.SimpleDocTree.Rep_SimpleDocTree
Documentation created: dist/doc/html/prettyprinter/,
dist/doc/html/prettyprinter/prettyprinter.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/prettyprinter-1.7.1-UnQFunVR8xJApG1SQhvgB
Completed prettyprinter-1.7.1
Downloading string-qq-0.0.6
Downloaded string-qq-0.0.6
Configuring string-qq-0.0.6...
Preprocessing library for string-qq-0.0.6..
Building library for string-qq-0.0.6..
[1 of 1] Compiling Data.String.QQ ( src/Data/String/QQ.hs, dist/build/Data/String/QQ.o, dist/build/Data/String/QQ.dyn_o )
Preprocessing library for string-qq-0.0.6..
Running Haddock on library for string-qq-0.0.6..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 1] Compiling Data.String.QQ ( src/Data/String/QQ.hs, nothing )
Haddock coverage:
100% ( 2 / 2) in 'Data.String.QQ'
Documentation created: dist/doc/html/string-qq/,
dist/doc/html/string-qq/string-qq.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/string-qq-0.0.6-Fv5s7Go3TlWFknpCjB0eIC
Completed string-qq-0.0.6
Configuring ansi-terminal-types-1.1.3...
Preprocessing library for ansi-terminal-types-1.1.3..
Building library for ansi-terminal-types-1.1.3..
[1 of 2] Compiling System.Console.ANSI.Types ( src/System/Console/ANSI/Types.hs, dist/build/System/Console/ANSI/Types.o, dist/build/System/Console/ANSI/Types.dyn_o )
[2 of 2] Compiling System.Console.ANSI.Codes ( src/System/Console/ANSI/Codes.hs, dist/build/System/Console/ANSI/Codes.o, dist/build/System/Console/ANSI/Codes.dyn_o )
Preprocessing library for ansi-terminal-types-1.1.3..
Running Haddock on library for ansi-terminal-types-1.1.3..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 2] Compiling System.Console.ANSI.Types ( src/System/Console/ANSI/Types.hs, nothing )
[2 of 2] Compiling System.Console.ANSI.Codes ( src/System/Console/ANSI/Codes.hs, nothing )
Haddock coverage:
100% ( 13 / 13) in 'System.Console.ANSI.Types'
66% ( 41 / 62) in 'System.Console.ANSI.Codes'
Missing documentation for:
cursorUpCode (src/System/Console/ANSI/Codes.hs:236)
cursorDownCode (src/System/Console/ANSI/Codes.hs:237)
cursorForwardCode (src/System/Console/ANSI/Codes.hs:238)
cursorBackwardCode (src/System/Console/ANSI/Codes.hs:239)
cursorUpLineCode (src/System/Console/ANSI/Codes.hs:245)
cursorDownLineCode (src/System/Console/ANSI/Codes.hs:244)
clearFromCursorToScreenEndCode (src/System/Console/ANSI/Codes.hs:312)
clearFromCursorToScreenBeginningCode (src/System/Console/ANSI/Codes.hs:313)
clearScreenCode (src/System/Console/ANSI/Codes.hs:314)
clearFromCursorToLineEndCode (src/System/Console/ANSI/Codes.hs:315)
clearFromCursorToLineBeginningCode (src/System/Console/ANSI/Codes.hs:316)
clearLineCode (src/System/Console/ANSI/Codes.hs:317)
enableLineWrapCode (src/System/Console/ANSI/Codes.hs:320)
disableLineWrapCode (src/System/Console/ANSI/Codes.hs:321)
scrollPageUpCode (src/System/Console/ANSI/Codes.hs:326)
scrollPageDownCode (src/System/Console/ANSI/Codes.hs:327)
useAlternateScreenBufferCode (src/System/Console/ANSI/Codes.hs:330)
useNormalScreenBufferCode (src/System/Console/ANSI/Codes.hs:331)
setSGRCode (src/System/Console/ANSI/Codes.hs:339)
hideCursorCode (src/System/Console/ANSI/Codes.hs:344)
showCursorCode (src/System/Console/ANSI/Codes.hs:345)
Documentation created: dist/doc/html/ansi-terminal-types/,
dist/doc/html/ansi-terminal-types/ansi-terminal-types.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/ansi-terminal-types-1.1.3-FbCvCegLPPTJZH2c3Rw7yn
Completed ansi-terminal-types-1.1.3
Configuring ansi-terminal-1.1.3...
Preprocessing library for ansi-terminal-1.1.3..
Building library for ansi-terminal-1.1.3..
[1 of 2] Compiling System.Console.ANSI.Internal ( unix/System/Console/ANSI/Internal.hs, dist/build/System/Console/ANSI/Internal.o, dist/build/System/Console/ANSI/Internal.dyn_o )
[2 of 2] Compiling System.Console.ANSI ( src/System/Console/ANSI.hs, dist/build/System/Console/ANSI.o, dist/build/System/Console/ANSI.dyn_o )
Preprocessing library for ansi-terminal-1.1.3..
Running Haddock on library for ansi-terminal-1.1.3..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 2] Compiling System.Console.ANSI.Internal ( unix/System/Console/ANSI/Internal.hs, nothing )
[2 of 2] Compiling System.Console.ANSI ( src/System/Console/ANSI.hs, nothing )
Haddock coverage:
54% ( 85 /155) in 'System.Console.ANSI'
Missing documentation for:
cursorUp (src/System/Console/ANSI.hs:415)
cursorDown (src/System/Console/ANSI.hs:416)
cursorForward (src/System/Console/ANSI.hs:417)
cursorBackward (src/System/Console/ANSI.hs:418)
hCursorUp (src/System/Console/ANSI.hs:407)
hCursorDown (src/System/Console/ANSI.hs:408)
hCursorForward (src/System/Console/ANSI.hs:409)
hCursorBackward (src/System/Console/ANSI.hs:410)
cursorUpCode
cursorDownCode
cursorForwardCode
cursorBackwardCode
cursorUpLine (src/System/Console/ANSI.hs:431)
cursorDownLine (src/System/Console/ANSI.hs:430)
hCursorUpLine (src/System/Console/ANSI.hs:425)
hCursorDownLine (src/System/Console/ANSI.hs:424)
cursorUpLineCode
cursorDownLineCode
hSetCursorColumn (src/System/Console/ANSI.hs:437)
hSetCursorPosition (src/System/Console/ANSI.hs:451)
hSaveCursor (src/System/Console/ANSI.hs:462)
hRestoreCursor (src/System/Console/ANSI.hs:463)
hReportCursorPosition (src/System/Console/ANSI.hs:464)
clearFromCursorToScreenEnd (src/System/Console/ANSI.hs:1036)
clearFromCursorToScreenBeginning (src/System/Console/ANSI.hs:1037)
clearScreen (src/System/Console/ANSI.hs:1038)
clearFromCursorToLineEnd (src/System/Console/ANSI.hs:1048)
clearFromCursorToLineBeginning (src/System/Console/ANSI.hs:1049)
clearLine (src/System/Console/ANSI.hs:1050)
hClearFromCursorToScreenEnd (src/System/Console/ANSI.hs:1030)
hClearFromCursorToScreenBeginning (src/System/Console/ANSI.hs:1031)
hClearScreen (src/System/Console/ANSI.hs:1033)
hClearFromCursorToLineEnd (src/System/Console/ANSI.hs:1043)
hClearFromCursorToLineBeginning (src/System/Console/ANSI.hs:1044)
hClearLine (src/System/Console/ANSI.hs:1045)
clearFromCursorToScreenEndCode
clearFromCursorToScreenBeginningCode
clearScreenCode
clearFromCursorToLineEndCode
clearFromCursorToLineBeginningCode
clearLineCode
enableLineWrap (src/System/Console/ANSI.hs:1059)
disableLineWrap (src/System/Console/ANSI.hs:1060)
hEnableLineWrap (src/System/Console/ANSI.hs:1055)
hDisableLineWrap (src/System/Console/ANSI.hs:1056)
enableLineWrapCode
disableLineWrapCode
scrollPageUp (src/System/Console/ANSI.hs:1072)
scrollPageDown (src/System/Console/ANSI.hs:1073)
hScrollPageUp (src/System/Console/ANSI.hs:1066)
hScrollPageDown (src/System/Console/ANSI.hs:1067)
scrollPageUpCode
scrollPageDownCode
hUseAlternateScreenBuffer (src/System/Console/ANSI.hs:508)
hUseNormalScreenBuffer (src/System/Console/ANSI.hs:511)
useAlternateScreenBufferCode
useNormalScreenBufferCode
hReportLayerColor (src/System/Console/ANSI.hs:815)
hSetSGR (src/System/Console/ANSI.hs:1016)
setSGRCode
hideCursor (src/System/Console/ANSI.hs:504)
showCursor (src/System/Console/ANSI.hs:505)
hHideCursor (src/System/Console/ANSI.hs:500)
hShowCursor (src/System/Console/ANSI.hs:501)
hideCursorCode
showCursorCode
hHyperlink (src/System/Console/ANSI.hs:570)
hHyperlinkWithId (src/System/Console/ANSI.hs:592)
hHyperlinkWithParams (src/System/Console/ANSI.hs:547)
hSetTitle (src/System/Console/ANSI.hs:612)
Documentation created: dist/doc/html/ansi-terminal/,
dist/doc/html/ansi-terminal/ansi-terminal.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/ansi-terminal-1.1.3-9wpti7DRjVIBzQawv4Tcnx
Completed ansi-terminal-1.1.3
Configuring prettyprinter-ansi-terminal-1.1.3...
Preprocessing library for prettyprinter-ansi-terminal-1.1.3..
Building library for prettyprinter-ansi-terminal-1.1.3..
[1 of 4] Compiling Prettyprinter.Render.Terminal.Internal ( src/Prettyprinter/Render/Terminal/Internal.hs, dist/build/Prettyprinter/Render/Terminal/Internal.o, dist/build/Prettyprinter/Render/Terminal/Internal.dyn_o )
[2 of 4] Compiling Prettyprinter.Render.Terminal ( src/Prettyprinter/Render/Terminal.hs, dist/build/Prettyprinter/Render/Terminal.o, dist/build/Prettyprinter/Render/Terminal.dyn_o )
[3 of 4] Compiling Data.Text.Prettyprint.Doc.Render.Terminal ( src/Data/Text/Prettyprint/Doc/Render/Terminal.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal.o, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal.dyn_o )
[4 of 4] Compiling Data.Text.Prettyprint.Doc.Render.Terminal.Internal ( src/Data/Text/Prettyprint/Doc/Render/Terminal/Internal.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal/Internal.o, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal/Internal.dyn_o )
Preprocessing library for prettyprinter-ansi-terminal-1.1.3..
Running Haddock on library for prettyprinter-ansi-terminal-1.1.3..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 4] Compiling Prettyprinter.Render.Terminal.Internal ( src/Prettyprinter/Render/Terminal/Internal.hs, nothing )
[2 of 4] Compiling Prettyprinter.Render.Terminal ( src/Prettyprinter/Render/Terminal.hs, nothing )
[3 of 4] Compiling Data.Text.Prettyprint.Doc.Render.Terminal ( src/Data/Text/Prettyprint/Doc/Render/Terminal.hs, nothing )
[4 of 4] Compiling Data.Text.Prettyprint.Doc.Render.Terminal.Internal ( src/Data/Text/Prettyprint/Doc/Render/Terminal/Internal.hs, nothing )
Haddock coverage:
Warning: '...' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
88% ( 24 / 27) in 'Prettyprinter.Render.Terminal.Internal'
Missing documentation for:
Bold (src/Prettyprinter/Render/Terminal/Internal.hs:90)
Underlined (src/Prettyprinter/Render/Terminal/Internal.hs:91)
Italicized (src/Prettyprinter/Render/Terminal/Internal.hs:92)
Warning: 'SimpleDocStream' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Text' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'stdout' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
89% ( 25 / 28) in 'Prettyprinter.Render.Terminal'
Missing documentation for:
Bold (src/Prettyprinter/Render/Terminal/Internal.hs:90)
Underlined (src/Prettyprinter/Render/Terminal/Internal.hs:91)
Italicized (src/Prettyprinter/Render/Terminal/Internal.hs:92)
50% ( 1 / 2) in 'Data.Text.Prettyprint.Doc.Render.Terminal'
Missing documentation for:
Module header
50% ( 1 / 2) in 'Data.Text.Prettyprint.Doc.Render.Terminal.Internal'
Missing documentation for:
Module header
Documentation created: dist/doc/html/prettyprinter-ansi-terminal/,
dist/doc/html/prettyprinter-ansi-terminal/prettyprinter-ansi-terminal.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/prettyprinter-ansi-terminal-1.1.3-P0eAzEqDTa2D4YDfE4MGj
Completed prettyprinter-ansi-terminal-1.1.3
Configuring optparse-applicative-0.19.0.0...
Preprocessing library for optparse-applicative-0.19.0.0..
Building library for optparse-applicative-0.19.0.0..
[ 1 of 17] Compiling Options.Applicative.Help.Levenshtein ( src/Options/Applicative/Help/Levenshtein.hs, dist/build/Options/Applicative/Help/Levenshtein.o, dist/build/Options/Applicative/Help/Levenshtein.dyn_o )
src/Options/Applicative/Help/Levenshtein.hs:24:20: 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."
|
24 | oneDiag a b (head uppers) (-1 : head lowers)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:24:39: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
24 | oneDiag a b (head uppers) (-1 : head lowers)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:40:53: 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."
|
40 | = nw : doDiag (ach' : as) (bch' : bs) nw (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:40:62: 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."
|
40 | = nw : doDiag (ach' : as) (bch' : bs) nw (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:48:27: 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."
|
48 | 1 + min3 (head w) nw (head n)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:48:39: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
48 | 1 + min3 (head w) nw (head n)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:50: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."
|
50 | me : doDiag as bs me (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:50:44: 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."
|
50 | me : doDiag as bs me (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:52:24: 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."
|
52 | firstelt = 1 + head diagBelow
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:53:64: 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."
|
53 | thisdiag = firstelt : doDiag a' b' firstelt diagAbove (tail diagBelow)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:59:20: 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."
|
59 | nextDiag = head (tail diags)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:59:26: 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."
|
59 | nextDiag = head (tail diags)
| ^^^^
[ 2 of 17] Compiling Options.Applicative.Help.Pretty ( src/Options/Applicative/Help/Pretty.hs, dist/build/Options/Applicative/Help/Pretty.o, dist/build/Options/Applicative/Help/Pretty.dyn_o )
[ 3 of 17] Compiling Options.Applicative.Help.Chunk ( src/Options/Applicative/Help/Chunk.hs, dist/build/Options/Applicative/Help/Chunk.o, dist/build/Options/Applicative/Help/Chunk.dyn_o )
[ 4 of 17] Compiling Options.Applicative.Help.Types ( src/Options/Applicative/Help/Types.hs, dist/build/Options/Applicative/Help/Types.o, dist/build/Options/Applicative/Help/Types.dyn_o )
[ 5 of 17] Compiling Options.Applicative.Types ( src/Options/Applicative/Types.hs, dist/build/Options/Applicative/Types.o, dist/build/Options/Applicative/Types.dyn_o )
src/Options/Applicative/Types.hs:59:31: warning: [GHC-61689] [-Wdodgy-imports]
Module Data.Semigroup does not export Option.
|
59 | import Data.Semigroup hiding (Option)
| ^^^^^^
[ 6 of 17] Compiling Options.Applicative.NonEmpty ( src/Options/Applicative/NonEmpty.hs, dist/build/Options/Applicative/NonEmpty.o, dist/build/Options/Applicative/NonEmpty.dyn_o )
[ 7 of 17] Compiling Options.Applicative.Internal ( src/Options/Applicative/Internal.hs, dist/build/Options/Applicative/Internal.o, dist/build/Options/Applicative/Internal.dyn_o )
[ 8 of 17] Compiling Options.Applicative.Common ( src/Options/Applicative/Common.hs, dist/build/Options/Applicative/Common.o, dist/build/Options/Applicative/Common.dyn_o )
[ 9 of 17] Compiling Options.Applicative.Help.Core ( src/Options/Applicative/Help/Core.hs, dist/build/Options/Applicative/Help/Core.o, dist/build/Options/Applicative/Help/Core.dyn_o )
[10 of 17] Compiling Options.Applicative.Help ( src/Options/Applicative/Help.hs, dist/build/Options/Applicative/Help.o, dist/build/Options/Applicative/Help.dyn_o )
[11 of 17] Compiling Options.Applicative.Builder.Internal ( src/Options/Applicative/Builder/Internal.hs, dist/build/Options/Applicative/Builder/Internal.o, dist/build/Options/Applicative/Builder/Internal.dyn_o )
src/Options/Applicative/Builder/Internal.hs:29:31: warning: [GHC-61689] [-Wdodgy-imports]
Module Data.Semigroup does not export Option.
|
29 | import Data.Semigroup hiding (Option)
| ^^^^^^
[12 of 17] Compiling Options.Applicative.Builder.Completer ( src/Options/Applicative/Builder/Completer.hs, dist/build/Options/Applicative/Builder/Completer.o, dist/build/Options/Applicative/Builder/Completer.dyn_o )
[13 of 17] Compiling Options.Applicative.Builder ( src/Options/Applicative/Builder.hs, dist/build/Options/Applicative/Builder.o, dist/build/Options/Applicative/Builder.dyn_o )
[14 of 17] Compiling Options.Applicative.BashCompletion ( src/Options/Applicative/BashCompletion.hs, dist/build/Options/Applicative/BashCompletion.o, dist/build/Options/Applicative/BashCompletion.dyn_o )
src/Options/Applicative/BashCompletion.hs:16:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Foldable is redundant
except perhaps to import instances from Data.Foldable
To import instances alone, use: import Data.Foldable()
|
16 | import Data.Foldable ( asum )
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[15 of 17] Compiling Options.Applicative.Extra ( src/Options/Applicative/Extra.hs, dist/build/Options/Applicative/Extra.o, dist/build/Options/Applicative/Extra.dyn_o )
[16 of 17] Compiling Options.Applicative ( src/Options/Applicative.hs, dist/build/Options/Applicative.o, dist/build/Options/Applicative.dyn_o )
[17 of 17] Compiling Options.Applicative.Arrows ( src/Options/Applicative/Arrows.hs, dist/build/Options/Applicative/Arrows.o, dist/build/Options/Applicative/Arrows.dyn_o )
Preprocessing library for optparse-applicative-0.19.0.0..
Running Haddock on library for optparse-applicative-0.19.0.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 17] Compiling Options.Applicative.Help.Levenshtein ( src/Options/Applicative/Help/Levenshtein.hs, nothing )
src/Options/Applicative/Help/Levenshtein.hs:24:20: 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."
|
24 | oneDiag a b (head uppers) (-1 : head lowers)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:24:39: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
24 | oneDiag a b (head uppers) (-1 : head lowers)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:40:53: 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."
|
40 | = nw : doDiag (ach' : as) (bch' : bs) nw (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:40:62: 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."
|
40 | = nw : doDiag (ach' : as) (bch' : bs) nw (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:48:27: 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."
|
48 | 1 + min3 (head w) nw (head n)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:48:39: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
48 | 1 + min3 (head w) nw (head n)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:50: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."
|
50 | me : doDiag as bs me (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:50:44: 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."
|
50 | me : doDiag as bs me (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:52:24: 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."
|
52 | firstelt = 1 + head diagBelow
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:53:64: 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."
|
53 | thisdiag = firstelt : doDiag a' b' firstelt diagAbove (tail diagBelow)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:59:20: 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."
|
59 | nextDiag = head (tail diags)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:59:26: 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."
|
59 | nextDiag = head (tail diags)
| ^^^^
[ 2 of 17] Compiling Options.Applicative.Help.Pretty ( src/Options/Applicative/Help/Pretty.hs, nothing )
[ 3 of 17] Compiling Options.Applicative.Help.Chunk ( src/Options/Applicative/Help/Chunk.hs, nothing )
[ 4 of 17] Compiling Options.Applicative.Help.Types ( src/Options/Applicative/Help/Types.hs, nothing )
[ 5 of 17] Compiling Options.Applicative.Types ( src/Options/Applicative/Types.hs, nothing )
src/Options/Applicative/Types.hs:59:31: warning: [GHC-61689] [-Wdodgy-imports]
Module Data.Semigroup does not export Option.
|
59 | import Data.Semigroup hiding (Option)
| ^^^^^^
[ 6 of 17] Compiling Options.Applicative.NonEmpty ( src/Options/Applicative/NonEmpty.hs, nothing )
[ 7 of 17] Compiling Options.Applicative.Internal ( src/Options/Applicative/Internal.hs, nothing )
[ 8 of 17] Compiling Options.Applicative.Common ( src/Options/Applicative/Common.hs, nothing )
[ 9 of 17] Compiling Options.Applicative.Help.Core ( src/Options/Applicative/Help/Core.hs, nothing )
[10 of 17] Compiling Options.Applicative.Help ( src/Options/Applicative/Help.hs, nothing )
[11 of 17] Compiling Options.Applicative.Builder.Internal ( src/Options/Applicative/Builder/Internal.hs, nothing )
src/Options/Applicative/Builder/Internal.hs:29:31: warning: [GHC-61689] [-Wdodgy-imports]
Module Data.Semigroup does not export Option.
|
29 | import Data.Semigroup hiding (Option)
| ^^^^^^
[12 of 17] Compiling Options.Applicative.Builder.Completer ( src/Options/Applicative/Builder/Completer.hs, nothing )
[13 of 17] Compiling Options.Applicative.Builder ( src/Options/Applicative/Builder.hs, nothing )
[14 of 17] Compiling Options.Applicative.BashCompletion ( src/Options/Applicative/BashCompletion.hs, nothing )
src/Options/Applicative/BashCompletion.hs:16:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Foldable is redundant
except perhaps to import instances from Data.Foldable
To import instances alone, use: import Data.Foldable()
|
16 | import Data.Foldable ( asum )
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[15 of 17] Compiling Options.Applicative.Extra ( src/Options/Applicative/Extra.hs, nothing )
[16 of 17] Compiling Options.Applicative ( src/Options/Applicative.hs, nothing )
[17 of 17] Compiling Options.Applicative.Arrows ( src/Options/Applicative/Arrows.hs, nothing )
Haddock coverage:
50% ( 1 / 2) in 'Options.Applicative.Help.Levenshtein'
Missing documentation for:
Module header
93% ( 85 / 91) in 'Options.Applicative.Help.Pretty'
Missing documentation for:
Module header
Doc (src/Options/Applicative/Help/Pretty.hs:29)
SimpleDoc (src/Options/Applicative/Help/Pretty.hs:30)
.$. (src/Options/Applicative/Help/Pretty.hs:36)
</> (src/Options/Applicative/Help/Pretty.hs:38)
prettyString (src/Options/Applicative/Help/Pretty.hs:113)
Warning: 'Chunk' is ambiguous. It is defined
* at src/Options/Applicative/Help/Chunk.hs:26:19
* at src/Options/Applicative/Help/Chunk.hs:26: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/Options/Applicative/Help/Chunk.hs:26:1
92% ( 12 / 13) in 'Options.Applicative.Help.Chunk'
Missing documentation for:
Module header
33% ( 1 / 3) in 'Options.Applicative.Help.Types'
Missing documentation for:
Module header
ParserHelp (src/Options/Applicative/Help/Types.hs:12)
Warning: 'OptReader' is ambiguous. It is defined
* at src/Options/Applicative/Types.hs:254:5
* at src/Options/Applicative/Types.hs:253: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/Options/Applicative/Types.hs:253:1
Warning: 'Completer' is ambiguous. It is defined
* at src/Options/Applicative/Types.hs:325:21
* at src/Options/Applicative/Types.hs:325: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/Options/Applicative/Types.hs:325:1
40% ( 18 / 45) in 'Options.Applicative.Types'
Missing documentation for:
Module header
ParseError (src/Options/Applicative/Types.hs:69)
OptName (src/Options/Applicative/Types.hs:134)
isShortName (src/Options/Applicative/Types.hs:139)
isLongName (src/Options/Applicative/Types.hs:143)
Backtracking (src/Options/Applicative/Types.hs:105)
CReader (src/Options/Applicative/Types.hs:245)
ParserM (src/Options/Applicative/Types.hs:288)
CompletionResult (src/Options/Applicative/Types.hs:340)
ParserFailure (src/Options/Applicative/Types.hs:347)
overFailure (src/Options/Applicative/Types.hs:374)
Args (src/Options/Applicative/Types.hs:389)
ArgumentReachability (src/Options/Applicative/Types.hs:416)
OptTree (src/Options/Applicative/Types.hs:426)
ParserHelp (src/Options/Applicative/Help/Types.hs:12)
SomeParser (src/Options/Applicative/Types.hs:190)
IsCmdStart (src/Options/Applicative/Types.hs:78)
fromM (src/Options/Applicative/Types.hs:303)
oneM (src/Options/Applicative/Types.hs:306)
manyM (src/Options/Applicative/Types.hs:309)
someM (src/Options/Applicative/Types.hs:316)
filterOptional (src/Options/Applicative/Types.hs:434)
optVisibility (src/Options/Applicative/Types.hs:447)
optMetaVar (src/Options/Applicative/Types.hs:453)
optHelp (src/Options/Applicative/Types.hs:450)
optShowDefault (src/Options/Applicative/Types.hs:456)
optDescMod (src/Options/Applicative/Types.hs:459)
50% ( 1 / 2) in 'Options.Applicative.NonEmpty'
Missing documentation for:
Module header
4% ( 1 / 22) in 'Options.Applicative.Internal'
Missing documentation for:
Module header
P (src/Options/Applicative/Internal.hs:55)
MonadP (src/Options/Applicative/Internal.hs:46)
ParseError (src/Options/Applicative/Types.hs:69)
uncons (src/Options/Applicative/Internal.hs:100)
hoistMaybe (src/Options/Applicative/Internal.hs:91)
hoistEither (src/Options/Applicative/Internal.hs:94)
runReadM (src/Options/Applicative/Internal.hs:104)
withReadM (src/Options/Applicative/Internal.hs:107)
runP (src/Options/Applicative/Internal.hs:97)
Completion (src/Options/Applicative/Internal.hs:131)
runCompletion (src/Options/Applicative/Internal.hs:163)
contextNames (src/Options/Applicative/Internal.hs:77)
ListT (src/Options/Applicative/Internal.hs:170)
takeListT (src/Options/Applicative/Internal.hs:182)
runListT (src/Options/Applicative/Internal.hs:186)
hoistList (src/Options/Applicative/Internal.hs:271)
NondetT (src/Options/Applicative/Internal.hs:226)
cut (src/Options/Applicative/Internal.hs:258)
<!> (src/Options/Applicative/Internal.hs:252)
disamb (src/Options/Applicative/Internal.hs:261)
68% ( 13 / 19) in 'Options.Applicative.Common'
Missing documentation for:
Module header
showOption (src/Options/Applicative/Common.hs:66)
runParserInfo (src/Options/Applicative/Common.hs:240)
runParserFully (src/Options/Applicative/Common.hs:243)
runParserStep (src/Options/Applicative/Common.hs:230)
optionNames (src/Options/Applicative/Common.hs:70)
38% ( 7 / 18) in 'Options.Applicative.Help.Core'
Missing documentation for:
Module header
ParserHelp (src/Options/Applicative/Help/Types.hs:12)
errorHelp (src/Options/Applicative/Help/Core.hs:362)
headerHelp (src/Options/Applicative/Help/Core.hs:365)
suggestionsHelp (src/Options/Applicative/Help/Core.hs:368)
usageHelp (src/Options/Applicative/Help/Core.hs:374)
descriptionHelp (src/Options/Applicative/Help/Core.hs:377)
bodyHelp (src/Options/Applicative/Help/Core.hs:380)
footerHelp (src/Options/Applicative/Help/Core.hs:383)
globalsHelp (src/Options/Applicative/Help/Core.hs:371)
parserGlobals (src/Options/Applicative/Help/Core.hs:405)
91% ( 11 / 12) in 'Options.Applicative.Help'
Missing documentation for:
Module header
Warning: 'OptionFields' is ambiguous. It is defined
* at src/Options/Applicative/Builder/Internal.hs:35:23
* at src/Options/Applicative/Builder/Internal.hs:35: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/Options/Applicative/Builder/Internal.hs:35:1
Warning: 'FlagFields' is ambiguous. It is defined
* at src/Options/Applicative/Builder/Internal.hs:40:21
* at src/Options/Applicative/Builder/Internal.hs:40: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/Options/Applicative/Builder/Internal.hs:40:1
23% ( 5 / 21) in 'Options.Applicative.Builder.Internal'
Missing documentation for:
Module header
HasName (src/Options/Applicative/Builder/Internal.hs:51)
HasCompleter (src/Options/Applicative/Builder/Internal.hs:60)
HasValue (src/Options/Applicative/Builder/Internal.hs:69)
HasMetavar (src/Options/Applicative/Builder/Internal.hs:77)
OptionFields (src/Options/Applicative/Builder/Internal.hs:35)
FlagFields (src/Options/Applicative/Builder/Internal.hs:40)
CommandFields (src/Options/Applicative/Builder/Internal.hs:44)
ArgumentFields (src/Options/Applicative/Builder/Internal.hs:48)
DefaultProp (src/Options/Applicative/Builder/Internal.hs:88)
optionMod (src/Options/Applicative/Builder/Internal.hs:131)
fieldMod (src/Options/Applicative/Builder/Internal.hs:134)
mkCommand (src/Options/Applicative/Builder/Internal.hs:158)
mkParser (src/Options/Applicative/Builder/Internal.hs:167)
mkOption (src/Options/Applicative/Builder/Internal.hs:177)
mkProps (src/Options/Applicative/Builder/Internal.hs:182)
Warning: 'Completer' is ambiguous. It is defined
* at src/Options/Applicative/Types.hs:325:21
* at src/Options/Applicative/Types.hs:325: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/Options/Applicative/Types.hs:325:1
85% ( 6 / 7) in 'Options.Applicative.Builder.Completer'
Missing documentation for:
Module header
Warning: 'ParserInfo' is ambiguous. It is defined
* at src/Options/Applicative/Types.hs:90:21
* at src/Options/Applicative/Types.hs:90: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/Options/Applicative/Types.hs:90:1
Warning: 'Option' is ambiguous. It is defined
* at src/Options/Applicative/Types.hs:185:17
* at src/Options/Applicative/Types.hs:185: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/Options/Applicative/Types.hs:185:1
Warning: 'OptProperties' is ambiguous. It is defined
* at src/Options/Applicative/Types.hs:159:22
* at src/Options/Applicative/Types.hs:159: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/Options/Applicative/Types.hs:159:1
Warning: 'ParserPrefs' is ambiguous. It is defined
* at src/Options/Applicative/Types.hs:112:20
* at src/Options/Applicative/Types.hs:112: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/Options/Applicative/Types.hs:112:1
87% ( 74 / 85) in 'Options.Applicative.Builder'
Missing documentation for:
Module header
ParseError (src/Options/Applicative/Types.hs:69)
PrefsMod (src/Options/Applicative/Builder.hs:523)
OptionFields (src/Options/Applicative/Builder/Internal.hs:35)
FlagFields (src/Options/Applicative/Builder/Internal.hs:40)
ArgumentFields (src/Options/Applicative/Builder/Internal.hs:48)
CommandFields (src/Options/Applicative/Builder/Internal.hs:44)
HasName (src/Options/Applicative/Builder/Internal.hs:51)
HasCompleter (src/Options/Applicative/Builder/Internal.hs:60)
HasValue (src/Options/Applicative/Builder/Internal.hs:69)
HasMetavar (src/Options/Applicative/Builder/Internal.hs:77)
80% ( 4 / 5) in 'Options.Applicative.BashCompletion'
Missing documentation for:
bashCompletionParser (src/Options/Applicative/BashCompletion.hs:39)
Warning: 'ParserInfo' is ambiguous. It is defined
* at src/Options/Applicative/Types.hs:90:21
* at src/Options/Applicative/Types.hs:90: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/Options/Applicative/Types.hs:90:1
Warning: 'ParserFailure' is ambiguous. It is defined
* at src/Options/Applicative/Types.hs:347:27
* at src/Options/Applicative/Types.hs:347: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/Options/Applicative/Types.hs:347:1
Warning: 'Context' is ambiguous. It is defined
* at src/Options/Applicative/Types.hs:195:16
* at src/Options/Applicative/Types.hs:195: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/Options/Applicative/Types.hs:195:1
73% ( 14 / 19) in 'Options.Applicative.Extra'
Missing documentation for:
Module header
renderFailure (src/Options/Applicative/Extra.hs:345)
ParserFailure (src/Options/Applicative/Types.hs:347)
overFailure (src/Options/Applicative/Types.hs:374)
CompletionResult (src/Options/Applicative/Types.hs:340)
Warning: 'ParserInfo' is ambiguous. It is defined
* at src/Options/Applicative/Types.hs:90:21
* at src/Options/Applicative/Types.hs:90: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/Options/Applicative/Types.hs:90:1
Warning: 'ParserPrefs' is ambiguous. It is defined
* at src/Options/Applicative/Types.hs:112:20
* at src/Options/Applicative/Types.hs:112: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/Options/Applicative/Types.hs:112:1
Warning: 'Completer' is ambiguous. It is defined
* at src/Options/Applicative/Types.hs:325:21
* at src/Options/Applicative/Types.hs:325: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/Options/Applicative/Types.hs:325:1
86% (107 /123) in 'Options.Applicative'
Missing documentation for:
Module header
OptionFields (src/Options/Applicative/Builder/Internal.hs:35)
FlagFields (src/Options/Applicative/Builder/Internal.hs:40)
ArgumentFields (src/Options/Applicative/Builder/Internal.hs:48)
CommandFields (src/Options/Applicative/Builder/Internal.hs:44)
HasName (src/Options/Applicative/Builder/Internal.hs:51)
HasCompleter (src/Options/Applicative/Builder/Internal.hs:60)
HasValue (src/Options/Applicative/Builder/Internal.hs:69)
HasMetavar (src/Options/Applicative/Builder/Internal.hs:77)
renderFailure (src/Options/Applicative/Extra.hs:345)
overFailure (src/Options/Applicative/Types.hs:374)
PrefsMod (src/Options/Applicative/Builder.hs:523)
ParseError (src/Options/Applicative/Types.hs:69)
ParserHelp (src/Options/Applicative/Help/Types.hs:12)
ParserFailure (src/Options/Applicative/Types.hs:347)
CompletionResult (src/Options/Applicative/Types.hs:340)
Warning: 'A' is ambiguous. It is defined
* at src/Options/Applicative/Arrows.hs:47:19
* at src/Options/Applicative/Arrows.hs:47: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/Options/Applicative/Arrows.hs:47:1
100% ( 6 / 6) in 'Options.Applicative.Arrows'
Warning: Options.Applicative.Help.Pretty: could not find link destinations for:
- Prettyprinter.Internal.Rep_SimpleDocStream
Documentation created: dist/doc/html/optparse-applicative/,
dist/doc/html/optparse-applicative/optparse-applicative.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/optparse-applicative-0.19.0.0-5c46VkbBJNABJCSsMkcBhu
Completed optparse-applicative-0.19.0.0
Downloading MiniAgda-0.2025.7.23
Downloaded MiniAgda-0.2025.7.23
Configuring MiniAgda-0.2025.7.23...
Preprocessing library for MiniAgda-0.2025.7.23..
unused terminals: 3
shift/reduce conflicts: 30
reduce/reduce conflicts: 55
Building library for MiniAgda-0.2025.7.23..
[ 1 of 31] Compiling Collection ( src/Collection.hs, dist/build/Collection.o, dist/build/Collection.dyn_o )
[ 2 of 31] Compiling Lexer ( dist/build/Lexer.hs, dist/build/Lexer.o, dist/build/Lexer.dyn_o )
[ 3 of 31] Compiling License ( src/License.hs, dist/build/License.o, dist/build/License.dyn_o )
src/License.hs:10:13: 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."
|
10 | copyright = head (lines license)
| ^^^^
[ 4 of 31] Compiling Paths_MiniAgda ( dist/build/autogen/Paths_MiniAgda.hs, dist/build/Paths_MiniAgda.o, dist/build/Paths_MiniAgda.dyn_o )
[ 5 of 31] Compiling Semiring ( src/Semiring.hs, dist/build/Semiring.o, dist/build/Semiring.dyn_o )
[ 6 of 31] Compiling SparseMatrix ( src/SparseMatrix.hs, dist/build/SparseMatrix.o, dist/build/SparseMatrix.dyn_o )
src/SparseMatrix.hs:236:108: 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."
|
236 | aux i l = error $ "blowUpSparseVec (n = " ++ show n ++ ") aux i=" ++ show i ++ " j=" ++ show (fst (head l)) ++ " length l = " ++ show (length l)
| ^^^^
[ 7 of 31] Compiling Util ( src/Util.hs, dist/build/Util.o, dist/build/Util.dyn_o )
[ 8 of 31] Compiling TreeShapedOrder ( src/TreeShapedOrder.hs, dist/build/TreeShapedOrder.o, dist/build/TreeShapedOrder.dyn_o )
src/TreeShapedOrder.hs:139:21: 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."
|
139 | map (\ l -> Node (head (head l))
| ^^^^
src/TreeShapedOrder.hs:139:27: 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."
|
139 | map (\ l -> Node (head (head l))
| ^^^^
src/TreeShapedOrder.hs:140:64: 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."
|
140 | (pathesToForest $ filter (not . null) $ map tail l)) $
| ^^^^
src/TreeShapedOrder.hs:141:24: 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."
|
141 | groupBy (\ l l' -> head l == head l') ll
| ^^^^
src/TreeShapedOrder.hs:141:34: 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."
|
141 | groupBy (\ l l' -> head l == head l') ll
| ^^^^
[ 9 of 31] Compiling TraceError ( src/TraceError.hs, dist/build/TraceError.o, dist/build/TraceError.dyn_o )
[10 of 31] Compiling Version ( src/Version.hs, dist/build/Version.o, dist/build/Version.dyn_o )
[11 of 31] Compiling Options ( src/Options.hs, dist/build/Options.o, dist/build/Options.dyn_o )
[12 of 31] Compiling Warshall ( src/Warshall.hs, dist/build/Warshall.o, dist/build/Warshall.dyn_o )
[13 of 31] Compiling Polarity ( src/Polarity.hs, dist/build/Polarity.o, dist/build/Polarity.dyn_o )
[14 of 31] Compiling Abstract[boot] ( src/Abstract.hs-boot, dist/build/Abstract.o-boot, dist/build/Abstract.dyn_o-boot )
[15 of 31] Compiling Value[boot] ( src/Value.hs-boot, dist/build/Value.o-boot, dist/build/Value.dyn_o-boot )
[16 of 31] Compiling Abstract ( src/Abstract.hs, dist/build/Abstract.o, dist/build/Abstract.dyn_o )
[17 of 31] Compiling Value ( src/Value.hs, dist/build/Value.o, dist/build/Value.dyn_o )
[18 of 31] Compiling Termination ( src/Termination.hs, dist/build/Termination.o, dist/build/Termination.dyn_o )
src/Termination.hs:232: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."
|
232 | s = length (head y)-1
| ^^^^
src/Termination.hs:242:18: 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."
|
242 | s = length (head m) - 1
| ^^^^
src/Termination.hs:445:46: 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."
|
445 | compatibleCP (CallPath one) (CallPath two) = head one == head two && last one == last two
| ^^^^
src/Termination.hs:445:58: 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."
|
445 | compatibleCP (CallPath one) (CallPath two) = head one == head two && last one == last two
| ^^^^
[19 of 31] Compiling HsSyntax ( src/HsSyntax.hs, dist/build/HsSyntax.o, dist/build/HsSyntax.dyn_o )
[20 of 31] Compiling Concrete ( src/Concrete.hs, dist/build/Concrete.o, dist/build/Concrete.dyn_o )
[21 of 31] Compiling ScopeChecker ( src/ScopeChecker.hs, dist/build/ScopeChecker.o, dist/build/ScopeChecker.dyn_o )
src/ScopeChecker.hs:95: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."
|
95 | thisLevel cxt = head (stack cxt)
| ^^^^
src/ScopeChecker.hs:430:38: 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."
|
430 | let measured = null mll || isJust (head mll)
| ^^^^
src/ScopeChecker.hs:431:30: 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."
|
431 | let ok = null mll || all ((head mll)==) (tail mll)
| ^^^^
src/ScopeChecker.hs:431:44: 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."
|
431 | let ok = null mll || all ((head mll)==) (tail mll)
| ^^^^
[22 of 31] Compiling Parser ( dist/build/Parser.hs, dist/build/Parser.o, dist/build/Parser.dyn_o )
[23 of 31] Compiling TCM[boot] ( src/TCM.hs-boot, dist/build/TCM.o-boot, dist/build/TCM.dyn_o-boot )
[24 of 31] Compiling Eval[boot] ( src/Eval.hs-boot, dist/build/Eval.o-boot, dist/build/Eval.dyn_o-boot )
[25 of 31] Compiling PrettyTCM ( src/PrettyTCM.hs, dist/build/PrettyTCM.o, dist/build/PrettyTCM.dyn_o )
[26 of 31] Compiling TCM ( src/TCM.hs, dist/build/TCM.o, dist/build/TCM.dyn_o )
[27 of 31] Compiling Eval ( src/Eval.hs, dist/build/Eval.o, dist/build/Eval.dyn_o )
[28 of 31] Compiling Extract ( src/Extract.hs, dist/build/Extract.o, dist/build/Extract.dyn_o )
[29 of 31] Compiling TypeChecker ( src/TypeChecker.hs, dist/build/TypeChecker.o, dist/build/TypeChecker.dyn_o )
src/TypeChecker.hs:2080:23: 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."
|
2080 | let sizep = head pl -- 2012-01-22: WAS (pl !! nPars)
| ^^^^
[30 of 31] Compiling ToHaskell ( src/ToHaskell.hs, dist/build/ToHaskell.o, dist/build/ToHaskell.dyn_o )
src/ToHaskell.hs:269:23: 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."
|
269 | unless (isUpper $ head n) $
| ^^^^
[31 of 31] Compiling MainLib ( src/MainLib.hs, dist/build/MainLib.o, dist/build/MainLib.dyn_o )
Preprocessing executable 'miniagda' for MiniAgda-0.2025.7.23..
Building executable 'miniagda' for MiniAgda-0.2025.7.23..
[1 of 1] Compiling Main ( main/Main.hs, dist/build/miniagda/miniagda-tmp/Main.o )
[2 of 2] Linking dist/build/miniagda/miniagda
Preprocessing library for MiniAgda-0.2025.7.23..
Running Haddock on library for MiniAgda-0.2025.7.23..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 31] Compiling Collection ( src/Collection.hs, nothing )
[ 2 of 31] Compiling Lexer ( dist/build/Lexer.hs, nothing )
[ 3 of 31] Compiling License ( src/License.hs, nothing )
src/License.hs:10:13: 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."
|
10 | copyright = head (lines license)
| ^^^^
[ 4 of 31] Compiling Paths_MiniAgda ( dist/build/autogen/Paths_MiniAgda.hs, nothing )
[ 5 of 31] Compiling Semiring ( src/Semiring.hs, nothing )
[ 6 of 31] Compiling SparseMatrix ( src/SparseMatrix.hs, nothing )
src/SparseMatrix.hs:236:108: 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."
|
236 | aux i l = error $ "blowUpSparseVec (n = " ++ show n ++ ") aux i=" ++ show i ++ " j=" ++ show (fst (head l)) ++ " length l = " ++ show (length l)
| ^^^^
[ 7 of 31] Compiling Util ( src/Util.hs, nothing )
[ 8 of 31] Compiling TreeShapedOrder ( src/TreeShapedOrder.hs, nothing )
src/TreeShapedOrder.hs:139:21: 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."
|
139 | map (\ l -> Node (head (head l))
| ^^^^
src/TreeShapedOrder.hs:139:27: 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."
|
139 | map (\ l -> Node (head (head l))
| ^^^^
src/TreeShapedOrder.hs:140:64: 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."
|
140 | (pathesToForest $ filter (not . null) $ map tail l)) $
| ^^^^
src/TreeShapedOrder.hs:141:24: 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."
|
141 | groupBy (\ l l' -> head l == head l') ll
| ^^^^
src/TreeShapedOrder.hs:141:34: 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."
|
141 | groupBy (\ l l' -> head l == head l') ll
| ^^^^
[ 9 of 31] Compiling TraceError ( src/TraceError.hs, nothing )
[10 of 31] Compiling Version ( src/Version.hs, nothing )
[11 of 31] Compiling Options ( src/Options.hs, nothing )
[12 of 31] Compiling Warshall ( src/Warshall.hs, nothing )
[13 of 31] Compiling Polarity ( src/Polarity.hs, nothing )
[14 of 31] Compiling Abstract[boot] ( src/Abstract.hs-boot, nothing )
[15 of 31] Compiling Value[boot] ( src/Value.hs-boot, nothing )
[16 of 31] Compiling Abstract ( src/Abstract.hs, nothing )
[17 of 31] Compiling Value ( src/Value.hs, nothing )
[18 of 31] Compiling Termination ( src/Termination.hs, nothing )
src/Termination.hs:232: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."
|
232 | s = length (head y)-1
| ^^^^
src/Termination.hs:242:18: 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."
|
242 | s = length (head m) - 1
| ^^^^
src/Termination.hs:445:46: 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."
|
445 | compatibleCP (CallPath one) (CallPath two) = head one == head two && last one == last two
| ^^^^
src/Termination.hs:445:58: 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."
|
445 | compatibleCP (CallPath one) (CallPath two) = head one == head two && last one == last two
| ^^^^
[19 of 31] Compiling HsSyntax ( src/HsSyntax.hs, nothing )
[20 of 31] Compiling Concrete ( src/Concrete.hs, nothing )
[21 of 31] Compiling ScopeChecker ( src/ScopeChecker.hs, nothing )
src/ScopeChecker.hs:95: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."
|
95 | thisLevel cxt = head (stack cxt)
| ^^^^
src/ScopeChecker.hs:430:38: 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."
|
430 | let measured = null mll || isJust (head mll)
| ^^^^
src/ScopeChecker.hs:431:30: 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."
|
431 | let ok = null mll || all ((head mll)==) (tail mll)
| ^^^^
src/ScopeChecker.hs:431:44: 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."
|
431 | let ok = null mll || all ((head mll)==) (tail mll)
| ^^^^
[22 of 31] Compiling Parser ( dist/build/Parser.hs, nothing )
[23 of 31] Compiling TCM[boot] ( src/TCM.hs-boot, nothing )
[24 of 31] Compiling Eval[boot] ( src/Eval.hs-boot, nothing )
[25 of 31] Compiling PrettyTCM ( src/PrettyTCM.hs, nothing )
[26 of 31] Compiling TCM ( src/TCM.hs, nothing )
[27 of 31] Compiling Eval ( src/Eval.hs, nothing )
[28 of 31] Compiling Extract ( src/Extract.hs, nothing )
[29 of 31] Compiling TypeChecker ( src/TypeChecker.hs, nothing )
src/TypeChecker.hs:2080:23: 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."
|
2080 | let sizep = head pl -- 2012-01-22: WAS (pl !! nPars)
| ^^^^
[30 of 31] Compiling ToHaskell ( src/ToHaskell.hs, nothing )
src/ToHaskell.hs:269:23: 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."
|
269 | unless (isUpper $ head n) $
| ^^^^
[31 of 31] Compiling MainLib ( src/MainLib.hs, nothing )
Haddock coverage:
0% ( 0 / 2) in 'Collection'
Missing documentation for:
Module header
Collection (src/Collection.hs:14)
0% ( 0 / 5) in 'Lexer'
Missing documentation for:
Module header
AlexPosn (dist/build/Lexer.hs:229)
Token (src/Lexer.x:83)
alexScanTokens (dist/build/Lexer.hs:576)
prettyTok (src/Lexer.x:147)
0% ( 0 / 3) in 'License'
Missing documentation for:
Module header
copyright (src/License.hs:10)
license (src/License.hs:13)
83% ( 5 / 6) in 'Semiring'
Missing documentation for:
integerSemiring (src/Semiring.hs:84)
Warning: 'all' is ambiguous. It is defined
* at src/SparseMatrix.hs:303:1
* in Data.Foldable
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/SparseMatrix.hs:303:1
Warning: 'b' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'zip' is ambiguous. It is defined
* at src/SparseMatrix.hs:313:1
* in GHC.List
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/SparseMatrix.hs:313:1
79% ( 23 / 29) in 'SparseMatrix'
Missing documentation for:
matrixInvariant (src/SparseMatrix.hs:128)
sizeInvariant (src/SparseMatrix.hs:69)
size
all (src/SparseMatrix.hs:303)
any (src/SparseMatrix.hs:306)
transpose (src/SparseMatrix.hs:298)
Warning: Util: Could not find documentation for exported module: Util
7% ( 4 / 51) in 'Util'
Missing documentation for:
Module header
Pretty (src/Util.hs:37)
for (src/Util.hs:196)
Null (src/Util.hs:248)
showList (src/Util.hs:154)
parens (src/Util.hs:139)
traceM (src/Util.hs:74)
Size (src/Util.hs:242)
Push (src/Util.hs:209)
andM (src/Util.hs:126)
brackets (src/Util.hs:142)
parensIf (src/Util.hs:56)
List1 (src/Util.hs:28)
+?+ (src/Util.hs:31)
implies (src/Util.hs:35)
angleBrackets (src/Util.hs:48)
hsepBy (src/Util.hs:59)
pwords (src/Util.hs:64)
fwords (src/Util.hs:67)
fromAllWriter (src/Util.hs:70)
whenM (src/Util.hs:83)
unlessM (src/Util.hs:86)
whenJustM (src/Util.hs:89)
whenJust (src/Util.hs:92)
whenNothing (src/Util.hs:96)
ifNothingM (src/Util.hs:100)
ifJustM (src/Util.hs:103)
mapMapM (src/Util.hs:106)
ifM (src/Util.hs:112)
andLazy (src/Util.hs:123)
findM (src/Util.hs:130)
bracketsIf (src/Util.hs:145)
separate (src/Util.hs:149)
hasDuplicate (src/Util.hs:160)
compressMaybes (src/Util.hs:164)
mapFst (src/Util.hs:167)
mapSnd (src/Util.hs:170)
mapPair (src/Util.hs:173)
zipPair (src/Util.hs:176)
headMaybe (src/Util.hs:179)
firstJust (src/Util.hs:183)
firstJustM (src/Util.hs:186)
mapOver (src/Util.hs:194)
mapAssoc (src/Util.hs:199)
mapAssocM (src/Util.hs:202)
compAssoc (src/Util.hs:205)
Retrieve (src/Util.hs:223)
59% ( 13 / 22) in 'TreeShapedOrder'
Missing documentation for:
Module header
pathesToForest (src/TreeShapedOrder.hs:137)
l1 (src/TreeShapedOrder.hs:157)
o1 (src/TreeShapedOrder.hs:160)
t1 (src/TreeShapedOrder.hs:162)
t2 (src/TreeShapedOrder.hs:163)
t3 (src/TreeShapedOrder.hs:164)
t4 (src/TreeShapedOrder.hs:165)
t5 (src/TreeShapedOrder.hs:166)
0% ( 0 / 20) in 'TraceError'
Missing documentation for:
Module header
TraceError (src/TraceError.hs:13)
throwErrorMsg (src/TraceError.hs:24)
newErrorMsg (src/TraceError.hs:27)
throwTrace (src/TraceError.hs:32)
enter (src/TraceError.hs:35)
enterTrace (src/TraceError.hs:36)
enterShow (src/TraceError.hs:39)
enterDoc (src/TraceError.hs:42)
failDoc (src/TraceError.hs:47)
newErrorDoc (src/TraceError.hs:50)
errorToMaybe (src/TraceError.hs:53)
errorToBool (src/TraceError.hs:56)
boolToErrorDoc (src/TraceError.hs:59)
boolToError (src/TraceError.hs:63)
orM (src/TraceError.hs:75)
AssertionHandling (src/TraceError.hs:79)
assert' (src/TraceError.hs:83)
assertDoc' (src/TraceError.hs:89)
MonadAssert (src/TraceError.hs:91)
100% ( 2 / 2) in 'Version'
80% ( 4 / 5) in 'Options'
Missing documentation for:
self (src/Options.hs:27)
0% ( 0 / 38) in 'Warshall'
Missing documentation for:
Module header
traceSolve (src/Warshall.hs:28)
traceSolveM (src/Warshall.hs:32)
SemiRing (src/Warshall.hs:37)
Matrix (src/Warshall.hs:43)
warshall (src/Warshall.hs:47)
Weight (src/Warshall.hs:57)
inc (src/Warshall.hs:61)
Node (src/Warshall.hs:90)
Rigid (src/Warshall.hs:99)
NodeId (src/Warshall.hs:108)
RigidId (src/Warshall.hs:109)
FlexId (src/Warshall.hs:110)
Scope (src/Warshall.hs:111)
infinite (src/Warshall.hs:115)
isBelow (src/Warshall.hs:123)
Constrnt (src/Warshall.hs:130)
Constraint (src/Warshall.hs:138)
arc (src/Warshall.hs:141)
Constraints (src/Warshall.hs:151)
emptyConstraints (src/Warshall.hs:154)
Graph (src/Warshall.hs:158)
initGraph (src/Warshall.hs:168)
GM (src/Warshall.hs:171)
addFlex (src/Warshall.hs:174)
addNode (src/Warshall.hs:181)
addEdge (src/Warshall.hs:196)
addConstraint (src/Warshall.hs:206)
buildGraph (src/Warshall.hs:214)
mkMatrix (src/Warshall.hs:217)
LegendMatrix (src/Warshall.hs:223)
Solution (src/Warshall.hs:245)
emptySolution (src/Warshall.hs:248)
extendSolution (src/Warshall.hs:251)
MaxExpr (src/Warshall.hs:253)
SizeExpr (src/Warshall.hs:256)
sizeRigid (src/Warshall.hs:267)
solve (src/Warshall.hs:324)
3% ( 1 / 30) in 'Polarity'
Missing documentation for:
Module header
Polarity (src/Polarity.hs:45)
PVarId (src/Polarity.hs:53)
Pol (src/Polarity.hs:55)
mixed (src/Polarity.hs:67)
defaultPol (src/Polarity.hs:68)
showPVar (src/Polarity.hs:92)
isPVar (src/Polarity.hs:95)
leqPol (src/Polarity.hs:100)
polNeg (src/Polarity.hs:127)
polComp (src/Polarity.hs:138)
invComp (src/Polarity.hs:160)
polAnd (src/Polarity.hs:180)
relPol (src/Polarity.hs:205)
relPolM (src/Polarity.hs:214)
Multiplicity (src/Polarity.hs:224)
addMultiplicity (src/Polarity.hs:232)
VarMults (src/Polarity.hs:236)
showMults (src/Polarity.hs:239)
multsEmpty (src/Polarity.hs:247)
multsSingle (src/Polarity.hs:250)
PProd (src/Polarity.hs:253)
pprod (src/Polarity.hs:272)
isSPos (src/Polarity.hs:282)
polProd (src/Polarity.hs:289)
PPoly (src/Polarity.hs:294)
ppoly (src/Polarity.hs:302)
polSum (src/Polarity.hs:306)
polProduct (src/Polarity.hs:309)
15% ( 35 /221) in 'Abstract'
Missing documentation for:
Module header
Name (src/Abstract.hs:61)
freshen (src/Abstract.hs:85)
nonEmptyName (src/Abstract.hs:96)
iAmNotUnique (src/Abstract.hs:109)
unsafeName (src/Abstract.hs:113)
mkExtRef (src/Abstract.hs:122)
isEtaAlias (src/Abstract.hs:125)
Sized (src/Abstract.hs:161)
Co (src/Abstract.hs:164)
showFun (src/Abstract.hs:169)
LtLe (src/Abstract.hs:172)
Decoration (src/Abstract.hs:184)
polarity (src/Abstract.hs:190)
Dec (src/Abstract.hs:201)
UDec (src/Abstract.hs:202)
LensPol (src/Abstract.hs:204)
udec (src/Abstract.hs:217)
irrelevantDec (src/Abstract.hs:220)
paramDec (src/Abstract.hs:221)
defaultDec (src/Abstract.hs:222)
defaultUpperDec (src/Abstract.hs:226)
coDomainDec (src/Abstract.hs:235)
compDec (src/Abstract.hs:244)
HasPred (src/Abstract.hs:292)
sizeSuccE (src/Abstract.hs:300)
minSizeE (src/Abstract.hs:304)
maxSizeE (src/Abstract.hs:312)
flattenMax (src/Abstract.hs:321)
maxE (src/Abstract.hs:329)
sizeVarsToInfty (src/Abstract.hs:332)
leqSizeE (src/Abstract.hs:337)
Class (src/Abstract.hs:345)
predClass (src/Abstract.hs:356)
Sort (src/Abstract.hs:360)
topSort (src/Abstract.hs:381)
predSort (src/Abstract.hs:394)
succSort (src/Abstract.hs:405)
minSort (src/Abstract.hs:410)
minClass (src/Abstract.hs:419)
maxClass (src/Abstract.hs:426)
maxSort (src/Abstract.hs:433)
irrSortFor (src/Abstract.hs:450)
Kind (src/Abstract.hs:463)
defaultKind (src/Abstract.hs:471)
preciseKind (src/Abstract.hs:474)
kSize (src/Abstract.hs:475)
kTSize (src/Abstract.hs:476)
kTerm (src/Abstract.hs:477)
kType (src/Abstract.hs:478)
kUniv (src/Abstract.hs:480)
prettyKind (src/Abstract.hs:491)
dataKind (src/Abstract.hs:504)
argKind (src/Abstract.hs:508)
predKind (src/Abstract.hs:514)
succKind (src/Abstract.hs:527)
intersectKind (src/Abstract.hs:534)
unionKind (src/Abstract.hs:542)
irrelevantFor (src/Abstract.hs:554)
Kinded (src/Abstract.hs:562)
Dom (src/Abstract.hs:571)
defaultDomain (src/Abstract.hs:578)
domFromKinded (src/Abstract.hs:581)
defaultIrrDom (src/Abstract.hs:584)
sizeDomain (src/Abstract.hs:587)
belowDomain (src/Abstract.hs:590)
LensDec (src/Abstract.hs:592)
ConK (src/Abstract.hs:610)
IdKind (src/Abstract.hs:616)
conKind (src/Abstract.hs:630)
coToConK (src/Abstract.hs:634)
DefId (src/Abstract.hs:637)
MVar (src/Abstract.hs:643)
TBinding (src/Abstract.hs:647)
LBind (src/Abstract.hs:655)
TBind (src/Abstract.hs:656)
noBind (src/Abstract.hs:659)
boundType (src/Abstract.hs:662)
mapDecM (src/Abstract.hs:670)
Measure (src/Abstract.hs:675)
succMeasure (src/Abstract.hs:682)
applyLastM (src/Abstract.hs:692)
Bound (src/Abstract.hs:700)
Tag (src/Abstract.hs:719)
Tags (src/Abstract.hs:724)
inTags (src/Abstract.hs:727)
noTags (src/Abstract.hs:730)
Tagged (src/Abstract.hs:732)
showCast (src/Abstract.hs:742)
prettyErased (src/Abstract.hs:753)
prettyCast (src/Abstract.hs:757)
Expr (src/Abstract.hs:762)
PrePost (src/Abstract.hs:800)
PiSigma (src/Abstract.hs:801)
Dotted (src/Abstract.hs:817)
mkDotted (src/Abstract.hs:826)
notDotted (src/Abstract.hs:831)
isDotted (src/Abstract.hs:834)
clearDotted (src/Abstract.hs:837)
alignDotted (src/Abstract.hs:843)
recDotted (src/Abstract.hs:849)
piSig (src/Abstract.hs:863)
proj (src/Abstract.hs:876)
erasedExpr (src/Abstract.hs:884)
castExpr (src/Abstract.hs:885)
succView (src/Abstract.hs:888)
Clause (src/Abstract.hs:893)
clause (src/Abstract.hs:901)
PatternInfo (src/Abstract.hs:903)
Pattern (src/Abstract.hs:909)
Case (src/Abstract.hs:954)
Subst (src/Abstract.hs:956)
con (src/Abstract.hs:959)
fun (src/Abstract.hs:963)
dat (src/Abstract.hs:964)
letdef (src/Abstract.hs:967)
SpineView (src/Abstract.hs:969)
spineView (src/Abstract.hs:973)
test_spineView (src/Abstract.hs:978)
isErasedExpr (src/Abstract.hs:995)
Extr (src/Abstract.hs:1000)
EType (src/Abstract.hs:1001)
Declaration (src/Abstract.hs:1005)
Override (src/Abstract.hs:1017)
TySig (src/Abstract.hs:1024)
TypeSig (src/Abstract.hs:1026)
Type (src/Abstract.hs:1028)
ParamPats (src/Abstract.hs:1037)
Telescope (src/Abstract.hs:1039)
emptyTel (src/Abstract.hs:1043)
Arity (src/Abstract.hs:1045)
Fun (src/Abstract.hs:1050)
EDeclaration (src/Abstract.hs:1064)
EClause (src/Abstract.hs:1065)
EPattern (src/Abstract.hs:1066)
EConstructor (src/Abstract.hs:1067)
ETypeSig (src/Abstract.hs:1068)
EFun (src/Abstract.hs:1069)
ETelescope (src/Abstract.hs:1070)
eraseMeasure (src/Abstract.hs:1081)
inferable (src/Abstract.hs:1090)
patternVars (src/Abstract.hs:1217)
rhsDefs (src/Abstract.hs:1305)
precAppL (src/Abstract.hs:1310)
precAppR (src/Abstract.hs:1310)
precArrL (src/Abstract.hs:1310)
DotIf (src/Abstract.hs:1414)
prettyRecFields (src/Abstract.hs:1446)
prettyCase (src/Abstract.hs:1451)
vlist (src/Abstract.hs:1459)
showCase (src/Abstract.hs:1511)
showCases (src/Abstract.hs:1515)
ParSubst (src/Abstract.hs:1550)
prettyFun (src/Abstract.hs:1692)
prettyClause (src/Abstract.hs:1695)
FieldClass (src/Abstract.hs:1702)
Destructor (src/Abstract.hs:1708)
FieldInfo (src/Abstract.hs:1710)
PatternsType (src/Abstract.hs:1724)
ConstructorInfo (src/Abstract.hs:1730)
corePat (src/Abstract.hs:1742)
InjectiveVars (src/Abstract.hs:1794)
classifyFields (src/Abstract.hs:1852)
isField (src/Abstract.hs:1867)
isNamedField (src/Abstract.hs:1871)
destructorNames (src/Abstract.hs:1874)
analyzeConstructor (src/Abstract.hs:1877)
destructorNamesPresent (src/Abstract.hs:1943)
isPatIndFamC (src/Abstract.hs:1991)
tsoFromPatterns (src/Abstract.hs:2008)
overlap (src/Abstract.hs:2025)
overlaps (src/Abstract.hs:2046)
exprToDotPat' (src/Abstract.hs:2073)
patternToExpr (src/Abstract.hs:2096)
completeP (src/Abstract.hs:2120)
isDotPattern (src/Abstract.hs:2128)
isSuccessorPattern (src/Abstract.hs:2133)
isSuccessor (src/Abstract.hs:2139)
shallowSuccP (src/Abstract.hs:2144)
teleLam (src/Abstract.hs:2191)
teleToType' (src/Abstract.hs:2195)
teleToType (src/Abstract.hs:2202)
teleToTypeErase (src/Abstract.hs:2205)
adjustTopDecs (src/Abstract.hs:2208)
teleToTypeM (src/Abstract.hs:2212)
adjustTopDecsM (src/Abstract.hs:2216)
19% ( 11 / 57) in 'Value'
Missing documentation for:
Module header
Val (src/Value.hs:27)
absName (src/Value.hs:83)
FVal (src/Value.hs:90)
TVal (src/Value.hs:91)
Clos (src/Value.hs:92)
Domain (src/Value.hs:93)
emptyVal (src/Value.hs:100)
sgVal (src/Value.hs:103)
valuateGen (src/Value.hs:106)
TeleVal (src/Value.hs:108)
Environ (src/Value.hs:110)
EnvMap (src/Value.hs:116)
Env (src/Value.hs:117)
vFinSize (src/Value.hs:127)
isVSize (src/Value.hs:135)
vTSize (src/Value.hs:140)
vTopSort (src/Value.hs:143)
mkClos (src/Value.hs:146)
filterEnv (src/Value.hs:158)
vDef (src/Value.hs:164)
vCon (src/Value.hs:167)
vFun (src/Value.hs:171)
vDat (src/Value.hs:174)
vAbs (src/Value.hs:177)
arrow (src/Value.hs:180)
prod (src/Value.hs:181)
quant (src/Value.hs:184)
succSize (src/Value.hs:218)
vSucc (src/Value.hs:225)
plusSize (src/Value.hs:229)
plusSizes (src/Value.hs:243)
maxSize (src/Value.hs:252)
vSortToSort (src/Value.hs:278)
predSize (src/Value.hs:282)
isFunType (src/Value.hs:294)
isDataType (src/Value.hs:298)
showSkipLambda (src/Value.hs:363)
showVals (src/Value.hs:370)
emptyEnv (src/Value.hs:376)
appendEnv (src/Value.hs:379)
lookupPure (src/Value.hs:388)
lookupEnv (src/Value.hs:394)
showValuation (src/Value.hs:400)
showEnv (src/Value.hs:404)
showEnv' (src/Value.hs:410)
3% ( 3 / 80) in 'Termination'
Missing documentation for:
Module header
traceTerm (src/Termination.hs:30)
traceTermM (src/Termination.hs:33)
traceProg (src/Termination.hs:41)
traceProgM (src/Termination.hs:44)
cutoff (src/Termination.hs:57)
Matrix (src/Termination.hs:60)
empty (src/Termination.hs:63)
Order (src/Termination.hs:66)
orderMat (src/Termination.hs:76)
decr (src/Termination.hs:87)
abstract (src/Termination.hs:93)
absCM (src/Termination.hs:100)
ordRing (src/Termination.hs:105)
comp (src/Termination.hs:109)
maxO (src/Termination.hs:122)
minO (src/Termination.hs:134)
maxL (src/Termination.hs:162)
minL (src/Termination.hs:165)
collapse (src/Termination.hs:200)
Vector (src/Termination.hs:206)
NaiveMatrix (src/Termination.hs:207)
ssum (src/Termination.hs:217)
vadd (src/Termination.hs:220)
scalarProdukt (src/Termination.hs:223)
madd (src/Termination.hs:226)
transp (src/Termination.hs:229)
mmul (src/Termination.hs:235)
diag (src/Termination.hs:239)
elems (src/Termination.hs:245)
sameSize (src/Termination.hs:253)
composable (src/Termination.hs:256)
compareArgs (src/Termination.hs:264)
compareExpr (src/Termination.hs:308)
compareExpr' (src/Termination.hs:313)
conView (src/Termination.hs:344)
compareVar (src/Termination.hs:348)
Index (src/Termination.hs:375)
Call (src/Termination.hs:377)
CallMatrix (src/Termination.hs:384)
subsumes (src/Termination.hs:389)
leq (src/Termination.hs:398)
progress (src/Termination.hs:406)
decrToward0 (src/Termination.hs:414)
CallPath (src/Termination.hs:427)
emptyCP (src/Termination.hs:434)
mkCP (src/Termination.hs:437)
mulCP (src/Termination.hs:440)
compatibleCP (src/Termination.hs:445)
CompCall (src/Termination.hs:459)
mulCC (src/Termination.hs:462)
subsumesCC (src/Termination.hs:465)
progressCC (src/Termination.hs:470)
CMSet (src/Termination.hs:495)
cmRing (src/Termination.hs:498)
Progress (src/Termination.hs:500)
ProgressH (src/Termination.hs:501)
firstHalf (src/Termination.hs:504)
secondHalf (src/Termination.hs:507)
addCMh (src/Termination.hs:513)
addCM' (src/Termination.hs:528)
unionCMSet' (src/Termination.hs:534)
addCM (src/Termination.hs:540)
unionCMSet (src/Termination.hs:543)
mulCMSet (src/Termination.hs:546)
CallGraph (src/Termination.hs:568)
stepCG (src/Termination.hs:571)
complCGraph (src/Termination.hs:587)
checkAll (src/Termination.hs:592)
checkIdem (src/Termination.hs:596)
makeCG (src/Termination.hs:616)
isDecr (src/Termination.hs:651)
terminationCheck (src/Termination.hs:661)
terminationCheckFuns (src/Termination.hs:676)
sizeChangeTermination (src/Termination.hs:684)
collectCGFunDecl (src/Termination.hs:720)
collectCallsExpr (src/Termination.hs:745)
0% ( 0 / 74) in 'HsSyntax'
Missing documentation for:
Module header
noLoc (src/HsSyntax.hs:16)
Exp (src/HsSyntax.hs:18)
Pat (src/HsSyntax.hs:19)
Type (src/HsSyntax.hs:20)
Kind (src/HsSyntax.hs:21)
Decl (src/HsSyntax.hs:22)
Name (src/HsSyntax.hs:23)
QName (src/HsSyntax.hs:24)
Match (src/HsSyntax.hs:25)
Module (src/HsSyntax.hs:26)
ImportDecl (src/HsSyntax.hs:27)
TyVarBind (src/HsSyntax.hs:28)
GadtDecl (src/HsSyntax.hs:29)
hQual (src/HsSyntax.hs:31)
hUnQual (src/HsSyntax.hs:32)
hModuleName (src/HsSyntax.hs:33)
hIdent (src/HsSyntax.hs:34)
hFunBind (src/HsSyntax.hs:35)
hVar (src/HsSyntax.hs:36)
hCon (src/HsSyntax.hs:37)
hLit (src/HsSyntax.hs:38)
hApp (src/HsSyntax.hs:39)
hString (src/HsSyntax.hs:40)
hTyVar (src/HsSyntax.hs:41)
hTyCon (src/HsSyntax.hs:42)
hTyApp (src/HsSyntax.hs:43)
hDataType (src/HsSyntax.hs:44)
hKindFn (src/HsSyntax.hs:45)
hTyTuple (src/HsSyntax.hs:46)
hTyFun (src/HsSyntax.hs:47)
hTyForall (src/HsSyntax.hs:48)
hKindedVar (src/HsSyntax.hs:49)
hTyParen (src/HsSyntax.hs:50)
hBDecls (src/HsSyntax.hs:51)
hUnGuardedRhs (src/HsSyntax.hs:52)
hParen (src/HsSyntax.hs:53)
hLet (src/HsSyntax.hs:54)
hTuple (src/HsSyntax.hs:55)
hPVar (src/HsSyntax.hs:56)
hPApp (src/HsSyntax.hs:57)
hPTuple (src/HsSyntax.hs:58)
hKindStar (src/HsSyntax.hs:59)
main_name (src/HsSyntax.hs:61)
main_mod (src/HsSyntax.hs:62)
unit_tycon (src/HsSyntax.hs:63)
mkQual (src/HsSyntax.hs:66)
mkModule (src/HsSyntax.hs:69)
mkQualImport (src/HsSyntax.hs:89)
noContext (src/HsSyntax.hs:101)
noDeriving (src/HsSyntax.hs:102)
noTyVarBind (src/HsSyntax.hs:103)
showDeriving (src/HsSyntax.hs:104)
mkDataDecl (src/HsSyntax.hs:109)
mkConDecl (src/HsSyntax.hs:115)
mkKindFun (src/HsSyntax.hs:118)
mkTyPiSig (src/HsSyntax.hs:126)
mkTyProd (src/HsSyntax.hs:130)
mkTyFun (src/HsSyntax.hs:133)
mkForall (src/HsSyntax.hs:137)
mkTyParen (src/HsSyntax.hs:140)
mkTyApp (src/HsSyntax.hs:145)
noBinds (src/HsSyntax.hs:147)
mkTypeSig (src/HsSyntax.hs:150)
mkLet (src/HsSyntax.hs:154)
mkClause (src/HsSyntax.hs:157)
mkCast (src/HsSyntax.hs:160)
mkCon (src/HsSyntax.hs:163)
mkVar (src/HsSyntax.hs:166)
mkLam (src/HsSyntax.hs:169)
mkParen (src/HsSyntax.hs:173)
mkApp (src/HsSyntax.hs:178)
mkLLet (src/HsSyntax.hs:181)
mkPair (src/HsSyntax.hs:184)
0% ( 0 / 24) in 'PrettyTCM'
Missing documentation for:
Module header
Doc (src/PrettyTCM.hs:27)
empty (src/PrettyTCM.hs:31)
comma (src/PrettyTCM.hs:32)
colon (src/PrettyTCM.hs:33)
pretty (src/PrettyTCM.hs:34)
text (src/PrettyTCM.hs:36)
pwords (src/PrettyTCM.hs:37)
fwords (src/PrettyTCM.hs:38)
sep (src/PrettyTCM.hs:39)
fsep (src/PrettyTCM.hs:40)
hsep (src/PrettyTCM.hs:41)
vcat (src/PrettyTCM.hs:42)
$$ (src/PrettyTCM.hs:43)
<> (src/PrettyTCM.hs:44)
<+> (src/PrettyTCM.hs:45)
nest (src/PrettyTCM.hs:46)
braces (src/PrettyTCM.hs:47)
brackets (src/PrettyTCM.hs:48)
parens (src/PrettyTCM.hs:49)
prettyList (src/PrettyTCM.hs:51)
punctuate (src/PrettyTCM.hs:53)
ToExpr (src/PrettyTCM.hs:60)
PrettyTCM (src/PrettyTCM.hs:70)
13% ( 13 / 94) in 'TCM'
Missing documentation for:
Module header
traceSig (src/TCM.hs:43)
traceRew (src/TCM.hs:46)
traceRewM (src/TCM.hs:49)
traceMeta (src/TCM.hs:58)
traceMetaM (src/TCM.hs:61)
MonadTCM (src/TCM.hs:70)
OneOrTwo (src/TCM.hs:83)
name12 (src/TCM.hs:90)
oneOrTwo (src/TCM.hs:114)
fromOne (src/TCM.hs:118)
toTwo (src/TCM.hs:121)
first12 (src/TCM.hs:124)
second12 (src/TCM.hs:128)
mapSecond12 (src/TCM.hs:132)
zipWith12 (src/TCM.hs:136)
zipWith123 (src/TCM.hs:141)
toList12 (src/TCM.hs:145)
fromList12 (src/TCM.hs:149)
toMaybe12 (src/TCM.hs:154)
TCContext (src/TCM.hs:162)
emptyContext (src/TCM.hs:190)
TCState (src/TCM.hs:213)
MetaVars (src/TCM.hs:221)
emptyMetaVars (src/TCM.hs:224)
MScope (src/TCM.hs:226)
MetaVar (src/TCM.hs:227)
PosConstrnt (src/TCM.hs:232)
PositivityGraph (src/TCM.hs:233)
emptyPosGraph (src/TCM.hs:236)
TypeCheck (src/TCM.hs:239)
Rewrite (src/TCM.hs:288)
Rewrites (src/TCM.hs:289)
emptyRewrites (src/TCM.hs:292)
Ren (src/TCM.hs:302)
Env2 (src/TCM.hs:304)
Context (src/TCM.hs:306)
Context2 (src/TCM.hs:307)
CxtE (src/TCM.hs:339)
CxtEntry (src/TCM.hs:340)
CxtEntry1 (src/TCM.hs:341)
SemCxt (src/TCM.hs:343)
cxtEmpty (src/TCM.hs:367)
cxtPush' (src/TCM.hs:377)
cxtPushEntry (src/TCM.hs:399)
cxtPush (src/TCM.hs:402)
cxtPush2 (src/TCM.hs:407)
cxtPushGen (src/TCM.hs:418)
cxtSetType (src/TCM.hs:423)
cxtLookupGen (src/TCM.hs:433)
cxtLookupName (src/TCM.hs:439)
cxtApplyDec (src/TCM.hs:446)
MonadCxt (src/TCM.hs:458)
dontCare (src/TCM.hs:543)
noConsistencyChecking (src/TCM.hs:909)
addBind (src/TCM.hs:917)
addBinds (src/TCM.hs:922)
introPatterns (src/TCM.hs:928)
introPatVar (src/TCM.hs:938)
introPatVars (src/TCM.hs:951)
introPatType (src/TCM.hs:957)
introPatTypes (src/TCM.hs:970)
matchPatType (src/TCM.hs:976)
Signature (src/TCM.hs:1014)
SigDef (src/TCM.hs:1022)
isEmptyData (src/TCM.hs:1088)
isUnitData (src/TCM.hs:1095)
undefinedFType (src/TCM.hs:1105)
symbKind (src/TCM.hs:1109)
emptySig (src/TCM.hs:1116)
DataView (src/TCM.hs:1120)
MonadSig (src/TCM.hs:1280)
lookupSymbInSig (src/TCM.hs:1341)
initSt (src/TCM.hs:1353)
initWithSig (src/TCM.hs:1356)
MonadMeta (src/TCM.hs:1360)
nameOf (src/TCM.hs:1436)
vGenSuccs (src/TCM.hs:1441)
sizeExprToExpr (src/TCM.hs:1446)
maxExpr (src/TCM.hs:1454)
solToSubst (src/TCM.hs:1459)
12% ( 5 / 41) in 'Concrete'
Missing documentation for:
Module header
unqual (src/Concrete.hs:26)
set0 (src/Concrete.hs:33)
ident (src/Concrete.hs:36)
LetDef (src/Concrete.hs:63)
Declaration (src/Concrete.hs:78)
TypeSig (src/Concrete.hs:91)
Type (src/Concrete.hs:97)
Constructor (src/Concrete.hs:99)
TBind (src/Concrete.hs:109)
LBind (src/Concrete.hs:110)
TBinding (src/Concrete.hs:112)
Telescope (src/Concrete.hs:129)
DefClause (src/Concrete.hs:131)
Elim (src/Concrete.hs:137)
Clause (src/Concrete.hs:142)
Pattern (src/Concrete.hs:148)
Case (src/Concrete.hs:158)
prettyLBind (src/Concrete.hs:169)
prettyTBind (src/Concrete.hs:185)
prettyLetBody (src/Concrete.hs:222)
prettyLetAssign (src/Concrete.hs:225)
prettyLetDef (src/Concrete.hs:228)
prettyDecId (src/Concrete.hs:234)
prettyTel (src/Concrete.hs:241)
prettyMaybeType (src/Concrete.hs:244)
prettyExpr (src/Concrete.hs:247)
prettyRecordLine (src/Concrete.hs:278)
prettyCase (src/Concrete.hs:281)
prettyPattern (src/Concrete.hs:285)
prettyExprs (src/Concrete.hs:295)
prettyDecl (src/Concrete.hs:298)
teleToType (src/Concrete.hs:301)
typeToTele (src/Concrete.hs:306)
teleNames (src/Concrete.hs:326)
tbindNames (src/Concrete.hs:329)
50% ( 1 / 2) in 'ScopeChecker'
Missing documentation for:
Module header
0% ( 0 / 2) in 'Parser'
Missing documentation for:
Module header
parse (dist/build/Parser.hs:2395)
5% ( 7 /118) in 'Eval'
Missing documentation for:
Module header
traceEta (src/Eval.hs:48)
traceEtaM (src/Eval.hs:49)
traceRecord (src/Eval.hs:55)
traceRecordM (src/Eval.hs:56)
traceMatch (src/Eval.hs:59)
traceMatchM (src/Eval.hs:60)
traceLoop (src/Eval.hs:66)
traceLoopM (src/Eval.hs:67)
traceSize (src/Eval.hs:73)
traceSizeM (src/Eval.hs:74)
failValInv (src/Eval.hs:81)
Reval (src/Eval.hs:116)
vSing (src/Eval.hs:214)
reduce (src/Eval.hs:244)
equal (src/Eval.hs:255)
notDifferentNames (src/Eval.hs:284)
equals' (src/Eval.hs:288)
equal' (src/Eval.hs:293)
reify (src/Eval.hs:307)
reify' (src/Eval.hs:311)
toExpr (src/Eval.hs:358)
addNameEnv (src/Eval.hs:405)
addPatternEnv (src/Eval.hs:412)
addPatternsEnv (src/Eval.hs:426)
ClosToExpr (src/Eval.hs:440)
metaToExpr (src/Eval.hs:518)
clauseToExpr (src/Eval.hs:521)
whnfMeasure (src/Eval.hs:634)
whnfSort (src/Eval.hs:637)
whnfClos (src/Eval.hs:642)
whnf' (src/Eval.hs:655)
sing (src/Eval.hs:662)
sing' (src/Eval.hs:677)
evalCase (src/Eval.hs:682)
piApp (src/Eval.hs:689)
piApps (src/Eval.hs:695)
updateValu (src/Eval.hs:700)
app (src/Eval.hs:704)
force' (src/Eval.hs:783)
force (src/Eval.hs:815)
appDef (src/Eval.hs:822)
up (src/Eval.hs:842)
matchingConstructors (src/Eval.hs:881)
matchingConstructors' (src/Eval.hs:887)
matchingConstructors'' (src/Eval.hs:903)
MatchingConstructors (src/Eval.hs:912)
getMatchingConstructor (src/Eval.hs:930)
getFieldsAtType (src/Eval.hs:964)
projectType (src/Eval.hs:982)
upData (src/Eval.hs:998)
matchClauses (src/Eval.hs:1133)
bindMaybe (src/Eval.hs:1145)
matchClause (src/Eval.hs:1148)
match (src/Eval.hs:1160)
matchList (src/Eval.hs:1192)
GenToPattern (src/Eval.hs:1200)
MatchState (src/Eval.hs:1201)
nonLinMatch (src/Eval.hs:1207)
nonLinMatchList (src/Eval.hs:1257)
nonLinMatchList' (src/Eval.hs:1261)
eqValBool (src/Eval.hs:1377)
eqVal (src/Eval.hs:1381)
Force (src/Eval.hs:1385)
Switchable (src/Eval.hs:1388)
leqDec (src/Eval.hs:1420)
subtype (src/Eval.hs:1426)
leqVal (src/Eval.hs:1431)
MT12 (src/Eval.hs:1433)
TypeShape (src/Eval.hs:1436)
SortShape (src/Eval.hs:1450)
shSize (src/Eval.hs:1457)
typeView (src/Eval.hs:1461)
sortView (src/Eval.hs:1475)
typeView12 (src/Eval.hs:1483)
sortView12 (src/Eval.hs:1499)
whnf12 (src/Eval.hs:1508)
app12 (src/Eval.hs:1511)
leqVal' (src/Eval.hs:1518)
leqClauses (src/Eval.hs:1733)
NameMap (src/Eval.hs:1774)
alphaPattern (src/Eval.hs:1777)
leqCases (src/Eval.hs:1804)
leqCase (src/Eval.hs:1812)
leqVals' (src/Eval.hs:1828)
leqApp (src/Eval.hs:1896)
isEmptyType (src/Eval.hs:1993)
isUnitType (src/Eval.hs:1997)
leqSort (src/Eval.hs:2003)
leqSort' (src/Eval.hs:2011)
minSize (src/Eval.hs:2026)
maxMins (src/Eval.hs:2040)
leqSize (src/Eval.hs:2046)
ltSize (src/Eval.hs:2049)
leSize (src/Eval.hs:2052)
leqSize' (src/Eval.hs:2081)
leSize' (src/Eval.hs:2084)
leSize'' (src/Eval.hs:2121)
leSizePlus (src/Eval.hs:2163)
varBelowInfty (src/Eval.hs:2169)
leSizePlus' (src/Eval.hs:2173)
tryIrregularBound (src/Eval.hs:2201)
lexSizes (src/Eval.hs:2254)
entailsGuard (src/Eval.hs:2297)
checkGuard (src/Eval.hs:2323)
addOrCheckGuard (src/Eval.hs:2328)
leqPolM (src/Eval.hs:2334)
leqPolPoly (src/Eval.hs:2342)
addPosEdge (src/Eval.hs:2346)
checkPositivityGraph (src/Eval.hs:2352)
telView (src/Eval.hs:2374)
0% ( 0 / 47) in 'Extract'
Missing documentation for:
Module header
traceExtrM (src/Extract.hs:175)
runExtract (src/Extract.hs:178)
FExpr (src/Extract.hs:182)
FDeclaration (src/Extract.hs:183)
FClause (src/Extract.hs:184)
FPattern (src/Extract.hs:185)
FConstructor (src/Extract.hs:186)
FTypeSig (src/Extract.hs:187)
FFun (src/Extract.hs:188)
FTelescope (src/Extract.hs:189)
FTVal (src/Extract.hs:191)
extractDecls (src/Extract.hs:194)
extractDecl (src/Extract.hs:197)
extractFuns (src/Extract.hs:208)
extractFun (src/Extract.hs:213)
extractFunTypeSig (src/Extract.hs:241)
extractLet (src/Extract.hs:247)
extractTypeSig (src/Extract.hs:253)
extractIfTerm (src/Extract.hs:259)
extractDataDecl (src/Extract.hs:264)
extractConstructor (src/Extract.hs:273)
extractClause (src/Extract.hs:288)
extractPatterns (src/Extract.hs:306)
extractPattern (src/Extract.hs:314)
extractPattern' (src/Extract.hs:334)
extrConType (src/Extract.hs:367)
extractInfer (src/Extract.hs:394)
extractCheck (src/Extract.hs:420)
insertCast (src/Extract.hs:472)
funView (src/Extract.hs:480)
FunView (src/Extract.hs:494)
prodView (src/Extract.hs:501)
ProdView (src/Extract.hs:506)
FKind (src/Extract.hs:512)
star (src/Extract.hs:515)
extractSet (src/Extract.hs:518)
extractKindTel (src/Extract.hs:526)
extractKindDom (src/Extract.hs:551)
extractKind (src/Extract.hs:557)
FType (src/Extract.hs:575)
newTyVar (src/Extract.hs:587)
addFKindTel (src/Extract.hs:591)
extractTeleVal (src/Extract.hs:597)
extractType (src/Extract.hs:605)
extractTypeAt (src/Extract.hs:608)
extractTypes (src/Extract.hs:673)
16% ( 23 /139) in 'TypeChecker'
Missing documentation for:
Module header
traceCheck (src/TypeChecker.hs:47)
traceCheckM (src/TypeChecker.hs:48)
traceSing (src/TypeChecker.hs:54)
traceSingM (src/TypeChecker.hs:55)
traceAdm (src/TypeChecker.hs:61)
traceAdmM (src/TypeChecker.hs:62)
doNf (src/TypeChecker.hs:74)
doWhnf (src/TypeChecker.hs:77)
runTypeCheck (src/TypeChecker.hs:83)
typeCheck (src/TypeChecker.hs:87)
echo (src/TypeChecker.hs:92)
echoR (src/TypeChecker.hs:95)
echoTySig (src/TypeChecker.hs:99)
echoKindedTySig (src/TypeChecker.hs:102)
echoKindedDef (src/TypeChecker.hs:105)
echoEPrefix (src/TypeChecker.hs:108)
echoTySigE (src/TypeChecker.hs:111)
echoDefE (src/TypeChecker.hs:114)
typeCheckDecls (src/TypeChecker.hs:119)
typeCheckDeclaration (src/TypeChecker.hs:128)
typeCheckMutualSigs (src/TypeChecker.hs:224)
typeCheckSignature (src/TypeChecker.hs:232)
typeCheckMutualSig (src/TypeChecker.hs:239)
typeCheckMutualBody (src/TypeChecker.hs:254)
typeCheckDataDecl (src/TypeChecker.hs:265)
insertConstructorTele (src/TypeChecker.hs:403)
typeCheckMeasuredFuns (src/TypeChecker.hs:530)
typeCheckFunBody (src/TypeChecker.hs:575)
typeCheckFuns (src/TypeChecker.hs:596)
addFunSig (src/TypeChecker.hs:631)
admCheckFunSig (src/TypeChecker.hs:640)
enableSig (src/TypeChecker.hs:658)
typeCheckFunSig (src/TypeChecker.hs:668)
typeCheckFunClauses (src/TypeChecker.hs:678)
checkConType (src/TypeChecker.hs:691)
checkConType' (src/TypeChecker.hs:701)
checkTarget (src/TypeChecker.hs:711)
checkDataType (src/TypeChecker.hs:725)
checkSize (src/TypeChecker.hs:753)
inferSize (src/TypeChecker.hs:762)
checkBelow (src/TypeChecker.hs:775)
checkLevel (src/TypeChecker.hs:786)
checkExpr (src/TypeChecker.hs:871)
checkLetBody (src/TypeChecker.hs:984)
checkForced (src/TypeChecker.hs:1015)
checkSpine (src/TypeChecker.hs:1199)
maybeErase (src/TypeChecker.hs:1206)
checkSubtype (src/TypeChecker.hs:1248)
ptsRule (src/TypeChecker.hs:1259)
checkOrInfer (src/TypeChecker.hs:1286)
inferType (src/TypeChecker.hs:1299)
inferExpr (src/TypeChecker.hs:1310)
inferProj (src/TypeChecker.hs:1319)
inferExpr' (src/TypeChecker.hs:1349)
checkType (src/TypeChecker.hs:1565)
checkSmallType (src/TypeChecker.hs:1573)
checkTele (src/TypeChecker.hs:1590)
checkCases (src/TypeChecker.hs:1601)
checkCases' (src/TypeChecker.hs:1604)
checkCase (src/TypeChecker.hs:1611)
checkFun (src/TypeChecker.hs:1635)
checkClauses (src/TypeChecker.hs:1641)
checkClauses' (src/TypeChecker.hs:1644)
checkClause (src/TypeChecker.hs:1656)
Substitution (src/TypeChecker.hs:1688)
emptySub (src/TypeChecker.hs:1691)
sgSub (src/TypeChecker.hs:1694)
lookupSub (src/TypeChecker.hs:1697)
DotFlex (src/TypeChecker.hs:1699)
Goal (src/TypeChecker.hs:1702)
checkPatterns (src/TypeChecker.hs:1713)
checkPattern (src/TypeChecker.hs:1751)
turnIntoVarPatAtUnitType (src/TypeChecker.hs:1837)
checkPattern' (src/TypeChecker.hs:1844)
checkGoal (src/TypeChecker.hs:2154)
checkRHS (src/TypeChecker.hs:2189)
unifyIndices (src/TypeChecker.hs:2212)
instWh (src/TypeChecker.hs:2227)
inst (src/TypeChecker.hs:2243)
instList (src/TypeChecker.hs:2290)
instList' (src/TypeChecker.hs:2294)
headPosl (src/TypeChecker.hs:2318)
tailPosl (src/TypeChecker.hs:2322)
isMeta (src/TypeChecker.hs:2327)
mkConLType (src/TypeChecker.hs:2447)
szType (src/TypeChecker.hs:2470)
szConstructor (src/TypeChecker.hs:2481)
szSizeVarUsage (src/TypeChecker.hs:2490)
szSizeVarTarget (src/TypeChecker.hs:2506)
szSizeVarDataArgs (src/TypeChecker.hs:2526)
doVParams (src/TypeChecker.hs:2572)
admFunDef (src/TypeChecker.hs:2624)
admClauses (src/TypeChecker.hs:2631)
admClause (src/TypeChecker.hs:2638)
admPatterns (src/TypeChecker.hs:2644)
docNotLowerSemi (src/TypeChecker.hs:2738)
lowerSemiContinuous (src/TypeChecker.hs:2742)
endsInCo (src/TypeChecker.hs:2959)
admPattern (src/TypeChecker.hs:2973)
cannotMatchDeep (src/TypeChecker.hs:2998)
admType (src/TypeChecker.hs:3003)
szUsed (src/TypeChecker.hs:3020)
szCheckIndFun (src/TypeChecker.hs:3053)
szCheckIndFunSize (src/TypeChecker.hs:3073)
szLowerSemiCont (src/TypeChecker.hs:3092)
CoFunType (src/TypeChecker.hs:3111)
admCoFun (src/TypeChecker.hs:3146)
admEndsInCo (src/TypeChecker.hs:3151)
addJob (src/TypeChecker.hs:3192)
szMono (src/TypeChecker.hs:3249)
szMonotone (src/TypeChecker.hs:3255)
szAntitone (src/TypeChecker.hs:3263)
szInductive (src/TypeChecker.hs:3272)
szCoInductive (src/TypeChecker.hs:3276)
szUsed' (src/TypeChecker.hs:3279)
0% ( 0 / 26) in 'ToHaskell'
Missing documentation for:
Module header
Translate (src/ToHaskell.hs:67)
TState (src/ToHaskell.hs:75)
initSt (src/ToHaskell.hs:78)
TContext (src/ToHaskell.hs:80)
initCxt (src/ToHaskell.hs:83)
runTranslate (src/ToHaskell.hs:86)
translateModule (src/ToHaskell.hs:91)
translateDecls (src/ToHaskell.hs:96)
translateDecl (src/ToHaskell.hs:99)
translateFuns (src/ToHaskell.hs:109)
translateFun (src/ToHaskell.hs:112)
translateLet (src/ToHaskell.hs:118)
translateTypeSig (src/ToHaskell.hs:127)
translateDataDecl (src/ToHaskell.hs:133)
translateConstructor (src/ToHaskell.hs:141)
translateClause (src/ToHaskell.hs:147)
translateTelescope (src/ToHaskell.hs:153)
translateTBind (src/ToHaskell.hs:158)
translateKind (src/ToHaskell.hs:163)
translateType (src/ToHaskell.hs:171)
translateExpr (src/ToHaskell.hs:201)
translatePattern (src/ToHaskell.hs:241)
hsVarName (src/ToHaskell.hs:262)
hsName (src/ToHaskell.hs:265)
getDataName (src/ToHaskell.hs:290)
0% ( 0 / 12) in 'MainLib'
Missing documentation for:
Module header
main (src/MainLib.hs:29)
mainFile (src/MainLib.hs:36)
ppHsMode (src/MainLib.hs:62)
printHsDecls (src/MainLib.hs:76)
allLet (src/MainLib.hs:80)
showAll (src/MainLib.hs:89)
showLet (src/MainLib.hs:92)
doExtract (src/MainLib.hs:105)
doTranslate (src/MainLib.hs:115)
doTypeCheck (src/MainLib.hs:125)
doScopeCheck (src/MainLib.hs:135)
Warning: ScopeChecker: could not find link destinations for:
- ScopeChecker.SCState
Documentation created: dist/doc/html/MiniAgda/,
dist/doc/html/MiniAgda/MiniAgda.txt
Preprocessing executable 'miniagda' for MiniAgda-0.2025.7.23..
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/MiniAgda-0.2025.7.23-HkWEFnHHXLA7x56j5TPgyw
Installing executable miniagda in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Completed MiniAgda-0.2025.7.23
Test log
[view raw]
Resolving dependencies...
Error:
Internal libraries only supported with per-component builds.
Per-component builds were disabled because program coverage is enabled
In the package 'vector-0.13.2.0'