Build #1 for twee-2.6.1
| Package | twee-2.6.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2026-01-11 15:15:22.949152874 UTC |
|---|---|
| Compiler | ghc-9.8.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | ansi-terminal-1.1.5, base-4.19.2.0, containers-0.6.8, jukebox-0.5.9, pretty-1.1.3.6, split-0.2.5, symbol-0.2.4.1, twee-lib-2.6.1 |
| Flags | -parallel -static -static-cxx |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring cereal-0.5.8.3...
Preprocessing library for cereal-0.5.8.3..
Building library for cereal-0.5.8.3..
[1 of 4] Compiling Data.Serialize.Get ( src/Data/Serialize/Get.hs, dist/build/Data/Serialize/Get.o, dist/build/Data/Serialize/Get.dyn_o )
[2 of 4] Compiling Data.Serialize.Put ( src/Data/Serialize/Put.hs, dist/build/Data/Serialize/Put.o, dist/build/Data/Serialize/Put.dyn_o )
[3 of 4] Compiling Data.Serialize.IEEE754 ( src/Data/Serialize/IEEE754.hs, dist/build/Data/Serialize/IEEE754.o, dist/build/Data/Serialize/IEEE754.dyn_o )
[4 of 4] Compiling Data.Serialize ( src/Data/Serialize.hs, dist/build/Data/Serialize.o, dist/build/Data/Serialize.dyn_o )
src/Data/Serialize.hs:702:22: warning: [GHC-39567] [-Wstar-is-type]
Using * (or its Unicode variant) to mean Data.Kind.Type
relies on the StarIsType extension, which will become
deprecated in the future.
Suggested fix: Use Type from Data.Kind instead.
|
702 | newtype Tagged (s :: * -> *) b = Tagged {unTagged :: b}
| ^
src/Data/Serialize.hs:702:27: warning: [GHC-39567] [-Wstar-is-type]
Using * (or its Unicode variant) to mean Data.Kind.Type
relies on the StarIsType extension, which will become
deprecated in the future.
Suggested fix: Use Type from Data.Kind instead.
|
702 | newtype Tagged (s :: * -> *) b = Tagged {unTagged :: b}
| ^
Preprocessing library for cereal-0.5.8.3..
Running Haddock on library for cereal-0.5.8.3..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 4] Compiling Data.Serialize.Get ( src/Data/Serialize/Get.hs, nothing )
[2 of 4] Compiling Data.Serialize.Put ( src/Data/Serialize/Put.hs, nothing )
[3 of 4] Compiling Data.Serialize.IEEE754 ( src/Data/Serialize/IEEE754.hs, nothing )
[4 of 4] Compiling Data.Serialize ( src/Data/Serialize.hs, nothing )
src/Data/Serialize.hs:702:22: warning: [GHC-39567] [-Wstar-is-type]
Using * (or its Unicode variant) to mean Data.Kind.Type
relies on the StarIsType extension, which will become
deprecated in the future.
Suggested fix: Use Type from Data.Kind instead.
|
702 | newtype Tagged (s :: * -> *) b = Tagged {unTagged :: b}
| ^
src/Data/Serialize.hs:702:27: warning: [GHC-39567] [-Wstar-is-type]
Using * (or its Unicode variant) to mean Data.Kind.Type
relies on the StarIsType extension, which will become
deprecated in the future.
Suggested fix: Use Type from Data.Kind instead.
|
702 | newtype Tagged (s :: * -> *) b = Tagged {unTagged :: b}
| ^
Haddock coverage:
93% ( 61 / 65) in 'Data.Serialize.Get'
Missing documentation for:
label (src/Data/Serialize/Get.hs:268)
getLazyByteString (src/Data/Serialize/Get.hs:509)
getShortByteString (src/Data/Serialize/Get.hs:513)
getTwoOf (src/Data/Serialize/Get.hs:761)
Warning: 'Put' is ambiguous. It is defined
* at src/Data/Serialize/Put.hs:140:18
* at src/Data/Serialize/Put.hs:143: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/Data/Serialize/Put.hs:143:1
75% ( 42 / 56) in 'Data.Serialize.Put'
Missing documentation for:
Putter (src/Data/Serialize/Put.hs:145)
putBuilder (src/Data/Serialize/Put.hs:202)
putShortByteString (src/Data/Serialize/Put.hs:260)
putTwoOf (src/Data/Serialize/Put.hs:400)
putListOf (src/Data/Serialize/Put.hs:404)
putIArrayOf (src/Data/Serialize/Put.hs:410)
putSeqOf (src/Data/Serialize/Put.hs:416)
putTreeOf (src/Data/Serialize/Put.hs:422)
putMapOf (src/Data/Serialize/Put.hs:429)
putIntMapOf (src/Data/Serialize/Put.hs:433)
putSetOf (src/Data/Serialize/Put.hs:437)
putIntSetOf (src/Data/Serialize/Put.hs:441)
putMaybeOf (src/Data/Serialize/Put.hs:445)
putEitherOf (src/Data/Serialize/Put.hs:450)
100% ( 11 / 11) in 'Data.Serialize.IEEE754'
Cannot find documentation for: $example
86% ( 13 / 15) in 'Data.Serialize'
Missing documentation for:
GSerializePut (src/Data/Serialize.hs:571)
GSerializeGet (src/Data/Serialize.hs:574)
Warning: Data.Serialize.Get: could not find link destinations for:
- Data.Serialize.Get.get
Warning: Data.Serialize.Put: could not find link destinations for:
- Data.Serialize.Put.PairS
Warning: Data.Serialize: could not find link destinations for:
- Data.Serialize.SumSize
- Data.Serialize.GetSum
- Data.Serialize.PutSum
Documentation created: dist/doc/html/cereal/, dist/doc/html/cereal/cereal.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/cereal-0.5.8.3-CdRifegrast6xnOPLq62pE
Completed cereal-0.5.8.3
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
Configuring dlist-1.0...
Preprocessing library for dlist-1.0..
Building library for dlist-1.0..
[1 of 5] Compiling Data.DList.Internal ( Data/DList/Internal.hs, dist/build/Data/DList/Internal.o, dist/build/Data/DList/Internal.dyn_o )
Data/DList/Internal.hs:642:12: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
642 | instance a ~ Char => IsString (DList a) where
| ^
[2 of 5] Compiling Data.DList ( Data/DList.hs, dist/build/Data/DList.o, dist/build/Data/DList.dyn_o )
[3 of 5] Compiling Data.DList.DNonEmpty.Internal ( Data/DList/DNonEmpty/Internal.hs, dist/build/Data/DList/DNonEmpty/Internal.o, dist/build/Data/DList/DNonEmpty/Internal.dyn_o )
Data/DList/DNonEmpty/Internal.hs:459:12: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
459 | instance a ~ Char => IsString (DNonEmpty a) where
| ^
[4 of 5] Compiling Data.DList.DNonEmpty ( Data/DList/DNonEmpty.hs, dist/build/Data/DList/DNonEmpty.o, dist/build/Data/DList/DNonEmpty.dyn_o )
[5 of 5] Compiling Data.DList.Unsafe ( Data/DList/Unsafe.hs, dist/build/Data/DList/Unsafe.o, dist/build/Data/DList/Unsafe.dyn_o )
Preprocessing library for dlist-1.0..
Running Haddock on library for dlist-1.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 5] Compiling Data.DList.Internal ( Data/DList/Internal.hs, nothing )
Data/DList/Internal.hs:642:12: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
642 | instance a ~ Char => IsString (DList a) where
| ^
[2 of 5] Compiling Data.DList ( Data/DList.hs, nothing )
[3 of 5] Compiling Data.DList.DNonEmpty.Internal ( Data/DList/DNonEmpty/Internal.hs, nothing )
Data/DList/DNonEmpty/Internal.hs:459:12: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
459 | instance a ~ Char => IsString (DNonEmpty a) where
| ^
[4 of 5] Compiling Data.DList.DNonEmpty ( Data/DList/DNonEmpty.hs, nothing )
[5 of 5] Compiling Data.DList.Unsafe ( Data/DList/Unsafe.hs, nothing )
Haddock coverage:
100% ( 21 / 21) in 'Data.DList'
100% ( 17 / 17) in 'Data.DList.DNonEmpty'
Warning: Data.DList: could not find link destinations for:
- Data.DList.Internal.D:R:ItemDList
Warning: Data.DList.DNonEmpty: could not find link destinations for:
- Data.DList.DNonEmpty.Internal.D:R:ItemDNonEmpty
Documentation created: dist/doc/html/dlist/, dist/doc/html/dlist/dlist.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/dlist-1.0-64eJjLRuD1sLrW6rorjot6
Completed dlist-1.0
Configuring os-string-2.0.8...
Preprocessing library for os-string-2.0.8..
Building library for os-string-2.0.8..
[ 1 of 11] Compiling System.OsString.Data.ByteString.Short.Internal ( System/OsString/Data/ByteString/Short/Internal.hs, dist/build/System/OsString/Data/ByteString/Short/Internal.o, dist/build/System/OsString/Data/ByteString/Short/Internal.dyn_o )
[ 2 of 11] Compiling System.OsString.Data.ByteString.Short ( System/OsString/Data/ByteString/Short.hs, dist/build/System/OsString/Data/ByteString/Short.o, dist/build/System/OsString/Data/ByteString/Short.dyn_o )
[ 3 of 11] Compiling System.OsString.Data.ByteString.Short.Word16 ( System/OsString/Data/ByteString/Short/Word16.hs, dist/build/System/OsString/Data/ByteString/Short/Word16.o, dist/build/System/OsString/Data/ByteString/Short/Word16.dyn_o )
[ 4 of 11] Compiling System.OsString.Internal.Exception ( System/OsString/Internal/Exception.hs, dist/build/System/OsString/Internal/Exception.o, dist/build/System/OsString/Internal/Exception.dyn_o )
[ 5 of 11] Compiling System.OsString.Encoding.Internal ( System/OsString/Encoding/Internal.hs, dist/build/System/OsString/Encoding/Internal.o, dist/build/System/OsString/Encoding/Internal.dyn_o )
System/OsString/Encoding/Internal.hs:23:42: warning: [GHC-38856] [-Wunused-imports]
The import of try from module Control.Exception is redundant
|
23 | import Control.Exception (SomeException, try, Exception (displayException), evaluate)
| ^^^
[ 6 of 11] Compiling System.OsString.Encoding ( System/OsString/Encoding.hs, dist/build/System/OsString/Encoding.o, dist/build/System/OsString/Encoding.dyn_o )
[ 7 of 11] Compiling System.OsString.Internal.Types ( System/OsString/Internal/Types.hs, dist/build/System/OsString/Internal/Types.o, dist/build/System/OsString/Internal/Types.dyn_o )
[ 8 of 11] Compiling System.OsString.Posix ( System/OsString/Posix.hs, dist/build/System/OsString/Posix.o, dist/build/System/OsString/Posix.dyn_o )
[ 9 of 11] Compiling System.OsString.Internal ( System/OsString/Internal.hs, dist/build/System/OsString/Internal.o, dist/build/System/OsString/Internal.dyn_o )
[10 of 11] Compiling System.OsString ( System/OsString.hs, dist/build/System/OsString.o, dist/build/System/OsString.dyn_o )
[11 of 11] Compiling System.OsString.Windows ( System/OsString/Windows.hs, dist/build/System/OsString/Windows.o, dist/build/System/OsString/Windows.dyn_o )
Preprocessing library for os-string-2.0.8..
Running Haddock on library for os-string-2.0.8..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 11] Compiling System.OsString.Data.ByteString.Short.Internal ( System/OsString/Data/ByteString/Short/Internal.hs, nothing )
[ 2 of 11] Compiling System.OsString.Data.ByteString.Short ( System/OsString/Data/ByteString/Short.hs, nothing )
[ 3 of 11] Compiling System.OsString.Data.ByteString.Short.Word16 ( System/OsString/Data/ByteString/Short/Word16.hs, nothing )
[ 4 of 11] Compiling System.OsString.Internal.Exception ( System/OsString/Internal/Exception.hs, nothing )
[ 5 of 11] Compiling System.OsString.Encoding.Internal ( System/OsString/Encoding/Internal.hs, nothing )
System/OsString/Encoding/Internal.hs:23:42: warning: [GHC-38856] [-Wunused-imports]
The import of try from module Control.Exception is redundant
|
23 | import Control.Exception (SomeException, try, Exception (displayException), evaluate)
| ^^^
[ 6 of 11] Compiling System.OsString.Encoding ( System/OsString/Encoding.hs, nothing )
[ 7 of 11] Compiling System.OsString.Internal.Types ( System/OsString/Internal/Types.hs, nothing )
[ 8 of 11] Compiling System.OsString.Posix ( System/OsString/Posix.hs, nothing )
[ 9 of 11] Compiling System.OsString.Internal ( System/OsString/Internal.hs, nothing )
[10 of 11] Compiling System.OsString ( System/OsString.hs, nothing )
[11 of 11] Compiling System.OsString.Windows ( System/OsString/Windows.hs, nothing )
Haddock coverage:
Warning: 'ShortByteString' is ambiguous. It is defined
* in Data.ByteString.Short.Internal
* in Data.ByteString.Short.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 in Data.ByteString.Short.Internal
26% ( 11 / 41) in 'System.OsString.Data.ByteString.Short.Internal'
Missing documentation for:
_nul (System/OsString/Data/ByteString/Short/Internal.hs:60)
isSpace (System/OsString/Data/ByteString/Short/Internal.hs:63)
create (System/OsString/Data/ByteString/Short/Internal.hs:70)
asBA (System/OsString/Data/ByteString/Short/Internal.hs:80)
BA (System/OsString/Data/ByteString/Short/Internal.hs:84)
MBA (System/OsString/Data/ByteString/Short/Internal.hs:85)
newPinnedByteArray (System/OsString/Data/ByteString/Short/Internal.hs:89)
newByteArray (System/OsString/Data/ByteString/Short/Internal.hs:94)
copyByteArray (System/OsString/Data/ByteString/Short/Internal.hs:99)
unsafeFreezeByteArray (System/OsString/Data/ByteString/Short/Internal.hs:104)
copyAddrToByteArray (System/OsString/Data/ByteString/Short/Internal.hs:109)
moduleErrorIO (System/OsString/Data/ByteString/Short/Internal.hs:244)
moduleErrorMsg (System/OsString/Data/ByteString/Short/Internal.hs:248)
packWord16 (System/OsString/Data/ByteString/Short/Internal.hs:251)
packLenWord16 (System/OsString/Data/ByteString/Short/Internal.hs:254)
unpackWord16 (System/OsString/Data/ByteString/Short/Internal.hs:265)
packWord16Rev (System/OsString/Data/ByteString/Short/Internal.hs:274)
packLenWord16Rev (System/OsString/Data/ByteString/Short/Internal.hs:277)
indexWord8Array (System/OsString/Data/ByteString/Short/Internal.hs:299)
word16ToLE# (System/OsString/Data/ByteString/Short/Internal.hs:320)
word16FromLE# (System/OsString/Data/ByteString/Short/Internal.hs:322)
setByteArray (System/OsString/Data/ByteString/Short/Internal.hs:325)
copyMutableByteArray (System/OsString/Data/ByteString/Short/Internal.hs:330)
createAndTrim' (System/OsString/Data/ByteString/Short/Internal.hs:356)
createAndTrim'' (System/OsString/Data/ByteString/Short/Internal.hs:372)
findIndexOrLength (System/OsString/Data/ByteString/Short/Internal.hs:397)
assertEven (System/OsString/Data/ByteString/Short/Internal.hs:422)
errorEmptySBS (System/OsString/Data/ByteString/Short/Internal.hs:430)
moduleError (System/OsString/Data/ByteString/Short/Internal.hs:434)
compareByteArraysOff (System/OsString/Data/ByteString/Short/Internal.hs:444)
Warning: 'ShortByteString' is ambiguous. It is defined
* in Data.ByteString.Short.Internal
* in Data.ByteString.Short.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 in Data.ByteString.Short.Internal
96% ( 93 / 96) in 'System.OsString.Data.ByteString.Short'
Missing documentation for:
append
uncons2 (System/OsString/Data/ByteString/Short.hs:184)
concat
Warning: 'ShortByteString' is ambiguous. It is defined
* in Data.ByteString.Short.Internal
* in Data.ByteString.Short.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 in Data.ByteString.Short.Internal
Warning: 'ByteString' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'CString' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
96% ( 92 / 95) in 'System.OsString.Data.ByteString.Short.Word16'
Missing documentation for:
append
concat
breakSubstring (System/OsString/Data/ByteString/Short/Word16.hs:663)
Warning: 'try' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
33% ( 1 / 3) in 'System.OsString.Internal.Exception'
Missing documentation for:
Module header
isAsyncException (System/OsString/Internal/Exception.hs:17)
Warning: 'TextEncoding' is ambiguous. It is defined
* in GHC.IO.Encoding.Types
* in GHC.IO.Encoding.Types
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.IO.Encoding.Types
27% ( 9 / 33) in 'System.OsString.Encoding.Internal'
Missing documentation for:
Module header
ucs2le (System/OsString/Encoding/Internal.hs:42)
mkUcs2le (System/OsString/Encoding/Internal.hs:45)
ucs2le_DF (System/OsString/Encoding/Internal.hs:50)
ucs2le_EF (System/OsString/Encoding/Internal.hs:60)
ucs2le_decode (System/OsString/Encoding/Internal.hs:71)
ucs2le_encode (System/OsString/Encoding/Internal.hs:96)
mkUTF16le_b (System/OsString/Encoding/Internal.hs:131)
utf16le_b_DF (System/OsString/Encoding/Internal.hs:136)
utf16le_b_EF (System/OsString/Encoding/Internal.hs:146)
utf16le_b_decode (System/OsString/Encoding/Internal.hs:157)
utf16le_b_encode (System/OsString/Encoding/Internal.hs:195)
cWcharsToChars_UCS2 (System/OsString/Encoding/Internal.hs:231)
cWcharsToChars (System/OsString/Encoding/Internal.hs:238)
charsToCWchars (System/OsString/Encoding/Internal.hs:248)
withWindowsString (System/OsString/Encoding/Internal.hs:264)
peekWindowsString (System/OsString/Encoding/Internal.hs:267)
withPosixString (System/OsString/Encoding/Internal.hs:272)
withPosixString' (System/OsString/Encoding/Internal.hs:275)
peekPosixString (System/OsString/Encoding/Internal.hs:278)
peekPosixString' (System/OsString/Encoding/Internal.hs:281)
EncodingException (System/OsString/Encoding/Internal.hs:340)
showEncodingException (System/OsString/Encoding/Internal.hs:348)
wNUL (System/OsString/Encoding/Internal.hs:367)
44% ( 11 / 25) in 'System.OsString.Encoding'
Missing documentation for:
Module header
EncodingException (System/OsString/Encoding/Internal.hs:340)
showEncodingException (System/OsString/Encoding/Internal.hs:348)
ucs2le (System/OsString/Encoding/Internal.hs:42)
mkUcs2le (System/OsString/Encoding/Internal.hs:45)
ucs2le_DF (System/OsString/Encoding/Internal.hs:50)
ucs2le_EF (System/OsString/Encoding/Internal.hs:60)
ucs2le_decode (System/OsString/Encoding/Internal.hs:71)
ucs2le_encode (System/OsString/Encoding/Internal.hs:96)
mkUTF16le_b (System/OsString/Encoding/Internal.hs:131)
utf16le_b_DF (System/OsString/Encoding/Internal.hs:136)
utf16le_b_EF (System/OsString/Encoding/Internal.hs:146)
utf16le_b_decode (System/OsString/Encoding/Internal.hs:157)
utf16le_b_encode (System/OsString/Encoding/Internal.hs:195)
Warning: 'WindowsString' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:60:25
* at System/OsString/Internal/Types.hs:60: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 System/OsString/Internal/Types.hs:60:1
Warning: 'PosixString' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:87:23
* at System/OsString/Internal/Types.hs:87: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 System/OsString/Internal/Types.hs:87:1
Warning: 'ShortByteString' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'PosixChar' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:123:23
* at System/OsString/Internal/Types.hs:123: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 System/OsString/Internal/Types.hs:123:1
Warning: 'WindowsChar' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:117:23
* at System/OsString/Internal/Types.hs:117: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 System/OsString/Internal/Types.hs:117:1
Warning: 'OsChar' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:210:18
* at System/OsString/Internal/Types.hs:210: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 System/OsString/Internal/Types.hs:210:1
Warning: 'OsString' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:161:20
* at System/OsString/Internal/Types.hs:161: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 System/OsString/Internal/Types.hs:161:1
Warning: '(</>)' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
50% ( 9 / 18) in 'System.OsString.Internal.Types'
Missing documentation for:
Module header
unWS (System/OsString/Internal/Types.hs:70)
unPS (System/OsString/Internal/Types.hs:96)
PlatformString (System/OsString/Internal/Types.hs:114)
WindowsChar (System/OsString/Internal/Types.hs:117)
unWW (System/OsString/Internal/Types.hs:131)
PosixChar (System/OsString/Internal/Types.hs:123)
unPW (System/OsString/Internal/Types.hs:139)
PlatformChar (System/OsString/Internal/Types.hs:148)
Warning: 'setFileSystemEncoding' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'getLocaleEncoding' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'PosixString' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:87:23
* at System/OsString/Internal/Types.hs:87: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 System/OsString/Internal/Types.hs:87:1
Warning: 'OsString' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
95% ( 95 /100) in 'System.OsString.Posix'
Missing documentation for:
Module header
PosixChar (System/OsString/Internal/Types.hs:123)
singleton (System/OsString/Common.hs:526)
empty (System/OsString/Common.hs:529)
concat (System/OsString/Common.hs:737)
Warning: 'setFileSystemEncoding' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'unsafePerformIO' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'getLocaleEncoding' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'OsString' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:161:20
* at System/OsString/Internal/Types.hs:161: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 System/OsString/Internal/Types.hs:161:1
Warning: 'OsChar' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:210:18
* at System/OsString/Internal/Types.hs:210: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 System/OsString/Internal/Types.hs:210:1
Warning: 'head' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:293: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 System/OsString/Internal.hs:293:1
Warning: 'tail' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:277: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 System/OsString/Internal.hs:277:1
Warning: 'init' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:302: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 System/OsString/Internal.hs:302:1
Warning: 'last' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:268: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 System/OsString/Internal.hs:268:1
Warning: 'map' is ambiguous. It is defined
* in GHC.Base
* at System/OsString/Internal.hs:332: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 System/OsString/Internal.hs:332:1
Warning: 'reverse' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:338: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 System/OsString/Internal.hs:338:1
Warning: 'foldl' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:354: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 System/OsString/Internal.hs:354:1
Warning: 'foldl1' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:368: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 System/OsString/Internal.hs:368:1
Warning: 'foldr' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:384: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 System/OsString/Internal.hs:384:1
Warning: 'foldr1' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:398: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 System/OsString/Internal.hs:398:1
Warning: 'all' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:412: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 System/OsString/Internal.hs:412:1
Warning: 'any' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:419: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 System/OsString/Internal.hs:419:1
Warning: 'replicate' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:434: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 System/OsString/Internal.hs:434:1
Warning: 'take' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:476: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 System/OsString/Internal.hs:476:1
Warning: 'length' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.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 System/OsString/Internal.hs:325:1
Warning: 'drop' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:513: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 System/OsString/Internal.hs:513:1
Warning: 'takeWhile' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:507: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 System/OsString/Internal.hs:507:1
Warning: 'dropWhile' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:535: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 System/OsString/Internal.hs:535:1
Warning: 'break' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:564: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 System/OsString/Internal.hs:564:1
Warning: 'span' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:574: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 System/OsString/Internal.hs:574:1
Warning: 'splitAt' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:599: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 System/OsString/Internal.hs:599:1
Warning: 'elem' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:702: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 System/OsString/Internal.hs:702:1
Warning: 'filter' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:720: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 System/OsString/Internal.hs:720:1
94% ( 75 / 79) in 'System.OsString.Internal'
Missing documentation for:
Module header
empty (System/OsString/Internal.hs:233)
singleton (System/OsString/Internal.hs:236)
concat (System/OsString/Internal.hs:425)
Warning: 'setFileSystemEncoding' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'unsafePerformIO' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
96% ( 96 / 99) in 'System.OsString'
Missing documentation for:
empty (System/OsString/Internal.hs:233)
singleton (System/OsString/Internal.hs:236)
concat (System/OsString/Internal.hs:425)
Warning: 'unsafeDupablePerformIO' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'WindowsString' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:60:25
* at System/OsString/Internal/Types.hs:60: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 System/OsString/Internal/Types.hs:60:1
Warning: 'OsString' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
94% ( 94 / 99) in 'System.OsString.Windows'
Missing documentation for:
Module header
WindowsChar (System/OsString/Internal/Types.hs:117)
singleton (System/OsString/Common.hs:526)
empty (System/OsString/Common.hs:529)
concat (System/OsString/Common.hs:737)
Warning: System.OsString.Data.ByteString.Short: could not find link destinations for:
- Data.ByteString.Short.Internal.Rep_ShortByteString
- Data.ByteString.Short.Internal.D:R:ItemShortByteString
Warning: System.OsString.Data.ByteString.Short.Word16: could not find link destinations for:
- Data.ByteString.Short.Internal.Rep_ShortByteString
- Data.ByteString.Short.Internal.D:R:ItemShortByteString
Warning: System.OsString.Internal.Types: could not find link destinations for:
- System.OsString.Internal.Types.Rep_OsChar
- System.OsString.Internal.Types.Rep_OsString
- System.OsString.Internal.Types.Rep_PosixChar
- System.OsString.Internal.Types.Rep_WindowsChar
- System.OsString.Internal.Types.Rep_PosixString
- System.OsString.Internal.Types.Rep_WindowsString
Warning: System.OsString.Posix: could not find link destinations for:
- System.OsString.Internal.Types.Rep_PosixChar
- System.OsString.Internal.Types.Rep_PosixString
Warning: System.OsString: could not find link destinations for:
- System.OsString.Internal.Types.Rep_OsChar
- System.OsString.Internal.Types.Rep_OsString
Warning: System.OsString.Windows: could not find link destinations for:
- System.OsString.Internal.Types.Rep_WindowsChar
- System.OsString.Internal.Types.Rep_WindowsString
Documentation created: dist/doc/html/os-string/,
dist/doc/html/os-string/os-string.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/os-string-2.0.8-JLOCx5syZ3qViIHERGXha
Completed os-string-2.0.8
Configuring primitive-0.9.1.0...
Preprocessing library for primitive-0.9.1.0..
Building library for primitive-0.9.1.0..
[ 1 of 14] Compiling Data.Primitive.Internal.Read ( Data/Primitive/Internal/Read.hs, dist/build/Data/Primitive/Internal/Read.o, dist/build/Data/Primitive/Internal/Read.dyn_o )
[ 2 of 14] Compiling Data.Primitive.MachDeps ( Data/Primitive/MachDeps.hs, dist/build/Data/Primitive/MachDeps.o, dist/build/Data/Primitive/MachDeps.dyn_o )
[ 3 of 14] Compiling Data.Primitive.Internal.Operations ( Data/Primitive/Internal/Operations.hs, dist/build/Data/Primitive/Internal/Operations.o, dist/build/Data/Primitive/Internal/Operations.dyn_o )
[ 4 of 14] Compiling Control.Monad.Primitive ( Control/Monad/Primitive.hs, dist/build/Control/Monad/Primitive.o, dist/build/Control/Monad/Primitive.dyn_o )
[ 5 of 14] Compiling Data.Primitive.MVar ( Data/Primitive/MVar.hs, dist/build/Data/Primitive/MVar.o, dist/build/Data/Primitive/MVar.dyn_o )
[ 6 of 14] Compiling Data.Primitive.Array ( Data/Primitive/Array.hs, dist/build/Data/Primitive/Array.o, dist/build/Data/Primitive/Array.dyn_o )
[ 7 of 14] Compiling Data.Primitive.MutVar ( Data/Primitive/MutVar.hs, dist/build/Data/Primitive/MutVar.o, dist/build/Data/Primitive/MutVar.dyn_o )
[ 8 of 14] Compiling Data.Primitive.SmallArray ( Data/Primitive/SmallArray.hs, dist/build/Data/Primitive/SmallArray.o, dist/build/Data/Primitive/SmallArray.dyn_o )
[ 9 of 14] Compiling Data.Primitive.Types ( Data/Primitive/Types.hs, dist/build/Data/Primitive/Types.o, dist/build/Data/Primitive/Types.dyn_o )
[10 of 14] Compiling Data.Primitive.ByteArray ( Data/Primitive/ByteArray.hs, dist/build/Data/Primitive/ByteArray.o, dist/build/Data/Primitive/ByteArray.dyn_o )
[11 of 14] Compiling Data.Primitive.PrimArray ( Data/Primitive/PrimArray.hs, dist/build/Data/Primitive/PrimArray.o, dist/build/Data/Primitive/PrimArray.dyn_o )
[12 of 14] Compiling Data.Primitive.Ptr ( Data/Primitive/Ptr.hs, dist/build/Data/Primitive/Ptr.o, dist/build/Data/Primitive/Ptr.dyn_o )
[13 of 14] Compiling Data.Primitive ( Data/Primitive.hs, dist/build/Data/Primitive.o, dist/build/Data/Primitive.dyn_o )
[14 of 14] Compiling Data.Primitive.PrimVar ( Data/Primitive/PrimVar.hs, dist/build/Data/Primitive/PrimVar.o, dist/build/Data/Primitive/PrimVar.dyn_o )
Preprocessing library for primitive-0.9.1.0..
Running Haddock on library for primitive-0.9.1.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 14] Compiling Data.Primitive.Internal.Read ( Data/Primitive/Internal/Read.hs, nothing )
[ 2 of 14] Compiling Data.Primitive.MachDeps ( Data/Primitive/MachDeps.hs, nothing )
[ 3 of 14] Compiling Data.Primitive.Internal.Operations ( Data/Primitive/Internal/Operations.hs, nothing )
[ 4 of 14] Compiling Control.Monad.Primitive ( Control/Monad/Primitive.hs, nothing )
[ 5 of 14] Compiling Data.Primitive.MVar ( Data/Primitive/MVar.hs, nothing )
[ 6 of 14] Compiling Data.Primitive.Array ( Data/Primitive/Array.hs, nothing )
[ 7 of 14] Compiling Data.Primitive.MutVar ( Data/Primitive/MutVar.hs, nothing )
[ 8 of 14] Compiling Data.Primitive.SmallArray ( Data/Primitive/SmallArray.hs, nothing )
[ 9 of 14] Compiling Data.Primitive.Types ( Data/Primitive/Types.hs, nothing )
[10 of 14] Compiling Data.Primitive.ByteArray ( Data/Primitive/ByteArray.hs, nothing )
[11 of 14] Compiling Data.Primitive.PrimArray ( Data/Primitive/PrimArray.hs, nothing )
[12 of 14] Compiling Data.Primitive.Ptr ( Data/Primitive/Ptr.hs, nothing )
[13 of 14] Compiling Data.Primitive ( Data/Primitive.hs, nothing )
[14 of 14] Compiling Data.Primitive.PrimVar ( Data/Primitive/PrimVar.hs, nothing )
Haddock coverage:
2% ( 1 / 35) in 'Data.Primitive.MachDeps'
Missing documentation for:
sIZEOF_CHAR (Data/Primitive/MachDeps.hs:68)
aLIGNMENT_CHAR (Data/Primitive/MachDeps.hs:69)
sIZEOF_INT (Data/Primitive/MachDeps.hs:71)
aLIGNMENT_INT (Data/Primitive/MachDeps.hs:72)
sIZEOF_WORD (Data/Primitive/MachDeps.hs:74)
aLIGNMENT_WORD (Data/Primitive/MachDeps.hs:75)
sIZEOF_DOUBLE (Data/Primitive/MachDeps.hs:77)
aLIGNMENT_DOUBLE (Data/Primitive/MachDeps.hs:78)
sIZEOF_FLOAT (Data/Primitive/MachDeps.hs:80)
aLIGNMENT_FLOAT (Data/Primitive/MachDeps.hs:81)
sIZEOF_PTR (Data/Primitive/MachDeps.hs:83)
aLIGNMENT_PTR (Data/Primitive/MachDeps.hs:84)
sIZEOF_FUNPTR (Data/Primitive/MachDeps.hs:86)
aLIGNMENT_FUNPTR (Data/Primitive/MachDeps.hs:87)
sIZEOF_STABLEPTR (Data/Primitive/MachDeps.hs:89)
aLIGNMENT_STABLEPTR (Data/Primitive/MachDeps.hs:90)
sIZEOF_INT8 (Data/Primitive/MachDeps.hs:92)
aLIGNMENT_INT8 (Data/Primitive/MachDeps.hs:93)
sIZEOF_WORD8 (Data/Primitive/MachDeps.hs:95)
aLIGNMENT_WORD8 (Data/Primitive/MachDeps.hs:96)
sIZEOF_INT16 (Data/Primitive/MachDeps.hs:98)
aLIGNMENT_INT16 (Data/Primitive/MachDeps.hs:99)
sIZEOF_WORD16 (Data/Primitive/MachDeps.hs:101)
aLIGNMENT_WORD16 (Data/Primitive/MachDeps.hs:102)
sIZEOF_INT32 (Data/Primitive/MachDeps.hs:104)
aLIGNMENT_INT32 (Data/Primitive/MachDeps.hs:105)
sIZEOF_WORD32 (Data/Primitive/MachDeps.hs:107)
aLIGNMENT_WORD32 (Data/Primitive/MachDeps.hs:108)
sIZEOF_INT64 (Data/Primitive/MachDeps.hs:110)
aLIGNMENT_INT64 (Data/Primitive/MachDeps.hs:111)
sIZEOF_WORD64 (Data/Primitive/MachDeps.hs:113)
aLIGNMENT_WORD64 (Data/Primitive/MachDeps.hs:114)
Word64_# (Data/Primitive/MachDeps.hs:117)
Int64_# (Data/Primitive/MachDeps.hs:118)
Warning: 'IO' is ambiguous. It is defined
* in GHC.Types
* in GHC.Types
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.Types
Warning: 'ST' is ambiguous. It is defined
* in GHC.ST
* in GHC.ST
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.ST
89% ( 26 / 29) in 'Control.Monad.Primitive'
Missing documentation for:
unsafeInterleave (Control/Monad/Primitive.hs:408)
unsafeDupableInterleave (Control/Monad/Primitive.hs:409)
noDuplicate (Control/Monad/Primitive.hs:401)
Warning: 'MVar' is ambiguous. It is defined
* at Data/Primitive/MVar.hs:41:17
* at Data/Primitive/MVar.hs:41: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/Primitive/MVar.hs:41:1
100% ( 11 / 11) in 'Data.Primitive.MVar'
Warning: 'Array' is ambiguous. It is defined
* at Data/Primitive/Array.hs:65:16
* at Data/Primitive/Array.hs:65: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/Primitive/Array.hs:65:1
Warning: 'MutableArray' is ambiguous. It is defined
* at Data/Primitive/Array.hs:108:25
* at Data/Primitive/Array.hs:108: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/Primitive/Array.hs:108:1
100% ( 27 / 27) in 'Data.Primitive.Array'
Warning: 'MutVar' is ambiguous. It is defined
* at Data/Primitive/MutVar.hs:44:19
* at Data/Primitive/MutVar.hs:44: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/Primitive/MutVar.hs:44:1
Warning: 'IORef' is ambiguous. It is defined
* in GHC.IORef
* in GHC.IORef
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.IORef
Warning: 'STRef' is ambiguous. It is defined
* in GHC.STRef
* in GHC.STRef
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.STRef
100% ( 15 / 15) in 'Data.Primitive.MutVar'
Warning: 'SmallArray' is ambiguous. It is defined
* at Data/Primitive/SmallArray.hs:95:21
* at Data/Primitive/SmallArray.hs:95: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/Primitive/SmallArray.hs:95:1
Warning: 'Identity' is ambiguous. It is defined
* in Data.Functor.Identity
* in Data.Functor.Identity
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Functor.Identity
Warning: 'SmallMutableArray' is ambiguous. It is defined
* at Data/Primitive/SmallArray.hs:106:30
* at Data/Primitive/SmallArray.hs:106: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/Primitive/SmallArray.hs:106:1
93% ( 27 / 29) in 'Data.Primitive.SmallArray'
Missing documentation for:
SmallArray (Data/Primitive/SmallArray.hs:95)
SmallMutableArray (Data/Primitive/SmallArray.hs:106)
100% ( 10 / 10) in 'Data.Primitive.Types'
Warning: 'MutableByteArray' is ambiguous. It is defined
* in Data.Array.Byte
* in Data.Array.Byte
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Array.Byte
Warning: 'ByteArray' is ambiguous. It is defined
* in Data.Array.Byte
* in Data.Array.Byte
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Array.Byte
98% ( 61 / 62) in 'Data.Primitive.ByteArray'
Missing documentation for:
createByteArray (Data/Primitive/ByteArray.hs:672)
Warning: 'PrimArray' is ambiguous. It is defined
* at Data/Primitive/PrimArray.hs:144:20
* at Data/Primitive/PrimArray.hs:144: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/Primitive/PrimArray.hs:144:1
Warning: 'MutablePrimArray' is ambiguous. It is defined
* at Data/Primitive/PrimArray.hs:167:29
* at Data/Primitive/PrimArray.hs:167: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/Primitive/PrimArray.hs:167:1
Warning: 'ByteArray' is ambiguous. It is defined
* in Data.Array.Byte
* in Data.Array.Byte
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Array.Byte
100% ( 78 / 78) in 'Data.Primitive.PrimArray'
Warning: 'Ptr' is ambiguous. It is defined
* in GHC.Ptr
* in GHC.Ptr
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.Ptr
100% ( 17 / 17) in 'Data.Primitive.Ptr'
100% ( 10 / 10) in 'Data.Primitive'
Warning: 'PrimVar' is ambiguous. It is defined
* at Data/Primitive/PrimVar.hs:49:23
* at Data/Primitive/PrimVar.hs:49: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/Primitive/PrimVar.hs:49:1
Warning: 'MutablePrimArray' is ambiguous. It is defined
* at Data/Primitive/PrimArray.hs:167:29
* at Data/Primitive/PrimArray.hs:167: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/Primitive/PrimArray.hs:167:1
100% ( 22 / 22) in 'Data.Primitive.PrimVar'
Warning: Control.Monad.Primitive: could not find link destinations for:
- Control.Monad.Primitive.D:R:PrimStateST
- Control.Monad.Primitive.D:R:PrimStateST0
- Control.Monad.Primitive.D:R:PrimStateRWST
- Control.Monad.Primitive.D:R:PrimStateWriterT
- Control.Monad.Primitive.D:R:PrimStateStateT
- Control.Monad.Primitive.D:R:PrimStateSelectT
- Control.Monad.Primitive.D:R:PrimStateAccumT
- Control.Monad.Primitive.D:R:PrimStateExceptT
- Control.Monad.Primitive.D:R:PrimStateRWST0
- Control.Monad.Primitive.D:R:PrimStateRWST1
- Control.Monad.Primitive.D:R:PrimStateWriterT0
- Control.Monad.Primitive.D:R:PrimStateWriterT1
- Control.Monad.Primitive.D:R:PrimStateStateT0
- Control.Monad.Primitive.D:R:PrimStateReaderT
- Control.Monad.Primitive.D:R:PrimStateMaybeT
- Control.Monad.Primitive.D:R:PrimStateIdentityT
- Control.Monad.Primitive.D:R:PrimStateContT
- Control.Monad.Primitive.D:R:PrimStateIO
Warning: Data.Primitive.Array: could not find link destinations for:
- Data.Primitive.Array.D:R:ItemArray
Warning: Data.Primitive.SmallArray: could not find link destinations for:
- Data.Primitive.SmallArray.D:R:ItemSmallArray
Warning: Data.Primitive.Types: could not find link destinations for:
- GHC.Generics.D:R:UReckPtrp0
- GHC.Generics.Rep_R:UReckPtrp
- GHC.Generics.Rep1_R:UReckPtrp
Warning: Data.Primitive.ByteArray: could not find link destinations for:
- Data.Array.Byte.D:R:ItemByteArray
Warning: Data.Primitive.PrimArray: could not find link destinations for:
- Data.Primitive.PrimArray.D:R:ItemPrimArray
Warning: Data.Primitive.Ptr: could not find link destinations for:
- GHC.Generics.D:R:UReckPtrp0
- GHC.Generics.Rep_R:UReckPtrp
- GHC.Generics.Rep1_R:UReckPtrp
Documentation created: dist/doc/html/primitive/,
dist/doc/html/primitive/primitive.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/primitive-0.9.1.0-FI4ablStFrKABDqEidp4iv
Completed primitive-0.9.1.0
Configuring split-0.2.5...
Preprocessing library for split-0.2.5..
Building library for split-0.2.5..
[1 of 2] Compiling Data.List.Split.Internals ( src/Data/List/Split/Internals.hs, dist/build/Data/List/Split/Internals.o, dist/build/Data/List/Split/Internals.dyn_o )
[2 of 2] Compiling Data.List.Split ( src/Data/List/Split.hs, dist/build/Data/List/Split.o, dist/build/Data/List/Split.dyn_o )
Preprocessing library for split-0.2.5..
Running Haddock on library for split-0.2.5..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 2] Compiling Data.List.Split.Internals ( src/Data/List/Split/Internals.hs, nothing )
[2 of 2] Compiling Data.List.Split ( src/Data/List/Split.hs, nothing )
Haddock coverage:
Warning: 'Splitter' is ambiguous. It is defined
* at src/Data/List/Split/Internals.hs:21:19
* at src/Data/List/Split/Internals.hs:21: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/Data/List/Split/Internals.hs:21:1
Warning: 'n' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'm' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
91% ( 63 / 69) in 'Data.List.Split.Internals'
Warning: 'Splitter' is ambiguous. It is defined
* at src/Data/List/Split/Internals.hs:21:19
* at src/Data/List/Split/Internals.hs:21: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/Data/List/Split/Internals.hs:21:1
90% ( 46 / 51) in 'Data.List.Split'
Documentation created: dist/doc/html/split/, dist/doc/html/split/split.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/split-0.2.5-HdqIBMrRyNiLuV2hi4AZF8
Completed split-0.2.5
Configuring splitmix-0.1.3.2...
Preprocessing library for splitmix-0.1.3.2..
Building library for splitmix-0.1.3.2..
[1 of 3] Compiling System.Random.SplitMix.Init ( src/System/Random/SplitMix/Init.hs, dist/build/System/Random/SplitMix/Init.o, dist/build/System/Random/SplitMix/Init.dyn_o )
[2 of 3] Compiling System.Random.SplitMix ( src/System/Random/SplitMix.hs, dist/build/System/Random/SplitMix.o, dist/build/System/Random/SplitMix.dyn_o )
[3 of 3] Compiling System.Random.SplitMix32 ( src/System/Random/SplitMix32.hs, dist/build/System/Random/SplitMix32.o, dist/build/System/Random/SplitMix32.dyn_o )
Preprocessing library for splitmix-0.1.3.2..
Running Haddock on library for splitmix-0.1.3.2..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 3] Compiling System.Random.SplitMix.Init ( src/System/Random/SplitMix/Init.hs, nothing )
[2 of 3] Compiling System.Random.SplitMix ( src/System/Random/SplitMix.hs, nothing )
[3 of 3] Compiling System.Random.SplitMix32 ( src/System/Random/SplitMix32.hs, nothing )
Haddock coverage:
Warning: 'SMGen' is ambiguous. It is defined
* at src/System/Random/SplitMix.hs:77:14
* at src/System/Random/SplitMix.hs:77: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/System/Random/SplitMix.hs:77:1
100% ( 22 / 22) in 'System.Random.SplitMix'
Warning: 'SMGen' is ambiguous. It is defined
* at src/System/Random/SplitMix32.hs:61:14
* at src/System/Random/SplitMix32.hs:61: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/System/Random/SplitMix32.hs:61:1
100% ( 22 / 22) in 'System.Random.SplitMix32'
Documentation created: dist/doc/html/splitmix/,
dist/doc/html/splitmix/splitmix.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/splitmix-0.1.3.2-2SXojlwG8icBs6A9ie9EH9
Completed splitmix-0.1.3.2
Configuring symbol-0.2.4.1...
Preprocessing library for symbol-0.2.4.1..
Building library for symbol-0.2.4.1..
[1 of 2] Compiling Data.Symbol.Unsafe ( Data/Symbol/Unsafe.hs, dist/build/Data/Symbol/Unsafe.o, dist/build/Data/Symbol/Unsafe.dyn_o )
[2 of 2] Compiling Data.Symbol ( Data/Symbol.hs, dist/build/Data/Symbol.o, dist/build/Data/Symbol.dyn_o )
Preprocessing library for symbol-0.2.4.1..
Running Haddock on library for symbol-0.2.4.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 2] Compiling Data.Symbol.Unsafe ( Data/Symbol/Unsafe.hs, nothing )
[2 of 2] Compiling Data.Symbol ( Data/Symbol.hs, nothing )
Haddock coverage:
Warning: 'Symbol' is ambiguous. It is defined
* at Data/Symbol/Unsafe.hs:28:16
* at Data/Symbol/Unsafe.hs:27: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/Symbol/Unsafe.hs:27:1
75% ( 3 / 4) in 'Data.Symbol.Unsafe'
Missing documentation for:
Symbol (Data/Symbol/Unsafe.hs:27)
75% ( 3 / 4) in 'Data.Symbol'
Missing documentation for:
Symbol (Data/Symbol/Unsafe.hs:27)
Documentation created: dist/doc/html/symbol/, dist/doc/html/symbol/symbol.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/symbol-0.2.4.1-IoWrNwjar6cD3KUXziLU2c
Completed symbol-0.2.4.1
Configuring uglymemo-0.1.0.1...
Preprocessing library for uglymemo-0.1.0.1..
Building library for uglymemo-0.1.0.1..
[1 of 1] Compiling Data.MemoUgly ( Data/MemoUgly.hs, dist/build/Data/MemoUgly.o, dist/build/Data/MemoUgly.dyn_o )
Preprocessing library for uglymemo-0.1.0.1..
Running Haddock on library for uglymemo-0.1.0.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 1] Compiling Data.MemoUgly ( Data/MemoUgly.hs, nothing )
Haddock coverage:
66% ( 2 / 3) in 'Data.MemoUgly'
Missing documentation for:
Module header
Documentation created: dist/doc/html/uglymemo/,
dist/doc/html/uglymemo/uglymemo.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/uglymemo-0.1.0.1-6fnK5MiiJ4nbAFo4leobQ
Completed uglymemo-0.1.0.1
Configuring utf8-string-1.0.2...
Preprocessing library for utf8-string-1.0.2..
Building library for utf8-string-1.0.2..
[1 of 5] Compiling Codec.Binary.UTF8.String ( Codec/Binary/UTF8/String.hs, dist/build/Codec/Binary/UTF8/String.o, dist/build/Codec/Binary/UTF8/String.dyn_o )
[2 of 5] Compiling Codec.Binary.UTF8.Generic ( Codec/Binary/UTF8/Generic.hs, dist/build/Codec/Binary/UTF8/Generic.o, dist/build/Codec/Binary/UTF8/Generic.dyn_o )
Codec/Binary/UTF8/Generic.hs:87:21: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, 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."
|
87 | tail = List.tail
| ^^^^^^^^^
[3 of 5] Compiling Data.ByteString.Lazy.UTF8 ( Data/ByteString/Lazy/UTF8.hs, dist/build/Data/ByteString/Lazy/UTF8.o, dist/build/Data/ByteString/Lazy/UTF8.dyn_o )
[4 of 5] Compiling Data.ByteString.UTF8 ( Data/ByteString/UTF8.hs, dist/build/Data/ByteString/UTF8.o, dist/build/Data/ByteString/UTF8.dyn_o )
[5 of 5] Compiling Data.String.UTF8 ( Data/String/UTF8.hs, dist/build/Data/String/UTF8.o, dist/build/Data/String/UTF8.dyn_o )
Preprocessing library for utf8-string-1.0.2..
Running Haddock on library for utf8-string-1.0.2..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 5] Compiling Codec.Binary.UTF8.String ( Codec/Binary/UTF8/String.hs, nothing )
[2 of 5] Compiling Codec.Binary.UTF8.Generic ( Codec/Binary/UTF8/Generic.hs, nothing )
Codec/Binary/UTF8/Generic.hs:87:21: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, 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."
|
87 | tail = List.tail
| ^^^^^^^^^
[3 of 5] Compiling Data.ByteString.Lazy.UTF8 ( Data/ByteString/Lazy/UTF8.hs, nothing )
[4 of 5] Compiling Data.ByteString.UTF8 ( Data/ByteString/UTF8.hs, nothing )
[5 of 5] Compiling Data.String.UTF8 ( Data/String/UTF8.hs, nothing )
Haddock coverage:
100% ( 8 / 8) in 'Codec.Binary.UTF8.String'
94% ( 16 / 17) in 'Codec.Binary.UTF8.Generic'
Missing documentation for:
UTF8Bytes (Codec/Binary/UTF8/Generic.hs:48)
100% ( 17 / 17) in 'Data.ByteString.Lazy.UTF8'
100% ( 18 / 18) in 'Data.ByteString.UTF8'
88% ( 24 / 27) in 'Data.String.UTF8'
Missing documentation for:
UTF8Bytes (Codec/Binary/UTF8/Generic.hs:48)
fromRep (Data/String/UTF8.hs:64)
toRep (Data/String/UTF8.hs:67)
Warning: Data.ByteString.Lazy.UTF8: could not find link destinations for:
- Data.ByteString.Lazy.Internal.D:R:ItemByteString
Warning: Data.ByteString.UTF8: could not find link destinations for:
- Data.ByteString.Internal.Type.D:R:ItemByteString
Documentation created: dist/doc/html/utf8-string/,
dist/doc/html/utf8-string/utf8-string.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/utf8-string-1.0.2-ARoN8tTzuLW5AQK61y3Hvx
Completed utf8-string-1.0.2
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 hashable-1.5.1.0...
Preprocessing library for hashable-1.5.1.0..
Building library for hashable-1.5.1.0..
[ 1 of 10] Compiling Data.Hashable.FFI ( src/Data/Hashable/FFI.hs, dist/build/Data/Hashable/FFI.o, dist/build/Data/Hashable/FFI.dyn_o )
[ 2 of 10] Compiling Data.Hashable.Imports ( src/Data/Hashable/Imports.hs, dist/build/Data/Hashable/Imports.o, dist/build/Data/Hashable/Imports.dyn_o )
[ 3 of 10] Compiling Data.Hashable.Mix ( src/Data/Hashable/Mix.hs, dist/build/Data/Hashable/Mix.o, dist/build/Data/Hashable/Mix.dyn_o )
[ 4 of 10] Compiling Data.Hashable.XXH3 ( src/Data/Hashable/XXH3.hs, dist/build/Data/Hashable/XXH3.o, dist/build/Data/Hashable/XXH3.dyn_o )
[ 5 of 10] Compiling Data.Hashable.LowLevel ( src/Data/Hashable/LowLevel.hs, dist/build/Data/Hashable/LowLevel.o, dist/build/Data/Hashable/LowLevel.dyn_o )
[ 6 of 10] Compiling Data.Hashable.Class ( src/Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o, dist/build/Data/Hashable/Class.dyn_o )
[ 7 of 10] Compiling Data.Hashable.Lifted ( src/Data/Hashable/Lifted.hs, dist/build/Data/Hashable/Lifted.o, dist/build/Data/Hashable/Lifted.dyn_o )
[ 8 of 10] Compiling Data.Hashable.Generic.Instances ( src/Data/Hashable/Generic/Instances.hs, dist/build/Data/Hashable/Generic/Instances.o, dist/build/Data/Hashable/Generic/Instances.dyn_o )
src/Data/Hashable/Generic/Instances.hs:5:14: warning: [GHC-19244] [-Wtrustworthy-safe]
Data.Hashable.Generic.Instances is marked as Trustworthy but has been inferred as safe!
|
5 | {-# LANGUAGE Trustworthy #-}
| ^^^^^^^^^^^
[ 9 of 10] Compiling Data.Hashable.Generic ( src/Data/Hashable/Generic.hs, dist/build/Data/Hashable/Generic.o, dist/build/Data/Hashable/Generic.dyn_o )
[10 of 10] Compiling Data.Hashable ( src/Data/Hashable.hs, dist/build/Data/Hashable.o, dist/build/Data/Hashable.dyn_o )
Preprocessing library for hashable-1.5.1.0..
Running Haddock on library for hashable-1.5.1.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 10] Compiling Data.Hashable.FFI ( src/Data/Hashable/FFI.hs, nothing )
[ 2 of 10] Compiling Data.Hashable.Imports ( src/Data/Hashable/Imports.hs, nothing )
[ 3 of 10] Compiling Data.Hashable.Mix ( src/Data/Hashable/Mix.hs, nothing )
[ 4 of 10] Compiling Data.Hashable.XXH3 ( src/Data/Hashable/XXH3.hs, nothing )
[ 5 of 10] Compiling Data.Hashable.LowLevel ( src/Data/Hashable/LowLevel.hs, nothing )
[ 6 of 10] Compiling Data.Hashable.Class ( src/Data/Hashable/Class.hs, nothing )
[ 7 of 10] Compiling Data.Hashable.Lifted ( src/Data/Hashable/Lifted.hs, nothing )
[ 8 of 10] Compiling Data.Hashable.Generic.Instances ( src/Data/Hashable/Generic/Instances.hs, nothing )
src/Data/Hashable/Generic/Instances.hs:5:14: warning: [GHC-19244] [-Wtrustworthy-safe]
Data.Hashable.Generic.Instances is marked as Trustworthy but has been inferred as safe!
|
5 | {-# LANGUAGE Trustworthy #-}
| ^^^^^^^^^^^
[ 9 of 10] Compiling Data.Hashable.Generic ( src/Data/Hashable/Generic.hs, nothing )
[10 of 10] Compiling Data.Hashable ( src/Data/Hashable.hs, nothing )
Haddock coverage:
Warning: 'ByteArray' is ambiguous. It is defined
* in Data.Array.Byte
* in Data.Array.Byte
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Array.Byte
Warning: 'hash' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'defaultHashWith' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Hashed' is ambiguous. It is defined
* at src/Data/Hashable/Class.hs:863:17
* at src/Data/Hashable/Class.hs:863: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/Data/Hashable/Class.hs:863:1
Warning: 'Arg' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
80% ( 8 / 10) in 'Data.Hashable.Lifted'
Missing documentation for:
Hashable1 (src/Data/Hashable/Class.hs:255)
Hashable2 (src/Data/Hashable/Class.hs:270)
66% ( 6 / 9) in 'Data.Hashable.Generic'
Missing documentation for:
One (src/Data/Hashable/Class.hs:245)
Zero (src/Data/Hashable/Class.hs:244)
HashArgs (src/Data/Hashable/Class.hs:247)
Warning: 'Generic' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 31 / 31) in 'Data.Hashable'
Warning: Data.Hashable.Generic: could not find link destinations for:
- Data.Hashable.Class.D:R:HashArgsOnea0
- Data.Hashable.Class.D:R:HashArgsZeroa0
- Data.Hashable.Generic.Instances.GSum
Warning: Data.Hashable: could not find link destinations for:
- Data.Hashable.Mix.Salt
Documentation created: dist/doc/html/hashable/,
dist/doc/html/hashable/hashable.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/hashable-1.5.1.0-B3HWh9nPMlILQrq8654h2p
Completed hashable-1.5.1.0
Configuring random-1.3.1...
Preprocessing library for random-1.3.1..
Building library for random-1.3.1..
[1 of 6] Compiling System.Random.Array ( src/System/Random/Array.hs, dist/build/System/Random/Array.o, dist/build/System/Random/Array.dyn_o )
[2 of 6] Compiling System.Random.GFinite ( src/System/Random/GFinite.hs, dist/build/System/Random/GFinite.o, dist/build/System/Random/GFinite.dyn_o )
[3 of 6] Compiling System.Random.Internal ( src/System/Random/Internal.hs, dist/build/System/Random/Internal.o, dist/build/System/Random/Internal.dyn_o )
[4 of 6] Compiling System.Random.Seed ( src/System/Random/Seed.hs, dist/build/System/Random/Seed.o, dist/build/System/Random/Seed.dyn_o )
[5 of 6] Compiling System.Random ( src/System/Random.hs, dist/build/System/Random.o, dist/build/System/Random.dyn_o )
[6 of 6] Compiling System.Random.Stateful ( src/System/Random/Stateful.hs, dist/build/System/Random/Stateful.o, dist/build/System/Random/Stateful.dyn_o )
Preprocessing library for random-1.3.1..
Running Haddock on library for random-1.3.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 6] Compiling System.Random.Array ( src/System/Random/Array.hs, nothing )
[2 of 6] Compiling System.Random.GFinite ( src/System/Random/GFinite.hs, nothing )
[3 of 6] Compiling System.Random.Internal ( src/System/Random/Internal.hs, nothing )
[4 of 6] Compiling System.Random.Seed ( src/System/Random/Seed.hs, nothing )
[5 of 6] Compiling System.Random ( src/System/Random.hs, nothing )
[6 of 6] Compiling System.Random.Stateful ( src/System/Random/Stateful.hs, nothing )
Haddock coverage:
Warning: 'ST' is ambiguous. It is defined
* in GHC.ST
* in GHC.ST
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.ST
Warning: 'StateGenM' is ambiguous. It is defined
* at src/System/Random/Internal.hs:606:20
* at src/System/Random/Internal.hs:606: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/System/Random/Internal.hs:606:1
Warning: 'StateGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:612:22
* at src/System/Random/Internal.hs:612: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/System/Random/Internal.hs:612:1
Warning: 'ByteArray' is ambiguous. It is defined
* in Data.Array.Byte
* in Data.Array.Byte
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Array.Byte
Warning: 'StdGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:749:18
* at src/System/Random/Internal.hs:749: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/System/Random/Internal.hs:749:1
Warning: 'MutableByteArray' is ambiguous. It is defined
* in Data.Array.Byte
* in Data.Array.Byte
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Array.Byte
Warning: 'ST' is ambiguous. It is defined
* in GHC.ST
* in GHC.ST
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.ST
Warning: 'StateT' is ambiguous. It is defined
* in Control.Monad.Trans.State.Strict
* in Control.Monad.Trans.State.Strict
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Control.Monad.Trans.State.Strict
Warning: 'Seed' is ambiguous. It is defined
* at src/System/Random/Internal.hs:134:18
* at src/System/Random/Internal.hs:134: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/System/Random/Internal.hs:134:1
Warning: 'StdGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:749:18
* at src/System/Random/Internal.hs:749: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/System/Random/Internal.hs:749:1
Warning: 'ByteArray' is ambiguous. It is defined
* in Data.Array.Byte
* in Data.Array.Byte
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Array.Byte
Warning: 'ByteString' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'uniformByteStringM' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'ShortByteString' is ambiguous. It is defined
* in Data.ByteString.Short.Internal
* in Data.ByteString.Short.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 in Data.ByteString.Short.Internal
Warning: 'StdGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:749:18
* at src/System/Random/Internal.hs:749: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/System/Random/Internal.hs:749:1
100% ( 71 / 71) in 'System.Random'
Warning: 'TGenM' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:719:19
* at src/System/Random/Stateful.hs:719: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/System/Random/Stateful.hs:719:1
Warning: 'STGenM' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:618:22
* at src/System/Random/Stateful.hs:618: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/System/Random/Stateful.hs:618:1
Warning: 'StateGenM' is ambiguous. It is defined
* at src/System/Random/Internal.hs:606:20
* at src/System/Random/Internal.hs:606: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/System/Random/Internal.hs:606:1
Warning: 'IOGenM' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:542:20
* at src/System/Random/Stateful.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/System/Random/Stateful.hs:542:1
Warning: 'AtomicGenM' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:428:24
* at src/System/Random/Stateful.hs:428: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/System/Random/Stateful.hs:428:1
Warning: 'Seed' is ambiguous. It is defined
* at src/System/Random/Internal.hs:134:18
* at src/System/Random/Internal.hs:134: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/System/Random/Internal.hs:134:1
Warning: 'StdGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:749:18
* at src/System/Random/Internal.hs:749: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/System/Random/Internal.hs:749:1
Warning: 'IOGen' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:547:19
* at src/System/Random/Stateful.hs:547: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/System/Random/Stateful.hs:547:1
Warning: 'STGenM' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'STM' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'STGen' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:623:19
* at src/System/Random/Stateful.hs:623: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/System/Random/Stateful.hs:623:1
Warning: 'clearBit' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'testBit' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% (137 /137) in 'System.Random.Stateful'
Warning: System.Random: could not find link destinations for:
- System.Random.GFinite.cardinality
- System.Random.GFinite.toFinite
- System.Random.GFinite.fromFinite
- System.Random.GFinite.Cardinality
- System.Random.Seed.D:R:SeedSizeSMGen
- System.Random.Seed.D:R:SeedSizeSMGen0
- System.Random.Seed.D:R:SeedSizeStateGen
- System.Random.Seed.D:R:SeedSizeStdGen
- System.Random.Stateful.D:R:SeedSizeAtomicGen
- System.Random.Stateful.D:R:SeedSizeIOGen
- System.Random.Stateful.D:R:SeedSizeSTGen
- System.Random.Stateful.D:R:SeedSizeTGen
Warning: System.Random.Stateful: could not find link destinations for:
- System.Random.GFinite.GFinite
- System.Random.GFinite.cardinality
- System.Random.GFinite.toFinite
- System.Random.GFinite.fromFinite
- System.Random.GFinite.Cardinality
- System.Random.Internal.GUniformRange
- System.Random.Internal.GUniform
- System.Random.Internal.D:R:MutableGenStateGenm
- System.Random.Seed.D:R:SeedSizeSMGen
- System.Random.Seed.D:R:SeedSizeSMGen0
- System.Random.Seed.D:R:SeedSizeStateGen
- System.Random.Seed.D:R:SeedSizeStdGen
- System.Random.Stateful.D:R:MutableGenAtomicGenm
- System.Random.Stateful.D:R:SeedSizeAtomicGen
- System.Random.Stateful.D:R:MutableGenIOGenm
- System.Random.Stateful.D:R:SeedSizeIOGen
- System.Random.Stateful.D:R:MutableGenSTGenST
- System.Random.Stateful.D:R:SeedSizeSTGen
- System.Random.Stateful.D:R:MutableGenTGenSTM
- System.Random.Stateful.D:R:SeedSizeTGen
Documentation created: dist/doc/html/random/, dist/doc/html/random/random.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/random-1.3.1-4YoyfNE8GMC3bv8ZvDq2uc
Completed random-1.3.1
Configuring ansi-terminal-1.1.5...
Preprocessing library for ansi-terminal-1.1.5..
Building library for ansi-terminal-1.1.5..
[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.5..
Running Haddock on library for ansi-terminal-1.1.5..
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:416)
cursorDown (src/System/Console/ANSI.hs:417)
cursorForward (src/System/Console/ANSI.hs:418)
cursorBackward (src/System/Console/ANSI.hs:419)
hCursorUp (src/System/Console/ANSI.hs:408)
hCursorDown (src/System/Console/ANSI.hs:409)
hCursorForward (src/System/Console/ANSI.hs:410)
hCursorBackward (src/System/Console/ANSI.hs:411)
cursorUpCode
cursorDownCode
cursorForwardCode
cursorBackwardCode
cursorUpLine (src/System/Console/ANSI.hs:432)
cursorDownLine (src/System/Console/ANSI.hs:431)
hCursorUpLine (src/System/Console/ANSI.hs:426)
hCursorDownLine (src/System/Console/ANSI.hs:425)
cursorUpLineCode
cursorDownLineCode
hSetCursorColumn (src/System/Console/ANSI.hs:438)
hSetCursorPosition (src/System/Console/ANSI.hs:452)
hSaveCursor (src/System/Console/ANSI.hs:463)
hRestoreCursor (src/System/Console/ANSI.hs:464)
hReportCursorPosition (src/System/Console/ANSI.hs:465)
clearFromCursorToScreenEnd (src/System/Console/ANSI.hs:1058)
clearFromCursorToScreenBeginning (src/System/Console/ANSI.hs:1059)
clearScreen (src/System/Console/ANSI.hs:1060)
clearFromCursorToLineEnd (src/System/Console/ANSI.hs:1070)
clearFromCursorToLineBeginning (src/System/Console/ANSI.hs:1071)
clearLine (src/System/Console/ANSI.hs:1072)
hClearFromCursorToScreenEnd (src/System/Console/ANSI.hs:1052)
hClearFromCursorToScreenBeginning (src/System/Console/ANSI.hs:1053)
hClearScreen (src/System/Console/ANSI.hs:1055)
hClearFromCursorToLineEnd (src/System/Console/ANSI.hs:1065)
hClearFromCursorToLineBeginning (src/System/Console/ANSI.hs:1066)
hClearLine (src/System/Console/ANSI.hs:1067)
clearFromCursorToScreenEndCode
clearFromCursorToScreenBeginningCode
clearScreenCode
clearFromCursorToLineEndCode
clearFromCursorToLineBeginningCode
clearLineCode
enableLineWrap (src/System/Console/ANSI.hs:1081)
disableLineWrap (src/System/Console/ANSI.hs:1082)
hEnableLineWrap (src/System/Console/ANSI.hs:1077)
hDisableLineWrap (src/System/Console/ANSI.hs:1078)
enableLineWrapCode
disableLineWrapCode
scrollPageUp (src/System/Console/ANSI.hs:1094)
scrollPageDown (src/System/Console/ANSI.hs:1095)
hScrollPageUp (src/System/Console/ANSI.hs:1088)
hScrollPageDown (src/System/Console/ANSI.hs:1089)
scrollPageUpCode
scrollPageDownCode
hUseAlternateScreenBuffer (src/System/Console/ANSI.hs:509)
hUseNormalScreenBuffer (src/System/Console/ANSI.hs:512)
useAlternateScreenBufferCode
useNormalScreenBufferCode
hReportLayerColor (src/System/Console/ANSI.hs:825)
hSetSGR (src/System/Console/ANSI.hs:1038)
setSGRCode
hideCursor (src/System/Console/ANSI.hs:505)
showCursor (src/System/Console/ANSI.hs:506)
hHideCursor (src/System/Console/ANSI.hs:501)
hShowCursor (src/System/Console/ANSI.hs:502)
hideCursorCode
showCursorCode
hHyperlink (src/System/Console/ANSI.hs:571)
hHyperlinkWithId (src/System/Console/ANSI.hs:593)
hHyperlinkWithParams (src/System/Console/ANSI.hs:548)
hSetTitle (src/System/Console/ANSI.hs:613)
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.5-F7lGUR3isCV1YxtZEq2804
Completed ansi-terminal-1.1.5
Configuring unordered-containers-0.2.21...
Preprocessing library for unordered-containers-0.2.21..
Building library for unordered-containers-0.2.21..
[1 of 9] Compiling Data.HashMap.Internal.Array ( Data/HashMap/Internal/Array.hs, dist/build/Data/HashMap/Internal/Array.o, dist/build/Data/HashMap/Internal/Array.dyn_o )
[2 of 9] Compiling Data.HashMap.Internal.List ( Data/HashMap/Internal/List.hs, dist/build/Data/HashMap/Internal/List.o, dist/build/Data/HashMap/Internal/List.dyn_o )
[3 of 9] Compiling Data.HashMap.Internal ( Data/HashMap/Internal.hs, dist/build/Data/HashMap/Internal.o, dist/build/Data/HashMap/Internal.dyn_o )
[4 of 9] Compiling Data.HashMap.Internal.Debug ( Data/HashMap/Internal/Debug.hs, dist/build/Data/HashMap/Internal/Debug.o, dist/build/Data/HashMap/Internal/Debug.dyn_o )
[5 of 9] Compiling Data.HashMap.Internal.Strict ( Data/HashMap/Internal/Strict.hs, dist/build/Data/HashMap/Internal/Strict.o, dist/build/Data/HashMap/Internal/Strict.dyn_o )
[6 of 9] Compiling Data.HashSet.Internal ( Data/HashSet/Internal.hs, dist/build/Data/HashSet/Internal.o, dist/build/Data/HashSet/Internal.dyn_o )
[7 of 9] Compiling Data.HashSet ( Data/HashSet.hs, dist/build/Data/HashSet.o, dist/build/Data/HashSet.dyn_o )
[8 of 9] Compiling Data.HashMap.Strict ( Data/HashMap/Strict.hs, dist/build/Data/HashMap/Strict.o, dist/build/Data/HashMap/Strict.dyn_o )
[9 of 9] Compiling Data.HashMap.Lazy ( Data/HashMap/Lazy.hs, dist/build/Data/HashMap/Lazy.o, dist/build/Data/HashMap/Lazy.dyn_o )
Preprocessing library for unordered-containers-0.2.21..
Running Haddock on library for unordered-containers-0.2.21..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 9] Compiling Data.HashMap.Internal.Array ( Data/HashMap/Internal/Array.hs, nothing )
[2 of 9] Compiling Data.HashMap.Internal.List ( Data/HashMap/Internal/List.hs, nothing )
[3 of 9] Compiling Data.HashMap.Internal ( Data/HashMap/Internal.hs, nothing )
[4 of 9] Compiling Data.HashMap.Internal.Debug ( Data/HashMap/Internal/Debug.hs, nothing )
[5 of 9] Compiling Data.HashMap.Internal.Strict ( Data/HashMap/Internal/Strict.hs, nothing )
[6 of 9] Compiling Data.HashSet.Internal ( Data/HashSet/Internal.hs, nothing )
[7 of 9] Compiling Data.HashSet ( Data/HashSet.hs, nothing )
[8 of 9] Compiling Data.HashMap.Strict ( Data/HashMap/Strict.hs, nothing )
[9 of 9] Compiling Data.HashMap.Lazy ( Data/HashMap/Lazy.hs, nothing )
Haddock coverage:
Warning: 'index' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
34% ( 17 / 49) in 'Data.HashMap.Internal.Array'
Missing documentation for:
Array (Data/HashMap/Internal/Array.hs:130)
MArray (Data/HashMap/Internal/Array.hs:162)
new_ (Data/HashMap/Internal/Array.hs:222)
singleton (Data/HashMap/Internal/Array.hs:234)
singletonM (Data/HashMap/Internal/Array.hs:238)
snoc (Data/HashMap/Internal/Array.hs:242)
pair (Data/HashMap/Internal/Array.hs:251)
length (Data/HashMap/Internal/Array.hs:159)
lengthM (Data/HashMap/Internal/Array.hs:167)
read (Data/HashMap/Internal/Array.hs:258)
write (Data/HashMap/Internal/Array.hs:264)
indexM (Data/HashMap/Internal/Array.hs:282)
sameArray1 (Data/HashMap/Internal/Array.hs:145)
unsafeFreeze (Data/HashMap/Internal/Array.hs:288)
unsafeThaw (Data/HashMap/Internal/Array.hs:294)
unsafeSameArray (Data/HashMap/Internal/Array.hs:141)
run (Data/HashMap/Internal/Array.hs:300)
cloneM (Data/HashMap/Internal/Array.hs:322)
foldl (Data/HashMap/Internal/Array.hs:412)
foldl' (Data/HashMap/Internal/Array.hs:383)
foldr (Data/HashMap/Internal/Array.hs:402)
foldr' (Data/HashMap/Internal/Array.hs:393)
foldMap (Data/HashMap/Internal/Array.hs:425)
thaw (Data/HashMap/Internal/Array.hs:444)
map (Data/HashMap/Internal/Array.hs:469)
filter (Data/HashMap/Internal/Array.hs:504)
mapMaybe (Data/HashMap/Internal/Array.hs:527)
traverse (Data/HashMap/Internal/Array.hs:590)
traverse' (Data/HashMap/Internal/Array.hs:606)
toList (Data/HashMap/Internal/Array.hs:582)
fromList (Data/HashMap/Internal/Array.hs:547)
fromList' (Data/HashMap/Internal/Array.hs:560)
25% ( 1 / 4) in 'Data.HashMap.Internal.List'
Missing documentation for:
isPermutationBy (Data/HashMap/Internal/List.hs:37)
deleteBy (Data/HashMap/Internal/List.hs:80)
unorderedCompare (Data/HashMap/Internal/List.hs:65)
Warning: 'Leaf' is ambiguous. It is defined
* at Data/HashMap/Internal.hs:232:7
* at Data/HashMap/Internal.hs:194: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/HashMap/Internal.hs:194:1
Warning: 'at' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
94% (102 /108) in 'Data.HashMap.Internal'
Missing documentation for:
Leaf (Data/HashMap/Internal.hs:194)
intersectionWithKey# (Data/HashMap/Internal.hs:2174)
updateOrConcatWithKey (Data/HashMap/Internal.hs:2793)
lookupResToMaybe (Data/HashMap/Internal.hs:668)
insert' (Data/HashMap/Internal.hs:852)
delete' (Data/HashMap/Internal.hs:1167)
50% ( 3 / 6) in 'Data.HashMap.Internal.Debug'
Missing documentation for:
valid (Data/HashMap/Internal/Debug.hs:95)
Validity (Data/HashMap/Internal/Debug.hs:40)
SubHashPath (Data/HashMap/Internal/Debug.hs:72)
Warning: 'lookup' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'at' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 70 / 70) in 'Data.HashMap.Internal.Strict'
Warning: 'HashSet' is ambiguous. It is defined
* at Data/HashSet/Internal.hs:114:21
* at Data/HashSet/Internal.hs:114: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/HashSet/Internal.hs:114:1
100% ( 37 / 37) in 'Data.HashSet.Internal'
Warning: 'HashSet' is ambiguous. It is defined
* at Data/HashSet/Internal.hs:114:21
* at Data/HashSet/Internal.hs:114: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/HashSet/Internal.hs:114:1
100% ( 34 / 34) in 'Data.HashSet'
100% ( 72 / 72) in 'Data.HashMap.Strict'
100% ( 72 / 72) in 'Data.HashMap.Lazy'
Warning: Data.HashMap.Internal: could not find link destinations for:
- Data.HashMap.Internal.equal1
- Data.HashMap.Internal.equal2
- Data.HashMap.Internal.D:R:ItemHashMap
Warning: Data.HashMap.Internal.Strict: could not find link destinations for:
- Data.HashMap.Internal.D:R:ItemHashMap
Warning: Data.HashSet.Internal: could not find link destinations for:
- Data.HashSet.Internal.D:R:ItemHashSet
Warning: Data.HashSet: could not find link destinations for:
- Data.HashSet.Internal.D:R:ItemHashSet
Warning: Data.HashMap.Strict: could not find link destinations for:
- Data.HashMap.Internal.D:R:ItemHashMap
Warning: Data.HashMap.Lazy: could not find link destinations for:
- Data.HashMap.Internal.D:R:ItemHashMap
Documentation created: dist/doc/html/unordered-containers/,
dist/doc/html/unordered-containers/unordered-containers.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/unordered-containers-0.2.21-LxzBF9OteKy2rulOGDByiv
Completed unordered-containers-0.2.21
Configuring QuickCheck-2.17.1.0...
Preprocessing library for QuickCheck-2.17.1.0..
Building library for QuickCheck-2.17.1.0..
[ 1 of 17] Compiling Test.QuickCheck.Exception ( src/Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o, dist/build/Test/QuickCheck/Exception.dyn_o )
[ 2 of 17] Compiling Test.QuickCheck.Random ( src/Test/QuickCheck/Random.hs, dist/build/Test/QuickCheck/Random.o, dist/build/Test/QuickCheck/Random.dyn_o )
[ 3 of 17] Compiling Test.QuickCheck.Gen ( src/Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o, dist/build/Test/QuickCheck/Gen.dyn_o )
[ 4 of 17] Compiling Test.QuickCheck.Gen.Unsafe ( src/Test/QuickCheck/Gen/Unsafe.hs, dist/build/Test/QuickCheck/Gen/Unsafe.o, dist/build/Test/QuickCheck/Gen/Unsafe.dyn_o )
[ 5 of 17] Compiling Test.QuickCheck.Arbitrary ( src/Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o, dist/build/Test/QuickCheck/Arbitrary.dyn_o )
[ 6 of 17] Compiling Test.QuickCheck.Poly ( src/Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o, dist/build/Test/QuickCheck/Poly.dyn_o )
[ 7 of 17] Compiling Test.QuickCheck.Modifiers ( src/Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o, dist/build/Test/QuickCheck/Modifiers.dyn_o )
[ 8 of 17] Compiling Test.QuickCheck.Function ( src/Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o, dist/build/Test/QuickCheck/Function.dyn_o )
[ 9 of 17] Compiling Test.QuickCheck.Text ( src/Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o, dist/build/Test/QuickCheck/Text.dyn_o )
[10 of 17] Compiling Test.QuickCheck.State ( src/Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o, dist/build/Test/QuickCheck/State.dyn_o )
[11 of 17] Compiling Test.QuickCheck.Property ( src/Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o, dist/build/Test/QuickCheck/Property.dyn_o )
[12 of 17] Compiling Test.QuickCheck.Test ( src/Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o, dist/build/Test/QuickCheck/Test.dyn_o )
[13 of 17] Compiling Test.QuickCheck.Monoids ( src/Test/QuickCheck/Monoids.hs, dist/build/Test/QuickCheck/Monoids.o, dist/build/Test/QuickCheck/Monoids.dyn_o )
[14 of 17] Compiling Test.QuickCheck.Monadic ( src/Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o, dist/build/Test/QuickCheck/Monadic.dyn_o )
[15 of 17] Compiling Test.QuickCheck.All ( src/Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o, dist/build/Test/QuickCheck/All.dyn_o )
[16 of 17] Compiling Test.QuickCheck.Features ( src/Test/QuickCheck/Features.hs, dist/build/Test/QuickCheck/Features.o, dist/build/Test/QuickCheck/Features.dyn_o )
[17 of 17] Compiling Test.QuickCheck ( src/Test/QuickCheck.hs, dist/build/Test/QuickCheck.o, dist/build/Test/QuickCheck.dyn_o )
Preprocessing library for QuickCheck-2.17.1.0..
Running Haddock on library for QuickCheck-2.17.1.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 17] Compiling Test.QuickCheck.Exception ( src/Test/QuickCheck/Exception.hs, nothing )
[ 2 of 17] Compiling Test.QuickCheck.Random ( src/Test/QuickCheck/Random.hs, nothing )
[ 3 of 17] Compiling Test.QuickCheck.Gen ( src/Test/QuickCheck/Gen.hs, nothing )
[ 4 of 17] Compiling Test.QuickCheck.Gen.Unsafe ( src/Test/QuickCheck/Gen/Unsafe.hs, nothing )
[ 5 of 17] Compiling Test.QuickCheck.Arbitrary ( src/Test/QuickCheck/Arbitrary.hs, nothing )
[ 6 of 17] Compiling Test.QuickCheck.Poly ( src/Test/QuickCheck/Poly.hs, nothing )
[ 7 of 17] Compiling Test.QuickCheck.Modifiers ( src/Test/QuickCheck/Modifiers.hs, nothing )
[ 8 of 17] Compiling Test.QuickCheck.Function ( src/Test/QuickCheck/Function.hs, nothing )
[ 9 of 17] Compiling Test.QuickCheck.Text ( src/Test/QuickCheck/Text.hs, nothing )
[10 of 17] Compiling Test.QuickCheck.State ( src/Test/QuickCheck/State.hs, nothing )
[11 of 17] Compiling Test.QuickCheck.Property ( src/Test/QuickCheck/Property.hs, nothing )
[12 of 17] Compiling Test.QuickCheck.Test ( src/Test/QuickCheck/Test.hs, nothing )
[13 of 17] Compiling Test.QuickCheck.Monoids ( src/Test/QuickCheck/Monoids.hs, nothing )
[14 of 17] Compiling Test.QuickCheck.Monadic ( src/Test/QuickCheck/Monadic.hs, nothing )
[15 of 17] Compiling Test.QuickCheck.All ( src/Test/QuickCheck/All.hs, nothing )
[16 of 17] Compiling Test.QuickCheck.Features ( src/Test/QuickCheck/Features.hs, nothing )
[17 of 17] Compiling Test.QuickCheck ( src/Test/QuickCheck.hs, nothing )
Haddock coverage:
92% ( 35 / 38) in 'Test.QuickCheck.Gen'
Missing documentation for:
chooseWord64 (src/Test/QuickCheck/Gen.hs:210)
chooseInt64 (src/Test/QuickCheck/Gen.hs:219)
chooseUpTo (src/Test/QuickCheck/Gen.hs:229)
80% ( 4 / 5) in 'Test.QuickCheck.Gen.Unsafe'
Missing documentation for:
Capture (src/Test/QuickCheck/Gen/Unsafe.hs:52)
Warning: '(:*:)' is ambiguous. It is defined
* in GHC.Generics
* in GHC.Generics
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.Generics
Warning: 'Version' is ambiguous. It is defined
* in Data.Version
* in Data.Version
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Version
88% ( 45 / 51) in 'Test.QuickCheck.Arbitrary'
Missing documentation for:
arbitrary1 (src/Test/QuickCheck/Arbitrary.hs:340)
shrink1 (src/Test/QuickCheck/Arbitrary.hs:343)
arbitrary2 (src/Test/QuickCheck/Arbitrary.hs:352)
shrink2 (src/Test/QuickCheck/Arbitrary.hs:355)
RecursivelyShrink (src/Test/QuickCheck/Arbitrary.hs:367)
GSubterms (src/Test/QuickCheck/Arbitrary.hs:398)
Warning: 'A' is ambiguous. It is defined
* at src/Test/QuickCheck/Poly.hs:29:13
* at src/Test/QuickCheck/Poly.hs:29: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/Test/QuickCheck/Poly.hs:29:1
Warning: 'B' is ambiguous. It is defined
* at src/Test/QuickCheck/Poly.hs:44:13
* at src/Test/QuickCheck/Poly.hs:44: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/Test/QuickCheck/Poly.hs:44:1
Warning: 'C' is ambiguous. It is defined
* at src/Test/QuickCheck/Poly.hs:59:13
* at src/Test/QuickCheck/Poly.hs:59: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/Test/QuickCheck/Poly.hs:59:1
Warning: 'OrdA' is ambiguous. It is defined
* at src/Test/QuickCheck/Poly.hs:77:16
* at src/Test/QuickCheck/Poly.hs:77: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/Test/QuickCheck/Poly.hs:77:1
Warning: 'OrdB' is ambiguous. It is defined
* at src/Test/QuickCheck/Poly.hs:112:16
* at src/Test/QuickCheck/Poly.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/Test/QuickCheck/Poly.hs:112:1
Warning: 'OrdC' is ambiguous. It is defined
* at src/Test/QuickCheck/Poly.hs:146:16
* at src/Test/QuickCheck/Poly.hs:146: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/Test/QuickCheck/Poly.hs:146:1
14% ( 1 / 7) in 'Test.QuickCheck.Poly'
Missing documentation for:
A (src/Test/QuickCheck/Poly.hs:29)
B (src/Test/QuickCheck/Poly.hs:44)
C (src/Test/QuickCheck/Poly.hs:59)
OrdA (src/Test/QuickCheck/Poly.hs:77)
OrdB (src/Test/QuickCheck/Poly.hs:112)
OrdC (src/Test/QuickCheck/Poly.hs:146)
Warning: 'Blind' is ambiguous. It is defined
* at src/Test/QuickCheck/Modifiers.hs:94:19
* at src/Test/QuickCheck/Modifiers.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/Test/QuickCheck/Modifiers.hs:94:1
Warning: 'NonNegative' is ambiguous. It is defined
* at src/Test/QuickCheck/Modifiers.hs:312:25
* at src/Test/QuickCheck/Modifiers.hs:312: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/Test/QuickCheck/Modifiers.hs:312:1
Warning: 'Large' is ambiguous. It is defined
* at src/Test/QuickCheck/Modifiers.hs:351:19
* at src/Test/QuickCheck/Modifiers.hs:351: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/Test/QuickCheck/Modifiers.hs:351:1
95% ( 22 / 23) in 'Test.QuickCheck.Modifiers'
Missing documentation for:
ShrinkState (src/Test/QuickCheck/Modifiers.hs:487)
Warning: 'Fun' is ambiguous. It is defined
* at src/Test/QuickCheck/Function.hs:548:16
* at src/Test/QuickCheck/Function.hs:548: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/Test/QuickCheck/Function.hs:548:1
100% ( 22 / 22) in 'Test.QuickCheck.Function'
Warning: 'Discard' is ambiguous. It is defined
* at src/Test/QuickCheck/Property.hs:114:16
* at src/Test/QuickCheck/Property.hs:114: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/Test/QuickCheck/Property.hs:114:1
Warning: 'Confidence' is ambiguous. It is defined
* at src/Test/QuickCheck/State.hs:68:3
* at src/Test/QuickCheck/State.hs:67: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/Test/QuickCheck/State.hs:67:1
66% ( 2 / 3) in 'Test.QuickCheck.Monoids'
Missing documentation for:
Module header
83% ( 20 / 24) in 'Test.QuickCheck.Monadic'
Missing documentation for:
stop (src/Test/QuickCheck/Monadic.hs:156)
monadic (src/Test/QuickCheck/Monadic.hs:265)
monadic' (src/Test/QuickCheck/Monadic.hs:268)
runSTGen (src/Test/QuickCheck/Monadic.hs:307)
90% ( 10 / 11) in 'Test.QuickCheck.All'
Missing documentation for:
runQuickCheckAll (src/Test/QuickCheck/All.hs:220)
Warning: 'Fun' is ambiguous. It is defined
* at src/Test/QuickCheck/Function.hs:548:16
* at src/Test/QuickCheck/Function.hs:548: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/Test/QuickCheck/Function.hs:548:1
Warning: 'Blind' is ambiguous. It is defined
* at src/Test/QuickCheck/Modifiers.hs:94:19
* at src/Test/QuickCheck/Modifiers.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/Test/QuickCheck/Modifiers.hs:94:1
Warning: 'NonNegative' is ambiguous. It is defined
* at src/Test/QuickCheck/Modifiers.hs:312:25
* at src/Test/QuickCheck/Modifiers.hs:312: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/Test/QuickCheck/Modifiers.hs:312:1
96% (203 /211) in 'Test.QuickCheck'
Missing documentation for:
arbitrary1 (src/Test/QuickCheck/Arbitrary.hs:340)
shrink1 (src/Test/QuickCheck/Arbitrary.hs:343)
arbitrary2 (src/Test/QuickCheck/Arbitrary.hs:352)
shrink2 (src/Test/QuickCheck/Arbitrary.hs:355)
ShrinkState (src/Test/QuickCheck/Modifiers.hs:487)
Witness (src/Test/QuickCheck/Property.hs:262)
coerceWitness (src/Test/QuickCheck/Property.hs:268)
castWitness (src/Test/QuickCheck/Property.hs:273)
Warning: Test.QuickCheck.Gen: could not find link destinations for:
- Test.QuickCheck.Random.QCGen
Warning: Test.QuickCheck.Arbitrary: could not find link destinations for:
- Test.QuickCheck.Arbitrary.GCoArbitrary
- Test.QuickCheck.Arbitrary.GSubtermsIncl
- Test.QuickCheck.Arbitrary.gSubterms
- Test.QuickCheck.Arbitrary.grecursivelyShrink
Warning: Test.QuickCheck.Modifiers: could not find link destinations for:
- Test.QuickCheck.Modifiers.InfiniteListInternalData
Warning: Test.QuickCheck.Function: could not find link destinations for:
- Test.QuickCheck.Function.Shrunk
- Test.QuickCheck.Function.GFunction
Warning: Test.QuickCheck: could not find link destinations for:
- Test.QuickCheck.Exception.AnException
- Test.QuickCheck.Random.QCGen
- Test.QuickCheck.Arbitrary.GCoArbitrary
- Test.QuickCheck.Modifiers.InfiniteListInternalData
- Test.QuickCheck.Function.Shrunk
- Test.QuickCheck.Function.GFunction
- Test.QuickCheck.Property.Result
Documentation created: dist/doc/html/QuickCheck/,
dist/doc/html/QuickCheck/QuickCheck.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/QuickCheck-2.17.1.0-4dWc13X6IobAyWBV1ecyNT
Completed QuickCheck-2.17.1.0
Configuring async-2.2.6...
Preprocessing library for async-2.2.6..
Building library for async-2.2.6..
[1 of 4] Compiling Control.Concurrent.Async.Internal ( Control/Concurrent/Async/Internal.hs, dist/build/Control/Concurrent/Async/Internal.o, dist/build/Control/Concurrent/Async/Internal.dyn_o )
Control/Concurrent/Async/Internal.hs:50: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()
|
50 | import Data.Semigroup (Semigroup((<>)))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[2 of 4] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o, dist/build/Control/Concurrent/Async.dyn_o )
[3 of 4] Compiling Control.Concurrent.Async.Warden ( Control/Concurrent/Async/Warden.hs, dist/build/Control/Concurrent/Async/Warden.o, dist/build/Control/Concurrent/Async/Warden.dyn_o )
[4 of 4] Compiling Control.Concurrent.Stream ( Control/Concurrent/Stream.hs, dist/build/Control/Concurrent/Stream.o, dist/build/Control/Concurrent/Stream.dyn_o )
Preprocessing library for async-2.2.6..
Running Haddock on library for async-2.2.6..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 4] Compiling Control.Concurrent.Async.Internal ( Control/Concurrent/Async/Internal.hs, nothing )
Control/Concurrent/Async/Internal.hs:50: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()
|
50 | import Data.Semigroup (Semigroup((<>)))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[2 of 4] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, nothing )
[3 of 4] Compiling Control.Concurrent.Async.Warden ( Control/Concurrent/Async/Warden.hs, nothing )
[4 of 4] Compiling Control.Concurrent.Stream ( Control/Concurrent/Stream.hs, nothing )
Haddock coverage:
Warning: 'ThreadId' is ambiguous. It is defined
* in GHC.Conc.Sync
* in GHC.Conc.Sync
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.Conc.Sync
Warning: 'Async' is ambiguous. It is defined
* at Control/Concurrent/Async/Internal.hs:83:16
* at Control/Concurrent/Async/Internal.hs:83: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 Control/Concurrent/Async/Internal.hs:83:1
Warning: 'ExceptionInLinkedThread' is ambiguous. It is defined
* at Control/Concurrent/Async/Internal.hs:500:3
* at Control/Concurrent/Async/Internal.hs:499: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 Control/Concurrent/Async/Internal.hs:499:1
Warning: 'AsyncCancelled' is ambiguous. It is defined
* at Control/Concurrent/Async/Internal.hs:313:23
* at Control/Concurrent/Async/Internal.hs:313: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 Control/Concurrent/Async/Internal.hs:313:1
Warning: 'IO' is ambiguous. It is defined
* in GHC.Types
* in GHC.Types
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.Types
85% ( 58 / 68) in 'Control.Concurrent.Async.Internal'
Missing documentation for:
asyncUsing (Control/Concurrent/Async/Internal.hs:149)
withAsyncUsing (Control/Concurrent/Async/Internal.hs:214)
ExceptionInLinkedThread (Control/Concurrent/Async/Internal.hs:499)
isCancel (Control/Concurrent/Async/Internal.hs:581)
concurrently' (Control/Concurrent/Async/Internal.hs:702)
catchAll (Control/Concurrent/Async/Internal.hs:930)
tryAll (Control/Concurrent/Async/Internal.hs:933)
rawForkIO (Control/Concurrent/Async/Internal.hs:942)
rawForkOn (Control/Concurrent/Async/Internal.hs:951)
debugLabelMe (Control/Concurrent/Async/Internal.hs:959)
Warning: 'forkIO' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Async' is ambiguous. It is defined
* at Control/Concurrent/Async/Internal.hs:83:16
* at Control/Concurrent/Async/Internal.hs:83: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 Control/Concurrent/Async/Internal.hs:83:1
Warning: 'Concurrently' is ambiguous. It is defined
* at Control/Concurrent/Async/Internal.hs:845:26
* at Control/Concurrent/Async/Internal.hs:845: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 Control/Concurrent/Async/Internal.hs:845:1
Warning: 'Alternative' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
98% ( 70 / 71) in 'Control.Concurrent.Async'
Missing documentation for:
ExceptionInLinkedThread (Control/Concurrent/Async/Internal.hs:499)
Warning: 'Warden' is ambiguous. It is defined
* at Control/Concurrent/Async/Warden.hs:45:18
* at Control/Concurrent/Async/Warden.hs:45: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 Control/Concurrent/Async/Warden.hs:45:1
Warning: 'cancel' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'wait' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'link' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
88% ( 8 / 9) in 'Control.Concurrent.Async.Warden'
Missing documentation for:
WardenException (Control/Concurrent/Async/Warden.hs:84)
100% ( 8 / 8) in 'Control.Concurrent.Stream'
Documentation created: dist/doc/html/async/, dist/doc/html/async/async.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/async-2.2.6-KZapnXysIPU9fiDzbOdEAJ
Completed async-2.2.6
Downloading twee-lib-2.6.1
Downloaded twee-lib-2.6.1
Configuring twee-lib-2.6.1...
Preprocessing library for twee-lib-2.6.1..
Building library for twee-lib-2.6.1..
[ 1 of 25] Compiling Data.ChurchList ( Data/ChurchList.hs, dist/build/Data/ChurchList.o, dist/build/Data/ChurchList.dyn_o )
[ 2 of 25] Compiling Data.DynamicArray ( Data/DynamicArray.hs, dist/build/Data/DynamicArray.o, dist/build/Data/DynamicArray.dyn_o )
[ 3 of 25] Compiling Data.Heap ( Data/Heap.hs, dist/build/Data/Heap.o, dist/build/Data/Heap.dyn_o )
[ 4 of 25] Compiling Data.Intern ( Data/Intern.hs, dist/build/Data/Intern.o, dist/build/Data/Intern.dyn_o )
[ 5 of 25] Compiling Data.Numbered ( Data/Numbered.hs, dist/build/Data/Numbered.o, dist/build/Data/Numbered.dyn_o )
[ 6 of 25] Compiling Data.PackedSequence ( Data/PackedSequence.hs, dist/build/Data/PackedSequence.o, dist/build/Data/PackedSequence.dyn_o )
[ 7 of 25] Compiling Data.BatchedQueue ( Data/BatchedQueue.hs, dist/build/Data/BatchedQueue.o, dist/build/Data/BatchedQueue.dyn_o )
[ 8 of 25] Compiling Twee.Profile ( Twee/Profile.hs, dist/build/Twee/Profile.o, dist/build/Twee/Profile.dyn_o )
[ 9 of 25] Compiling Twee.Task ( Twee/Task.hs, dist/build/Twee/Task.o, dist/build/Twee/Task.dyn_o )
[10 of 25] Compiling Twee.Term.Core ( Twee/Term/Core.hs, dist/build/Twee/Term/Core.o, dist/build/Twee/Term/Core.dyn_o )
[11 of 25] Compiling Twee.Utils ( Twee/Utils.hs, dist/build/Twee/Utils.o, dist/build/Twee/Utils.dyn_o )
[12 of 25] Compiling Twee.Term ( Twee/Term.hs, dist/build/Twee/Term.o, dist/build/Twee/Term.dyn_o )
Twee/Term.hs:68:1: warning: [GHC-66111] [-Wunused-imports]
The qualified import of Twee.Term.Core is redundant
except perhaps to import instances from Twee.Term.Core
To import instances alone, use: import Twee.Term.Core()
|
68 | import qualified Twee.Term.Core as Core
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Twee/Term.hs:76:1: warning: [GHC-66111] [-Wunused-imports]
The import of Control.Arrow is redundant
except perhaps to import instances from Control.Arrow
To import instances alone, use: import Control.Arrow()
|
76 | import Control.Arrow((&&&))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[13 of 25] Compiling Twee.Pretty ( Twee/Pretty.hs, dist/build/Twee/Pretty.o, dist/build/Twee/Pretty.dyn_o )
[14 of 25] Compiling Twee.Constraints ( Twee/Constraints.hs, dist/build/Twee/Constraints.o, dist/build/Twee/Constraints.dyn_o )
[15 of 25] Compiling Twee.Base ( Twee/Base.hs, dist/build/Twee/Base.o, dist/build/Twee/Base.dyn_o )
[16 of 25] Compiling Twee.Index ( Twee/Index.hs, dist/build/Twee/Index.o, dist/build/Twee/Index.dyn_o )
[17 of 25] Compiling Twee.Equation ( Twee/Equation.hs, dist/build/Twee/Equation.o, dist/build/Twee/Equation.dyn_o )
[18 of 25] Compiling Twee.Proof ( Twee/Proof.hs, dist/build/Twee/Proof.o, dist/build/Twee/Proof.dyn_o )
[19 of 25] Compiling Twee.Rule ( Twee/Rule.hs, dist/build/Twee/Rule.o, dist/build/Twee/Rule.dyn_o )
Twee/Rule.hs:25:1: warning: [GHC-66111] [-Wunused-imports]
The import of Debug.Trace is redundant
except perhaps to import instances from Debug.Trace
To import instances alone, use: import Debug.Trace()
|
25 | import Debug.Trace
| ^^^^^^^^^^^^^^^^^^
Twee/Rule.hs:26:1: warning: [GHC-66111] [-Wunused-imports]
The import of Twee.Pretty is redundant
except perhaps to import instances from Twee.Pretty
To import instances alone, use: import Twee.Pretty()
|
26 | import Twee.Pretty
| ^^^^^^^^^^^^^^^^^^
Twee/Rule.hs:27:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Function is redundant
except perhaps to import instances from Data.Function
To import instances alone, use: import Data.Function()
|
27 | import Data.Function
| ^^^^^^^^^^^^^^^^^^^^
Twee/Rule.hs:31:1: warning: [GHC-66111] [-Wunused-imports]
The import of Twee.Profile is redundant
except perhaps to import instances from Twee.Profile
To import instances alone, use: import Twee.Profile()
|
31 | import Twee.Profile
| ^^^^^^^^^^^^^^^^^^^
Twee/Rule.hs:631:5: warning: [GHC-40910] [-Wunused-local-binds]
Defined but not used: normStepsVia
|
631 | normStepsVia r t = r `trans1` normSteps (result1 t r)
| ^^^^^^^^^^^^
Twee/Rule.hs:663:21: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: rs1
|
663 | conflict' t (r1:rs1) u (r2:rs2) v
| ^^^
Twee/Rule.hs:663:26: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: u
|
663 | conflict' t (r1:rs1) u (r2:rs2) v
| ^
Twee/Rule.hs:663:32: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: rs2
|
663 | conflict' t (r1:rs1) u (r2:rs2) v
| ^^^
Twee/Rule.hs:663:37: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: v
|
663 | conflict' t (r1:rs1) u (r2:rs2) v
| ^
[20 of 25] Compiling Twee.Rule.Index ( Twee/Rule/Index.hs, dist/build/Twee/Rule/Index.o, dist/build/Twee/Rule/Index.dyn_o )
[21 of 25] Compiling Twee.Generate ( Twee/Generate.hs, dist/build/Twee/Generate.o, dist/build/Twee/Generate.dyn_o )
Twee/Generate.hs:10:1: warning: [GHC-66111] [-Wunused-imports]
The import of Debug.Trace is redundant
except perhaps to import instances from Debug.Trace
To import instances alone, use: import Debug.Trace()
|
10 | import Debug.Trace
| ^^^^^^^^^^^^^^^^^^
Twee/Generate.hs:34:9: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: f
|
34 | | App f psl <- [p]
| ^
[22 of 25] Compiling Twee.KBO ( Twee/KBO.hs, dist/build/Twee/KBO.o, dist/build/Twee/KBO.dyn_o )
[23 of 25] Compiling Twee.CP ( Twee/CP.hs, dist/build/Twee/CP.o, dist/build/Twee/CP.dyn_o )
Twee/CP.hs:249:5: warning: [GHC-61505]
Pattern match checker ran into -fmax-pmcheck-models=30 limit, so
" Redundant clauses might not be reported at all
" Redundant clauses might be reported as inaccessible
" Patterns reported as unmatched might actually be matched
Suggested fix:
Increase the limit or resolve the warnings to suppress this message.
|
249 | size' !_ !_ !_ | False = undefined
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
Twee/CP.hs:249:22: warning: [GHC-94210] [-Woverlapping-patterns]
Pattern match has inaccessible right hand side
In an equation for size': size' !_ !_ !_ | False = ...
|
249 | size' !_ !_ !_ | False = undefined
| ^^^^^
[24 of 25] Compiling Twee.Join ( Twee/Join.hs, dist/build/Twee/Join.o, dist/build/Twee/Join.dyn_o )
Twee/Join.hs:223:14: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: top
|
223 | Just top | cfg_use_connectedness_in_ground_joining ->
| ^^^
[25 of 25] Compiling Twee ( Twee.hs, dist/build/Twee.o, dist/build/Twee.dyn_o )
Twee.hs:44:1: warning: [GHC-66111] [-Wunused-imports]
The import of Debug.Trace is redundant
except perhaps to import instances from Debug.Trace
To import instances alone, use: import Debug.Trace()
|
44 | import Debug.Trace
| ^^^^^^^^^^^^^^^^^^
Twee.hs:890:24: warning: [GHC-68441] [-Wdeprecations]
In the use of split
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `splitGen`"
|
890 | let (g1, g2) = Random.split g in
| ^^^^^^^^^^^^
Preprocessing library for twee-lib-2.6.1..
Running Haddock on library for twee-lib-2.6.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 25] Compiling Data.ChurchList ( Data/ChurchList.hs, nothing )
[ 2 of 25] Compiling Data.DynamicArray ( Data/DynamicArray.hs, nothing )
[ 3 of 25] Compiling Data.Heap ( Data/Heap.hs, nothing )
[ 4 of 25] Compiling Data.Intern ( Data/Intern.hs, nothing )
[ 5 of 25] Compiling Data.Numbered ( Data/Numbered.hs, nothing )
[ 6 of 25] Compiling Data.PackedSequence ( Data/PackedSequence.hs, nothing )
[ 7 of 25] Compiling Data.BatchedQueue ( Data/BatchedQueue.hs, nothing )
[ 8 of 25] Compiling Twee.Profile ( Twee/Profile.hs, nothing )
[ 9 of 25] Compiling Twee.Task ( Twee/Task.hs, nothing )
[10 of 25] Compiling Twee.Term.Core ( Twee/Term/Core.hs, nothing )
[11 of 25] Compiling Twee.Utils ( Twee/Utils.hs, nothing )
[12 of 25] Compiling Twee.Term ( Twee/Term.hs, nothing )
Twee/Term.hs:68:1: warning: [GHC-66111] [-Wunused-imports]
The qualified import of Twee.Term.Core is redundant
except perhaps to import instances from Twee.Term.Core
To import instances alone, use: import Twee.Term.Core()
|
68 | import qualified Twee.Term.Core as Core
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Twee/Term.hs:76:1: warning: [GHC-66111] [-Wunused-imports]
The import of Control.Arrow is redundant
except perhaps to import instances from Control.Arrow
To import instances alone, use: import Control.Arrow()
|
76 | import Control.Arrow((&&&))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[13 of 25] Compiling Twee.Pretty ( Twee/Pretty.hs, nothing )
[14 of 25] Compiling Twee.Constraints ( Twee/Constraints.hs, nothing )
[15 of 25] Compiling Twee.Base ( Twee/Base.hs, nothing )
[16 of 25] Compiling Twee.Index ( Twee/Index.hs, nothing )
[17 of 25] Compiling Twee.Equation ( Twee/Equation.hs, nothing )
[18 of 25] Compiling Twee.Proof ( Twee/Proof.hs, nothing )
[19 of 25] Compiling Twee.Rule ( Twee/Rule.hs, nothing )
Twee/Rule.hs:25:1: warning: [GHC-66111] [-Wunused-imports]
The import of Debug.Trace is redundant
except perhaps to import instances from Debug.Trace
To import instances alone, use: import Debug.Trace()
|
25 | import Debug.Trace
| ^^^^^^^^^^^^^^^^^^
Twee/Rule.hs:26:1: warning: [GHC-66111] [-Wunused-imports]
The import of Twee.Pretty is redundant
except perhaps to import instances from Twee.Pretty
To import instances alone, use: import Twee.Pretty()
|
26 | import Twee.Pretty
| ^^^^^^^^^^^^^^^^^^
Twee/Rule.hs:27:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Function is redundant
except perhaps to import instances from Data.Function
To import instances alone, use: import Data.Function()
|
27 | import Data.Function
| ^^^^^^^^^^^^^^^^^^^^
Twee/Rule.hs:31:1: warning: [GHC-66111] [-Wunused-imports]
The import of Twee.Profile is redundant
except perhaps to import instances from Twee.Profile
To import instances alone, use: import Twee.Profile()
|
31 | import Twee.Profile
| ^^^^^^^^^^^^^^^^^^^
Twee/Rule.hs:631:5: warning: [GHC-40910] [-Wunused-local-binds]
Defined but not used: normStepsVia
|
631 | normStepsVia r t = r `trans1` normSteps (result1 t r)
| ^^^^^^^^^^^^
Twee/Rule.hs:663:21: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: rs1
|
663 | conflict' t (r1:rs1) u (r2:rs2) v
| ^^^
Twee/Rule.hs:663:26: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: u
|
663 | conflict' t (r1:rs1) u (r2:rs2) v
| ^
Twee/Rule.hs:663:32: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: rs2
|
663 | conflict' t (r1:rs1) u (r2:rs2) v
| ^^^
Twee/Rule.hs:663:37: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: v
|
663 | conflict' t (r1:rs1) u (r2:rs2) v
| ^
[20 of 25] Compiling Twee.Rule.Index ( Twee/Rule/Index.hs, nothing )
[21 of 25] Compiling Twee.Generate ( Twee/Generate.hs, nothing )
Twee/Generate.hs:10:1: warning: [GHC-66111] [-Wunused-imports]
The import of Debug.Trace is redundant
except perhaps to import instances from Debug.Trace
To import instances alone, use: import Debug.Trace()
|
10 | import Debug.Trace
| ^^^^^^^^^^^^^^^^^^
Twee/Generate.hs:34:9: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: f
|
34 | | App f psl <- [p]
| ^
[22 of 25] Compiling Twee.KBO ( Twee/KBO.hs, nothing )
[23 of 25] Compiling Twee.CP ( Twee/CP.hs, nothing )
[24 of 25] Compiling Twee.Join ( Twee/Join.hs, nothing )
Twee/Join.hs:223:14: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: top
|
223 | Just top | cfg_use_connectedness_in_ground_joining ->
| ^^^
[25 of 25] Compiling Twee ( Twee.hs, nothing )
Twee.hs:44:1: warning: [GHC-66111] [-Wunused-imports]
The import of Debug.Trace is redundant
except perhaps to import instances from Debug.Trace
To import instances alone, use: import Debug.Trace()
|
44 | import Debug.Trace
| ^^^^^^^^^^^^^^^^^^
Twee.hs:890:24: warning: [GHC-68441] [-Wdeprecations]
In the use of split
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `splitGen`"
|
890 | let (g1, g2) = Random.split g in
| ^^^^^^^^^^^^
Haddock coverage:
Warning: 'Sym' is ambiguous. It is defined
* at Data/Intern.hs:146:1
* at Data/Intern.hs:21: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/Intern.hs:21:1
87% ( 7 / 8) in 'Data.Intern'
Missing documentation for:
Sym (Data/Intern.hs:146)
0% ( 0 / 7) in 'Twee.Profile'
Missing documentation for:
Module header
stamp (Twee/Profile.hs:139)
stampWith (Twee/Profile.hs:142)
stampM (Twee/Profile.hs:145)
stampGen (Twee/Profile.hs:148)
stampGen' (Twee/Profile.hs:151)
profile (Twee/Profile.hs:154)
100% ( 4 / 4) in 'Twee.Task'
Warning: 'Term' is ambiguous. It is defined
* at Twee/Term/Core.hs:121:3
* at Twee/Term/Core.hs:120: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 Twee/Term/Core.hs:120:1
Warning: 'Var' is ambiguous. It is defined
* at Twee/Term/Core.hs:211:1
* at Twee/Term/Core.hs:200: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 Twee/Term/Core.hs:200:1
Warning: 'TermList' is ambiguous. It is defined
* at Twee/Term/Core.hs:81:3
* at Twee/Term/Core.hs:80: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 Twee/Term/Core.hs:80:1
54% ( 25 / 46) in 'Twee.Term.Core'
Missing documentation for:
Module header
Symbol (Twee/Term/Core.hs:34)
toSymbol (Twee/Term/Core.hs:55)
fromSymbol (Twee/Term/Core.hs:62)
symbolSize (Twee/Term/Core.hs:69)
unsafePatHead (Twee/Term/Core.hs:180)
patHead (Twee/Term/Core.hs:191)
patTerm (Twee/Term/Core.hs:222)
compareSameLength (Twee/Term/Core.hs:247)
Builder1 (Twee/Term/Core.hs:268)
buildTermList (Twee/Term/Core.hs:282)
built (Twee/Term/Core.hs:297)
then_ (Twee/Term/Core.hs:302)
emitSymbolBuilder (Twee/Term/Core.hs:310)
emitApp (Twee/Term/Core.hs:330)
emitVar (Twee/Term/Core.hs:335)
emitTermList (Twee/Term/Core.hs:340)
reserve (Twee/Term/Core.hs:356)
unST (Twee/Term/Core.hs:373)
unInt (Twee/Term/Core.hs:376)
symbolOccursList (Twee/Term/Core.hs:397)
3% ( 1 / 29) in 'Twee.Utils'
Missing documentation for:
repeatM (Twee/Utils.hs:19)
partitionBy (Twee/Utils.hs:22)
collate (Twee/Utils.hs:29)
isSorted (Twee/Utils.hs:34)
isSortedBy (Twee/Utils.hs:37)
usort (Twee/Utils.hs:40)
usortBy (Twee/Utils.hs:43)
sortBy' (Twee/Utils.hs:46)
usortBy' (Twee/Utils.hs:49)
orElse (Twee/Utils.hs:52)
unbuffered (Twee/Utils.hs:56)
labelM (Twee/Utils.hs:64)
fixpoint (Twee/Utils.hs:76)
fixpointOn (Twee/Utils.hs:80)
intMin (Twee/Utils.hs:91)
intMax (Twee/Utils.hs:98)
splitInterval (Twee/Utils.hs:105)
reservoir (Twee/Utils.hs:131)
Sample (Twee/Utils.hs:145)
emptySample (Twee/Utils.hs:148)
addSample (Twee/Utils.hs:151)
sampleValue (Twee/Utils.hs:164)
mapSample (Twee/Utils.hs:167)
splits (Twee/Utils.hs:172)
foldn (Twee/Utils.hs:179)
U8 (Twee/Utils.hs:182)
U16 (Twee/Utils.hs:203)
never (Twee/Utils.hs:222)
Warning: 'Var' is ambiguous. It is defined
* at Twee/Term/Core.hs:211:1
* at Twee/Term/Core.hs:200: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 Twee/Term/Core.hs:200:1
Warning: 'Subst' is ambiguous. It is defined
* at Twee/Term.hs:211:3
* at Twee/Term.hs:210: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 Twee/Term.hs:210:1
Warning: 'Term' is ambiguous. It is defined
* at Twee/Term/Core.hs:121:3
* at Twee/Term/Core.hs:120: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 Twee/Term/Core.hs:120:1
Warning: 'Builder' is ambiguous. It is defined
* at Twee/Term/Core.hs:260:3
* at Twee/Term/Core.hs:259: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 Twee/Term/Core.hs:259:1
Warning: 'Sym' is ambiguous. It is defined
* at Data/Intern.hs:146:1
* at Data/Intern.hs:21: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/Intern.hs:21:1
90% ( 99 /109) in 'Twee.Term'
Missing documentation for:
hd (Twee/Term/Core.hs:170)
tl (Twee/Term/Core.hs:170)
rest (Twee/Term/Core.hs:170)
uhd (Twee/Term/Core.hs:175)
utl (Twee/Term/Core.hs:175)
urest (Twee/Term/Core.hs:175)
reverseSubterms (Twee/Term.hs:622)
substToList' (Twee/Term.hs:143)
unifyListTriFrom (Twee/Term.hs:464)
replace (Twee/Term.hs:665)
Warning: '<>' is ambiguous. It is defined
* in GHC.Base
* in Text.PrettyPrint.HughesPJ
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Text.PrettyPrint.HughesPJ
Warning: Twee.Pretty: Could not find documentation for exported module: Twee.Pretty
68% ( 58 / 85) in 'Twee.Pretty'
Missing documentation for:
bold (Twee/Pretty.hs:86)
HighlightedTerm (Twee/Pretty.hs:81)
ANSICode (Twee/Pretty.hs:83)
green (Twee/Pretty.hs:85)
highlight (Twee/Pretty.hs:89)
maybeHighlight (Twee/Pretty.hs:95)
parens
semi
comma
colon
space
equals
lparen
rparen
lbrack
rbrack
lbrace
rbrace
int
integer
float
double
rational
quotes
doubleQuotes
brackets
braces
10% ( 4 / 37) in 'Twee.Constraints'
Missing documentation for:
Atom (Twee/Constraints.hs:22)
atoms (Twee/Constraints.hs:26)
toTerm (Twee/Constraints.hs:34)
fromTerm (Twee/Constraints.hs:38)
Formula (Twee/Constraints.hs:45)
negateFormula (Twee/Constraints.hs:71)
conj (Twee/Constraints.hs:76)
disj (Twee/Constraints.hs:86)
&&& (Twee/Constraints.hs:97)
||| (Twee/Constraints.hs:98)
true (Twee/Constraints.hs:99)
false (Twee/Constraints.hs:100)
Branch (Twee/Constraints.hs:102)
trueBranch (Twee/Constraints.hs:117)
norm (Twee/Constraints.hs:120)
contradictory (Twee/Constraints.hs:123)
formAnd (Twee/Constraints.hs:133)
branches (Twee/Constraints.hs:142)
addLess (Twee/Constraints.hs:154)
addEquals (Twee/Constraints.hs:164)
addTerm (Twee/Constraints.hs:180)
Model (Twee/Constraints.hs:190)
modelToLiterals (Twee/Constraints.hs:208)
modelFromOrder (Twee/Constraints.hs:218)
weakenModel (Twee/Constraints.hs:222)
varInModel (Twee/Constraints.hs:238)
modelVarMaxBound (Twee/Constraints.hs:241)
modelVarValue (Twee/Constraints.hs:245)
varGroups (Twee/Constraints.hs:248)
Minimal (Twee/Constraints.hs:261)
lessEqInModel (Twee/Constraints.hs:267)
solve (Twee/Constraints.hs:280)
Ordered (Twee/Constraints.hs:297)
88% (127 /144) in 'Twee.Base'
Missing documentation for:
hd (Twee/Term/Core.hs:170)
tl (Twee/Term/Core.hs:170)
rest (Twee/Term/Core.hs:170)
uhd (Twee/Term/Core.hs:175)
utl (Twee/Term/Core.hs:175)
urest (Twee/Term/Core.hs:175)
reverseSubterms (Twee/Term.hs:622)
substToList' (Twee/Term.hs:143)
unifyListTriFrom (Twee/Term.hs:464)
replace (Twee/Term.hs:665)
renameManyAvoiding (Twee/Base.hs:210)
Sym (Data/Intern.hs:146)
Minimal (Twee/Constraints.hs:261)
Ordered (Twee/Constraints.hs:297)
isTrueTerm (Twee/Base.hs:265)
isFalseTerm (Twee/Base.hs:263)
decodeEquality (Twee/Base.hs:270)
100% ( 14 / 14) in 'Twee.Index'
70% ( 7 / 10) in 'Twee.Equation'
Missing documentation for:
Equation (Twee/Equation.hs:12)
EquationOf (Twee/Equation.hs:17)
orderedSimplerThan (Twee/Equation.hs:47)
Warning: 'Proof' is ambiguous. It is defined
* at Twee/Proof.hs:46:3
* at Twee/Proof.hs:45: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 Twee/Proof.hs:45:1
62% ( 25 / 40) in 'Twee.Proof'
Missing documentation for:
Axiom (Twee/Proof.hs:71)
equation
derivation
lemma (Twee/Proof.hs:218)
autoSubst (Twee/Proof.hs:229)
simpleLemma (Twee/Proof.hs:221)
axiom (Twee/Proof.hs:225)
symm (Twee/Proof.hs:234)
trans (Twee/Proof.hs:241)
cong (Twee/Proof.hs:251)
eliminateDefinitions (Twee/Proof.hs:392)
eliminateDefinitionsFromGoal (Twee/Proof.hs:387)
simplifyProof (Twee/Proof.hs:583)
generaliseProof (Twee/Proof.hs:703)
ProvedGoal (Twee/Proof.hs:505)
70% ( 45 / 64) in 'Twee.Rule'
Missing documentation for:
RuleOf (Twee/Rule.hs:64)
ruleDerivation (Twee/Rule.hs:67)
ruleResult (Twee/Rule.hs:282)
ruleProof (Twee/Rule.hs:287)
successorsAndNormalForms (Twee/Rule.hs:325)
ruleResult1 (Twee/Rule.hs:462)
ruleProof1 (Twee/Rule.hs:471)
rematchReduction1 (Twee/Rule.hs:520)
UNF (Twee/Rule.hs:532)
ConfluenceFailure (Twee/Rule.hs:538)
cf_left_term (Twee/Rule.hs:547)
cf_right_term (Twee/Rule.hs:548)
hasUNFRetry (Twee/Rule.hs:564)
hasUNFRandom (Twee/Rule.hs:569)
hasUNFSimple (Twee/Rule.hs:577)
hasUNF (Twee/Rule.hs:624)
decomposePath (Twee/Rule.hs:793)
varPos (Twee/Rule.hs:798)
track (Twee/Rule.hs:810)
28% ( 2 / 7) in 'Twee.Rule.Index'
Missing documentation for:
Module header
RuleIndex (Twee/Rule/Index.hs:13)
empty (Twee/Rule/Index.hs:20)
insert (Twee/Rule/Index.hs:23)
delete (Twee/Rule/Index.hs:34)
0% ( 0 / 4) in 'Twee.Generate'
Missing documentation for:
Module header
generateTerm (Twee/Generate.hs:18)
generateGoalTerm (Twee/Generate.hs:64)
permuteVars (Twee/Generate.hs:117)
50% ( 3 / 6) in 'Twee.KBO'
Missing documentation for:
lessEqSkolem (Twee/KBO.hs:17)
Sized (Twee/KBO.hs:156)
Weighted (Twee/KBO.hs:160)
58% ( 17 / 29) in 'Twee.CP'
Missing documentation for:
PositionsOf (Twee/CP.hs:26)
positionsChurch (Twee/CP.hs:54)
How (Twee/CP.hs:78)
Direction (Twee/CP.hs:85)
direct (Twee/CP.hs:88)
overlapsChurch (Twee/CP.hs:126)
directions (Twee/CP.hs:137)
asymmetricOverlaps (Twee/CP.hs:147)
overlapAt' (Twee/CP.hs:162)
buildReplacePositionSub (Twee/CP.hs:192)
termSubst (Twee/CP.hs:196)
Hint (Twee/CP.hs:210)
5% ( 1 / 17) in 'Twee.Join'
Missing documentation for:
Config (Twee/Join.hs:20)
defaultConfig (Twee/Join.hs:30)
joinCriticalPair (Twee/Join.hs:55)
allSteps (Twee/Join.hs:77)
checkOrder (Twee/Join.hs:82)
step1 (Twee/Join.hs:89)
step2 (Twee/Join.hs:93)
step3 (Twee/Join.hs:97)
joinWith (Twee/Join.hs:128)
subsumed (Twee/Join.hs:146)
subsumed1 (Twee/Join.hs:154)
groundJoin (Twee/Join.hs:177)
groundJoinFrom (Twee/Join.hs:192)
groundJoinFromMaybe (Twee/Join.hs:255)
valid (Twee/Join.hs:260)
optimise (Twee/Join.hs:265)
31% ( 21 / 66) in 'Twee'
Missing documentation for:
Passive (Twee.hs:252)
Batch (Twee.hs:269)
BatchKind (Twee.hs:276)
makePassive (Twee.hs:314)
Active (Twee.hs:406)
active_cp (Twee.hs:418)
activeScore (Twee.hs:425)
activeRules (Twee.hs:429)
Info (Twee.hs:434)
addActive (Twee.hs:454)
sample (Twee.hs:478)
resetSample (Twee.hs:488)
simplifySample (Twee.hs:502)
addActiveOnly (Twee.hs:513)
addActiveSimp (Twee.hs:524)
deleteActive (Twee.hs:534)
consider (Twee.hs:545)
considerUsing (Twee.hs:554)
addCP (Twee.hs:586)
addAxiom (Twee.hs:604)
addHint (Twee.hs:615)
addJoinable (Twee.hs:625)
checkCompleteness (Twee.hs:635)
assumeComplete (Twee.hs:663)
Goal (Twee.hs:669)
addGoal (Twee.hs:683)
normaliseGoals (Twee.hs:689)
recomputeGoals (Twee.hs:712)
resetGoal (Twee.hs:725)
rewriteGoalsBackwards (Twee.hs:735)
goal (Twee.hs:758)
interreduce (Twee.hs:775)
interreduce1 (Twee.hs:788)
Output (Twee.hs:818)
complete (Twee.hs:824)
complete1 (Twee.hs:876)
findCriticalPair (Twee.hs:905)
goalTerms (Twee.hs:956)
solved (Twee.hs:977)
solutions (Twee.hs:982)
rules (Twee.hs:1002)
completePure (Twee.hs:1010)
normaliseTerm (Twee.hs:1018)
normalForms (Twee.hs:1023)
simplifyTerm (Twee.hs:1029)
Warning: Twee.Term.Core: could not find link destinations for:
- Twee.Term.D:R:BuildFunTermList
- Twee.Term.D:R:BuildFunTerm
- Twee.Term.D:R:BuildFunBuilder
- Twee.Base.D:R:ConstantOfTermList
- Twee.Base.D:R:ConstantOfTerm
Warning: Twee.Term: could not find link destinations for:
- Twee.Term.D:R:BuildFunList
- Twee.Term.D:R:BuildFunTermList
- Twee.Term.D:R:BuildFunTerm
- Twee.Term.D:R:BuildFunBuilder
- Twee.Term.D:R:SubstFunFUN
- Twee.Term.D:R:SubstFunSubst
- Twee.Term.D:R:SubstFunTriangleSubst
- Twee.Base.D:R:ConstantOfSubst
- Twee.Base.D:R:ConstantOfTermList
- Twee.Base.D:R:ConstantOfTerm
Warning: Twee.Pretty: could not find link destinations for:
- Text.PrettyPrint.HughesPJ.RDoc
- Text.PrettyPrint.Annotated.HughesPJ.Rep_Mode
- Text.PrettyPrint.Annotated.HughesPJ.Rep_Style
- Text.PrettyPrint.Annotated.HughesPJ.Rep_TextDetails
- Text.PrettyPrint.HughesPJ.Rep_Doc
Warning: Twee.Base: could not find link destinations for:
- Twee.Term.D:R:BuildFunList
- Twee.Term.D:R:BuildFunTermList
- Twee.Term.D:R:BuildFunTerm
- Twee.Term.D:R:BuildFunBuilder
- Twee.Term.D:R:SubstFunFUN
- Twee.Term.D:R:SubstFunSubst
- Twee.Term.D:R:SubstFunTriangleSubst
- Twee.Base.D:R:ConstantOfMaybe
- Twee.Base.D:R:ConstantOfList
- Twee.Base.D:R:ConstantOfTuple3
- Twee.Base.D:R:ConstantOfTuple2
- Twee.Base.D:R:ConstantOfSubst
- Twee.Base.D:R:ConstantOfTermList
- Twee.Base.D:R:ConstantOfTerm
- Twee.Equation.D:R:ConstantOfEquation
- Twee.Proof.D:R:ConstantOfDerivation
- Twee.Rule.D:R:ConstantOfOrientation
- Twee.Rule.D:R:ConstantOfRule
- Twee.CP.D:R:ConstantOfHint
- Twee.CP.D:R:ConstantOfCriticalPair
Warning: Twee.Equation: could not find link destinations for:
- Twee.Equation.D:R:ConstantOfEquation
Warning: Twee.Proof: could not find link destinations for:
- Twee.Proof.D:R:ConstantOfDerivation
Warning: Twee.Rule: could not find link destinations for:
- Twee.Rule.D:R:ConstantOfOrientation
- Twee.Rule.D:R:ConstantOfRule
Warning: Twee.Generate: could not find link destinations for:
- Twee.Generate.LHS
Warning: Twee.CP: could not find link destinations for:
- Data.ChurchList.ChurchList
- Twee.CP.D:R:ConstantOfHint
- Twee.CP.D:R:ConstantOfCriticalPair
Warning: Twee: could not find link destinations for:
- Test.QuickCheck.Random.QCGen
- Data.PackedSequence.PackedSequence
- Data.BatchedQueue.Queue
Documentation created: dist/doc/html/twee-lib/,
dist/doc/html/twee-lib/twee-lib.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/twee-lib-2.6.1-GQxzQKDfjPl20rUT9YJbF2
Completed twee-lib-2.6.1
Configuring minisat-0.1.4...
Preprocessing library for minisat-0.1.4..
Building library for minisat-0.1.4..
[1 of 1] Compiling MiniSat ( dist/build/MiniSat.hs, dist/build/MiniSat.o, dist/build/MiniSat.dyn_o )
Preprocessing library for minisat-0.1.4..
Running Haddock on library for minisat-0.1.4..
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: system-cxx-std-lib-1.0
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 1] Compiling MiniSat ( dist/build/MiniSat.hs, nothing )
Haddock coverage:
1% ( 1 / 67) in 'MiniSat'
Missing documentation for:
Module header
withNewSolver (minisat-haskell-bindings/MiniSat.hsc:24)
newSolver (minisat-haskell-bindings/MiniSat.hsc:29)
deleteSolver (minisat-haskell-bindings/MiniSat.hsc:35)
newLit (minisat-haskell-bindings/MiniSat.hsc:38)
neg (minisat-haskell-bindings/MiniSat.hsc:41)
addClause (minisat-haskell-bindings/MiniSat.hsc:44)
simplify (minisat-haskell-bindings/MiniSat.hsc:50)
eliminate (minisat-haskell-bindings/MiniSat.hsc:53)
setFrozen (minisat-haskell-bindings/MiniSat.hsc:56)
isEliminated (minisat-haskell-bindings/MiniSat.hsc:59)
solve (minisat-haskell-bindings/MiniSat.hsc:66)
limited_solve (minisat-haskell-bindings/MiniSat.hsc:72)
modelValue (minisat-haskell-bindings/MiniSat.hsc:78)
value (minisat-haskell-bindings/MiniSat.hsc:78)
conflict (minisat-haskell-bindings/MiniSat.hsc:88)
l_True (minisat-haskell-bindings/MiniSat.hsc:94)
l_False (minisat-haskell-bindings/MiniSat.hsc:95)
l_Undef (minisat-haskell-bindings/MiniSat.hsc:96)
Solver (minisat-haskell-bindings/MiniSat.hsc:100)
Var (minisat-haskell-bindings/MiniSat.hsc:101)
Lit (minisat-haskell-bindings/MiniSat.hsc:102)
LBool (minisat-haskell-bindings/MiniSat.hsc:103)
minisat_new (minisat-haskell-bindings/MiniSat.hsc:130)
minisat_delete (minisat-haskell-bindings/MiniSat.hsc:131)
minisat_newVar (minisat-haskell-bindings/MiniSat.hsc:132)
minisat_newLit (minisat-haskell-bindings/MiniSat.hsc:133)
minisat_mkLit (minisat-haskell-bindings/MiniSat.hsc:134)
minisat_mkLit_args (minisat-haskell-bindings/MiniSat.hsc:135)
minisat_negate (minisat-haskell-bindings/MiniSat.hsc:136)
minisat_var (minisat-haskell-bindings/MiniSat.hsc:137)
minisat_sign (minisat-haskell-bindings/MiniSat.hsc:138)
minisat_addClause (minisat-haskell-bindings/MiniSat.hsc:139)
minisat_addClause_begin (minisat-haskell-bindings/MiniSat.hsc:140)
minisat_addClause_addLit (minisat-haskell-bindings/MiniSat.hsc:141)
minisat_addClause_commit (minisat-haskell-bindings/MiniSat.hsc:142)
minisat_simplify (minisat-haskell-bindings/MiniSat.hsc:143)
minisat_solve (minisat-haskell-bindings/MiniSat.hsc:144)
minisat_solve_begin (minisat-haskell-bindings/MiniSat.hsc:145)
minisat_solve_addLit (minisat-haskell-bindings/MiniSat.hsc:146)
minisat_solve_commit (minisat-haskell-bindings/MiniSat.hsc:147)
minisat_limited_solve_commit (minisat-haskell-bindings/MiniSat.hsc:148)
minisat_interrupt (minisat-haskell-bindings/MiniSat.hsc:150)
minisat_clearInterrupt (minisat-haskell-bindings/MiniSat.hsc:151)
minisat_okay (minisat-haskell-bindings/MiniSat.hsc:153)
minisat_setPolarity (minisat-haskell-bindings/MiniSat.hsc:154)
minisat_setDecisionVar (minisat-haskell-bindings/MiniSat.hsc:155)
minisat_value_Var (minisat-haskell-bindings/MiniSat.hsc:156)
minisat_value_Lit (minisat-haskell-bindings/MiniSat.hsc:157)
minisat_modelValue_Var (minisat-haskell-bindings/MiniSat.hsc:158)
minisat_modelValue_Lit (minisat-haskell-bindings/MiniSat.hsc:159)
minisat_get_l_True (minisat-haskell-bindings/MiniSat.hsc:161)
minisat_get_l_False (minisat-haskell-bindings/MiniSat.hsc:162)
minisat_get_l_Undef (minisat-haskell-bindings/MiniSat.hsc:163)
minisat_setFrozen (minisat-haskell-bindings/MiniSat.hsc:166)
minisat_isEliminated (minisat-haskell-bindings/MiniSat.hsc:167)
minisat_eliminate (minisat-haskell-bindings/MiniSat.hsc:168)
minisat_num_assigns (minisat-haskell-bindings/MiniSat.hsc:170)
minisat_num_clauses (minisat-haskell-bindings/MiniSat.hsc:171)
minisat_num_learnts (minisat-haskell-bindings/MiniSat.hsc:172)
minisat_num_vars (minisat-haskell-bindings/MiniSat.hsc:173)
minisat_num_freeVars (minisat-haskell-bindings/MiniSat.hsc:174)
minisat_num_conflicts (minisat-haskell-bindings/MiniSat.hsc:175)
minisat_conflict_len (minisat-haskell-bindings/MiniSat.hsc:177)
minisat_conflict_nthLit (minisat-haskell-bindings/MiniSat.hsc:178)
minisat_set_verbosity (minisat-haskell-bindings/MiniSat.hsc:179)
Documentation created: dist/doc/html/minisat/,
dist/doc/html/minisat/minisat.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/minisat-0.1.4-K5T1rlqf02qAOXFoV25FNw
Completed minisat-0.1.4
Configuring jukebox-0.5.9...
Preprocessing library for jukebox-0.5.9..
Building library for jukebox-0.5.9..
[ 1 of 27] Compiling Jukebox.Name ( src/Jukebox/Name.hs, dist/build/Jukebox/Name.o, dist/build/Jukebox/Name.dyn_o )
[ 2 of 27] Compiling Jukebox.Options ( src/Jukebox/Options.hs, dist/build/Jukebox/Options.o, dist/build/Jukebox/Options.dyn_o )
src/Jukebox/Options.hs:20: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()
|
20 | import Data.Semigroup(Semigroup(..))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/Options.hs:94:13: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, 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."
|
94 | r = tail (dropWhile (/= ',') s)
| ^^^^
src/Jukebox/Options.hs:120:13: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
120 | r = tail (dropWhile (/= ',') s)
| ^^^^
[ 3 of 27] Compiling Jukebox.Sat ( src/Jukebox/Sat.hs, dist/build/Jukebox/Sat.o, dist/build/Jukebox/Sat.dyn_o )
[ 4 of 27] Compiling Jukebox.Sat.Minimise ( src/Jukebox/Sat/Minimise.hs, dist/build/Jukebox/Sat/Minimise.o, dist/build/Jukebox/Sat/Minimise.dyn_o )
[ 5 of 27] Compiling Jukebox.Sat.ThreeValued ( src/Jukebox/Sat/ThreeValued.hs, dist/build/Jukebox/Sat/ThreeValued.o, dist/build/Jukebox/Sat/ThreeValued.dyn_o )
[ 6 of 27] Compiling Jukebox.Sat.Equality ( src/Jukebox/Sat/Equality.hs, dist/build/Jukebox/Sat/Equality.o, dist/build/Jukebox/Sat/Equality.dyn_o )
[ 7 of 27] Compiling Jukebox.TPTP.FindFile ( src/Jukebox/TPTP/FindFile.hs, dist/build/Jukebox/TPTP/FindFile.o, dist/build/Jukebox/TPTP/FindFile.dyn_o )
[ 8 of 27] Compiling Jukebox.TPTP.Lexer ( dist/build/Jukebox/TPTP/Lexer.hs, dist/build/Jukebox/TPTP/Lexer.o, dist/build/Jukebox/TPTP/Lexer.dyn_o )
[ 9 of 27] Compiling Jukebox.TPTP.Parsec ( src/Jukebox/TPTP/Parsec.hs, dist/build/Jukebox/TPTP/Parsec.o, dist/build/Jukebox/TPTP/Parsec.dyn_o )
src/Jukebox/TPTP/Parsec.hs:8:1: warning: [GHC-66111] [-Wunused-imports]
The import of Control.Monad.Fail is redundant
except perhaps to import instances from Control.Monad.Fail
To import instances alone, use: import Control.Monad.Fail()
|
8 | import Control.Monad.Fail
| ^^^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/TPTP/Parsec.hs:36:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (Parsec a).
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
|
36 | return x = Parsec (\ok err inp exp -> ok x err inp exp)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/TPTP/Parsec.hs:58:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (Parsec a).
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
58 | pure = return
| ^^^^^^^^^^^^^
src/Jukebox/TPTP/Parsec.hs:62:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical (*>) = (>>) definition detected
in the instance declaration for Applicative (Parsec a).
Suggested fix:
Move definition from (>>) to (*>)
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
62 | (*>) = (>>)
| ^^^^^^^^^^^
[10 of 27] Compiling Jukebox.UnionFind ( src/Jukebox/UnionFind.hs, dist/build/Jukebox/UnionFind.o, dist/build/Jukebox/UnionFind.dyn_o )
[11 of 27] Compiling Jukebox.Utils ( src/Jukebox/Utils.hs, dist/build/Jukebox/Utils.o, dist/build/Jukebox/Utils.dyn_o )
[12 of 27] Compiling Jukebox.Form ( src/Jukebox/Form.hs, dist/build/Jukebox/Form.o, dist/build/Jukebox/Form.dyn_o )
[13 of 27] Compiling Jukebox.Tools.InferTypes ( src/Jukebox/Tools/InferTypes.hs, dist/build/Jukebox/Tools/InferTypes.o, dist/build/Jukebox/Tools/InferTypes.dyn_o )
[14 of 27] Compiling Jukebox.Tools.HornToUnit ( src/Jukebox/Tools/HornToUnit.hs, dist/build/Jukebox/Tools/HornToUnit.o, dist/build/Jukebox/Tools/HornToUnit.dyn_o )
[15 of 27] Compiling Jukebox.Tools.Clausify ( src/Jukebox/Tools/Clausify.hs, dist/build/Jukebox/Tools/Clausify.o, dist/build/Jukebox/Tools/Clausify.dyn_o )
[16 of 27] Compiling Jukebox.Tools.EncodeTypes ( src/Jukebox/Tools/EncodeTypes.hs, dist/build/Jukebox/Tools/EncodeTypes.o, dist/build/Jukebox/Tools/EncodeTypes.dyn_o )
[17 of 27] Compiling Jukebox.TPTP.Print ( src/Jukebox/TPTP/Print.hs, dist/build/Jukebox/TPTP/Print.o, dist/build/Jukebox/TPTP/Print.dyn_o )
src/Jukebox/TPTP/Print.hs:230: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."
|
230 | escapeAtom s | not (null s') && isLower (head s') && all isNormal s' = s
| ^^^^
src/Jukebox/TPTP/Print.hs:366:11: 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."
|
366 | head [c | c@(Renaming xs x) <- cands,
| ^^^^
[18 of 27] Compiling Jukebox.TPTP.Parse.Core ( src/Jukebox/TPTP/Parse/Core.hs, dist/build/Jukebox/TPTP/Parse/Core.o, dist/build/Jukebox/TPTP/Parse/Core.dyn_o )
src/Jukebox/TPTP/Parse/Core.hs:99:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative ParseResult.
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
99 | pure = return
| ^^^^^^^^^^^^^
src/Jukebox/TPTP/Parse/Core.hs:103: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
|
103 | return = ParseSucceeded
| ^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/TPTP/Parse/Core.hs:341:43: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, 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."
|
341 | " has arity " ++ show (head lengths) ++
| ^^^^
src/Jukebox/TPTP/Parse/Core.hs:404:9: warning: [GHC-53633] [-Woverlapping-patterns]
Pattern match is redundant
In a case alternative: [] -> ...
|
404 | [] -> ""
| ^^^^^^^^
[19 of 27] Compiling Jukebox.TPTP.ParseSnippet ( src/Jukebox/TPTP/ParseSnippet.hs, dist/build/Jukebox/TPTP/ParseSnippet.o, dist/build/Jukebox/TPTP/ParseSnippet.dyn_o )
[20 of 27] Compiling Jukebox.Tools.GuessModel ( src/Jukebox/Tools/GuessModel.hs, dist/build/Jukebox/Tools/GuessModel.o, dist/build/Jukebox/Tools/GuessModel.dyn_o )
src/Jukebox/Tools/GuessModel.hs:76: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."
|
76 | [] (head (funArgs answerP))
| ^^^^
[21 of 27] Compiling Jukebox.TPTP.Parse ( src/Jukebox/TPTP/Parse.hs, dist/build/Jukebox/TPTP/Parse.o, dist/build/Jukebox/TPTP/Parse.dyn_o )
[22 of 27] Compiling Jukebox.Sat.Easy ( src/Jukebox/Sat/Easy.hs, dist/build/Jukebox/Sat/Easy.o, dist/build/Jukebox/Sat/Easy.dyn_o )
[23 of 27] Compiling Jukebox.Tools.AnalyseMonotonicity ( src/Jukebox/Tools/AnalyseMonotonicity.hs, dist/build/Jukebox/Tools/AnalyseMonotonicity.o, dist/build/Jukebox/Tools/AnalyseMonotonicity.dyn_o )
[24 of 27] Compiling Jukebox.SMTLIB ( src/Jukebox/SMTLIB.hs, dist/build/Jukebox/SMTLIB.o, dist/build/Jukebox/SMTLIB.dyn_o )
[25 of 27] Compiling Jukebox.Toolbox ( src/Jukebox/Toolbox.hs, dist/build/Jukebox/Toolbox.o, dist/build/Jukebox/Toolbox.dyn_o )
[26 of 27] Compiling Jukebox.ExternalProvers.SPASS ( src/Jukebox/ExternalProvers/SPASS.hs, dist/build/Jukebox/ExternalProvers/SPASS.o, dist/build/Jukebox/ExternalProvers/SPASS.dyn_o )
src/Jukebox/ExternalProvers/SPASS.hs:48:3: 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 | head $
| ^^^^
[27 of 27] Compiling Jukebox.ExternalProvers.E ( src/Jukebox/ExternalProvers/E.hs, dist/build/Jukebox/ExternalProvers/E.o, dist/build/Jukebox/ExternalProvers/E.dyn_o )
src/Jukebox/ExternalProvers/E.hs:48: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."
|
48 | wrap <- newFunction "answer" [typ t] (head (funArgs f))
| ^^^^
src/Jukebox/ExternalProvers/E.hs:69: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."
|
69 | status = head $
| ^^^^
Preprocessing executable 'jukebox' for jukebox-0.5.9..
Building executable 'jukebox' for jukebox-0.5.9..
[1 of 1] Compiling Main ( executable/Main.hs, dist/build/jukebox/jukebox-tmp/Main.o )
[2 of 2] Linking dist/build/jukebox/jukebox
Preprocessing library for jukebox-0.5.9..
Running Haddock on library for jukebox-0.5.9..
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: system-cxx-std-lib-1.0
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 27] Compiling Jukebox.Name ( src/Jukebox/Name.hs, nothing )
[ 2 of 27] Compiling Jukebox.Options ( src/Jukebox/Options.hs, nothing )
src/Jukebox/Options.hs:20: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()
|
20 | import Data.Semigroup(Semigroup(..))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/Options.hs:94:13: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, 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."
|
94 | r = tail (dropWhile (/= ',') s)
| ^^^^
src/Jukebox/Options.hs:120:13: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
120 | r = tail (dropWhile (/= ',') s)
| ^^^^
[ 3 of 27] Compiling Jukebox.Sat ( src/Jukebox/Sat.hs, nothing )
[ 4 of 27] Compiling Jukebox.Sat.Minimise ( src/Jukebox/Sat/Minimise.hs, nothing )
[ 5 of 27] Compiling Jukebox.Sat.ThreeValued ( src/Jukebox/Sat/ThreeValued.hs, nothing )
[ 6 of 27] Compiling Jukebox.Sat.Equality ( src/Jukebox/Sat/Equality.hs, nothing )
[ 7 of 27] Compiling Jukebox.TPTP.FindFile ( src/Jukebox/TPTP/FindFile.hs, nothing )
[ 8 of 27] Compiling Jukebox.TPTP.Lexer ( dist/build/Jukebox/TPTP/Lexer.hs, nothing )
[ 9 of 27] Compiling Jukebox.TPTP.Parsec ( src/Jukebox/TPTP/Parsec.hs, nothing )
src/Jukebox/TPTP/Parsec.hs:8:1: warning: [GHC-66111] [-Wunused-imports]
The import of Control.Monad.Fail is redundant
except perhaps to import instances from Control.Monad.Fail
To import instances alone, use: import Control.Monad.Fail()
|
8 | import Control.Monad.Fail
| ^^^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/TPTP/Parsec.hs:36:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (Parsec a).
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
|
36 | return x = Parsec (\ok err inp exp -> ok x err inp exp)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/TPTP/Parsec.hs:58:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (Parsec a).
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
58 | pure = return
| ^^^^^^^^^^^^^
src/Jukebox/TPTP/Parsec.hs:62:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical (*>) = (>>) definition detected
in the instance declaration for Applicative (Parsec a).
Suggested fix:
Move definition from (>>) to (*>)
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
62 | (*>) = (>>)
| ^^^^^^^^^^^
[10 of 27] Compiling Jukebox.UnionFind ( src/Jukebox/UnionFind.hs, nothing )
[11 of 27] Compiling Jukebox.Utils ( src/Jukebox/Utils.hs, nothing )
[12 of 27] Compiling Jukebox.Form ( src/Jukebox/Form.hs, nothing )
[13 of 27] Compiling Jukebox.Tools.InferTypes ( src/Jukebox/Tools/InferTypes.hs, nothing )
[14 of 27] Compiling Jukebox.Tools.HornToUnit ( src/Jukebox/Tools/HornToUnit.hs, nothing )
[15 of 27] Compiling Jukebox.Tools.Clausify ( src/Jukebox/Tools/Clausify.hs, nothing )
[16 of 27] Compiling Jukebox.Tools.EncodeTypes ( src/Jukebox/Tools/EncodeTypes.hs, nothing )
[17 of 27] Compiling Jukebox.TPTP.Print ( src/Jukebox/TPTP/Print.hs, nothing )
src/Jukebox/TPTP/Print.hs:230: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."
|
230 | escapeAtom s | not (null s') && isLower (head s') && all isNormal s' = s
| ^^^^
src/Jukebox/TPTP/Print.hs:366:11: 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."
|
366 | head [c | c@(Renaming xs x) <- cands,
| ^^^^
[18 of 27] Compiling Jukebox.TPTP.Parse.Core ( src/Jukebox/TPTP/Parse/Core.hs, nothing )
src/Jukebox/TPTP/Parse/Core.hs:99:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative ParseResult.
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
99 | pure = return
| ^^^^^^^^^^^^^
src/Jukebox/TPTP/Parse/Core.hs:103: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
|
103 | return = ParseSucceeded
| ^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/TPTP/Parse/Core.hs:341:43: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, 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."
|
341 | " has arity " ++ show (head lengths) ++
| ^^^^
[19 of 27] Compiling Jukebox.TPTP.ParseSnippet ( src/Jukebox/TPTP/ParseSnippet.hs, nothing )
[20 of 27] Compiling Jukebox.Tools.GuessModel ( src/Jukebox/Tools/GuessModel.hs, nothing )
src/Jukebox/Tools/GuessModel.hs:76: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."
|
76 | [] (head (funArgs answerP))
| ^^^^
[21 of 27] Compiling Jukebox.TPTP.Parse ( src/Jukebox/TPTP/Parse.hs, nothing )
[22 of 27] Compiling Jukebox.Sat.Easy ( src/Jukebox/Sat/Easy.hs, nothing )
[23 of 27] Compiling Jukebox.Tools.AnalyseMonotonicity ( src/Jukebox/Tools/AnalyseMonotonicity.hs, nothing )
[24 of 27] Compiling Jukebox.SMTLIB ( src/Jukebox/SMTLIB.hs, nothing )
[25 of 27] Compiling Jukebox.Toolbox ( src/Jukebox/Toolbox.hs, nothing )
[26 of 27] Compiling Jukebox.ExternalProvers.SPASS ( src/Jukebox/ExternalProvers/SPASS.hs, nothing )
src/Jukebox/ExternalProvers/SPASS.hs:48:3: 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 | head $
| ^^^^
[27 of 27] Compiling Jukebox.ExternalProvers.E ( src/Jukebox/ExternalProvers/E.hs, nothing )
src/Jukebox/ExternalProvers/E.hs:48: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."
|
48 | wrap <- newFunction "answer" [typ t] (head (funArgs f))
| ^^^^
src/Jukebox/ExternalProvers/E.hs:69: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."
|
69 | status = head $
| ^^^^
Haddock coverage:
0% ( 0 / 25) in 'Jukebox.Name'
Missing documentation for:
Module header
Name (src/Jukebox/Name.hs:15)
FixedName (src/Jukebox/Name.hs:20)
Renamer (src/Jukebox/Name.hs:28)
Renaming (src/Jukebox/Name.hs:29)
base (src/Jukebox/Name.hs:32)
label (src/Jukebox/Name.hs:39)
hasLabel (src/Jukebox/Name.hs:46)
withMaybeLabel (src/Jukebox/Name.hs:49)
withLabel (src/Jukebox/Name.hs:54)
renamer (src/Jukebox/Name.hs:64)
defaultRenamer (src/Jukebox/Name.hs:71)
withRenamer (src/Jukebox/Name.hs:79)
compareName (src/Jukebox/Name.hs:92)
Named (src/Jukebox/Name.hs:109)
allNames (src/Jukebox/Name.hs:129)
variant (src/Jukebox/Name.hs:139)
unvariant (src/Jukebox/Name.hs:143)
::: (src/Jukebox/Name.hs:146)
lhs (src/Jukebox/Name.hs:149)
rhs (src/Jukebox/Name.hs:152)
NameM (src/Jukebox/Name.hs:160)
runNameM (src/Jukebox/Name.hs:165)
newName (src/Jukebox/Name.hs:169)
unique (src/Jukebox/Name.hs:177)
0% ( 0 / 42) in 'Jukebox.Options'
Missing documentation for:
Module header
Annotated (src/Jukebox/Options.hs:25)
ArgParser (src/Jukebox/Options.hs:48)
SeqParser (src/Jukebox/Options.hs:52)
arg (src/Jukebox/Options.hs:68)
argNum (src/Jukebox/Options.hs:77)
argFile (src/Jukebox/Options.hs:84)
argFiles (src/Jukebox/Options.hs:87)
argName (src/Jukebox/Options.hs:97)
argNums (src/Jukebox/Options.hs:100)
argOption (src/Jukebox/Options.hs:109)
argList (src/Jukebox/Options.hs:113)
argOptionWith (src/Jukebox/Options.hs:125)
argUsage (src/Jukebox/Options.hs:137)
OptionParser (src/Jukebox/Options.hs:142)
Flag (src/Jukebox/Options.hs:145)
FlagMode (src/Jukebox/Options.hs:151)
flagExpert (src/Jukebox/Options.hs:154)
ParParser (src/Jukebox/Options.hs:161)
ParseResult (src/Jukebox/Options.hs:165)
Error (src/Jukebox/Options.hs:173)
runPar (src/Jukebox/Options.hs:200)
await (src/Jukebox/Options.hs:208)
primFlag (src/Jukebox/Options.hs:231)
flag (src/Jukebox/Options.hs:246)
manyFlags (src/Jukebox/Options.hs:254)
bool (src/Jukebox/Options.hs:262)
filenames (src/Jukebox/Options.hs:271)
io (src/Jukebox/Options.hs:282)
inGroup (src/Jukebox/Options.hs:287)
expert (src/Jukebox/Options.hs:291)
hidden (src/Jukebox/Options.hs:295)
version (src/Jukebox/Options.hs:299)
printHelp (src/Jukebox/Options.hs:309)
printError (src/Jukebox/Options.hs:314)
help (src/Jukebox/Options.hs:319)
usageText (src/Jukebox/Options.hs:335)
helpText (src/Jukebox/Options.hs:340)
justify (src/Jukebox/Options.hs:360)
parseCommandLine (src/Jukebox/Options.hs:366)
parseCommandLineWithExtraArgs (src/Jukebox/Options.hs:370)
parseCommandLineWithArgs (src/Jukebox/Options.hs:376)
0% ( 0 / 15) in 'Jukebox.Sat'
Missing documentation for:
Module header
Solver
newSolver (src/Jukebox/Sat.hs:36)
deleteSolver
Lit
neg
false (src/Jukebox/Sat.hs:33)
true (src/Jukebox/Sat.hs:32)
SatSolver (src/Jukebox/Sat.hs:46)
newLit (src/Jukebox/Sat.hs:53)
addClause (src/Jukebox/Sat.hs:56)
solve (src/Jukebox/Sat.hs:59)
conflict (src/Jukebox/Sat.hs:62)
modelValue (src/Jukebox/Sat.hs:65)
value (src/Jukebox/Sat.hs:68)
0% ( 0 / 3) in 'Jukebox.Sat.Minimise'
Missing documentation for:
Module header
solveLocalMin (src/Jukebox/Sat/Minimise.hs:6)
localMin (src/Jukebox/Sat/Minimise.hs:15)
0% ( 0 / 11) in 'Jukebox.Sat.ThreeValued'
Missing documentation for:
Module header
Lit3 (src/Jukebox/Sat/ThreeValued.hs:7)
false3 (src/Jukebox/Sat/ThreeValued.hs:10)
true3 (src/Jukebox/Sat/ThreeValued.hs:11)
bottom3 (src/Jukebox/Sat/ThreeValued.hs:12)
neg3 (src/Jukebox/Sat/ThreeValued.hs:15)
newLit3 (src/Jukebox/Sat/ThreeValued.hs:18)
newLit2 (src/Jukebox/Sat/ThreeValued.hs:25)
modelValue3 (src/Jukebox/Sat/ThreeValued.hs:32)
value3 (src/Jukebox/Sat/ThreeValued.hs:35)
val3 (src/Jukebox/Sat/ThreeValued.hs:38)
0% ( 0 / 9) in 'Jukebox.Sat.Equality'
Missing documentation for:
Module header
SolverEq (src/Jukebox/Sat/Equality.hs:11)
newSolverEq (src/Jukebox/Sat/Equality.hs:20)
EqSolver (src/Jukebox/Sat/Equality.hs:34)
Elt (src/Jukebox/Sat/Equality.hs:42)
newElt (src/Jukebox/Sat/Equality.hs:49)
equal (src/Jukebox/Sat/Equality.hs:55)
solveEq (src/Jukebox/Sat/Equality.hs:72)
modelRep (src/Jukebox/Sat/Equality.hs:77)
0% ( 0 / 5) in 'Jukebox.TPTP.FindFile'
Missing documentation for:
Module header
findFile (src/Jukebox/TPTP/FindFile.hs:16)
findFileTPTP (src/Jukebox/TPTP/FindFile.hs:24)
getTPTPDirs (src/Jukebox/TPTP/FindFile.hs:30)
findFileFlags (src/Jukebox/TPTP/FindFile.hs:34)
0% ( 0 / 10) in 'Jukebox.TPTP.Lexer'
Missing documentation for:
Module header
scan (src/Jukebox/TPTP/Lexer.x:217)
Pos (src/Jukebox/TPTP/Lexer.x:99)
Token (src/Jukebox/TPTP/Lexer.x:100)
Punct (src/Jukebox/TPTP/Lexer.x:145)
showPunct (src/Jukebox/TPTP/Lexer.x:153)
Defined (src/Jukebox/TPTP/Lexer.x:133)
Keyword (src/Jukebox/TPTP/Lexer.x:111)
TokenStream (src/Jukebox/TPTP/Lexer.x:214)
Contents (src/Jukebox/TPTP/Lexer.x:215)
0% ( 0 / 25) in 'Jukebox.TPTP.Parsec'
Missing documentation for:
Module header
Parsec (src/Jukebox/TPTP/Parsec.hs:12)
Reply (src/Jukebox/TPTP/Parsec.hs:18)
Result (src/Jukebox/TPTP/Parsec.hs:20)
parseError (src/Jukebox/TPTP/Parsec.hs:24)
fatalError (src/Jukebox/TPTP/Parsec.hs:28)
nonempty (src/Jukebox/TPTP/Parsec.hs:86)
skipSome (src/Jukebox/TPTP/Parsec.hs:90)
skipMany (src/Jukebox/TPTP/Parsec.hs:94)
<?> (src/Jukebox/TPTP/Parsec.hs:99)
between (src/Jukebox/TPTP/Parsec.hs:104)
sepBy1 (src/Jukebox/TPTP/Parsec.hs:108)
run_ (src/Jukebox/TPTP/Parsec.hs:113)
run (src/Jukebox/TPTP/Parsec.hs:118)
expected (src/Jukebox/TPTP/Parsec.hs:127)
Stream (src/Jukebox/TPTP/Parsec.hs:135)
next (src/Jukebox/TPTP/Parsec.hs:142)
cut (src/Jukebox/TPTP/Parsec.hs:147)
cut' (src/Jukebox/TPTP/Parsec.hs:151)
satisfy (src/Jukebox/TPTP/Parsec.hs:155)
eof (src/Jukebox/TPTP/Parsec.hs:163)
UserState (src/Jukebox/TPTP/Parsec.hs:168)
getState (src/Jukebox/TPTP/Parsec.hs:179)
putState (src/Jukebox/TPTP/Parsec.hs:183)
getPosition (src/Jukebox/TPTP/Parsec.hs:187)
0% ( 0 / 12) in 'Jukebox.UnionFind'
Missing documentation for:
Module header
UF (src/Jukebox/UnionFind.hs:10)
Replacement (src/Jukebox/UnionFind.hs:11)
=:= (src/Jukebox/UnionFind.hs:26)
rep (src/Jukebox/UnionFind.hs:41)
evalUF (src/Jukebox/UnionFind.hs:17)
execUF (src/Jukebox/UnionFind.hs:20)
runUF (src/Jukebox/UnionFind.hs:14)
S (src/Jukebox/UnionFind.hs:9)
isRep (src/Jukebox/UnionFind.hs:74)
initial (src/Jukebox/UnionFind.hs:23)
reps (src/Jukebox/UnionFind.hs:57)
0% ( 0 / 4) in 'Jukebox.Utils'
Missing documentation for:
Module header
usort (src/Jukebox/Utils.hs:15)
merge (src/Jukebox/Utils.hs:18)
popen (src/Jukebox/Utils.hs:27)
0% ( 0 /110) in 'Jukebox.Form'
Missing documentation for:
Module header
debugging (src/Jukebox/Form.hs:29)
Type (src/Jukebox/Form.hs:34)
indType (src/Jukebox/Form.hs:40)
intType (src/Jukebox/Form.hs:41)
ratType (src/Jukebox/Form.hs:42)
realType (src/Jukebox/Form.hs:43)
FunType (src/Jukebox/Form.hs:45)
typeMaybeName (src/Jukebox/Form.hs:49)
Typed (src/Jukebox/Form.hs:63)
Variable (src/Jukebox/Form.hs:78)
Function (src/Jukebox/Form.hs:79)
Term (src/Jukebox/Form.hs:80)
newSymbol (src/Jukebox/Form.hs:91)
newFunction (src/Jukebox/Form.hs:94)
newType (src/Jukebox/Form.hs:97)
funArgs (src/Jukebox/Form.hs:100)
arity (src/Jukebox/Form.hs:103)
size (src/Jukebox/Form.hs:106)
subterms (src/Jukebox/Form.hs:110)
contexts (src/Jukebox/Form.hs:117)
Atomic (src/Jukebox/Form.hs:133)
normAtomic (src/Jukebox/Form.hs:137)
Signed (src/Jukebox/Form.hs:147)
Literal (src/Jukebox/Form.hs:150)
neg (src/Jukebox/Form.hs:153)
the (src/Jukebox/Form.hs:157)
pos (src/Jukebox/Form.hs:161)
signForm (src/Jukebox/Form.hs:165)
Form (src/Jukebox/Form.hs:176)
Connective (src/Jukebox/Form.hs:190)
connective (src/Jukebox/Form.hs:194)
Bind (src/Jukebox/Form.hs:200)
true (src/Jukebox/Form.hs:204)
false (src/Jukebox/Form.hs:205)
isTrue (src/Jukebox/Form.hs:208)
isFalse (src/Jukebox/Form.hs:210)
nt (src/Jukebox/Form.hs:214)
.=>. (src/Jukebox/Form.hs:218)
.=. (src/Jukebox/Form.hs:221)
/\ (src/Jukebox/Form.hs:225)
\/ (src/Jukebox/Form.hs:231)
closeForm (src/Jukebox/Form.hs:238)
positive (src/Jukebox/Form.hs:244)
notInwards (src/Jukebox/Form.hs:250)
simple (src/Jukebox/Form.hs:261)
simplify (src/Jukebox/Form.hs:267)
CNF (src/Jukebox/Form.hs:290)
toCNF (src/Jukebox/Form.hs:298)
Clause (src/Jukebox/Form.hs:302)
clause (src/Jukebox/Form.hs:305)
toForm (src/Jukebox/Form.hs:308)
toLiterals (src/Jukebox/Form.hs:313)
toClause (src/Jukebox/Form.hs:316)
Tag (src/Jukebox/Form.hs:327)
Kind (src/Jukebox/Form.hs:329)
isAxiom (src/Jukebox/Form.hs:332)
AxKind (src/Jukebox/Form.hs:335)
ConjKind (src/Jukebox/Form.hs:338)
Answer (src/Jukebox/Form.hs:340)
NoAnswerReason (src/Jukebox/Form.hs:343)
SatReason (src/Jukebox/Form.hs:344)
UnsatReason (src/Jukebox/Form.hs:345)
Model (src/Jukebox/Form.hs:346)
CNFRefutation (src/Jukebox/Form.hs:347)
explainAnswer (src/Jukebox/Form.hs:355)
answerSZS (src/Jukebox/Form.hs:363)
answerJustification (src/Jukebox/Form.hs:370)
Input (src/Jukebox/Form.hs:382)
InputSource (src/Jukebox/Form.hs:390)
inference (src/Jukebox/Form.hs:396)
InputPlus (src/Jukebox/Form.hs:398)
inputPlus (src/Jukebox/Form.hs:405)
Problem (src/Jukebox/Form.hs:412)
TypeOf (src/Jukebox/Form.hs:418)
Symbolic (src/Jukebox/Form.hs:430)
Rep (src/Jukebox/Form.hs:445)
rep (src/Jukebox/Form.hs:454)
Unpack (src/Jukebox/Form.hs:468)
recursively (src/Jukebox/Form.hs:517)
recursivelyM (src/Jukebox/Form.hs:525)
collect (src/Jukebox/Form.hs:533)
Subst (src/Jukebox/Form.hs:542)
ids (src/Jukebox/Form.hs:545)
|=> (src/Jukebox/Form.hs:548)
|+| (src/Jukebox/Form.hs:551)
subst (src/Jukebox/Form.hs:554)
match (src/Jukebox/Form.hs:574)
free (src/Jukebox/Form.hs:590)
ground (src/Jukebox/Form.hs:603)
bind (src/Jukebox/Form.hs:606)
termsAndBinders (src/Jukebox/Form.hs:615)
names (src/Jukebox/Form.hs:626)
run (src/Jukebox/Form.hs:641)
run_ (src/Jukebox/Form.hs:644)
types (src/Jukebox/Form.hs:647)
types' (src/Jukebox/Form.hs:661)
terms (src/Jukebox/Form.hs:664)
vars (src/Jukebox/Form.hs:668)
functions (src/Jukebox/Form.hs:676)
funOcc (src/Jukebox/Form.hs:688)
funsOcc (src/Jukebox/Form.hs:701)
isFof (src/Jukebox/Form.hs:710)
eraseTypes (src/Jukebox/Form.hs:713)
uniqueNames (src/Jukebox/Form.hs:717)
force (src/Jukebox/Form.hs:752)
check (src/Jukebox/Form.hs:762)
checkBinder (src/Jukebox/Form.hs:786)
mapName (src/Jukebox/Form.hs:792)
mapType (src/Jukebox/Form.hs:838)
0% ( 0 / 5) in 'Jukebox.Tools.InferTypes'
Missing documentation for:
Module header
Function' (src/Jukebox/Tools/InferTypes.hs:14)
inferTypes (src/Jukebox/Tools/InferTypes.hs:17)
solve (src/Jukebox/Tools/InferTypes.hs:45)
generate (src/Jukebox/Tools/InferTypes.hs:77)
9% ( 1 / 11) in 'Jukebox.Tools.HornToUnit'
Missing documentation for:
HornFlags (src/Jukebox/Tools/HornToUnit.hs:38)
Encoding (src/Jukebox/Tools/HornToUnit.hs:51)
hornFlags (src/Jukebox/Tools/HornToUnit.hs:55)
hornToUnit (src/Jukebox/Tools/HornToUnit.hs:95)
eliminatePredicates (src/Jukebox/Tools/HornToUnit.hs:109)
eliminateMultiplePreconditions (src/Jukebox/Tools/HornToUnit.hs:123)
eliminateUnsuitableConjectures (src/Jukebox/Tools/HornToUnit.hs:146)
eliminateHornClauses (src/Jukebox/Tools/HornToUnit.hs:174)
encodeTypesSmartly (src/Jukebox/Tools/HornToUnit.hs:306)
hasSizeOneModel (src/Jukebox/Tools/HornToUnit.hs:320)
0% ( 0 / 30) in 'Jukebox.Tools.Clausify'
Missing documentation for:
Module header
ClausifyFlags (src/Jukebox/Tools/Clausify.hs:20)
clausifyFlags (src/Jukebox/Tools/Clausify.hs:22)
clausify (src/Jukebox/Tools/Clausify.hs:33)
split (src/Jukebox/Tools/Clausify.hs:74)
clausForm (src/Jukebox/Tools/Clausify.hs:121)
miniscope (src/Jukebox/Tools/Clausify.hs:140)
forAll (src/Jukebox/Tools/Clausify.hs:149)
forAllOr (src/Jukebox/Tools/Clausify.hs:169)
removeEquiv (src/Jukebox/Tools/Clausify.hs:193)
removeEquivAux (src/Jukebox/Tools/Clausify.hs:207)
makeCopyable (src/Jukebox/Tools/Clausify.hs:248)
removeExists (src/Jukebox/Tools/Clausify.hs:275)
removeExpensiveOr (src/Jukebox/Tools/Clausify.hs:312)
Cost (src/Jukebox/Tools/Clausify.hs:317)
unitCost (src/Jukebox/Tools/Clausify.hs:320)
andCost (src/Jukebox/Tools/Clausify.hs:323)
orCost (src/Jukebox/Tools/Clausify.hs:326)
removeExpensiveOrAux (src/Jukebox/Tools/Clausify.hs:333)
makeOr (src/Jukebox/Tools/Clausify.hs:353)
cnf (src/Jukebox/Tools/Clausify.hs:386)
cross (src/Jukebox/Tools/Clausify.hs:392)
simplifyCNF (src/Jukebox/Tools/Clausify.hs:399)
M (src/Jukebox/Tools/Clausify.hs:423)
run (src/Jukebox/Tools/Clausify.hs:426)
skolemName (src/Jukebox/Tools/Clausify.hs:429)
withName (src/Jukebox/Tools/Clausify.hs:437)
getName (src/Jukebox/Tools/Clausify.hs:440)
skolem (src/Jukebox/Tools/Clausify.hs:443)
literal (src/Jukebox/Tools/Clausify.hs:451)
0% ( 0 / 16) in 'Jukebox.Tools.EncodeTypes'
Missing documentation for:
Module header
Scheme (src/Jukebox/Tools/EncodeTypes.hs:14)
Scheme1 (src/Jukebox/Tools/EncodeTypes.hs:19)
guard (src/Jukebox/Tools/EncodeTypes.hs:28)
translate1 (src/Jukebox/Tools/EncodeTypes.hs:49)
translate (src/Jukebox/Tools/EncodeTypes.hs:71)
tagsFlags (src/Jukebox/Tools/EncodeTypes.hs:100)
tags (src/Jukebox/Tools/EncodeTypes.hs:110)
tags1 (src/Jukebox/Tools/EncodeTypes.hs:116)
tagsAxiom (src/Jukebox/Tools/EncodeTypes.hs:132)
tagsExists (src/Jukebox/Tools/EncodeTypes.hs:149)
guards (src/Jukebox/Tools/EncodeTypes.hs:158)
guards1 (src/Jukebox/Tools/EncodeTypes.hs:164)
naked (src/Jukebox/Tools/EncodeTypes.hs:182)
guardsAxiom (src/Jukebox/Tools/EncodeTypes.hs:197)
guardsTypeAxiom (src/Jukebox/Tools/EncodeTypes.hs:205)
12% ( 1 / 8) in 'Jukebox.TPTP.Print'
Missing documentation for:
Module header
prettyNames (src/Jukebox/TPTP/Print.hs:331)
showClauses (src/Jukebox/TPTP/Print.hs:32)
pPrintClauses (src/Jukebox/TPTP/Print.hs:25)
showProblem (src/Jukebox/TPTP/Print.hs:148)
pPrintProblem (src/Jukebox/TPTP/Print.hs:36)
pPrintProof (src/Jukebox/TPTP/Print.hs:46)
0% ( 0 / 66) in 'Jukebox.TPTP.Parse.Core'
Missing documentation for:
Module header
ParseState (src/Jukebox/TPTP/Parse/Core.hs:35)
Parser (src/Jukebox/TPTP/Parse/Core.hs:42)
ParsecState (src/Jukebox/TPTP/Parse/Core.hs:43)
IncludeStatement (src/Jukebox/TPTP/Parse/Core.hs:46)
initialState (src/Jukebox/TPTP/Parse/Core.hs:50)
initialStateFrom (src/Jukebox/TPTP/Parse/Core.hs:80)
ParseResult (src/Jukebox/TPTP/Parse/Core.hs:92)
Location (src/Jukebox/TPTP/Parse/Core.hs:109)
makeLocation (src/Jukebox/TPTP/Parse/Core.hs:115)
parseProblem (src/Jukebox/TPTP/Parse/Core.hs:119)
parseProblemFrom (src/Jukebox/TPTP/Parse/Core.hs:122)
testParser (src/Jukebox/TPTP/Parse/Core.hs:161)
keyword' (src/Jukebox/TPTP/Parse/Core.hs:166)
keyword (src/Jukebox/TPTP/Parse/Core.hs:170)
punct' (src/Jukebox/TPTP/Parse/Core.hs:172)
punct (src/Jukebox/TPTP/Parse/Core.hs:176)
operator (src/Jukebox/TPTP/Parse/Core.hs:178)
defined' (src/Jukebox/TPTP/Parse/Core.hs:188)
defined (src/Jukebox/TPTP/Parse/Core.hs:192)
variable (src/Jukebox/TPTP/Parse/Core.hs:194)
number (src/Jukebox/TPTP/Parse/Core.hs:198)
ratNumber (src/Jukebox/TPTP/Parse/Core.hs:202)
realNumber (src/Jukebox/TPTP/Parse/Core.hs:206)
atom (src/Jukebox/TPTP/Parse/Core.hs:210)
parens (src/Jukebox/TPTP/Parse/Core.hs:216)
bracks (src/Jukebox/TPTP/Parse/Core.hs:218)
binExpr (src/Jukebox/TPTP/Parse/Core.hs:223)
section (src/Jukebox/TPTP/Parse/Core.hs:231)
input (src/Jukebox/TPTP/Parse/Core.hs:235)
kind (src/Jukebox/TPTP/Parse/Core.hs:263)
tag (src/Jukebox/TPTP/Parse/Core.hs:291)
include (src/Jukebox/TPTP/Parse/Core.hs:295)
newFormula (src/Jukebox/TPTP/Parse/Core.hs:308)
newFunction (src/Jukebox/TPTP/Parse/Core.hs:313)
showTypes (src/Jukebox/TPTP/Parse/Core.hs:323)
applyFunction (src/Jukebox/TPTP/Parse/Core.hs:327)
typeError (src/Jukebox/TPTP/Parse/Core.hs:334)
lookupType (src/Jukebox/TPTP/Parse/Core.hs:351)
lookupFunction (src/Jukebox/TPTP/Parse/Core.hs:362)
getFunctions (src/Jukebox/TPTP/Parse/Core.hs:372)
cnf (src/Jukebox/TPTP/Parse/Core.hs:379)
tff (src/Jukebox/TPTP/Parse/Core.hs:384)
fof (src/Jukebox/TPTP/Parse/Core.hs:385)
Thing (src/Jukebox/TPTP/Parse/Core.hs:395)
TermLike (src/Jukebox/TPTP/Parse/Core.hs:422)
Mode (src/Jukebox/TPTP/Parse/Core.hs:432)
atomic (src/Jukebox/TPTP/Parse/Core.hs:477)
unary (src/Jukebox/TPTP/Parse/Core.hs:508)
term (src/Jukebox/TPTP/Parse/Core.hs:526)
postfixOperator (src/Jukebox/TPTP/Parse/Core.hs:537)
prefixOperator (src/Jukebox/TPTP/Parse/Core.hs:543)
infixOperator (src/Jukebox/TPTP/Parse/Core.hs:549)
isPostfix (src/Jukebox/TPTP/Parse/Core.hs:552)
literal (src/Jukebox/TPTP/Parse/Core.hs:557)
unitary (src/Jukebox/TPTP/Parse/Core.hs:581)
quantified (src/Jukebox/TPTP/Parse/Core.hs:588)
formula (src/Jukebox/TPTP/Parse/Core.hs:599)
binder (src/Jukebox/TPTP/Parse/Core.hs:618)
type_ (src/Jukebox/TPTP/Parse/Core.hs:634)
Type_ (src/Jukebox/TPTP/Parse/Core.hs:639)
prod (src/Jukebox/TPTP/Parse/Core.hs:642)
arrow (src/Jukebox/TPTP/Parse/Core.hs:646)
leaf (src/Jukebox/TPTP/Parse/Core.hs:650)
compoundType (src/Jukebox/TPTP/Parse/Core.hs:656)
typeDeclaration (src/Jukebox/TPTP/Parse/Core.hs:660)
0% ( 0 / 4) in 'Jukebox.TPTP.ParseSnippet'
Missing documentation for:
Module header
tff (src/Jukebox/TPTP/ParseSnippet.hs:19)
cnf (src/Jukebox/TPTP/ParseSnippet.hs:20)
form (src/Jukebox/TPTP/ParseSnippet.hs:23)
0% ( 0 / 11) in 'Jukebox.Tools.GuessModel'
Missing documentation for:
Module header
Universe (src/Jukebox/Tools/GuessModel.hs:11)
universe (src/Jukebox/Tools/GuessModel.hs:14)
peano (src/Jukebox/Tools/GuessModel.hs:17)
trees (src/Jukebox/Tools/GuessModel.hs:33)
guessModel (src/Jukebox/Tools/GuessModel.hs:53)
ind (src/Jukebox/Tools/GuessModel.hs:65)
function (src/Jukebox/Tools/GuessModel.hs:72)
rhss (src/Jukebox/Tools/GuessModel.hs:88)
cases (src/Jukebox/Tools/GuessModel.hs:109)
cases1 (src/Jukebox/Tools/GuessModel.hs:116)
0% ( 0 / 4) in 'Jukebox.TPTP.Parse'
Missing documentation for:
Module header
parseString (src/Jukebox/TPTP/Parse.hs:13)
parseProblem (src/Jukebox/TPTP/Parse.hs:23)
parseProblemWith (src/Jukebox/TPTP/Parse.hs:26)
0% ( 0 / 20) in 'Jukebox.Sat.Easy'
Missing documentation for:
Module header
Sat1 (src/Jukebox/Sat/Easy.hs:20)
Sat (src/Jukebox/Sat/Easy.hs:21)
SatState (src/Jukebox/Sat/Easy.hs:22)
Watch (src/Jukebox/Sat/Easy.hs:23)
Form (src/Jukebox/Sat/Easy.hs:25)
nt (src/Jukebox/Sat/Easy.hs:31)
true (src/Jukebox/Sat/Easy.hs:36)
false (src/Jukebox/Sat/Easy.hs:37)
unique (src/Jukebox/Sat/Easy.hs:40)
runSat (src/Jukebox/Sat/Easy.hs:47)
runSat1 (src/Jukebox/Sat/Easy.hs:53)
atIndex (src/Jukebox/Sat/Easy.hs:56)
solve (src/Jukebox/Sat/Easy.hs:64)
model (src/Jukebox/Sat/Easy.hs:70)
modelValue (src/Jukebox/Sat/Easy.hs:77)
addForm (src/Jukebox/Sat/Easy.hs:84)
flatten (src/Jukebox/Sat/Easy.hs:91)
lit (src/Jukebox/Sat/Easy.hs:96)
var (src/Jukebox/Sat/Easy.hs:100)
0% ( 0 / 11) in 'Jukebox.Tools.AnalyseMonotonicity'
Missing documentation for:
Module header
Extension (src/Jukebox/Tools/AnalyseMonotonicity.hs:17)
Var (src/Jukebox/Tools/AnalyseMonotonicity.hs:19)
analyseMonotonicity (src/Jukebox/Tools/AnalyseMonotonicity.hs:22)
monotone (src/Jukebox/Tools/AnalyseMonotonicity.hs:30)
fromModel (src/Jukebox/Tools/AnalyseMonotonicity.hs:47)
extension (src/Jukebox/Tools/AnalyseMonotonicity.hs:50)
clause (src/Jukebox/Tools/AnalyseMonotonicity.hs:57)
literal (src/Jukebox/Tools/AnalyseMonotonicity.hs:60)
safe (src/Jukebox/Tools/AnalyseMonotonicity.hs:70)
guards (src/Jukebox/Tools/AnalyseMonotonicity.hs:74)
0% ( 0 / 16) in 'Jukebox.SMTLIB'
Missing documentation for:
Module header
keywords (src/Jukebox/SMTLIB.hs:23)
renamings (src/Jukebox/SMTLIB.hs:93)
renameAvoidingKeywords (src/Jukebox/SMTLIB.hs:114)
renameTPTP (src/Jukebox/SMTLIB.hs:123)
showProblem (src/Jukebox/SMTLIB.hs:128)
pPrintProblem (src/Jukebox/SMTLIB.hs:131)
pPrintDecls (src/Jukebox/SMTLIB.hs:137)
sexp (src/Jukebox/SMTLIB.hs:158)
pPrintName (src/Jukebox/SMTLIB.hs:161)
pPrintType (src/Jukebox/SMTLIB.hs:182)
pPrintInput (src/Jukebox/SMTLIB.hs:186)
pPrintForm (src/Jukebox/SMTLIB.hs:192)
pPrintQuant (src/Jukebox/SMTLIB.hs:209)
pPrintAtomic (src/Jukebox/SMTLIB.hs:217)
pPrintTerm (src/Jukebox/SMTLIB.hs:221)
0% ( 0 / 38) in 'Jukebox.Toolbox'
Missing documentation for:
Module header
GlobalFlags (src/Jukebox/Toolbox.hs:32)
globalFlags (src/Jukebox/Toolbox.hs:38)
TSTPFlags (src/Jukebox/Toolbox.hs:47)
tstpFlags (src/Jukebox/Toolbox.hs:53)
comment (src/Jukebox/Toolbox.hs:65)
quietly (src/Jukebox/Toolbox.hs:69)
indent (src/Jukebox/Toolbox.hs:73)
=>>= (src/Jukebox/Toolbox.hs:82)
=>> (src/Jukebox/Toolbox.hs:86)
forAllFilesBox (src/Jukebox/Toolbox.hs:93)
forAllFiles (src/Jukebox/Toolbox.hs:96)
readTPTPFileBox (src/Jukebox/Toolbox.hs:102)
readTPTPFile (src/Jukebox/Toolbox.hs:105)
readProblemBox (src/Jukebox/Toolbox.hs:120)
readProblem (src/Jukebox/Toolbox.hs:123)
printProblemBox (src/Jukebox/Toolbox.hs:135)
printProblemSMTBox (src/Jukebox/Toolbox.hs:138)
printClausesBox (src/Jukebox/Toolbox.hs:141)
prettyPrintIO (src/Jukebox/Toolbox.hs:144)
writeFileBox (src/Jukebox/Toolbox.hs:148)
clausifyBox (src/Jukebox/Toolbox.hs:162)
oneConjectureBox (src/Jukebox/Toolbox.hs:169)
oneConjecture (src/Jukebox/Toolbox.hs:179)
toFormulasBox (src/Jukebox/Toolbox.hs:204)
Solver (src/Jukebox/Toolbox.hs:215)
forAllConjecturesBox (src/Jukebox/Toolbox.hs:218)
forAllConjectures (src/Jukebox/Toolbox.hs:221)
toFofBox (src/Jukebox/Toolbox.hs:252)
toFof (src/Jukebox/Toolbox.hs:255)
schemeBox (src/Jukebox/Toolbox.hs:268)
analyseMonotonicityBox (src/Jukebox/Toolbox.hs:282)
showMonotonicityBox (src/Jukebox/Toolbox.hs:285)
guessModelBox (src/Jukebox/Toolbox.hs:304)
inferBox (src/Jukebox/Toolbox.hs:320)
printInferredBox (src/Jukebox/Toolbox.hs:323)
hornToUnitBox (src/Jukebox/Toolbox.hs:332)
hornToUnitIO (src/Jukebox/Toolbox.hs:335)
0% ( 0 / 5) in 'Jukebox.ExternalProvers.SPASS'
Missing documentation for:
Module header
SPASSFlags (src/Jukebox/ExternalProvers/SPASS.hs:12)
spassFlags (src/Jukebox/ExternalProvers/SPASS.hs:18)
runSPASS (src/Jukebox/ExternalProvers/SPASS.hs:35)
extractAnswer (src/Jukebox/ExternalProvers/SPASS.hs:47)
0% ( 0 / 6) in 'Jukebox.ExternalProvers.E'
Missing documentation for:
Module header
EFlags (src/Jukebox/ExternalProvers/E.hs:19)
eflags (src/Jukebox/ExternalProvers/E.hs:25)
mangleAnswer (src/Jukebox/ExternalProvers/E.hs:43)
runE (src/Jukebox/ExternalProvers/E.hs:53)
extractAnswer (src/Jukebox/ExternalProvers/E.hs:65)
Warning: Jukebox.TPTP.Lexer: could not find link destinations for:
- Jukebox.TPTP.Parse.Core.D:R:PositionTokenStream
Warning: Jukebox.TPTP.Parsec: could not find link destinations for:
- Jukebox.TPTP.Parsec.D:R:PositionUserState
- Jukebox.TPTP.Parse.Core.D:R:PositionTokenStream
Warning: Jukebox.TPTP.Parse.Core: could not find link destinations for:
- Jukebox.TPTP.Parse.Core.D:R:PositionTokenStream
Documentation created: dist/doc/html/jukebox/,
dist/doc/html/jukebox/jukebox.txt
Preprocessing executable 'jukebox' for jukebox-0.5.9..
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/jukebox-0.5.9-KQsaQuBmK6eKeZK2ovnOPY
Installing executable jukebox 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 jukebox-0.5.9
Downloading twee-2.6.1
Downloaded twee-2.6.1
Configuring twee-2.6.1...
Preprocessing executable 'twee' for twee-2.6.1..
Building executable 'twee' for twee-2.6.1..
[1 of 2] Compiling SequentialMain ( executable/SequentialMain.hs, dist/build/twee/twee-tmp/SequentialMain.o )
[2 of 2] Compiling Main ( executable/Main.hs, dist/build/twee/twee-tmp/Main.o )
[3 of 3] Linking dist/build/twee/twee
Warning: No documentation was generated as this package does not contain a
library. Perhaps you want to use the --executables, --tests, --benchmarks or
--foreign-libraries flags.
Installing executable twee 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 twee-2.6.1
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.8.4 -O0
In order, the following will be built (use -v for more details):
- alex-3.5.4.0 (exe:alex) (requires build)
- cereal-0.5.8.3 (lib:cereal) (requires build)
- colour-2.3.6 (lib:colour) (requires build)
- dlist-1.0 (lib:dlist) (requires build)
- os-string-2.0.8 (lib:os-string) (requires build)
- primitive-0.9.1.0 (lib:primitive) (requires build)
- split-0.2.5 (lib:split) (requires build)
- splitmix-0.1.3.2 (lib:splitmix) (requires build)
- symbol-0.2.4.1 (lib:symbol) (requires build)
- uglymemo-0.1.0.1 (lib:uglymemo) (requires build)
- utf8-string-1.0.2 (lib:utf8-string) (requires build)
- ansi-terminal-types-1.1.3 (lib:ansi-terminal-types) (requires build)
- hashable-1.5.1.0 (lib:hashable) (requires build)
- random-1.3.1 (lib:random) (requires build)
- ansi-terminal-1.1.5 (lib:ansi-terminal) (requires build)
- unordered-containers-0.2.21 (lib:unordered-containers) (requires build)
- QuickCheck-2.17.1.0 (lib:QuickCheck) (requires build)
- async-2.2.6 (lib:async) (requires build)
- twee-lib-2.6.1 (lib:twee-lib) (requires build)
- minisat-0.1.4 (lib:minisat) (requires build)
- jukebox-0.5.9 (lib:jukebox) (requires build)
- twee-2.6.1 (first run)
Configuring alex-3.5.4.0...
Preprocessing executable 'alex' for alex-3.5.4.0..
Building executable 'alex' for alex-3.5.4.0..
[ 1 of 19] Compiling DFS ( src/DFS.hs, dist/build/alex/alex-tmp/DFS.o )
[ 2 of 19] Compiling Data.Ranged.Boundaries ( src/Data/Ranged/Boundaries.hs, dist/build/alex/alex-tmp/Data/Ranged/Boundaries.o )
[ 3 of 19] Compiling Data.Ranged.Ranges ( src/Data/Ranged/Ranges.hs, dist/build/alex/alex-tmp/Data/Ranged/Ranges.o )
[ 4 of 19] Compiling Data.Ranged.RangedSet ( src/Data/Ranged/RangedSet.hs, dist/build/alex/alex-tmp/Data/Ranged/RangedSet.o )
[ 5 of 19] Compiling Data.Ranged ( src/Data/Ranged.hs, dist/build/alex/alex-tmp/Data/Ranged.o )
[ 6 of 19] Compiling Paths_alex ( dist/build/alex/autogen/Paths_alex.hs, dist/build/alex/alex-tmp/Paths_alex.o )
[ 7 of 19] Compiling UTF8 ( src/UTF8.hs, dist/build/alex/alex-tmp/UTF8.o )
[ 8 of 19] Compiling CharSet ( src/CharSet.hs, dist/build/alex/alex-tmp/CharSet.o )
[ 9 of 19] Compiling Util ( src/Util.hs, dist/build/alex/alex-tmp/Util.o )
[10 of 19] Compiling AbsSyn ( src/AbsSyn.hs, dist/build/alex/alex-tmp/AbsSyn.o )
[11 of 19] Compiling ParseMonad ( src/ParseMonad.hs, dist/build/alex/alex-tmp/ParseMonad.o )
[12 of 19] Compiling Scan ( src/Scan.hs, dist/build/alex/alex-tmp/Scan.o )
[13 of 19] Compiling Parser ( src/Parser.hs, dist/build/alex/alex-tmp/Parser.o )
[14 of 19] Compiling Output ( src/Output.hs, dist/build/alex/alex-tmp/Output.o )
[15 of 19] Compiling NFA ( src/NFA.hs, dist/build/alex/alex-tmp/NFA.o )
[16 of 19] Compiling Info ( src/Info.hs, dist/build/alex/alex-tmp/Info.o )
[17 of 19] Compiling DFAMin ( src/DFAMin.hs, dist/build/alex/alex-tmp/DFAMin.o )
[18 of 19] Compiling DFA ( src/DFA.hs, dist/build/alex/alex-tmp/DFA.o )
[19 of 19] Compiling Main ( src/Main.hs, dist/build/alex/alex-tmp/Main.o )
[20 of 20] Linking dist/build/alex/alex
Installing executable alex in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/alex-3.5.4.0-e9e2d4554ace1082fca1f0c8efb65f7cae4e9707878385ca8aa63f512efcd9fa/bin
Warning: The directory
/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/alex-3.5.4.0-e9e2d4554ace1082fca1f0c8efb65f7cae4e9707878385ca8aa63f512efcd9fa/bin
is not in the system search path.
Configuring cereal-0.5.8.3...
Preprocessing library for cereal-0.5.8.3..
Building library for cereal-0.5.8.3..
[1 of 4] Compiling Data.Serialize.Get ( src/Data/Serialize/Get.hs, dist/build/Data/Serialize/Get.o, dist/build/Data/Serialize/Get.dyn_o )
[2 of 4] Compiling Data.Serialize.Put ( src/Data/Serialize/Put.hs, dist/build/Data/Serialize/Put.o, dist/build/Data/Serialize/Put.dyn_o )
[3 of 4] Compiling Data.Serialize.IEEE754 ( src/Data/Serialize/IEEE754.hs, dist/build/Data/Serialize/IEEE754.o, dist/build/Data/Serialize/IEEE754.dyn_o )
[4 of 4] Compiling Data.Serialize ( src/Data/Serialize.hs, dist/build/Data/Serialize.o, dist/build/Data/Serialize.dyn_o )
src/Data/Serialize.hs:702:22: warning: [GHC-39567] [-Wstar-is-type]
Using * (or its Unicode variant) to mean Data.Kind.Type
relies on the StarIsType extension, which will become
deprecated in the future.
Suggested fix: Use Type from Data.Kind instead.
|
702 | newtype Tagged (s :: * -> *) b = Tagged {unTagged :: b}
| ^
src/Data/Serialize.hs:702:27: warning: [GHC-39567] [-Wstar-is-type]
Using * (or its Unicode variant) to mean Data.Kind.Type
relies on the StarIsType extension, which will become
deprecated in the future.
Suggested fix: Use Type from Data.Kind instead.
|
702 | newtype Tagged (s :: * -> *) b = Tagged {unTagged :: b}
| ^
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/cereal-0.5.8.3-c6b2892b168dd2f364b63c616539ed71c8d94e962dbaa4e86d8cff896c60dede/lib
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 )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/colour-2.3.6-1bc3273789052b388bc71f53ac10a073cc4a30f03a6584dc6f830ef26e23fa37/lib
Configuring dlist-1.0...
Preprocessing library for dlist-1.0..
Building library for dlist-1.0..
[1 of 5] Compiling Data.DList.Internal ( Data/DList/Internal.hs, dist/build/Data/DList/Internal.o, dist/build/Data/DList/Internal.dyn_o )
Data/DList/Internal.hs:642:12: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
642 | instance a ~ Char => IsString (DList a) where
| ^
[2 of 5] Compiling Data.DList ( Data/DList.hs, dist/build/Data/DList.o, dist/build/Data/DList.dyn_o )
[3 of 5] Compiling Data.DList.DNonEmpty.Internal ( Data/DList/DNonEmpty/Internal.hs, dist/build/Data/DList/DNonEmpty/Internal.o, dist/build/Data/DList/DNonEmpty/Internal.dyn_o )
Data/DList/DNonEmpty/Internal.hs:459:12: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
459 | instance a ~ Char => IsString (DNonEmpty a) where
| ^
[4 of 5] Compiling Data.DList.DNonEmpty ( Data/DList/DNonEmpty.hs, dist/build/Data/DList/DNonEmpty.o, dist/build/Data/DList/DNonEmpty.dyn_o )
[5 of 5] Compiling Data.DList.Unsafe ( Data/DList/Unsafe.hs, dist/build/Data/DList/Unsafe.o, dist/build/Data/DList/Unsafe.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/dlist-1.0-86f33801414c0473ae1fd4662f02a4312e631e921d989de4c3a2796798483375/lib
Configuring os-string-2.0.8...
Preprocessing library for os-string-2.0.8..
Building library for os-string-2.0.8..
[ 1 of 11] Compiling System.OsString.Data.ByteString.Short.Internal ( System/OsString/Data/ByteString/Short/Internal.hs, dist/build/System/OsString/Data/ByteString/Short/Internal.o, dist/build/System/OsString/Data/ByteString/Short/Internal.dyn_o )
[ 2 of 11] Compiling System.OsString.Data.ByteString.Short ( System/OsString/Data/ByteString/Short.hs, dist/build/System/OsString/Data/ByteString/Short.o, dist/build/System/OsString/Data/ByteString/Short.dyn_o )
[ 3 of 11] Compiling System.OsString.Data.ByteString.Short.Word16 ( System/OsString/Data/ByteString/Short/Word16.hs, dist/build/System/OsString/Data/ByteString/Short/Word16.o, dist/build/System/OsString/Data/ByteString/Short/Word16.dyn_o )
[ 4 of 11] Compiling System.OsString.Internal.Exception ( System/OsString/Internal/Exception.hs, dist/build/System/OsString/Internal/Exception.o, dist/build/System/OsString/Internal/Exception.dyn_o )
[ 5 of 11] Compiling System.OsString.Encoding.Internal ( System/OsString/Encoding/Internal.hs, dist/build/System/OsString/Encoding/Internal.o, dist/build/System/OsString/Encoding/Internal.dyn_o )
System/OsString/Encoding/Internal.hs:23:42: warning: [GHC-38856] [-Wunused-imports]
The import of try from module Control.Exception is redundant
|
23 | import Control.Exception (SomeException, try, Exception (displayException), evaluate)
| ^^^
[ 6 of 11] Compiling System.OsString.Encoding ( System/OsString/Encoding.hs, dist/build/System/OsString/Encoding.o, dist/build/System/OsString/Encoding.dyn_o )
[ 7 of 11] Compiling System.OsString.Internal.Types ( System/OsString/Internal/Types.hs, dist/build/System/OsString/Internal/Types.o, dist/build/System/OsString/Internal/Types.dyn_o )
[ 8 of 11] Compiling System.OsString.Posix ( System/OsString/Posix.hs, dist/build/System/OsString/Posix.o, dist/build/System/OsString/Posix.dyn_o )
[ 9 of 11] Compiling System.OsString.Internal ( System/OsString/Internal.hs, dist/build/System/OsString/Internal.o, dist/build/System/OsString/Internal.dyn_o )
[10 of 11] Compiling System.OsString ( System/OsString.hs, dist/build/System/OsString.o, dist/build/System/OsString.dyn_o )
[11 of 11] Compiling System.OsString.Windows ( System/OsString/Windows.hs, dist/build/System/OsString/Windows.o, dist/build/System/OsString/Windows.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/os-string-2.0.8-a523b3279e1e9a6c69d6adaf4196e3f5b2f65454ef4d11683fd77a738167c3f4/lib
Configuring primitive-0.9.1.0...
Preprocessing library for primitive-0.9.1.0..
Building library for primitive-0.9.1.0..
[ 1 of 14] Compiling Data.Primitive.Internal.Read ( Data/Primitive/Internal/Read.hs, dist/build/Data/Primitive/Internal/Read.o, dist/build/Data/Primitive/Internal/Read.dyn_o )
[ 2 of 14] Compiling Data.Primitive.MachDeps ( Data/Primitive/MachDeps.hs, dist/build/Data/Primitive/MachDeps.o, dist/build/Data/Primitive/MachDeps.dyn_o )
[ 3 of 14] Compiling Data.Primitive.Internal.Operations ( Data/Primitive/Internal/Operations.hs, dist/build/Data/Primitive/Internal/Operations.o, dist/build/Data/Primitive/Internal/Operations.dyn_o )
[ 4 of 14] Compiling Control.Monad.Primitive ( Control/Monad/Primitive.hs, dist/build/Control/Monad/Primitive.o, dist/build/Control/Monad/Primitive.dyn_o )
[ 5 of 14] Compiling Data.Primitive.MVar ( Data/Primitive/MVar.hs, dist/build/Data/Primitive/MVar.o, dist/build/Data/Primitive/MVar.dyn_o )
[ 6 of 14] Compiling Data.Primitive.Array ( Data/Primitive/Array.hs, dist/build/Data/Primitive/Array.o, dist/build/Data/Primitive/Array.dyn_o )
[ 7 of 14] Compiling Data.Primitive.MutVar ( Data/Primitive/MutVar.hs, dist/build/Data/Primitive/MutVar.o, dist/build/Data/Primitive/MutVar.dyn_o )
[ 8 of 14] Compiling Data.Primitive.SmallArray ( Data/Primitive/SmallArray.hs, dist/build/Data/Primitive/SmallArray.o, dist/build/Data/Primitive/SmallArray.dyn_o )
[ 9 of 14] Compiling Data.Primitive.Types ( Data/Primitive/Types.hs, dist/build/Data/Primitive/Types.o, dist/build/Data/Primitive/Types.dyn_o )
[10 of 14] Compiling Data.Primitive.ByteArray ( Data/Primitive/ByteArray.hs, dist/build/Data/Primitive/ByteArray.o, dist/build/Data/Primitive/ByteArray.dyn_o )
[11 of 14] Compiling Data.Primitive.PrimArray ( Data/Primitive/PrimArray.hs, dist/build/Data/Primitive/PrimArray.o, dist/build/Data/Primitive/PrimArray.dyn_o )
[12 of 14] Compiling Data.Primitive.Ptr ( Data/Primitive/Ptr.hs, dist/build/Data/Primitive/Ptr.o, dist/build/Data/Primitive/Ptr.dyn_o )
[13 of 14] Compiling Data.Primitive ( Data/Primitive.hs, dist/build/Data/Primitive.o, dist/build/Data/Primitive.dyn_o )
[14 of 14] Compiling Data.Primitive.PrimVar ( Data/Primitive/PrimVar.hs, dist/build/Data/Primitive/PrimVar.o, dist/build/Data/Primitive/PrimVar.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/primitive-0.9.1.0-6a2eb9911004fa155aac2d1109fe8460110de8e810719115bf4b4fa7d20f46a6/lib
Configuring split-0.2.5...
Preprocessing library for split-0.2.5..
Building library for split-0.2.5..
[1 of 2] Compiling Data.List.Split.Internals ( src/Data/List/Split/Internals.hs, dist/build/Data/List/Split/Internals.o, dist/build/Data/List/Split/Internals.dyn_o )
[2 of 2] Compiling Data.List.Split ( src/Data/List/Split.hs, dist/build/Data/List/Split.o, dist/build/Data/List/Split.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/split-0.2.5-f33af888e5d7aae30da13f4007499ef6436bee09a1ae76cd1167bd51d6698972/lib
Configuring splitmix-0.1.3.2...
Preprocessing library for splitmix-0.1.3.2..
Building library for splitmix-0.1.3.2..
[1 of 3] Compiling System.Random.SplitMix.Init ( src/System/Random/SplitMix/Init.hs, dist/build/System/Random/SplitMix/Init.o, dist/build/System/Random/SplitMix/Init.dyn_o )
[2 of 3] Compiling System.Random.SplitMix ( src/System/Random/SplitMix.hs, dist/build/System/Random/SplitMix.o, dist/build/System/Random/SplitMix.dyn_o )
[3 of 3] Compiling System.Random.SplitMix32 ( src/System/Random/SplitMix32.hs, dist/build/System/Random/SplitMix32.o, dist/build/System/Random/SplitMix32.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/splitmix-0.1.3.2-58699aacc13c4e36b3742000d11b8933a456dac329521aa0a8cb8d048d296d12/lib
Configuring symbol-0.2.4.1...
Preprocessing library for symbol-0.2.4.1..
Building library for symbol-0.2.4.1..
[1 of 2] Compiling Data.Symbol.Unsafe ( Data/Symbol/Unsafe.hs, dist/build/Data/Symbol/Unsafe.o, dist/build/Data/Symbol/Unsafe.dyn_o )
[2 of 2] Compiling Data.Symbol ( Data/Symbol.hs, dist/build/Data/Symbol.o, dist/build/Data/Symbol.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/symbol-0.2.4.1-b680968780ce3dd001e2623c048946f486e4ddb30fa6d7ffc3d4ce13cdfb9cc2/lib
Configuring uglymemo-0.1.0.1...
Preprocessing library for uglymemo-0.1.0.1..
Building library for uglymemo-0.1.0.1..
[1 of 1] Compiling Data.MemoUgly ( Data/MemoUgly.hs, dist/build/Data/MemoUgly.o, dist/build/Data/MemoUgly.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/uglymemo-0.1.0.1-f7b68946a5d88e5639a654bfe068de219d8f69db9f6534364aeb91cae7edf583/lib
Configuring utf8-string-1.0.2...
Preprocessing library for utf8-string-1.0.2..
Building library for utf8-string-1.0.2..
[1 of 5] Compiling Codec.Binary.UTF8.String ( Codec/Binary/UTF8/String.hs, dist/build/Codec/Binary/UTF8/String.o, dist/build/Codec/Binary/UTF8/String.dyn_o )
[2 of 5] Compiling Codec.Binary.UTF8.Generic ( Codec/Binary/UTF8/Generic.hs, dist/build/Codec/Binary/UTF8/Generic.o, dist/build/Codec/Binary/UTF8/Generic.dyn_o )
Codec/Binary/UTF8/Generic.hs:87:21: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, 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."
|
87 | tail = List.tail
| ^^^^^^^^^
[3 of 5] Compiling Data.ByteString.Lazy.UTF8 ( Data/ByteString/Lazy/UTF8.hs, dist/build/Data/ByteString/Lazy/UTF8.o, dist/build/Data/ByteString/Lazy/UTF8.dyn_o )
[4 of 5] Compiling Data.ByteString.UTF8 ( Data/ByteString/UTF8.hs, dist/build/Data/ByteString/UTF8.o, dist/build/Data/ByteString/UTF8.dyn_o )
[5 of 5] Compiling Data.String.UTF8 ( Data/String/UTF8.hs, dist/build/Data/String/UTF8.o, dist/build/Data/String/UTF8.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/utf8-string-1.0.2-d290b66489568a7dddb2a70986a20e580e2c0ad40703ee8b17b35c528f41209f/lib
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 )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-terminal-types-1.1.3-c12c865b524456654e5c4f96ba48bd4de2b3c32e05f6a73c62f9e7fb6779ef8a/lib
Configuring hashable-1.5.1.0...
Preprocessing library for hashable-1.5.1.0..
Building library for hashable-1.5.1.0..
[ 1 of 10] Compiling Data.Hashable.FFI ( src/Data/Hashable/FFI.hs, dist/build/Data/Hashable/FFI.o, dist/build/Data/Hashable/FFI.dyn_o )
[ 2 of 10] Compiling Data.Hashable.Imports ( src/Data/Hashable/Imports.hs, dist/build/Data/Hashable/Imports.o, dist/build/Data/Hashable/Imports.dyn_o )
[ 3 of 10] Compiling Data.Hashable.Mix ( src/Data/Hashable/Mix.hs, dist/build/Data/Hashable/Mix.o, dist/build/Data/Hashable/Mix.dyn_o )
[ 4 of 10] Compiling Data.Hashable.XXH3 ( src/Data/Hashable/XXH3.hs, dist/build/Data/Hashable/XXH3.o, dist/build/Data/Hashable/XXH3.dyn_o )
[ 5 of 10] Compiling Data.Hashable.LowLevel ( src/Data/Hashable/LowLevel.hs, dist/build/Data/Hashable/LowLevel.o, dist/build/Data/Hashable/LowLevel.dyn_o )
[ 6 of 10] Compiling Data.Hashable.Class ( src/Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o, dist/build/Data/Hashable/Class.dyn_o )
[ 7 of 10] Compiling Data.Hashable.Lifted ( src/Data/Hashable/Lifted.hs, dist/build/Data/Hashable/Lifted.o, dist/build/Data/Hashable/Lifted.dyn_o )
[ 8 of 10] Compiling Data.Hashable.Generic.Instances ( src/Data/Hashable/Generic/Instances.hs, dist/build/Data/Hashable/Generic/Instances.o, dist/build/Data/Hashable/Generic/Instances.dyn_o )
src/Data/Hashable/Generic/Instances.hs:5:14: warning: [GHC-19244] [-Wtrustworthy-safe]
Data.Hashable.Generic.Instances is marked as Trustworthy but has been inferred as safe!
|
5 | {-# LANGUAGE Trustworthy #-}
| ^^^^^^^^^^^
[ 9 of 10] Compiling Data.Hashable.Generic ( src/Data/Hashable/Generic.hs, dist/build/Data/Hashable/Generic.o, dist/build/Data/Hashable/Generic.dyn_o )
[10 of 10] Compiling Data.Hashable ( src/Data/Hashable.hs, dist/build/Data/Hashable.o, dist/build/Data/Hashable.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hashable-1.5.1.0-d0f2aaee592c1c35e01f6385438cc0f1739269f30c4a1ac23f782796910b1fab/lib
Configuring random-1.3.1...
Preprocessing library for random-1.3.1..
Building library for random-1.3.1..
[1 of 6] Compiling System.Random.Array ( src/System/Random/Array.hs, dist/build/System/Random/Array.o, dist/build/System/Random/Array.dyn_o )
[2 of 6] Compiling System.Random.GFinite ( src/System/Random/GFinite.hs, dist/build/System/Random/GFinite.o, dist/build/System/Random/GFinite.dyn_o )
[3 of 6] Compiling System.Random.Internal ( src/System/Random/Internal.hs, dist/build/System/Random/Internal.o, dist/build/System/Random/Internal.dyn_o )
[4 of 6] Compiling System.Random.Seed ( src/System/Random/Seed.hs, dist/build/System/Random/Seed.o, dist/build/System/Random/Seed.dyn_o )
[5 of 6] Compiling System.Random ( src/System/Random.hs, dist/build/System/Random.o, dist/build/System/Random.dyn_o )
[6 of 6] Compiling System.Random.Stateful ( src/System/Random/Stateful.hs, dist/build/System/Random/Stateful.o, dist/build/System/Random/Stateful.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/random-1.3.1-79b1fed16911015b00c8c7a45b14fb4ffea87308faf27dc110c73daa7a9a78c6/lib
Configuring ansi-terminal-1.1.5...
Preprocessing library for ansi-terminal-1.1.5..
Building library for ansi-terminal-1.1.5..
[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 )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-terminal-1.1.5-2873f2d80fbc808c646b2811834e8b7f6b7c1b9e8a83ce054930149c491b7ed4/lib
Configuring unordered-containers-0.2.21...
Preprocessing library for unordered-containers-0.2.21..
Building library for unordered-containers-0.2.21..
[1 of 9] Compiling Data.HashMap.Internal.Array ( Data/HashMap/Internal/Array.hs, dist/build/Data/HashMap/Internal/Array.o, dist/build/Data/HashMap/Internal/Array.dyn_o )
[2 of 9] Compiling Data.HashMap.Internal.List ( Data/HashMap/Internal/List.hs, dist/build/Data/HashMap/Internal/List.o, dist/build/Data/HashMap/Internal/List.dyn_o )
[3 of 9] Compiling Data.HashMap.Internal ( Data/HashMap/Internal.hs, dist/build/Data/HashMap/Internal.o, dist/build/Data/HashMap/Internal.dyn_o )
[4 of 9] Compiling Data.HashMap.Internal.Debug ( Data/HashMap/Internal/Debug.hs, dist/build/Data/HashMap/Internal/Debug.o, dist/build/Data/HashMap/Internal/Debug.dyn_o )
[5 of 9] Compiling Data.HashMap.Internal.Strict ( Data/HashMap/Internal/Strict.hs, dist/build/Data/HashMap/Internal/Strict.o, dist/build/Data/HashMap/Internal/Strict.dyn_o )
[6 of 9] Compiling Data.HashSet.Internal ( Data/HashSet/Internal.hs, dist/build/Data/HashSet/Internal.o, dist/build/Data/HashSet/Internal.dyn_o )
[7 of 9] Compiling Data.HashSet ( Data/HashSet.hs, dist/build/Data/HashSet.o, dist/build/Data/HashSet.dyn_o )
[8 of 9] Compiling Data.HashMap.Strict ( Data/HashMap/Strict.hs, dist/build/Data/HashMap/Strict.o, dist/build/Data/HashMap/Strict.dyn_o )
[9 of 9] Compiling Data.HashMap.Lazy ( Data/HashMap/Lazy.hs, dist/build/Data/HashMap/Lazy.o, dist/build/Data/HashMap/Lazy.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/unordered-containers-0.2.21-240a5dcfb3139287ccaed4f91235d90d2c7fb4b5dab697946cf66b207426998e/lib
Configuring QuickCheck-2.17.1.0...
Preprocessing library for QuickCheck-2.17.1.0..
Building library for QuickCheck-2.17.1.0..
[ 1 of 17] Compiling Test.QuickCheck.Exception ( src/Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o, dist/build/Test/QuickCheck/Exception.dyn_o )
[ 2 of 17] Compiling Test.QuickCheck.Random ( src/Test/QuickCheck/Random.hs, dist/build/Test/QuickCheck/Random.o, dist/build/Test/QuickCheck/Random.dyn_o )
[ 3 of 17] Compiling Test.QuickCheck.Gen ( src/Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o, dist/build/Test/QuickCheck/Gen.dyn_o )
[ 4 of 17] Compiling Test.QuickCheck.Gen.Unsafe ( src/Test/QuickCheck/Gen/Unsafe.hs, dist/build/Test/QuickCheck/Gen/Unsafe.o, dist/build/Test/QuickCheck/Gen/Unsafe.dyn_o )
[ 5 of 17] Compiling Test.QuickCheck.Arbitrary ( src/Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o, dist/build/Test/QuickCheck/Arbitrary.dyn_o )
[ 6 of 17] Compiling Test.QuickCheck.Poly ( src/Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o, dist/build/Test/QuickCheck/Poly.dyn_o )
[ 7 of 17] Compiling Test.QuickCheck.Modifiers ( src/Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o, dist/build/Test/QuickCheck/Modifiers.dyn_o )
[ 8 of 17] Compiling Test.QuickCheck.Function ( src/Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o, dist/build/Test/QuickCheck/Function.dyn_o )
[ 9 of 17] Compiling Test.QuickCheck.Text ( src/Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o, dist/build/Test/QuickCheck/Text.dyn_o )
[10 of 17] Compiling Test.QuickCheck.State ( src/Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o, dist/build/Test/QuickCheck/State.dyn_o )
[11 of 17] Compiling Test.QuickCheck.Property ( src/Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o, dist/build/Test/QuickCheck/Property.dyn_o )
[12 of 17] Compiling Test.QuickCheck.Test ( src/Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o, dist/build/Test/QuickCheck/Test.dyn_o )
[13 of 17] Compiling Test.QuickCheck.Monoids ( src/Test/QuickCheck/Monoids.hs, dist/build/Test/QuickCheck/Monoids.o, dist/build/Test/QuickCheck/Monoids.dyn_o )
[14 of 17] Compiling Test.QuickCheck.Monadic ( src/Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o, dist/build/Test/QuickCheck/Monadic.dyn_o )
[15 of 17] Compiling Test.QuickCheck.All ( src/Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o, dist/build/Test/QuickCheck/All.dyn_o )
[16 of 17] Compiling Test.QuickCheck.Features ( src/Test/QuickCheck/Features.hs, dist/build/Test/QuickCheck/Features.o, dist/build/Test/QuickCheck/Features.dyn_o )
[17 of 17] Compiling Test.QuickCheck ( src/Test/QuickCheck.hs, dist/build/Test/QuickCheck.o, dist/build/Test/QuickCheck.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/QuickCheck-2.17.1.0-a87806b666f479d7ed4036f3ad35b7a807cd445af1e634fabcc1020223be5d64/lib
Configuring async-2.2.6...
Preprocessing library for async-2.2.6..
Building library for async-2.2.6..
[1 of 4] Compiling Control.Concurrent.Async.Internal ( Control/Concurrent/Async/Internal.hs, dist/build/Control/Concurrent/Async/Internal.o, dist/build/Control/Concurrent/Async/Internal.dyn_o )
Control/Concurrent/Async/Internal.hs:50: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()
|
50 | import Data.Semigroup (Semigroup((<>)))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[2 of 4] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o, dist/build/Control/Concurrent/Async.dyn_o )
[3 of 4] Compiling Control.Concurrent.Async.Warden ( Control/Concurrent/Async/Warden.hs, dist/build/Control/Concurrent/Async/Warden.o, dist/build/Control/Concurrent/Async/Warden.dyn_o )
[4 of 4] Compiling Control.Concurrent.Stream ( Control/Concurrent/Stream.hs, dist/build/Control/Concurrent/Stream.o, dist/build/Control/Concurrent/Stream.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/async-2.2.6-ebfc8a552c09f32ce653f4b8545e512fc2cf3eba50ebac1183619492cd4db548/lib
Configuring twee-lib-2.6.1...
Preprocessing library for twee-lib-2.6.1..
Building library for twee-lib-2.6.1..
[ 1 of 25] Compiling Data.ChurchList ( Data/ChurchList.hs, dist/build/Data/ChurchList.o, dist/build/Data/ChurchList.dyn_o )
[ 2 of 25] Compiling Data.DynamicArray ( Data/DynamicArray.hs, dist/build/Data/DynamicArray.o, dist/build/Data/DynamicArray.dyn_o )
[ 3 of 25] Compiling Data.Heap ( Data/Heap.hs, dist/build/Data/Heap.o, dist/build/Data/Heap.dyn_o )
[ 4 of 25] Compiling Data.Intern ( Data/Intern.hs, dist/build/Data/Intern.o, dist/build/Data/Intern.dyn_o )
[ 5 of 25] Compiling Data.Numbered ( Data/Numbered.hs, dist/build/Data/Numbered.o, dist/build/Data/Numbered.dyn_o )
[ 6 of 25] Compiling Data.PackedSequence ( Data/PackedSequence.hs, dist/build/Data/PackedSequence.o, dist/build/Data/PackedSequence.dyn_o )
[ 7 of 25] Compiling Data.BatchedQueue ( Data/BatchedQueue.hs, dist/build/Data/BatchedQueue.o, dist/build/Data/BatchedQueue.dyn_o )
[ 8 of 25] Compiling Twee.Profile ( Twee/Profile.hs, dist/build/Twee/Profile.o, dist/build/Twee/Profile.dyn_o )
[ 9 of 25] Compiling Twee.Task ( Twee/Task.hs, dist/build/Twee/Task.o, dist/build/Twee/Task.dyn_o )
[10 of 25] Compiling Twee.Term.Core ( Twee/Term/Core.hs, dist/build/Twee/Term/Core.o, dist/build/Twee/Term/Core.dyn_o )
[11 of 25] Compiling Twee.Utils ( Twee/Utils.hs, dist/build/Twee/Utils.o, dist/build/Twee/Utils.dyn_o )
[12 of 25] Compiling Twee.Term ( Twee/Term.hs, dist/build/Twee/Term.o, dist/build/Twee/Term.dyn_o )
Twee/Term.hs:68:1: warning: [GHC-66111] [-Wunused-imports]
The qualified import of Twee.Term.Core is redundant
except perhaps to import instances from Twee.Term.Core
To import instances alone, use: import Twee.Term.Core()
|
68 | import qualified Twee.Term.Core as Core
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Twee/Term.hs:76:1: warning: [GHC-66111] [-Wunused-imports]
The import of Control.Arrow is redundant
except perhaps to import instances from Control.Arrow
To import instances alone, use: import Control.Arrow()
|
76 | import Control.Arrow((&&&))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[13 of 25] Compiling Twee.Pretty ( Twee/Pretty.hs, dist/build/Twee/Pretty.o, dist/build/Twee/Pretty.dyn_o )
[14 of 25] Compiling Twee.Constraints ( Twee/Constraints.hs, dist/build/Twee/Constraints.o, dist/build/Twee/Constraints.dyn_o )
[15 of 25] Compiling Twee.Base ( Twee/Base.hs, dist/build/Twee/Base.o, dist/build/Twee/Base.dyn_o )
[16 of 25] Compiling Twee.Index ( Twee/Index.hs, dist/build/Twee/Index.o, dist/build/Twee/Index.dyn_o )
[17 of 25] Compiling Twee.Equation ( Twee/Equation.hs, dist/build/Twee/Equation.o, dist/build/Twee/Equation.dyn_o )
[18 of 25] Compiling Twee.Proof ( Twee/Proof.hs, dist/build/Twee/Proof.o, dist/build/Twee/Proof.dyn_o )
[19 of 25] Compiling Twee.Rule ( Twee/Rule.hs, dist/build/Twee/Rule.o, dist/build/Twee/Rule.dyn_o )
Twee/Rule.hs:25:1: warning: [GHC-66111] [-Wunused-imports]
The import of Debug.Trace is redundant
except perhaps to import instances from Debug.Trace
To import instances alone, use: import Debug.Trace()
|
25 | import Debug.Trace
| ^^^^^^^^^^^^^^^^^^
Twee/Rule.hs:26:1: warning: [GHC-66111] [-Wunused-imports]
The import of Twee.Pretty is redundant
except perhaps to import instances from Twee.Pretty
To import instances alone, use: import Twee.Pretty()
|
26 | import Twee.Pretty
| ^^^^^^^^^^^^^^^^^^
Twee/Rule.hs:27:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Function is redundant
except perhaps to import instances from Data.Function
To import instances alone, use: import Data.Function()
|
27 | import Data.Function
| ^^^^^^^^^^^^^^^^^^^^
Twee/Rule.hs:31:1: warning: [GHC-66111] [-Wunused-imports]
The import of Twee.Profile is redundant
except perhaps to import instances from Twee.Profile
To import instances alone, use: import Twee.Profile()
|
31 | import Twee.Profile
| ^^^^^^^^^^^^^^^^^^^
Twee/Rule.hs:631:5: warning: [GHC-40910] [-Wunused-local-binds]
Defined but not used: normStepsVia
|
631 | normStepsVia r t = r `trans1` normSteps (result1 t r)
| ^^^^^^^^^^^^
Twee/Rule.hs:663:21: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: rs1
|
663 | conflict' t (r1:rs1) u (r2:rs2) v
| ^^^
Twee/Rule.hs:663:26: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: u
|
663 | conflict' t (r1:rs1) u (r2:rs2) v
| ^
Twee/Rule.hs:663:32: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: rs2
|
663 | conflict' t (r1:rs1) u (r2:rs2) v
| ^^^
Twee/Rule.hs:663:37: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: v
|
663 | conflict' t (r1:rs1) u (r2:rs2) v
| ^
[20 of 25] Compiling Twee.Rule.Index ( Twee/Rule/Index.hs, dist/build/Twee/Rule/Index.o, dist/build/Twee/Rule/Index.dyn_o )
[21 of 25] Compiling Twee.Generate ( Twee/Generate.hs, dist/build/Twee/Generate.o, dist/build/Twee/Generate.dyn_o )
Twee/Generate.hs:10:1: warning: [GHC-66111] [-Wunused-imports]
The import of Debug.Trace is redundant
except perhaps to import instances from Debug.Trace
To import instances alone, use: import Debug.Trace()
|
10 | import Debug.Trace
| ^^^^^^^^^^^^^^^^^^
Twee/Generate.hs:34:9: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: f
|
34 | | App f psl <- [p]
| ^
[22 of 25] Compiling Twee.KBO ( Twee/KBO.hs, dist/build/Twee/KBO.o, dist/build/Twee/KBO.dyn_o )
[23 of 25] Compiling Twee.CP ( Twee/CP.hs, dist/build/Twee/CP.o, dist/build/Twee/CP.dyn_o )
Twee/CP.hs:249:5: warning: [GHC-61505]
Pattern match checker ran into -fmax-pmcheck-models=30 limit, so
" Redundant clauses might not be reported at all
" Redundant clauses might be reported as inaccessible
" Patterns reported as unmatched might actually be matched
Suggested fix:
Increase the limit or resolve the warnings to suppress this message.
|
249 | size' !_ !_ !_ | False = undefined
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
Twee/CP.hs:249:22: warning: [GHC-94210] [-Woverlapping-patterns]
Pattern match has inaccessible right hand side
In an equation for size': size' !_ !_ !_ | False = ...
|
249 | size' !_ !_ !_ | False = undefined
| ^^^^^
[24 of 25] Compiling Twee.Join ( Twee/Join.hs, dist/build/Twee/Join.o, dist/build/Twee/Join.dyn_o )
Twee/Join.hs:223:14: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: top
|
223 | Just top | cfg_use_connectedness_in_ground_joining ->
| ^^^
[25 of 25] Compiling Twee ( Twee.hs, dist/build/Twee.o, dist/build/Twee.dyn_o )
Twee.hs:44:1: warning: [GHC-66111] [-Wunused-imports]
The import of Debug.Trace is redundant
except perhaps to import instances from Debug.Trace
To import instances alone, use: import Debug.Trace()
|
44 | import Debug.Trace
| ^^^^^^^^^^^^^^^^^^
Twee.hs:890:24: warning: [GHC-68441] [-Wdeprecations]
In the use of split
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `splitGen`"
|
890 | let (g1, g2) = Random.split g in
| ^^^^^^^^^^^^
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/twee-lib-2.6.1-064acf8d297e584e4463436d009f89125a6a81b94bbc246175d2c9b9e18e9476/lib
Configuring minisat-0.1.4...
Preprocessing library for minisat-0.1.4..
Building library for minisat-0.1.4..
[1 of 1] Compiling MiniSat ( dist/build/MiniSat.hs, dist/build/MiniSat.o, dist/build/MiniSat.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/minisat-0.1.4-20057628dc1d10f566137deb5dbb7f879abdad6ef1d4d6f6411b5d24738e4069/lib
Configuring jukebox-0.5.9...
Preprocessing library for jukebox-0.5.9..
Building library for jukebox-0.5.9..
[ 1 of 27] Compiling Jukebox.Name ( src/Jukebox/Name.hs, dist/build/Jukebox/Name.o, dist/build/Jukebox/Name.dyn_o )
[ 2 of 27] Compiling Jukebox.Options ( src/Jukebox/Options.hs, dist/build/Jukebox/Options.o, dist/build/Jukebox/Options.dyn_o )
src/Jukebox/Options.hs:20: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()
|
20 | import Data.Semigroup(Semigroup(..))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/Options.hs:94:13: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, 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."
|
94 | r = tail (dropWhile (/= ',') s)
| ^^^^
src/Jukebox/Options.hs:120:13: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
120 | r = tail (dropWhile (/= ',') s)
| ^^^^
[ 3 of 27] Compiling Jukebox.Sat ( src/Jukebox/Sat.hs, dist/build/Jukebox/Sat.o, dist/build/Jukebox/Sat.dyn_o )
[ 4 of 27] Compiling Jukebox.Sat.Minimise ( src/Jukebox/Sat/Minimise.hs, dist/build/Jukebox/Sat/Minimise.o, dist/build/Jukebox/Sat/Minimise.dyn_o )
[ 5 of 27] Compiling Jukebox.Sat.ThreeValued ( src/Jukebox/Sat/ThreeValued.hs, dist/build/Jukebox/Sat/ThreeValued.o, dist/build/Jukebox/Sat/ThreeValued.dyn_o )
[ 6 of 27] Compiling Jukebox.Sat.Equality ( src/Jukebox/Sat/Equality.hs, dist/build/Jukebox/Sat/Equality.o, dist/build/Jukebox/Sat/Equality.dyn_o )
[ 7 of 27] Compiling Jukebox.TPTP.FindFile ( src/Jukebox/TPTP/FindFile.hs, dist/build/Jukebox/TPTP/FindFile.o, dist/build/Jukebox/TPTP/FindFile.dyn_o )
[ 8 of 27] Compiling Jukebox.TPTP.Lexer ( dist/build/Jukebox/TPTP/Lexer.hs, dist/build/Jukebox/TPTP/Lexer.o, dist/build/Jukebox/TPTP/Lexer.dyn_o )
[ 9 of 27] Compiling Jukebox.TPTP.Parsec ( src/Jukebox/TPTP/Parsec.hs, dist/build/Jukebox/TPTP/Parsec.o, dist/build/Jukebox/TPTP/Parsec.dyn_o )
src/Jukebox/TPTP/Parsec.hs:8:1: warning: [GHC-66111] [-Wunused-imports]
The import of Control.Monad.Fail is redundant
except perhaps to import instances from Control.Monad.Fail
To import instances alone, use: import Control.Monad.Fail()
|
8 | import Control.Monad.Fail
| ^^^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/TPTP/Parsec.hs:36:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (Parsec a).
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
|
36 | return x = Parsec (\ok err inp exp -> ok x err inp exp)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/TPTP/Parsec.hs:58:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (Parsec a).
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
58 | pure = return
| ^^^^^^^^^^^^^
src/Jukebox/TPTP/Parsec.hs:62:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical (*>) = (>>) definition detected
in the instance declaration for Applicative (Parsec a).
Suggested fix:
Move definition from (>>) to (*>)
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
62 | (*>) = (>>)
| ^^^^^^^^^^^
[10 of 27] Compiling Jukebox.UnionFind ( src/Jukebox/UnionFind.hs, dist/build/Jukebox/UnionFind.o, dist/build/Jukebox/UnionFind.dyn_o )
[11 of 27] Compiling Jukebox.Utils ( src/Jukebox/Utils.hs, dist/build/Jukebox/Utils.o, dist/build/Jukebox/Utils.dyn_o )
[12 of 27] Compiling Jukebox.Form ( src/Jukebox/Form.hs, dist/build/Jukebox/Form.o, dist/build/Jukebox/Form.dyn_o )
[13 of 27] Compiling Jukebox.Tools.InferTypes ( src/Jukebox/Tools/InferTypes.hs, dist/build/Jukebox/Tools/InferTypes.o, dist/build/Jukebox/Tools/InferTypes.dyn_o )
[14 of 27] Compiling Jukebox.Tools.HornToUnit ( src/Jukebox/Tools/HornToUnit.hs, dist/build/Jukebox/Tools/HornToUnit.o, dist/build/Jukebox/Tools/HornToUnit.dyn_o )
[15 of 27] Compiling Jukebox.Tools.Clausify ( src/Jukebox/Tools/Clausify.hs, dist/build/Jukebox/Tools/Clausify.o, dist/build/Jukebox/Tools/Clausify.dyn_o )
[16 of 27] Compiling Jukebox.Tools.EncodeTypes ( src/Jukebox/Tools/EncodeTypes.hs, dist/build/Jukebox/Tools/EncodeTypes.o, dist/build/Jukebox/Tools/EncodeTypes.dyn_o )
[17 of 27] Compiling Jukebox.TPTP.Print ( src/Jukebox/TPTP/Print.hs, dist/build/Jukebox/TPTP/Print.o, dist/build/Jukebox/TPTP/Print.dyn_o )
src/Jukebox/TPTP/Print.hs:230: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."
|
230 | escapeAtom s | not (null s') && isLower (head s') && all isNormal s' = s
| ^^^^
src/Jukebox/TPTP/Print.hs:366:11: 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."
|
366 | head [c | c@(Renaming xs x) <- cands,
| ^^^^
[18 of 27] Compiling Jukebox.TPTP.Parse.Core ( src/Jukebox/TPTP/Parse/Core.hs, dist/build/Jukebox/TPTP/Parse/Core.o, dist/build/Jukebox/TPTP/Parse/Core.dyn_o )
src/Jukebox/TPTP/Parse/Core.hs:99:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative ParseResult.
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
99 | pure = return
| ^^^^^^^^^^^^^
src/Jukebox/TPTP/Parse/Core.hs:103: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
|
103 | return = ParseSucceeded
| ^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/TPTP/Parse/Core.hs:341:43: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, 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."
|
341 | " has arity " ++ show (head lengths) ++
| ^^^^
src/Jukebox/TPTP/Parse/Core.hs:404:9: warning: [GHC-53633] [-Woverlapping-patterns]
Pattern match is redundant
In a case alternative: [] -> ...
|
404 | [] -> ""
| ^^^^^^^^
[19 of 27] Compiling Jukebox.TPTP.ParseSnippet ( src/Jukebox/TPTP/ParseSnippet.hs, dist/build/Jukebox/TPTP/ParseSnippet.o, dist/build/Jukebox/TPTP/ParseSnippet.dyn_o )
[20 of 27] Compiling Jukebox.Tools.GuessModel ( src/Jukebox/Tools/GuessModel.hs, dist/build/Jukebox/Tools/GuessModel.o, dist/build/Jukebox/Tools/GuessModel.dyn_o )
src/Jukebox/Tools/GuessModel.hs:76: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."
|
76 | [] (head (funArgs answerP))
| ^^^^
[21 of 27] Compiling Jukebox.TPTP.Parse ( src/Jukebox/TPTP/Parse.hs, dist/build/Jukebox/TPTP/Parse.o, dist/build/Jukebox/TPTP/Parse.dyn_o )
[22 of 27] Compiling Jukebox.Sat.Easy ( src/Jukebox/Sat/Easy.hs, dist/build/Jukebox/Sat/Easy.o, dist/build/Jukebox/Sat/Easy.dyn_o )
[23 of 27] Compiling Jukebox.Tools.AnalyseMonotonicity ( src/Jukebox/Tools/AnalyseMonotonicity.hs, dist/build/Jukebox/Tools/AnalyseMonotonicity.o, dist/build/Jukebox/Tools/AnalyseMonotonicity.dyn_o )
[24 of 27] Compiling Jukebox.SMTLIB ( src/Jukebox/SMTLIB.hs, dist/build/Jukebox/SMTLIB.o, dist/build/Jukebox/SMTLIB.dyn_o )
[25 of 27] Compiling Jukebox.Toolbox ( src/Jukebox/Toolbox.hs, dist/build/Jukebox/Toolbox.o, dist/build/Jukebox/Toolbox.dyn_o )
[26 of 27] Compiling Jukebox.ExternalProvers.SPASS ( src/Jukebox/ExternalProvers/SPASS.hs, dist/build/Jukebox/ExternalProvers/SPASS.o, dist/build/Jukebox/ExternalProvers/SPASS.dyn_o )
src/Jukebox/ExternalProvers/SPASS.hs:48:3: 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 | head $
| ^^^^
[27 of 27] Compiling Jukebox.ExternalProvers.E ( src/Jukebox/ExternalProvers/E.hs, dist/build/Jukebox/ExternalProvers/E.o, dist/build/Jukebox/ExternalProvers/E.dyn_o )
src/Jukebox/ExternalProvers/E.hs:48: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."
|
48 | wrap <- newFunction "answer" [typ t] (head (funArgs f))
| ^^^^
src/Jukebox/ExternalProvers/E.hs:69: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."
|
69 | status = head $
| ^^^^
Preprocessing executable 'jukebox' for jukebox-0.5.9..
Building executable 'jukebox' for jukebox-0.5.9..
[1 of 1] Compiling Main ( executable/Main.hs, dist/build/jukebox/jukebox-tmp/Main.o )
[2 of 2] Linking dist/build/jukebox/jukebox
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/jukebox-0.5.9-1878e46fdc2d04882f0667ff7df72ee1788e5787fa74646bee98d9f757626cd6/lib
Installing executable jukebox in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/jukebox-0.5.9-1878e46fdc2d04882f0667ff7df72ee1788e5787fa74646bee98d9f757626cd6/bin
Warning: The directory
/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/jukebox-0.5.9-1878e46fdc2d04882f0667ff7df72ee1788e5787fa74646bee98d9f757626cd6/bin
is not in the system search path.
Configuring twee-2.6.1...
Preprocessing test suite 'twee-test' for twee-2.6.1..
Building test suite 'twee-test' for twee-2.6.1..
[1 of 1] Compiling Main ( misc/Test.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/twee-2.6.1/noopt/build/twee-test/twee-test-tmp/Main.o )
misc/Test.hs:30:52: error: [GHC-76037]
Not in scope: type constructor or class Labelled
|
30 | data Func = F Int Integer deriving (Eq, Ord, Show, Labelled)
| ^^^^^^^^
misc/Test.hs:62:11: error: [GHC-76037]
Not in scope: type constructor or class Labelled
|
62 | instance (Labelled f, Ord f, Typeable f, Arbitrary f, Arity f) => Arbitrary (Fun f) where
| ^^^^^^^^
misc/Test.hs:62:78: error: [GHC-76037]
Not in scope: type constructor or class Fun
Suggested fixes:
" Perhaps use Func (line 30)
" Remove Fun from the explicit hiding list in the import of
Test.QuickCheck (at misc/Test.hs:7:1-45).
|
62 | instance (Labelled f, Ord f, Typeable f, Arbitrary f, Arity f) => Arbitrary (Fun f) where
| ^^^
misc/Test.hs:65:11: error: [GHC-76037]
Not in scope: type constructor or class Labelled
|
65 | instance (Labelled f, Ord f, Typeable f, Arbitrary f, Arity f) => Arbitrary (Term f) where
| ^^^^^^^^
misc/Test.hs:81:11: error: [GHC-76037]
Not in scope: type constructor or class Labelled
|
81 | instance (Labelled f, Ord f, Typeable f, Arbitrary f, Arity f) => Arbitrary (TermList f) where
| ^^^^^^^^
misc/Test.hs:87:11: error: [GHC-76037]
Not in scope: type constructor or class Labelled
|
87 | instance (Labelled f, Ord f, Typeable f, Arbitrary f, Arity f) => Arbitrary (Pair f) where
| ^^^^^^^^
misc/Test.hs:94:11: error: [GHC-76037]
Not in scope: type constructor or class Labelled
|
94 | instance (Labelled f, Ord f, Typeable f, Arbitrary f, Arity f) => Arbitrary (Equation f) where
| ^^^^^^^^
misc/Test.hs:160:11: error: [GHC-76037]
Not in scope: type constructor or class Labelled
|
160 | instance (Labelled f, Ord f, Typeable f, Arbitrary f, Arity f) => Arbitrary (Terms f) where
| ^^^^^^^^
misc/Test.hs:170:11: error: [GHC-76037]
Not in scope: type constructor or class Labelled
|
170 | instance (Labelled f, Ord f, Typeable f, Arbitrary f, Arity f) => Arbitrary (IndexOps f) where
| ^^^^^^^^
misc/Test.hs:253:20: error: [GHC-76037]
Not in scope: data constructor Empty
|
253 | hnest _ (App _ Empty) c a = max c a
| ^^^^^
misc/Test.hs:263:20: error: [GHC-76037]
Not in scope: data constructor Empty
|
263 | hnest _ (App _ Empty) c = c
| ^^^^^
misc/Test.hs:272:13: error: [GHC-76037]
Not in scope: data constructor Empty
|
272 | hnest _ Empty c a = max c a
| ^^^^^
misc/Test.hs:274:26: error: [GHC-76037]
Not in scope: data constructor Empty
|
274 | hnest f (Cons (App _ Empty) ts) c a = hnest f ts c a
| ^^^^^
misc/Test.hs:287:18: error: [GHC-76037]
Not in scope: data constructor Empty
|
287 | hnest f c as Empty = M.insertWith max f c as
| ^^^^^
misc/Test.hs:289:31: error: [GHC-76037]
Not in scope: data constructor Empty
|
289 | hnest f c as (Cons (App _ Empty) ts) = hnest f c as ts
| ^^^^^