[all reports]
| Package |
term-rewriting-0.5 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2025-08-27 23:06:04.848692509 UTC
|
| Compiler |
ghc-9.8.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
ansi-wl-pprint-0.6.9, array-0.5.8.0, base-4.19.2.0, containers-0.6.8, mtl-2.3.1, multiset-0.3.4.3, parsec-3.1.17.0, union-find-array-0.1.0.4 |
| Flags |
none
|
Code Coverage
| expressions | 60% (630/1048) |
|---|
| boolean | guards | 27% (3/11) |
|---|
| conditions | 100% (2/2) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 59% (49/82) |
|---|
| local declarations | 75% (15/20) |
|---|
| top-level declarations | 41% (59/143) |
|---|
Build log
[view raw]
Resolving dependencies...
Configuring colour-2.3.6...
Preprocessing library for colour-2.3.6..
Building library for colour-2.3.6..
[ 1 of 14] Compiling Data.Colour.CIE.Chromaticity ( Data/Colour/CIE/Chromaticity.hs, dist/build/Data/Colour/CIE/Chromaticity.o, dist/build/Data/Colour/CIE/Chromaticity.dyn_o )
[ 2 of 14] Compiling Data.Colour.CIE.Illuminant ( Data/Colour/CIE/Illuminant.hs, dist/build/Data/Colour/CIE/Illuminant.o, dist/build/Data/Colour/CIE/Illuminant.dyn_o )
[ 3 of 14] Compiling Data.Colour.Chan ( Data/Colour/Chan.hs, dist/build/Data/Colour/Chan.o, dist/build/Data/Colour/Chan.dyn_o )
[ 4 of 14] Compiling Data.Colour.Internal ( Data/Colour/Internal.hs, dist/build/Data/Colour/Internal.o, dist/build/Data/Colour/Internal.dyn_o )
[ 5 of 14] Compiling Data.Colour.Matrix ( Data/Colour/Matrix.hs, dist/build/Data/Colour/Matrix.o, dist/build/Data/Colour/Matrix.dyn_o )
[ 6 of 14] Compiling Data.Colour.RGB ( Data/Colour/RGB.hs, dist/build/Data/Colour/RGB.o, dist/build/Data/Colour/RGB.dyn_o )
[ 7 of 14] Compiling Data.Colour.RGBSpace.HSL ( Data/Colour/RGBSpace/HSL.hs, dist/build/Data/Colour/RGBSpace/HSL.o, dist/build/Data/Colour/RGBSpace/HSL.dyn_o )
[ 8 of 14] Compiling Data.Colour.RGBSpace.HSV ( Data/Colour/RGBSpace/HSV.hs, dist/build/Data/Colour/RGBSpace/HSV.o, dist/build/Data/Colour/RGBSpace/HSV.dyn_o )
[ 9 of 14] Compiling Data.Colour.SRGB.Linear ( Data/Colour/SRGB/Linear.hs, dist/build/Data/Colour/SRGB/Linear.o, dist/build/Data/Colour/SRGB/Linear.dyn_o )
[10 of 14] Compiling Data.Colour.RGBSpace ( Data/Colour/RGBSpace.hs, dist/build/Data/Colour/RGBSpace.o, dist/build/Data/Colour/RGBSpace.dyn_o )
[11 of 14] Compiling Data.Colour.SRGB ( Data/Colour/SRGB.hs, dist/build/Data/Colour/SRGB.o, dist/build/Data/Colour/SRGB.dyn_o )
Data/Colour/SRGB.hs:117:8: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
117 | x' | head x == '#' = tail x
| ^^^^
Data/Colour/SRGB.hs:117:24: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
117 | x' | head x == '#' = tail x
| ^^^^
Data/Colour/SRGB.hs:127:50: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
127 | sRGB24read x | length rx /= 1 || not (null (snd (head rx))) =
| ^^^^
Data/Colour/SRGB.hs:129:33: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
129 | | otherwise = fst (head rx)
| ^^^^
[12 of 14] Compiling Data.Colour ( Data/Colour.hs, dist/build/Data/Colour.o, dist/build/Data/Colour.dyn_o )
[13 of 14] Compiling Data.Colour.Names ( Data/Colour/Names.hs, dist/build/Data/Colour/Names.o, dist/build/Data/Colour/Names.dyn_o )
[14 of 14] Compiling Data.Colour.CIE ( Data/Colour/CIE.hs, dist/build/Data/Colour/CIE.o, dist/build/Data/Colour/CIE.dyn_o )
Preprocessing library for colour-2.3.6..
Running Haddock on library for colour-2.3.6..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 14] Compiling Data.Colour.CIE.Chromaticity ( Data/Colour/CIE/Chromaticity.hs, nothing )
[ 2 of 14] Compiling Data.Colour.CIE.Illuminant ( Data/Colour/CIE/Illuminant.hs, nothing )
[ 3 of 14] Compiling Data.Colour.Chan ( Data/Colour/Chan.hs, nothing )
[ 4 of 14] Compiling Data.Colour.Internal ( Data/Colour/Internal.hs, nothing )
[ 5 of 14] Compiling Data.Colour.Matrix ( Data/Colour/Matrix.hs, nothing )
[ 6 of 14] Compiling Data.Colour.RGB ( Data/Colour/RGB.hs, nothing )
[ 7 of 14] Compiling Data.Colour.RGBSpace.HSL ( Data/Colour/RGBSpace/HSL.hs, nothing )
[ 8 of 14] Compiling Data.Colour.RGBSpace.HSV ( Data/Colour/RGBSpace/HSV.hs, nothing )
[ 9 of 14] Compiling Data.Colour.SRGB.Linear ( Data/Colour/SRGB/Linear.hs, nothing )
[10 of 14] Compiling Data.Colour.RGBSpace ( Data/Colour/RGBSpace.hs, nothing )
[11 of 14] Compiling Data.Colour.SRGB ( Data/Colour/SRGB.hs, nothing )
Data/Colour/SRGB.hs:117:8: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
117 | x' | head x == '#' = tail x
| ^^^^
Data/Colour/SRGB.hs:117:24: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
117 | x' | head x == '#' = tail x
| ^^^^
Data/Colour/SRGB.hs:127:50: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
127 | sRGB24read x | length rx /= 1 || not (null (snd (head rx))) =
| ^^^^
Data/Colour/SRGB.hs:129:33: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
129 | | otherwise = fst (head rx)
| ^^^^
[12 of 14] Compiling Data.Colour ( Data/Colour.hs, nothing )
[13 of 14] Compiling Data.Colour.Names ( Data/Colour/Names.hs, nothing )
[14 of 14] Compiling Data.Colour.CIE ( Data/Colour/CIE.hs, nothing )
Haddock coverage:
100% ( 21 / 21) in 'Data.Colour.CIE.Illuminant'
Warning: 'RGBGamut' is ambiguous. It is defined
* at Data/Colour/RGB.hs:54:17
* at Data/Colour/RGB.hs:54:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at Data/Colour/RGB.hs:54:1
Warning: 'RGB' is ambiguous. It is defined
* at Data/Colour/RGB.hs:30:14
* at Data/Colour/RGB.hs:30:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at Data/Colour/RGB.hs:30:1
Warning: 'RGB' is ambiguous. It is defined
* at Data/Colour/RGB.hs:30:14
* at Data/Colour/RGB.hs:30:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at Data/Colour/RGB.hs:30:1
85% ( 6 / 7) in 'Data.Colour.RGBSpace.HSL'
Missing documentation for:
Module header
Warning: 'RGB' is ambiguous. It is defined
* at Data/Colour/RGB.hs:30:14
* at Data/Colour/RGB.hs:30:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at Data/Colour/RGB.hs:30:1
85% ( 6 / 7) in 'Data.Colour.RGBSpace.HSV'
Missing documentation for:
Module header
100% ( 6 / 6) in 'Data.Colour.SRGB.Linear'
Warning: 'RGBSpace' is ambiguous. It is defined
* at Data/Colour/RGBSpace.hs:122:19
* at Data/Colour/RGBSpace.hs:122:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at Data/Colour/RGBSpace.hs:122:1
Warning: 'TransferFunction' is ambiguous. It is defined
* at Data/Colour/RGBSpace.hs:92:27
* at Data/Colour/RGBSpace.hs:92:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at Data/Colour/RGBSpace.hs:92:1
Warning: 'RGB' is ambiguous. It is defined
* at Data/Colour/RGB.hs:30:14
* at Data/Colour/RGB.hs:30:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at Data/Colour/RGB.hs:30:1
Warning: 'RGBGamut' is ambiguous. It is defined
* at Data/Colour/RGB.hs:54:17
* at Data/Colour/RGB.hs:54:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at Data/Colour/RGB.hs:54:1
83% ( 20 / 24) in 'Data.Colour.RGBSpace'
Missing documentation for:
primaries
whitePoint
gamut
transferFunction
100% ( 14 / 14) in 'Data.Colour.SRGB'
85% ( 17 / 20) in 'Data.Colour'
Missing documentation for:
black (Data/Colour/Internal.hs:53)
AffineSpace (Data/Colour/Internal.hs:110)
ColourOps (Data/Colour/Internal.hs:147)
0% ( 1 /149) in 'Data.Colour.Names'
Missing documentation for:
readColourName (Data/Colour/Names.hs:190)
aliceblue (Data/Colour/Names.hs:341)
antiquewhite (Data/Colour/Names.hs:344)
aqua (Data/Colour/Names.hs:347)
aquamarine (Data/Colour/Names.hs:350)
azure (Data/Colour/Names.hs:353)
beige (Data/Colour/Names.hs:356)
bisque (Data/Colour/Names.hs:359)
black (Data/Colour/Internal.hs:53)
blanchedalmond (Data/Colour/Names.hs:364)
blue (Data/Colour/Names.hs:367)
blueviolet (Data/Colour/Names.hs:370)
brown (Data/Colour/Names.hs:373)
burlywood (Data/Colour/Names.hs:376)
cadetblue (Data/Colour/Names.hs:379)
chartreuse (Data/Colour/Names.hs:382)
chocolate (Data/Colour/Names.hs:385)
coral (Data/Colour/Names.hs:388)
cornflowerblue (Data/Colour/Names.hs:391)
cornsilk (Data/Colour/Names.hs:394)
crimson (Data/Colour/Names.hs:397)
cyan (Data/Colour/Names.hs:400)
darkblue (Data/Colour/Names.hs:403)
darkcyan (Data/Colour/Names.hs:406)
darkgoldenrod (Data/Colour/Names.hs:409)
darkgray (Data/Colour/Names.hs:412)
darkgreen (Data/Colour/Names.hs:415)
darkgrey (Data/Colour/Names.hs:418)
darkkhaki (Data/Colour/Names.hs:421)
darkmagenta (Data/Colour/Names.hs:424)
darkolivegreen (Data/Colour/Names.hs:427)
darkorange (Data/Colour/Names.hs:430)
darkorchid (Data/Colour/Names.hs:433)
darkred (Data/Colour/Names.hs:436)
darksalmon (Data/Colour/Names.hs:439)
darkseagreen (Data/Colour/Names.hs:442)
darkslateblue (Data/Colour/Names.hs:445)
darkslategray (Data/Colour/Names.hs:448)
darkslategrey (Data/Colour/Names.hs:451)
darkturquoise (Data/Colour/Names.hs:454)
darkviolet (Data/Colour/Names.hs:457)
deeppink (Data/Colour/Names.hs:460)
deepskyblue (Data/Colour/Names.hs:463)
dimgray (Data/Colour/Names.hs:466)
dimgrey (Data/Colour/Names.hs:469)
dodgerblue (Data/Colour/Names.hs:472)
firebrick (Data/Colour/Names.hs:475)
floralwhite (Data/Colour/Names.hs:478)
forestgreen (Data/Colour/Names.hs:481)
fuchsia (Data/Colour/Names.hs:484)
gainsboro (Data/Colour/Names.hs:487)
ghostwhite (Data/Colour/Names.hs:490)
gold (Data/Colour/Names.hs:493)
goldenrod (Data/Colour/Names.hs:496)
gray (Data/Colour/Names.hs:499)
grey (Data/Colour/Names.hs:502)
green (Data/Colour/Names.hs:505)
greenyellow (Data/Colour/Names.hs:508)
honeydew (Data/Colour/Names.hs:511)
hotpink (Data/Colour/Names.hs:514)
indianred (Data/Colour/Names.hs:517)
indigo (Data/Colour/Names.hs:520)
ivory (Data/Colour/Names.hs:523)
khaki (Data/Colour/Names.hs:526)
lavender (Data/Colour/Names.hs:529)
lavenderblush (Data/Colour/Names.hs:532)
lawngreen (Data/Colour/Names.hs:535)
lemonchiffon (Data/Colour/Names.hs:538)
lightblue (Data/Colour/Names.hs:541)
lightcoral (Data/Colour/Names.hs:544)
lightcyan (Data/Colour/Names.hs:547)
lightgoldenrodyellow (Data/Colour/Names.hs:550)
lightgray (Data/Colour/Names.hs:553)
lightgreen (Data/Colour/Names.hs:556)
lightgrey (Data/Colour/Names.hs:559)
lightpink (Data/Colour/Names.hs:562)
lightsalmon (Data/Colour/Names.hs:565)
lightseagreen (Data/Colour/Names.hs:568)
lightskyblue (Data/Colour/Names.hs:571)
lightslategray (Data/Colour/Names.hs:574)
lightslategrey (Data/Colour/Names.hs:577)
lightsteelblue (Data/Colour/Names.hs:580)
lightyellow (Data/Colour/Names.hs:583)
lime (Data/Colour/Names.hs:586)
limegreen (Data/Colour/Names.hs:589)
linen (Data/Colour/Names.hs:592)
magenta (Data/Colour/Names.hs:595)
maroon (Data/Colour/Names.hs:598)
mediumaquamarine (Data/Colour/Names.hs:601)
mediumblue (Data/Colour/Names.hs:604)
mediumorchid (Data/Colour/Names.hs:607)
mediumpurple (Data/Colour/Names.hs:610)
mediumseagreen (Data/Colour/Names.hs:613)
mediumslateblue (Data/Colour/Names.hs:616)
mediumspringgreen (Data/Colour/Names.hs:619)
mediumturquoise (Data/Colour/Names.hs:622)
mediumvioletred (Data/Colour/Names.hs:625)
midnightblue (Data/Colour/Names.hs:628)
mintcream (Data/Colour/Names.hs:631)
mistyrose (Data/Colour/Names.hs:634)
moccasin (Data/Colour/Names.hs:637)
navajowhite (Data/Colour/Names.hs:640)
navy (Data/Colour/Names.hs:643)
oldlace (Data/Colour/Names.hs:646)
olive (Data/Colour/Names.hs:649)
olivedrab (Data/Colour/Names.hs:652)
orange (Data/Colour/Names.hs:655)
orangered (Data/Colour/Names.hs:658)
orchid (Data/Colour/Names.hs:661)
palegoldenrod (Data/Colour/Names.hs:664)
palegreen (Data/Colour/Names.hs:667)
paleturquoise (Data/Colour/Names.hs:670)
palevioletred (Data/Colour/Names.hs:673)
papayawhip (Data/Colour/Names.hs:676)
peachpuff (Data/Colour/Names.hs:679)
peru (Data/Colour/Names.hs:682)
pink (Data/Colour/Names.hs:685)
plum (Data/Colour/Names.hs:688)
powderblue (Data/Colour/Names.hs:691)
purple (Data/Colour/Names.hs:694)
red (Data/Colour/Names.hs:697)
rosybrown (Data/Colour/Names.hs:700)
royalblue (Data/Colour/Names.hs:703)
saddlebrown (Data/Colour/Names.hs:706)
salmon (Data/Colour/Names.hs:709)
sandybrown (Data/Colour/Names.hs:712)
seagreen (Data/Colour/Names.hs:715)
seashell (Data/Colour/Names.hs:718)
sienna (Data/Colour/Names.hs:721)
silver (Data/Colour/Names.hs:724)
skyblue (Data/Colour/Names.hs:727)
slateblue (Data/Colour/Names.hs:730)
slategray (Data/Colour/Names.hs:733)
slategrey (Data/Colour/Names.hs:736)
snow (Data/Colour/Names.hs:739)
springgreen (Data/Colour/Names.hs:742)
steelblue (Data/Colour/Names.hs:745)
tan (Data/Colour/Names.hs:748)
teal (Data/Colour/Names.hs:751)
thistle (Data/Colour/Names.hs:754)
tomato (Data/Colour/Names.hs:757)
turquoise (Data/Colour/Names.hs:760)
violet (Data/Colour/Names.hs:763)
wheat (Data/Colour/Names.hs:766)
white (Data/Colour/Names.hs:769)
whitesmoke (Data/Colour/Names.hs:772)
yellow (Data/Colour/Names.hs:775)
yellowgreen (Data/Colour/Names.hs:778)
Warning: 'toCIEXYZ' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'cieXYZView' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
88% ( 15 / 17) in 'Data.Colour.CIE'
Missing documentation for:
toCIEXYZ (Data/Colour/CIE.hs:65)
Chromaticity (Data/Colour/CIE/Chromaticity.hs:25)
Documentation created: dist/doc/html/colour/, dist/doc/html/colour/colour.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/colour-2.3.6-JegldMtiv9a8c4VaIBFkGx
Completed colour-2.3.6
Downloading multiset-0.3.4.3
Downloaded multiset-0.3.4.3
Configuring multiset-0.3.4.3...
Preprocessing library for multiset-0.3.4.3..
Building library for multiset-0.3.4.3..
[1 of 2] Compiling Data.MultiSet ( Data/MultiSet.hs, dist/build/Data/MultiSet.o, dist/build/Data/MultiSet.dyn_o )
Data/MultiSet.hs:201:5: warning: [GHC-50928] [-Wnoncanonical-monoid-instances]
Noncanonical mappend definition detected
in the instance declaration for Monoid (MultiSet a).
mappend will eventually be removed in favour of (<>)
Suggested fix:
Either remove definition for mappend (recommended) or define as mappend = (<>)
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid
|
201 | mappend = union
| ^^^^^^^^^^^^^^^
[2 of 2] Compiling Data.IntMultiSet ( Data/IntMultiSet.hs, dist/build/Data/IntMultiSet.o, dist/build/Data/IntMultiSet.dyn_o )
Data/IntMultiSet.hs:197:5: warning: [GHC-50928] [-Wnoncanonical-monoid-instances]
Noncanonical mappend definition detected
in the instance declaration for Monoid IntMultiSet.
mappend will eventually be removed in favour of (<>)
Suggested fix:
Either remove definition for mappend (recommended) or define as mappend = (<>)
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid
|
197 | mappend = union
| ^^^^^^^^^^^^^^^
Preprocessing library for multiset-0.3.4.3..
Running Haddock on library for multiset-0.3.4.3..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 2] Compiling Data.MultiSet ( Data/MultiSet.hs, nothing )
Data/MultiSet.hs:201:5: warning: [GHC-50928] [-Wnoncanonical-monoid-instances]
Noncanonical mappend definition detected
in the instance declaration for Monoid (MultiSet a).
mappend will eventually be removed in favour of (<>)
Suggested fix:
Either remove definition for mappend (recommended) or define as mappend = (<>)
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid
|
201 | mappend = union
| ^^^^^^^^^^^^^^^
[2 of 2] Compiling Data.IntMultiSet ( Data/IntMultiSet.hs, nothing )
Data/IntMultiSet.hs:197:5: warning: [GHC-50928] [-Wnoncanonical-monoid-instances]
Noncanonical mappend definition detected
in the instance declaration for Monoid IntMultiSet.
mappend will eventually be removed in favour of (<>)
Suggested fix:
Either remove definition for mappend (recommended) or define as mappend = (<>)
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid
|
197 | mappend = union
| ^^^^^^^^^^^^^^^
Haddock coverage:
100% ( 85 / 85) in 'Data.MultiSet'
100% ( 85 / 85) in 'Data.IntMultiSet'
Documentation created: dist/doc/html/multiset/,
dist/doc/html/multiset/multiset.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/multiset-0.3.4.3-9rBllGFGqvW6QRfu3plpc7
Completed multiset-0.3.4.3
Downloading union-find-array-0.1.0.4
Downloaded union-find-array-0.1.0.4
Configuring union-find-array-0.1.0.4...
Preprocessing library for union-find-array-0.1.0.4..
Building library for union-find-array-0.1.0.4..
[1 of 5] Compiling Data.Union.Type ( src/Data/Union/Type.hs, dist/build/Data/Union/Type.o, dist/build/Data/Union/Type.dyn_o )
[2 of 5] Compiling Data.Union.ST ( src/Data/Union/ST.hs, dist/build/Data/Union/ST.o, dist/build/Data/Union/ST.dyn_o )
[3 of 5] Compiling Data.Union ( src/Data/Union.hs, dist/build/Data/Union.o, dist/build/Data/Union.dyn_o )
[4 of 5] Compiling Control.Monad.Union.Class ( src/Control/Monad/Union/Class.hs, dist/build/Control/Monad/Union/Class.o, dist/build/Control/Monad/Union/Class.dyn_o )
[5 of 5] Compiling Control.Monad.Union ( src/Control/Monad/Union.hs, dist/build/Control/Monad/Union.o, dist/build/Control/Monad/Union.dyn_o )
src/Control/Monad/Union.hs:43:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (UnionM l).
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
|
43 | return x = U (return x)
| ^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/Union.hs:50:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (UnionM l).
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
50 | pure = return
| ^^^^^^^^^^^^^
Preprocessing library for union-find-array-0.1.0.4..
Running Haddock on library for union-find-array-0.1.0.4..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 5] Compiling Data.Union.Type ( src/Data/Union/Type.hs, nothing )
[2 of 5] Compiling Data.Union.ST ( src/Data/Union/ST.hs, nothing )
[3 of 5] Compiling Data.Union ( src/Data/Union.hs, nothing )
[4 of 5] Compiling Control.Monad.Union.Class ( src/Control/Monad/Union/Class.hs, nothing )
[5 of 5] Compiling Control.Monad.Union ( src/Control/Monad/Union.hs, nothing )
src/Control/Monad/Union.hs:43:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (UnionM l).
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
|
43 | return x = U (return x)
| ^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/Union.hs:50:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (UnionM l).
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
50 | pure = return
| ^^^^^^^^^^^^^
Haddock coverage:
66% ( 2 / 3) in 'Data.Union.Type'
Missing documentation for:
Module header
91% ( 11 / 12) in 'Data.Union.ST'
Missing documentation for:
size
100% ( 6 / 6) in 'Data.Union'
0% ( 0 / 2) in 'Control.Monad.Union.Class'
Missing documentation for:
Module header
MonadUnion (src/Control/Monad/Union/Class.hs:16)
85% ( 6 / 7) in 'Control.Monad.Union'
Missing documentation for:
MonadUnion (src/Control/Monad/Union/Class.hs:16)
Documentation created: dist/doc/html/union-find-array/,
dist/doc/html/union-find-array/union-find-array.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/union-find-array-0.1.0.4-2iCXS7y15GbLiwNEhnDF33
Completed union-find-array-0.1.0.4
Configuring ansi-terminal-types-0.11.5...
Preprocessing library for ansi-terminal-types-0.11.5..
Building library for ansi-terminal-types-0.11.5..
[1 of 1] 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 )
Preprocessing library for ansi-terminal-types-0.11.5..
Running Haddock on library for ansi-terminal-types-0.11.5..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 1] Compiling System.Console.ANSI.Types ( src/System/Console/ANSI/Types.hs, nothing )
Haddock coverage:
100% ( 13 / 13) in 'System.Console.ANSI.Types'
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-0.11.5-2D2SGAVI2Nk41itSs6j6IB
Completed ansi-terminal-types-0.11.5
Configuring ansi-terminal-1.0.2...
Preprocessing library for ansi-terminal-1.0.2..
Building library for ansi-terminal-1.0.2..
[1 of 3] 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 )
[2 of 3] 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 )
[3 of 3] 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.0.2..
Running Haddock on library for ansi-terminal-1.0.2..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 3] Compiling System.Console.ANSI.Codes ( src/System/Console/ANSI/Codes.hs, nothing )
[2 of 3] Compiling System.Console.ANSI.Internal ( unix/System/Console/ANSI/Internal.hs, nothing )
[3 of 3] Compiling System.Console.ANSI ( src/System/Console/ANSI.hs, nothing )
Haddock coverage:
64% ( 34 / 53) in 'System.Console.ANSI.Codes'
Missing documentation for:
cursorUpCode (src/System/Console/ANSI/Codes.hs:154)
cursorDownCode (src/System/Console/ANSI/Codes.hs:155)
cursorForwardCode (src/System/Console/ANSI/Codes.hs:156)
cursorBackwardCode (src/System/Console/ANSI/Codes.hs:157)
cursorUpLineCode (src/System/Console/ANSI/Codes.hs:163)
cursorDownLineCode (src/System/Console/ANSI/Codes.hs:162)
clearFromCursorToScreenEndCode (src/System/Console/ANSI/Codes.hs:225)
clearFromCursorToScreenBeginningCode (src/System/Console/ANSI/Codes.hs:226)
clearScreenCode (src/System/Console/ANSI/Codes.hs:227)
clearFromCursorToLineEndCode (src/System/Console/ANSI/Codes.hs:228)
clearFromCursorToLineBeginningCode (src/System/Console/ANSI/Codes.hs:229)
clearLineCode (src/System/Console/ANSI/Codes.hs:230)
scrollPageUpCode (src/System/Console/ANSI/Codes.hs:235)
scrollPageDownCode (src/System/Console/ANSI/Codes.hs:236)
useAlternateScreenBufferCode (src/System/Console/ANSI/Codes.hs:239)
useNormalScreenBufferCode (src/System/Console/ANSI/Codes.hs:240)
setSGRCode (src/System/Console/ANSI/Codes.hs:248)
hideCursorCode (src/System/Console/ANSI/Codes.hs:251)
showCursorCode (src/System/Console/ANSI/Codes.hs:252)
Warning: 'hGetBufNonBlocking' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'hIsWritable' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'hIsTerminalDevice' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'stderr' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
55% ( 81 /145) in 'System.Console.ANSI'
Missing documentation for:
cursorUp (src/System/Console/ANSI.hs:394)
cursorDown (src/System/Console/ANSI.hs:395)
cursorForward (src/System/Console/ANSI.hs:396)
cursorBackward (src/System/Console/ANSI.hs:397)
hCursorUp (src/System/Console/ANSI.hs:386)
hCursorDown (src/System/Console/ANSI.hs:387)
hCursorForward (src/System/Console/ANSI.hs:388)
hCursorBackward (src/System/Console/ANSI.hs:389)
cursorUpCode (src/System/Console/ANSI/Codes.hs:154)
cursorDownCode (src/System/Console/ANSI/Codes.hs:155)
cursorForwardCode (src/System/Console/ANSI/Codes.hs:156)
cursorBackwardCode (src/System/Console/ANSI/Codes.hs:157)
cursorUpLine (src/System/Console/ANSI.hs:410)
cursorDownLine (src/System/Console/ANSI.hs:409)
hCursorUpLine (src/System/Console/ANSI.hs:404)
hCursorDownLine (src/System/Console/ANSI.hs:403)
cursorUpLineCode (src/System/Console/ANSI/Codes.hs:163)
cursorDownLineCode (src/System/Console/ANSI/Codes.hs:162)
hSetCursorColumn (src/System/Console/ANSI.hs:416)
hSetCursorPosition (src/System/Console/ANSI.hs:430)
hSaveCursor (src/System/Console/ANSI.hs:441)
hRestoreCursor (src/System/Console/ANSI.hs:442)
hReportCursorPosition (src/System/Console/ANSI.hs:443)
clearFromCursorToScreenEnd (src/System/Console/ANSI.hs:1008)
clearFromCursorToScreenBeginning (src/System/Console/ANSI.hs:1009)
clearScreen (src/System/Console/ANSI.hs:1010)
clearFromCursorToLineEnd (src/System/Console/ANSI.hs:1020)
clearFromCursorToLineBeginning (src/System/Console/ANSI.hs:1021)
clearLine (src/System/Console/ANSI.hs:1022)
hClearFromCursorToScreenEnd (src/System/Console/ANSI.hs:1002)
hClearFromCursorToScreenBeginning (src/System/Console/ANSI.hs:1003)
hClearScreen (src/System/Console/ANSI.hs:1005)
hClearFromCursorToLineEnd (src/System/Console/ANSI.hs:1015)
hClearFromCursorToLineBeginning (src/System/Console/ANSI.hs:1016)
hClearLine (src/System/Console/ANSI.hs:1017)
clearFromCursorToScreenEndCode (src/System/Console/ANSI/Codes.hs:225)
clearFromCursorToScreenBeginningCode (src/System/Console/ANSI/Codes.hs:226)
clearScreenCode (src/System/Console/ANSI/Codes.hs:227)
clearFromCursorToLineEndCode (src/System/Console/ANSI/Codes.hs:228)
clearFromCursorToLineBeginningCode (src/System/Console/ANSI/Codes.hs:229)
clearLineCode (src/System/Console/ANSI/Codes.hs:230)
scrollPageUp (src/System/Console/ANSI.hs:1034)
scrollPageDown (src/System/Console/ANSI.hs:1035)
hScrollPageUp (src/System/Console/ANSI.hs:1028)
hScrollPageDown (src/System/Console/ANSI.hs:1029)
scrollPageUpCode (src/System/Console/ANSI/Codes.hs:235)
scrollPageDownCode (src/System/Console/ANSI/Codes.hs:236)
hUseAlternateScreenBuffer (src/System/Console/ANSI.hs:487)
hUseNormalScreenBuffer (src/System/Console/ANSI.hs:490)
useAlternateScreenBufferCode (src/System/Console/ANSI/Codes.hs:239)
useNormalScreenBufferCode (src/System/Console/ANSI/Codes.hs:240)
hReportLayerColor (src/System/Console/ANSI.hs:796)
hSetSGR (src/System/Console/ANSI.hs:988)
setSGRCode (src/System/Console/ANSI/Codes.hs:248)
hideCursor (src/System/Console/ANSI.hs:483)
showCursor (src/System/Console/ANSI.hs:484)
hHideCursor (src/System/Console/ANSI.hs:479)
hShowCursor (src/System/Console/ANSI.hs:480)
hideCursorCode (src/System/Console/ANSI/Codes.hs:251)
showCursorCode (src/System/Console/ANSI/Codes.hs:252)
hHyperlink (src/System/Console/ANSI.hs:549)
hHyperlinkWithId (src/System/Console/ANSI.hs:571)
hHyperlinkWithParams (src/System/Console/ANSI.hs:526)
hSetTitle (src/System/Console/ANSI.hs:591)
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.0.2-8WfabkVdIo0EKG5sA8gsq8
Completed ansi-terminal-1.0.2
Configuring ansi-wl-pprint-0.6.9...
Preprocessing library for ansi-wl-pprint-0.6.9..
Building library for ansi-wl-pprint-0.6.9..
[1 of 2] Compiling Text.PrettyPrint.ANSI.Leijen.Internal ( Text/PrettyPrint/ANSI/Leijen/Internal.hs, dist/build/Text/PrettyPrint/ANSI/Leijen/Internal.o, dist/build/Text/PrettyPrint/ANSI/Leijen/Internal.dyn_o )
Text/PrettyPrint/ANSI/Leijen/Internal.hs:34:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Monoid is redundant
except perhaps to import instances from Data.Monoid
To import instances alone, use: import Data.Monoid()
|
34 | import Data.Monoid ((<>))
| ^^^^^^^^^^^^^^^^^^^^^^^^^
[2 of 2] Compiling Text.PrettyPrint.ANSI.Leijen ( Text/PrettyPrint/ANSI/Leijen.hs, dist/build/Text/PrettyPrint/ANSI/Leijen.o, dist/build/Text/PrettyPrint/ANSI/Leijen.dyn_o )
Text/PrettyPrint/ANSI/Leijen.hs:164:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Monoid is redundant
except perhaps to import instances from Data.Monoid
To import instances alone, use: import Data.Monoid()
|
164 | import Data.Monoid ((<>))
| ^^^^^^^^^^^^^^^^^^^^^^^^^
Preprocessing library for ansi-wl-pprint-0.6.9..
Running Haddock on library for ansi-wl-pprint-0.6.9..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 2] Compiling Text.PrettyPrint.ANSI.Leijen.Internal ( Text/PrettyPrint/ANSI/Leijen/Internal.hs, nothing )
Text/PrettyPrint/ANSI/Leijen/Internal.hs:34:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Monoid is redundant
except perhaps to import instances from Data.Monoid
To import instances alone, use: import Data.Monoid()
|
34 | import Data.Monoid ((<>))
| ^^^^^^^^^^^^^^^^^^^^^^^^^
[2 of 2] Compiling Text.PrettyPrint.ANSI.Leijen ( Text/PrettyPrint/ANSI/Leijen.hs, nothing )
Text/PrettyPrint/ANSI/Leijen.hs:164:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Monoid is redundant
except perhaps to import instances from Data.Monoid
To import instances alone, use: import Data.Monoid()
|
164 | import Data.Monoid ((<>))
| ^^^^^^^^^^^^^^^^^^^^^^^^^
Haddock coverage:
88% (117 /132) in 'Text.PrettyPrint.ANSI.Leijen.Internal'
Missing documentation for:
fold (Text/PrettyPrint/ANSI/Leijen/Internal.hs:222)
width (Text/PrettyPrint/ANSI/Leijen/Internal.hs:517)
beside (Text/PrettyPrint/ANSI/Leijen/Internal.hs:702)
column (Text/PrettyPrint/ANSI/Leijen/Internal.hs:721)
nesting (Text/PrettyPrint/ANSI/Leijen/Internal.hs:722)
columns (Text/PrettyPrint/ANSI/Leijen/Internal.hs:725)
flatten (Text/PrettyPrint/ANSI/Leijen/Internal.hs:741)
colorFunctions (Text/PrettyPrint/ANSI/Leijen/Internal.hs:808)
oncolorFunctions (Text/PrettyPrint/ANSI/Leijen/Internal.hs:859)
Docs (Text/PrettyPrint/ANSI/Leijen/Internal.hs:942)
renderFits (Text/PrettyPrint/ANSI/Leijen/Internal.hs:993)
fits1 (Text/PrettyPrint/ANSI/Leijen/Internal.hs:1060)
fitsR (Text/PrettyPrint/ANSI/Leijen/Internal.hs:1079)
spaces (Text/PrettyPrint/ANSI/Leijen/Internal.hs:1212)
indentation (Text/PrettyPrint/ANSI/Leijen/Internal.hs:1216)
Warning: '<$>' is ambiguous. It is defined
* at Text/PrettyPrint/ANSI/Leijen/Internal.hs:254:3
* in Data.Functor
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 Text/PrettyPrint/ANSI/Leijen/Internal.hs:254:3
97% (137 /141) in 'Text.PrettyPrint.ANSI.Leijen'
Missing documentation for:
column (Text/PrettyPrint/ANSI/Leijen/Internal.hs:721)
columns (Text/PrettyPrint/ANSI/Leijen/Internal.hs:725)
nesting (Text/PrettyPrint/ANSI/Leijen/Internal.hs:722)
width (Text/PrettyPrint/ANSI/Leijen/Internal.hs:517)
Documentation created: dist/doc/html/ansi-wl-pprint/,
dist/doc/html/ansi-wl-pprint/ansi-wl-pprint.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/ansi-wl-pprint-0.6.9-F0XiM4GeqHFHq3UUuRqZbP
Completed ansi-wl-pprint-0.6.9
Downloading term-rewriting-0.5
Downloaded term-rewriting-0.5
Configuring term-rewriting-0.5...
Preprocessing library for term-rewriting-0.5..
Building library for term-rewriting-0.5..
[ 1 of 32] Compiling Data.Rewriting.Term.Type ( src/Data/Rewriting/Term/Type.hs, dist/build/Data/Rewriting/Term/Type.o, dist/build/Data/Rewriting/Term/Type.dyn_o )
[ 2 of 32] Compiling Data.Rewriting.Term.Pretty ( src/Data/Rewriting/Term/Pretty.hs, dist/build/Data/Rewriting/Term/Pretty.o, dist/build/Data/Rewriting/Term/Pretty.dyn_o )
[ 3 of 32] Compiling Data.Rewriting.Substitution.Type ( src/Data/Rewriting/Substitution/Type.hs, dist/build/Data/Rewriting/Substitution/Type.o, dist/build/Data/Rewriting/Substitution/Type.dyn_o )
[ 4 of 32] Compiling Data.Rewriting.Substitution.Match ( src/Data/Rewriting/Substitution/Match.hs, dist/build/Data/Rewriting/Substitution/Match.o, dist/build/Data/Rewriting/Substitution/Match.dyn_o )
[ 5 of 32] Compiling Data.Rewriting.Rule.Type ( src/Data/Rewriting/Rule/Type.hs, dist/build/Data/Rewriting/Rule/Type.o, dist/build/Data/Rewriting/Rule/Type.dyn_o )
[ 6 of 32] Compiling Data.Rewriting.Utils ( src/Data/Rewriting/Utils.hs, dist/build/Data/Rewriting/Utils.o, dist/build/Data/Rewriting/Utils.dyn_o )
[ 7 of 32] Compiling Data.Rewriting.Pos ( src/Data/Rewriting/Pos.hs, dist/build/Data/Rewriting/Pos.o, dist/build/Data/Rewriting/Pos.dyn_o )
src/Data/Rewriting/Pos.hs:49:48: 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."
|
49 | leftOf p q = not (null p') && not (null q') && head p' < head q' where
| ^^^^
src/Data/Rewriting/Pos.hs:49:58: 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."
|
49 | leftOf p q = not (null p') && not (null q') && head p' < head q' where
| ^^^^
src/Data/Rewriting/Pos.hs:54:49: 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."
|
54 | rightOf p q = not (null p') && not (null q') && head p' > head q' where
| ^^^^
src/Data/Rewriting/Pos.hs:54:59: 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."
|
54 | rightOf p q = not (null p') && not (null q') && head p' > head q' where
| ^^^^
[ 8 of 32] Compiling Data.Rewriting.Term.Ops ( src/Data/Rewriting/Term/Ops.hs, dist/build/Data/Rewriting/Term/Ops.o, dist/build/Data/Rewriting/Term/Ops.dyn_o )
[ 9 of 32] Compiling Data.Rewriting.Utils.Parse ( src/Data/Rewriting/Utils/Parse.hs, dist/build/Data/Rewriting/Utils/Parse.o, dist/build/Data/Rewriting/Utils/Parse.dyn_o )
[10 of 32] Compiling Data.Rewriting.Term.Parse ( src/Data/Rewriting/Term/Parse.hs, dist/build/Data/Rewriting/Term/Parse.o, dist/build/Data/Rewriting/Term/Parse.dyn_o )
[11 of 32] Compiling Data.Rewriting.Term ( src/Data/Rewriting/Term.hs, dist/build/Data/Rewriting/Term.o, dist/build/Data/Rewriting/Term.dyn_o )
src/Data/Rewriting/Term.hs:11:5: warning: [GHC-47854] [-Wduplicate-exports]
map is exported by module Data.Rewriting.Term.Type and map
|
11 | module Data.Rewriting.Term.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Term.hs:11:5: warning: [GHC-47854] [-Wduplicate-exports]
fold is exported by module Data.Rewriting.Term.Type and fold
|
11 | module Data.Rewriting.Term.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Term.hs:12:5: warning: [GHC-47854] [-Wduplicate-exports]
funs is exported by module Data.Rewriting.Term.Ops and funs
|
12 | module Data.Rewriting.Term.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Term.hs:12:5: warning: [GHC-47854] [-Wduplicate-exports]
vars is exported by module Data.Rewriting.Term.Ops and vars
|
12 | module Data.Rewriting.Term.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[12 of 32] Compiling Data.Rewriting.Substitution.Pretty ( src/Data/Rewriting/Substitution/Pretty.hs, dist/build/Data/Rewriting/Substitution/Pretty.o, dist/build/Data/Rewriting/Substitution/Pretty.dyn_o )
[13 of 32] Compiling Data.Rewriting.Rule.Pretty ( src/Data/Rewriting/Rule/Pretty.hs, dist/build/Data/Rewriting/Rule/Pretty.o, dist/build/Data/Rewriting/Rule/Pretty.dyn_o )
[14 of 32] Compiling Data.Rewriting.Context.Type ( src/Data/Rewriting/Context/Type.hs, dist/build/Data/Rewriting/Context/Type.o, dist/build/Data/Rewriting/Context/Type.dyn_o )
[15 of 32] Compiling Data.Rewriting.Substitution.Ops ( src/Data/Rewriting/Substitution/Ops.hs, dist/build/Data/Rewriting/Substitution/Ops.o, dist/build/Data/Rewriting/Substitution/Ops.dyn_o )
[16 of 32] Compiling Data.Rewriting.Substitution.Unify ( src/Data/Rewriting/Substitution/Unify.hs, dist/build/Data/Rewriting/Substitution/Unify.o, dist/build/Data/Rewriting/Substitution/Unify.dyn_o )
[17 of 32] Compiling Data.Rewriting.Context.Ops ( src/Data/Rewriting/Context/Ops.hs, dist/build/Data/Rewriting/Context/Ops.o, dist/build/Data/Rewriting/Context/Ops.dyn_o )
[18 of 32] Compiling Data.Rewriting.Context ( src/Data/Rewriting/Context.hs, dist/build/Data/Rewriting/Context.o, dist/build/Data/Rewriting/Context.dyn_o )
src/Data/Rewriting/Context.hs:12:5: warning: [GHC-47854] [-Wduplicate-exports]
Ctxt is exported by module Data.Rewriting.Context.Type and Ctxt
|
12 | module Data.Rewriting.Context.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Context.hs:13:5: warning: [GHC-47854] [-Wduplicate-exports]
ofTerm is exported by module Data.Rewriting.Context.Ops and ofTerm
|
13 | module Data.Rewriting.Context.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Context.hs:13:5: warning: [GHC-47854] [-Wduplicate-exports]
apply is exported by module Data.Rewriting.Context.Ops and apply
|
13 | module Data.Rewriting.Context.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[19 of 32] Compiling Data.Rewriting.Substitution.Parse ( src/Data/Rewriting/Substitution/Parse.hs, dist/build/Data/Rewriting/Substitution/Parse.o, dist/build/Data/Rewriting/Substitution/Parse.dyn_o )
[20 of 32] Compiling Data.Rewriting.Substitution ( src/Data/Rewriting/Substitution.hs, dist/build/Data/Rewriting/Substitution.o, dist/build/Data/Rewriting/Substitution.dyn_o )
src/Data/Rewriting/Substitution.hs:14:5: warning: [GHC-47854] [-Wduplicate-exports]
Subst is exported by module Data.Rewriting.Substitution.Type and Subst
|
14 | module Data.Rewriting.Substitution.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Substitution.hs:14:5: warning: [GHC-47854] [-Wduplicate-exports]
GSubst is exported by module Data.Rewriting.Substitution.Type and GSubst
|
14 | module Data.Rewriting.Substitution.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Substitution.hs:15:5: warning: [GHC-47854] [-Wduplicate-exports]
compose is exported by module Data.Rewriting.Substitution.Ops and compose
|
15 | module Data.Rewriting.Substitution.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Substitution.hs:15:5: warning: [GHC-47854] [-Wduplicate-exports]
apply is exported by module Data.Rewriting.Substitution.Ops and apply
|
15 | module Data.Rewriting.Substitution.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Substitution.hs:15:5: warning: [GHC-47854] [-Wduplicate-exports]
gApply is exported by module Data.Rewriting.Substitution.Ops and gApply
|
15 | module Data.Rewriting.Substitution.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[21 of 32] Compiling Data.Rewriting.Rule.Ops ( src/Data/Rewriting/Rule/Ops.hs, dist/build/Data/Rewriting/Rule/Ops.o, dist/build/Data/Rewriting/Rule/Ops.dyn_o )
[22 of 32] Compiling Data.Rewriting.Rule ( src/Data/Rewriting/Rule.hs, dist/build/Data/Rewriting/Rule.o, dist/build/Data/Rewriting/Rule.dyn_o )
[23 of 32] Compiling Data.Rewriting.Rules.Rewrite ( src/Data/Rewriting/Rules/Rewrite.hs, dist/build/Data/Rewriting/Rules/Rewrite.o, dist/build/Data/Rewriting/Rules/Rewrite.dyn_o )
[24 of 32] Compiling Data.Rewriting.Rules.Ops ( src/Data/Rewriting/Rules/Ops.hs, dist/build/Data/Rewriting/Rules/Ops.o, dist/build/Data/Rewriting/Rules/Ops.dyn_o )
[25 of 32] Compiling Data.Rewriting.Rules ( src/Data/Rewriting/Rules.hs, dist/build/Data/Rewriting/Rules.o, dist/build/Data/Rewriting/Rules.dyn_o )
src/Data/Rewriting/Rules.hs:13:5: warning: [GHC-47854] [-Wduplicate-exports]
fullRewrite is exported by module Data.Rewriting.Rules.Rewrite and fullRewrite
|
13 | module Data.Rewriting.Rules.Rewrite,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[26 of 32] Compiling Data.Rewriting.Problem.Type ( src/Data/Rewriting/Problem/Type.hs, dist/build/Data/Rewriting/Problem/Type.o, dist/build/Data/Rewriting/Problem/Type.dyn_o )
[27 of 32] Compiling Data.Rewriting.Problem.Pretty ( src/Data/Rewriting/Problem/Pretty.hs, dist/build/Data/Rewriting/Problem/Pretty.o, dist/build/Data/Rewriting/Problem/Pretty.dyn_o )
[28 of 32] Compiling Data.Rewriting.CriticalPair.Type ( src/Data/Rewriting/CriticalPair/Type.hs, dist/build/Data/Rewriting/CriticalPair/Type.o, dist/build/Data/Rewriting/CriticalPair/Type.dyn_o )
[29 of 32] Compiling Data.Rewriting.CriticalPair.Ops ( src/Data/Rewriting/CriticalPair/Ops.hs, dist/build/Data/Rewriting/CriticalPair/Ops.o, dist/build/Data/Rewriting/CriticalPair/Ops.dyn_o )
src/Data/Rewriting/CriticalPair/Ops.hs:78: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."
|
78 | cpIn = cpW (tail . contexts)
| ^^^^
[30 of 32] Compiling Data.Rewriting.CriticalPair ( src/Data/Rewriting/CriticalPair.hs, dist/build/Data/Rewriting/CriticalPair.o, dist/build/Data/Rewriting/CriticalPair.dyn_o )
src/Data/Rewriting/CriticalPair.hs:12:5: warning: [GHC-47854] [-Wduplicate-exports]
CP is exported by module Data.Rewriting.CriticalPair.Type and CP
|
12 | module Data.Rewriting.CriticalPair.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/CriticalPair.hs:13:5: warning: [GHC-47854] [-Wduplicate-exports]
cps is exported by module Data.Rewriting.CriticalPair.Ops and cps
|
13 | module Data.Rewriting.CriticalPair.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/CriticalPair.hs:13:5: warning: [GHC-47854] [-Wduplicate-exports]
cps' is exported by module Data.Rewriting.CriticalPair.Ops and cps'
|
13 | module Data.Rewriting.CriticalPair.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[31 of 32] Compiling Data.Rewriting.Problem.Parse ( src/Data/Rewriting/Problem/Parse.hs, dist/build/Data/Rewriting/Problem/Parse.o, dist/build/Data/Rewriting/Problem/Parse.dyn_o )
[32 of 32] Compiling Data.Rewriting.Problem ( src/Data/Rewriting/Problem.hs, dist/build/Data/Rewriting/Problem.o, dist/build/Data/Rewriting/Problem.dyn_o )
src/Data/Rewriting/Problem.hs:10:5: warning: [GHC-47854] [-Wduplicate-exports]
Problem is exported by module Data.Rewriting.Problem.Type and Problem
|
10 | module Data.Rewriting.Problem.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Preprocessing library for term-rewriting-0.5..
Running Haddock on library for term-rewriting-0.5..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 32] Compiling Data.Rewriting.Term.Type ( src/Data/Rewriting/Term/Type.hs, nothing )
[ 2 of 32] Compiling Data.Rewriting.Term.Pretty ( src/Data/Rewriting/Term/Pretty.hs, nothing )
[ 3 of 32] Compiling Data.Rewriting.Substitution.Type ( src/Data/Rewriting/Substitution/Type.hs, nothing )
[ 4 of 32] Compiling Data.Rewriting.Substitution.Match ( src/Data/Rewriting/Substitution/Match.hs, nothing )
[ 5 of 32] Compiling Data.Rewriting.Rule.Type ( src/Data/Rewriting/Rule/Type.hs, nothing )
[ 6 of 32] Compiling Data.Rewriting.Utils ( src/Data/Rewriting/Utils.hs, nothing )
[ 7 of 32] Compiling Data.Rewriting.Pos ( src/Data/Rewriting/Pos.hs, nothing )
src/Data/Rewriting/Pos.hs:49:48: 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."
|
49 | leftOf p q = not (null p') && not (null q') && head p' < head q' where
| ^^^^
src/Data/Rewriting/Pos.hs:49:58: 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."
|
49 | leftOf p q = not (null p') && not (null q') && head p' < head q' where
| ^^^^
src/Data/Rewriting/Pos.hs:54:49: 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."
|
54 | rightOf p q = not (null p') && not (null q') && head p' > head q' where
| ^^^^
src/Data/Rewriting/Pos.hs:54:59: 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."
|
54 | rightOf p q = not (null p') && not (null q') && head p' > head q' where
| ^^^^
[ 8 of 32] Compiling Data.Rewriting.Term.Ops ( src/Data/Rewriting/Term/Ops.hs, nothing )
[ 9 of 32] Compiling Data.Rewriting.Utils.Parse ( src/Data/Rewriting/Utils/Parse.hs, nothing )
[10 of 32] Compiling Data.Rewriting.Term.Parse ( src/Data/Rewriting/Term/Parse.hs, nothing )
[11 of 32] Compiling Data.Rewriting.Term ( src/Data/Rewriting/Term.hs, nothing )
src/Data/Rewriting/Term.hs:11:5: warning: [GHC-47854] [-Wduplicate-exports]
fold is exported by module Data.Rewriting.Term.Type and fold
|
11 | module Data.Rewriting.Term.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Term.hs:11:5: warning: [GHC-47854] [-Wduplicate-exports]
map is exported by module Data.Rewriting.Term.Type and map
|
11 | module Data.Rewriting.Term.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Term.hs:12:5: warning: [GHC-47854] [-Wduplicate-exports]
funs is exported by module Data.Rewriting.Term.Ops and funs
|
12 | module Data.Rewriting.Term.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Term.hs:12:5: warning: [GHC-47854] [-Wduplicate-exports]
vars is exported by module Data.Rewriting.Term.Ops and vars
|
12 | module Data.Rewriting.Term.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[12 of 32] Compiling Data.Rewriting.Substitution.Pretty ( src/Data/Rewriting/Substitution/Pretty.hs, nothing )
[13 of 32] Compiling Data.Rewriting.Rule.Pretty ( src/Data/Rewriting/Rule/Pretty.hs, nothing )
[14 of 32] Compiling Data.Rewriting.Context.Type ( src/Data/Rewriting/Context/Type.hs, nothing )
[15 of 32] Compiling Data.Rewriting.Substitution.Ops ( src/Data/Rewriting/Substitution/Ops.hs, nothing )
[16 of 32] Compiling Data.Rewriting.Substitution.Unify ( src/Data/Rewriting/Substitution/Unify.hs, nothing )
[17 of 32] Compiling Data.Rewriting.Context.Ops ( src/Data/Rewriting/Context/Ops.hs, nothing )
[18 of 32] Compiling Data.Rewriting.Context ( src/Data/Rewriting/Context.hs, nothing )
src/Data/Rewriting/Context.hs:12:5: warning: [GHC-47854] [-Wduplicate-exports]
Ctxt is exported by module Data.Rewriting.Context.Type and Ctxt
|
12 | module Data.Rewriting.Context.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Context.hs:13:5: warning: [GHC-47854] [-Wduplicate-exports]
ofTerm is exported by module Data.Rewriting.Context.Ops and ofTerm
|
13 | module Data.Rewriting.Context.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Context.hs:13:5: warning: [GHC-47854] [-Wduplicate-exports]
apply is exported by module Data.Rewriting.Context.Ops and apply
|
13 | module Data.Rewriting.Context.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[19 of 32] Compiling Data.Rewriting.Substitution.Parse ( src/Data/Rewriting/Substitution/Parse.hs, nothing )
[20 of 32] Compiling Data.Rewriting.Substitution ( src/Data/Rewriting/Substitution.hs, nothing )
src/Data/Rewriting/Substitution.hs:14:5: warning: [GHC-47854] [-Wduplicate-exports]
Subst is exported by module Data.Rewriting.Substitution.Type and Subst
|
14 | module Data.Rewriting.Substitution.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Substitution.hs:14:5: warning: [GHC-47854] [-Wduplicate-exports]
GSubst is exported by module Data.Rewriting.Substitution.Type and GSubst
|
14 | module Data.Rewriting.Substitution.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Substitution.hs:15:5: warning: [GHC-47854] [-Wduplicate-exports]
gApply is exported by module Data.Rewriting.Substitution.Ops and gApply
|
15 | module Data.Rewriting.Substitution.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Substitution.hs:15:5: warning: [GHC-47854] [-Wduplicate-exports]
compose is exported by module Data.Rewriting.Substitution.Ops and compose
|
15 | module Data.Rewriting.Substitution.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Substitution.hs:15:5: warning: [GHC-47854] [-Wduplicate-exports]
apply is exported by module Data.Rewriting.Substitution.Ops and apply
|
15 | module Data.Rewriting.Substitution.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[21 of 32] Compiling Data.Rewriting.Rule.Ops ( src/Data/Rewriting/Rule/Ops.hs, nothing )
[22 of 32] Compiling Data.Rewriting.Rule ( src/Data/Rewriting/Rule.hs, nothing )
[23 of 32] Compiling Data.Rewriting.Rules.Rewrite ( src/Data/Rewriting/Rules/Rewrite.hs, nothing )
[24 of 32] Compiling Data.Rewriting.Rules.Ops ( src/Data/Rewriting/Rules/Ops.hs, nothing )
[25 of 32] Compiling Data.Rewriting.Rules ( src/Data/Rewriting/Rules.hs, nothing )
src/Data/Rewriting/Rules.hs:13:5: warning: [GHC-47854] [-Wduplicate-exports]
fullRewrite is exported by module Data.Rewriting.Rules.Rewrite and fullRewrite
|
13 | module Data.Rewriting.Rules.Rewrite,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[26 of 32] Compiling Data.Rewriting.Problem.Type ( src/Data/Rewriting/Problem/Type.hs, nothing )
[27 of 32] Compiling Data.Rewriting.Problem.Pretty ( src/Data/Rewriting/Problem/Pretty.hs, nothing )
[28 of 32] Compiling Data.Rewriting.CriticalPair.Type ( src/Data/Rewriting/CriticalPair/Type.hs, nothing )
[29 of 32] Compiling Data.Rewriting.CriticalPair.Ops ( src/Data/Rewriting/CriticalPair/Ops.hs, nothing )
src/Data/Rewriting/CriticalPair/Ops.hs:78: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."
|
78 | cpIn = cpW (tail . contexts)
| ^^^^
[30 of 32] Compiling Data.Rewriting.CriticalPair ( src/Data/Rewriting/CriticalPair.hs, nothing )
src/Data/Rewriting/CriticalPair.hs:12:5: warning: [GHC-47854] [-Wduplicate-exports]
CP is exported by module Data.Rewriting.CriticalPair.Type and CP
|
12 | module Data.Rewriting.CriticalPair.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/CriticalPair.hs:13:5: warning: [GHC-47854] [-Wduplicate-exports]
cps is exported by module Data.Rewriting.CriticalPair.Ops and cps
|
13 | module Data.Rewriting.CriticalPair.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/CriticalPair.hs:13:5: warning: [GHC-47854] [-Wduplicate-exports]
cps' is exported by module Data.Rewriting.CriticalPair.Ops and cps'
|
13 | module Data.Rewriting.CriticalPair.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[31 of 32] Compiling Data.Rewriting.Problem.Parse ( src/Data/Rewriting/Problem/Parse.hs, nothing )
[32 of 32] Compiling Data.Rewriting.Problem ( src/Data/Rewriting/Problem.hs, nothing )
src/Data/Rewriting/Problem.hs:10:5: warning: [GHC-47854] [-Wduplicate-exports]
Problem is exported by module Data.Rewriting.Problem.Type and Problem
|
10 | module Data.Rewriting.Problem.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Haddock coverage:
50% ( 2 / 4) in 'Data.Rewriting.Term.Type'
Missing documentation for:
Module header
Term (src/Data/Rewriting/Term/Type.hs:14)
50% ( 1 / 2) in 'Data.Rewriting.Term.Pretty'
Missing documentation for:
Module header
50% ( 3 / 6) in 'Data.Rewriting.Substitution.Type'
Missing documentation for:
Module header
fromMap (src/Data/Rewriting/Substitution/Type.hs:31)
toMap (src/Data/Rewriting/Substitution/Type.hs:34)
50% ( 1 / 2) in 'Data.Rewriting.Substitution.Match'
Missing documentation for:
Module header
20% ( 1 / 5) in 'Data.Rewriting.Rule.Type'
Missing documentation for:
Module header
Term (src/Data/Rewriting/Term/Type.hs:14)
map (src/Data/Rewriting/Rule/Type.hs:26)
mapSides (src/Data/Rewriting/Rule/Type.hs:23)
88% ( 8 / 9) in 'Data.Rewriting.Pos'
Missing documentation for:
Module header
95% ( 19 / 20) in 'Data.Rewriting.Term.Ops'
Missing documentation for:
Module header
85% ( 6 / 7) in 'Data.Rewriting.Term.Parse'
Missing documentation for:
Module header
83% ( 10 / 12) in 'Data.Rewriting.Term'
Missing documentation for:
Module header
Term (src/Data/Rewriting/Term/Type.hs:14)
0% ( 0 / 2) in 'Data.Rewriting.Substitution.Pretty'
Missing documentation for:
Module header
prettySubst (src/Data/Rewriting/Substitution/Pretty.hs:23)
0% ( 0 / 2) in 'Data.Rewriting.Rule.Pretty'
Missing documentation for:
Module header
prettyRule (src/Data/Rewriting/Rule/Pretty.hs:16)
0% ( 0 / 2) in 'Data.Rewriting.Context.Type'
Missing documentation for:
Module header
Ctxt (src/Data/Rewriting/Context/Type.hs:12)
85% ( 6 / 7) in 'Data.Rewriting.Substitution.Ops'
Missing documentation for:
Module header
66% ( 2 / 3) in 'Data.Rewriting.Substitution.Unify'
Missing documentation for:
Module header
75% ( 3 / 4) in 'Data.Rewriting.Context.Ops'
Missing documentation for:
Module header
75% ( 6 / 8) in 'Data.Rewriting.Context'
Missing documentation for:
Module header
Ctxt (src/Data/Rewriting/Context/Type.hs:12)
0% ( 0 / 4) in 'Data.Rewriting.Substitution.Parse'
Missing documentation for:
Module header
fromString (src/Data/Rewriting/Substitution/Parse.hs:37)
parse (src/Data/Rewriting/Substitution/Parse.hs:26)
parseIO (src/Data/Rewriting/Substitution/Parse.hs:43)
93% ( 14 / 15) in 'Data.Rewriting.Substitution'
Missing documentation for:
Module header
Warning: 'Rule' is ambiguous. It is defined
* at src/Data/Rewriting/Rule/Type.hs:18:17
* at src/Data/Rewriting/Rule/Type.hs:18: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/Rewriting/Rule/Type.hs:18:1
96% ( 24 / 25) in 'Data.Rewriting.Rule.Ops'
Missing documentation for:
Module header
83% ( 5 / 6) in 'Data.Rewriting.Rule'
Missing documentation for:
Module header
100% ( 10 / 10) in 'Data.Rewriting.Rules.Rewrite'
95% ( 22 / 23) in 'Data.Rewriting.Rules.Ops'
Missing documentation for:
Module header
100% ( 11 / 11) in 'Data.Rewriting.Rules'
0% ( 0 / 8) in 'Data.Rewriting.Problem.Type'
Missing documentation for:
Module header
StartTerms (src/Data/Rewriting/Problem/Type.hs:22)
Strategy (src/Data/Rewriting/Problem/Type.hs:25)
RulesPair (src/Data/Rewriting/Problem/Type.hs:29)
Problem (src/Data/Rewriting/Problem/Type.hs:36)
Theory (src/Data/Rewriting/Problem/Type.hs:33)
allRules (src/Data/Rewriting/Problem/Type.hs:46)
map (src/Data/Rewriting/Problem/Type.hs:49)
0% ( 0 / 4) in 'Data.Rewriting.Problem.Pretty'
Missing documentation for:
Module header
prettyProblem (src/Data/Rewriting/Problem/Pretty.hs:64)
prettyWST (src/Data/Rewriting/Problem/Pretty.hs:27)
prettyWST' (src/Data/Rewriting/Problem/Pretty.hs:24)
50% ( 1 / 2) in 'Data.Rewriting.CriticalPair.Type'
Missing documentation for:
Module header
88% ( 8 / 9) in 'Data.Rewriting.CriticalPair.Ops'
Missing documentation for:
Module header
87% ( 7 / 8) in 'Data.Rewriting.CriticalPair'
Missing documentation for:
Module header
0% ( 0 / 7) in 'Data.Rewriting.Problem.Parse'
Missing documentation for:
Module header
parseIO (src/Data/Rewriting/Problem/Parse.hs:45)
parseFileIO (src/Data/Rewriting/Problem/Parse.hs:39)
fromString (src/Data/Rewriting/Problem/Parse.hs:55)
fromFile (src/Data/Rewriting/Problem/Parse.hs:50)
fromCharStream (src/Data/Rewriting/Problem/Parse.hs:59)
ProblemParseError (src/Data/Rewriting/Problem/Parse.hs:32)
83% ( 5 / 6) in 'Data.Rewriting.Problem'
Missing documentation for:
Problem (src/Data/Rewriting/Problem/Type.hs:36)
Documentation created: dist/doc/html/term-rewriting/,
dist/doc/html/term-rewriting/term-rewriting.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/term-rewriting-0.5-FNOP95jqqBs3uIfaMdPbHf
Completed term-rewriting-0.5
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.8.4 -O0
In order, the following will be built (use -v for more details):
- call-stack-0.4.0 (lib:call-stack) (requires build)
- colour-2.3.6 (lib:colour) (requires build)
- multiset-0.3.4.3 (lib:multiset) (requires build)
- splitmix-0.1.3.1 (lib:splitmix) (requires build)
- union-find-array-0.1.0.4 (lib:union-find-array) (requires build)
- HUnit-1.6.2.0 (lib:HUnit) (requires build)
- ansi-terminal-types-0.11.5 (lib:ansi-terminal-types) (requires build)
- random-1.3.1 (lib:random) (requires build)
- ansi-terminal-1.0.2 (lib:ansi-terminal) (requires build)
- QuickCheck-2.16.0.0 (lib:QuickCheck) (requires build)
- ansi-wl-pprint-0.6.9 (lib:ansi-wl-pprint) (requires build)
- term-rewriting-0.5 (first run)
Configuring call-stack-0.4.0...
Preprocessing library for call-stack-0.4.0..
Building library for call-stack-0.4.0..
[1 of 3] Compiling Data.SrcLoc ( src/Data/SrcLoc.hs, dist/build/Data/SrcLoc.o, dist/build/Data/SrcLoc.dyn_o )
[2 of 3] Compiling Data.CallStack ( src/Data/CallStack.hs, dist/build/Data/CallStack.o, dist/build/Data/CallStack.dyn_o )
[3 of 3] Compiling Paths_call_stack ( dist/build/autogen/Paths_call_stack.hs, dist/build/Paths_call_stack.o, dist/build/Paths_call_stack.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1228910/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/call-stack-0.4.0-31951dc4e9db177e2ea89098d1122ced7b6da41fd279273945130bdfc91e7098/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-1228910/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/colour-2.3.6-1bc3273789052b388bc71f53ac10a073cc4a30f03a6584dc6f830ef26e23fa37/lib
Configuring multiset-0.3.4.3...
Preprocessing library for multiset-0.3.4.3..
Building library for multiset-0.3.4.3..
[1 of 2] Compiling Data.MultiSet ( Data/MultiSet.hs, dist/build/Data/MultiSet.o, dist/build/Data/MultiSet.dyn_o )
Data/MultiSet.hs:201:5: warning: [GHC-50928] [-Wnoncanonical-monoid-instances]
Noncanonical mappend definition detected
in the instance declaration for Monoid (MultiSet a).
mappend will eventually be removed in favour of (<>)
Suggested fix:
Either remove definition for mappend (recommended) or define as mappend = (<>)
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid
|
201 | mappend = union
| ^^^^^^^^^^^^^^^
[2 of 2] Compiling Data.IntMultiSet ( Data/IntMultiSet.hs, dist/build/Data/IntMultiSet.o, dist/build/Data/IntMultiSet.dyn_o )
Data/IntMultiSet.hs:197:5: warning: [GHC-50928] [-Wnoncanonical-monoid-instances]
Noncanonical mappend definition detected
in the instance declaration for Monoid IntMultiSet.
mappend will eventually be removed in favour of (<>)
Suggested fix:
Either remove definition for mappend (recommended) or define as mappend = (<>)
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid
|
197 | mappend = union
| ^^^^^^^^^^^^^^^
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1228910/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/multiset-0.3.4.3-4f416af0f0529e2578626a93acb90a2bff0a6c7e0b78102ebfbe6041438baa20/lib
Configuring splitmix-0.1.3.1...
Preprocessing library for splitmix-0.1.3.1..
Building library for splitmix-0.1.3.1..
[1 of 4] Compiling Data.Bits.Compat ( src-compat/Data/Bits/Compat.hs, dist/build/Data/Bits/Compat.o, dist/build/Data/Bits/Compat.dyn_o )
[2 of 4] 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 )
[3 of 4] Compiling System.Random.SplitMix ( src/System/Random/SplitMix.hs, dist/build/System/Random/SplitMix.o, dist/build/System/Random/SplitMix.dyn_o )
[4 of 4] 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-1228910/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/splitmix-0.1.3.1-288b12a0a41106e148ec05076951fd3c1649588ba20ba3678f267f4c1aba182b/lib
Configuring union-find-array-0.1.0.4...
Preprocessing library for union-find-array-0.1.0.4..
Building library for union-find-array-0.1.0.4..
[1 of 5] Compiling Data.Union.Type ( src/Data/Union/Type.hs, dist/build/Data/Union/Type.o, dist/build/Data/Union/Type.dyn_o )
[2 of 5] Compiling Data.Union.ST ( src/Data/Union/ST.hs, dist/build/Data/Union/ST.o, dist/build/Data/Union/ST.dyn_o )
[3 of 5] Compiling Data.Union ( src/Data/Union.hs, dist/build/Data/Union.o, dist/build/Data/Union.dyn_o )
[4 of 5] Compiling Control.Monad.Union.Class ( src/Control/Monad/Union/Class.hs, dist/build/Control/Monad/Union/Class.o, dist/build/Control/Monad/Union/Class.dyn_o )
[5 of 5] Compiling Control.Monad.Union ( src/Control/Monad/Union.hs, dist/build/Control/Monad/Union.o, dist/build/Control/Monad/Union.dyn_o )
src/Control/Monad/Union.hs:43:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (UnionM l).
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
|
43 | return x = U (return x)
| ^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/Union.hs:50:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (UnionM l).
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
50 | pure = return
| ^^^^^^^^^^^^^
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1228910/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/union-find-array-0.1.0.4-d90d74baed5377f0c2673ac2806d256b710d4faa004417576a95c67b87913ba4/lib
Configuring HUnit-1.6.2.0...
Preprocessing library for HUnit-1.6.2.0..
Building library for HUnit-1.6.2.0..
[1 of 6] Compiling Paths_HUnit ( dist/build/autogen/Paths_HUnit.hs, dist/build/Paths_HUnit.o, dist/build/Paths_HUnit.dyn_o )
[2 of 6] Compiling Test.HUnit.Lang ( src/Test/HUnit/Lang.hs, dist/build/Test/HUnit/Lang.o, dist/build/Test/HUnit/Lang.dyn_o )
[3 of 6] Compiling Test.HUnit.Base ( src/Test/HUnit/Base.hs, dist/build/Test/HUnit/Base.o, dist/build/Test/HUnit/Base.dyn_o )
[4 of 6] Compiling Test.HUnit.Terminal ( src/Test/HUnit/Terminal.hs, dist/build/Test/HUnit/Terminal.o, dist/build/Test/HUnit/Terminal.dyn_o )
src/Test/HUnit/Terminal.hs:41:41: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
41 | | otherwise = ta f (c:bs) (tail as) cs
| ^^^^
[5 of 6] Compiling Test.HUnit.Text ( src/Test/HUnit/Text.hs, dist/build/Test/HUnit/Text.o, dist/build/Test/HUnit/Text.dyn_o )
[6 of 6] Compiling Test.HUnit ( src/Test/HUnit.hs, dist/build/Test/HUnit.o, dist/build/Test/HUnit.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1228910/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/HUnit-1.6.2.0-aa8518921a665b3ce3b9f7f0c7a8a7fa42d03d10681bd5ecec8be730444183ec/lib
Configuring ansi-terminal-types-0.11.5...
Preprocessing library for ansi-terminal-types-0.11.5..
Building library for ansi-terminal-types-0.11.5..
[1 of 1] 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 )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1228910/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-terminal-types-0.11.5-ee364c3a49df4c98d56c87a8721b78e39974ccebd2f05eced2c2b16670449bf7/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-1228910/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/random-1.3.1-53ff6fe118017105e81166d88d18b96f408abcf71eb151b207f576308ca5b779/lib
Configuring ansi-terminal-1.0.2...
Preprocessing library for ansi-terminal-1.0.2..
Building library for ansi-terminal-1.0.2..
[1 of 3] 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 )
[2 of 3] 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 )
[3 of 3] 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-1228910/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-terminal-1.0.2-a6d480625995f0f853211abe4694b1148c9f87cd2af94c24a0c72dba11cfd42f/lib
Configuring QuickCheck-2.16.0.0...
Preprocessing library for QuickCheck-2.16.0.0..
Building library for QuickCheck-2.16.0.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 )
src/Test/QuickCheck/Random.hs:50:37: warning: [GHC-68441] [-Wdeprecations]
In the use of genShortByteString
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `System.Random.uniformShortByteString`"
|
50 | genShortByteString n = wrapQCGen (genShortByteString n)
| ^^^^^^^^^^^^^^^^^^
src/Test/QuickCheck/Random.hs:83:16: warning: [GHC-68441] [-Wdeprecations]
In the use of split
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `splitGen`"
|
83 | left = fst . split
| ^^^^^
src/Test/QuickCheck/Random.hs:84:17: warning: [GHC-68441] [-Wdeprecations]
In the use of split
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `splitGen`"
|
84 | right = snd . split
| ^^^^^
[ 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 )
src/Test/QuickCheck/Gen.hs:92:12: warning: [GHC-68441] [-Wdeprecations]
In the use of split
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `splitGen`"
|
92 | case split r of
| ^^^^^
[ 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 )
src/Test/QuickCheck/Test.hs:501:17: warning: [GHC-68441] [-Wdeprecations]
In the use of split
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `splitGen`"
|
501 | (rnd1,rnd2) = split (randomSeed st)
| ^^^^^
[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-1228910/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/QuickCheck-2.16.0.0-8f3df40d92708c972525d3710c80f5c4779e3738b3255a0b50daedcac44984b7/lib
Configuring ansi-wl-pprint-0.6.9...
Preprocessing library for ansi-wl-pprint-0.6.9..
Building library for ansi-wl-pprint-0.6.9..
[1 of 2] Compiling Text.PrettyPrint.ANSI.Leijen.Internal ( Text/PrettyPrint/ANSI/Leijen/Internal.hs, dist/build/Text/PrettyPrint/ANSI/Leijen/Internal.o, dist/build/Text/PrettyPrint/ANSI/Leijen/Internal.dyn_o )
Text/PrettyPrint/ANSI/Leijen/Internal.hs:34:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Monoid is redundant
except perhaps to import instances from Data.Monoid
To import instances alone, use: import Data.Monoid()
|
34 | import Data.Monoid ((<>))
| ^^^^^^^^^^^^^^^^^^^^^^^^^
[2 of 2] Compiling Text.PrettyPrint.ANSI.Leijen ( Text/PrettyPrint/ANSI/Leijen.hs, dist/build/Text/PrettyPrint/ANSI/Leijen.o, dist/build/Text/PrettyPrint/ANSI/Leijen.dyn_o )
Text/PrettyPrint/ANSI/Leijen.hs:164:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Monoid is redundant
except perhaps to import instances from Data.Monoid
To import instances alone, use: import Data.Monoid()
|
164 | import Data.Monoid ((<>))
| ^^^^^^^^^^^^^^^^^^^^^^^^^
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1228910/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-wl-pprint-0.6.9-00a150dfc38263b840920f0c9005dba6797cf280c1d2598a14d1b279d591990e/lib
Configuring term-rewriting-0.5...
Preprocessing library for term-rewriting-0.5..
Building library for term-rewriting-0.5..
[ 1 of 32] Compiling Data.Rewriting.Term.Type ( src/Data/Rewriting/Term/Type.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Term/Type.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Term/Type.dyn_o )
[ 2 of 32] Compiling Data.Rewriting.Term.Pretty ( src/Data/Rewriting/Term/Pretty.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Term/Pretty.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Term/Pretty.dyn_o )
[ 3 of 32] Compiling Data.Rewriting.Substitution.Type ( src/Data/Rewriting/Substitution/Type.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Substitution/Type.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Substitution/Type.dyn_o )
[ 4 of 32] Compiling Data.Rewriting.Substitution.Match ( src/Data/Rewriting/Substitution/Match.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Substitution/Match.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Substitution/Match.dyn_o )
[ 5 of 32] Compiling Data.Rewriting.Rule.Type ( src/Data/Rewriting/Rule/Type.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Rule/Type.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Rule/Type.dyn_o )
[ 6 of 32] Compiling Data.Rewriting.Utils ( src/Data/Rewriting/Utils.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Utils.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Utils.dyn_o )
[ 7 of 32] Compiling Data.Rewriting.Pos ( src/Data/Rewriting/Pos.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Pos.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Pos.dyn_o )
src/Data/Rewriting/Pos.hs:49:48: 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."
|
49 | leftOf p q = not (null p') && not (null q') && head p' < head q' where
| ^^^^
src/Data/Rewriting/Pos.hs:49:58: 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."
|
49 | leftOf p q = not (null p') && not (null q') && head p' < head q' where
| ^^^^
src/Data/Rewriting/Pos.hs:54:49: 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."
|
54 | rightOf p q = not (null p') && not (null q') && head p' > head q' where
| ^^^^
src/Data/Rewriting/Pos.hs:54:59: 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."
|
54 | rightOf p q = not (null p') && not (null q') && head p' > head q' where
| ^^^^
[ 8 of 32] Compiling Data.Rewriting.Term.Ops ( src/Data/Rewriting/Term/Ops.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Term/Ops.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Term/Ops.dyn_o )
[ 9 of 32] Compiling Data.Rewriting.Utils.Parse ( src/Data/Rewriting/Utils/Parse.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Utils/Parse.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Utils/Parse.dyn_o )
[10 of 32] Compiling Data.Rewriting.Term.Parse ( src/Data/Rewriting/Term/Parse.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Term/Parse.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Term/Parse.dyn_o )
[11 of 32] Compiling Data.Rewriting.Term ( src/Data/Rewriting/Term.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Term.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Term.dyn_o )
src/Data/Rewriting/Term.hs:11:5: warning: [GHC-47854] [-Wduplicate-exports]
map is exported by module Data.Rewriting.Term.Type and map
|
11 | module Data.Rewriting.Term.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Term.hs:11:5: warning: [GHC-47854] [-Wduplicate-exports]
fold is exported by module Data.Rewriting.Term.Type and fold
|
11 | module Data.Rewriting.Term.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Term.hs:12:5: warning: [GHC-47854] [-Wduplicate-exports]
funs is exported by module Data.Rewriting.Term.Ops and funs
|
12 | module Data.Rewriting.Term.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Term.hs:12:5: warning: [GHC-47854] [-Wduplicate-exports]
vars is exported by module Data.Rewriting.Term.Ops and vars
|
12 | module Data.Rewriting.Term.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[12 of 32] Compiling Data.Rewriting.Substitution.Pretty ( src/Data/Rewriting/Substitution/Pretty.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Substitution/Pretty.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Substitution/Pretty.dyn_o )
[13 of 32] Compiling Data.Rewriting.Rule.Pretty ( src/Data/Rewriting/Rule/Pretty.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Rule/Pretty.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Rule/Pretty.dyn_o )
[14 of 32] Compiling Data.Rewriting.Context.Type ( src/Data/Rewriting/Context/Type.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Context/Type.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Context/Type.dyn_o )
[15 of 32] Compiling Data.Rewriting.Substitution.Ops ( src/Data/Rewriting/Substitution/Ops.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Substitution/Ops.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Substitution/Ops.dyn_o )
[16 of 32] Compiling Data.Rewriting.Substitution.Unify ( src/Data/Rewriting/Substitution/Unify.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Substitution/Unify.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Substitution/Unify.dyn_o )
[17 of 32] Compiling Data.Rewriting.Context.Ops ( src/Data/Rewriting/Context/Ops.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Context/Ops.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Context/Ops.dyn_o )
[18 of 32] Compiling Data.Rewriting.Context ( src/Data/Rewriting/Context.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Context.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Context.dyn_o )
src/Data/Rewriting/Context.hs:12:5: warning: [GHC-47854] [-Wduplicate-exports]
Ctxt is exported by module Data.Rewriting.Context.Type and Ctxt
|
12 | module Data.Rewriting.Context.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Context.hs:13:5: warning: [GHC-47854] [-Wduplicate-exports]
ofTerm is exported by module Data.Rewriting.Context.Ops and ofTerm
|
13 | module Data.Rewriting.Context.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Context.hs:13:5: warning: [GHC-47854] [-Wduplicate-exports]
apply is exported by module Data.Rewriting.Context.Ops and apply
|
13 | module Data.Rewriting.Context.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[19 of 32] Compiling Data.Rewriting.Substitution.Parse ( src/Data/Rewriting/Substitution/Parse.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Substitution/Parse.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Substitution/Parse.dyn_o )
[20 of 32] Compiling Data.Rewriting.Substitution ( src/Data/Rewriting/Substitution.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Substitution.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Substitution.dyn_o )
src/Data/Rewriting/Substitution.hs:14:5: warning: [GHC-47854] [-Wduplicate-exports]
Subst is exported by module Data.Rewriting.Substitution.Type and Subst
|
14 | module Data.Rewriting.Substitution.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Substitution.hs:14:5: warning: [GHC-47854] [-Wduplicate-exports]
GSubst is exported by module Data.Rewriting.Substitution.Type and GSubst
|
14 | module Data.Rewriting.Substitution.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Substitution.hs:15:5: warning: [GHC-47854] [-Wduplicate-exports]
compose is exported by module Data.Rewriting.Substitution.Ops and compose
|
15 | module Data.Rewriting.Substitution.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Substitution.hs:15:5: warning: [GHC-47854] [-Wduplicate-exports]
apply is exported by module Data.Rewriting.Substitution.Ops and apply
|
15 | module Data.Rewriting.Substitution.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/Substitution.hs:15:5: warning: [GHC-47854] [-Wduplicate-exports]
gApply is exported by module Data.Rewriting.Substitution.Ops and gApply
|
15 | module Data.Rewriting.Substitution.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[21 of 32] Compiling Data.Rewriting.Rule.Ops ( src/Data/Rewriting/Rule/Ops.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Rule/Ops.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Rule/Ops.dyn_o )
[22 of 32] Compiling Data.Rewriting.Rule ( src/Data/Rewriting/Rule.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Rule.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Rule.dyn_o )
[23 of 32] Compiling Data.Rewriting.Rules.Rewrite ( src/Data/Rewriting/Rules/Rewrite.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Rules/Rewrite.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Rules/Rewrite.dyn_o )
[24 of 32] Compiling Data.Rewriting.Rules.Ops ( src/Data/Rewriting/Rules/Ops.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Rules/Ops.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Rules/Ops.dyn_o )
[25 of 32] Compiling Data.Rewriting.Rules ( src/Data/Rewriting/Rules.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Rules.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Rules.dyn_o )
src/Data/Rewriting/Rules.hs:13:5: warning: [GHC-47854] [-Wduplicate-exports]
fullRewrite is exported by module Data.Rewriting.Rules.Rewrite and fullRewrite
|
13 | module Data.Rewriting.Rules.Rewrite,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[26 of 32] Compiling Data.Rewriting.Problem.Type ( src/Data/Rewriting/Problem/Type.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Problem/Type.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Problem/Type.dyn_o )
[27 of 32] Compiling Data.Rewriting.Problem.Pretty ( src/Data/Rewriting/Problem/Pretty.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Problem/Pretty.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Problem/Pretty.dyn_o )
[28 of 32] Compiling Data.Rewriting.CriticalPair.Type ( src/Data/Rewriting/CriticalPair/Type.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/CriticalPair/Type.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/CriticalPair/Type.dyn_o )
[29 of 32] Compiling Data.Rewriting.CriticalPair.Ops ( src/Data/Rewriting/CriticalPair/Ops.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/CriticalPair/Ops.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/CriticalPair/Ops.dyn_o )
src/Data/Rewriting/CriticalPair/Ops.hs:78: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."
|
78 | cpIn = cpW (tail . contexts)
| ^^^^
[30 of 32] Compiling Data.Rewriting.CriticalPair ( src/Data/Rewriting/CriticalPair.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/CriticalPair.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/CriticalPair.dyn_o )
src/Data/Rewriting/CriticalPair.hs:12:5: warning: [GHC-47854] [-Wduplicate-exports]
CP is exported by module Data.Rewriting.CriticalPair.Type and CP
|
12 | module Data.Rewriting.CriticalPair.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/CriticalPair.hs:13:5: warning: [GHC-47854] [-Wduplicate-exports]
cps is exported by module Data.Rewriting.CriticalPair.Ops and cps
|
13 | module Data.Rewriting.CriticalPair.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Rewriting/CriticalPair.hs:13:5: warning: [GHC-47854] [-Wduplicate-exports]
cps' is exported by module Data.Rewriting.CriticalPair.Ops and cps'
|
13 | module Data.Rewriting.CriticalPair.Ops,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[31 of 32] Compiling Data.Rewriting.Problem.Parse ( src/Data/Rewriting/Problem/Parse.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Problem/Parse.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Problem/Parse.dyn_o )
[32 of 32] Compiling Data.Rewriting.Problem ( src/Data/Rewriting/Problem.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Problem.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/Data/Rewriting/Problem.dyn_o )
src/Data/Rewriting/Problem.hs:10:5: warning: [GHC-47854] [-Wduplicate-exports]
Problem is exported by module Data.Rewriting.Problem.Type and Problem
|
10 | module Data.Rewriting.Problem.Type,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Preprocessing test suite 'test' for term-rewriting-0.5..
Building test suite 'test' for term-rewriting-0.5..
[1 of 8] Compiling Arbitrary ( test/Arbitrary.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/test/test-tmp/Arbitrary.o )
test/Arbitrary.hs:76:60: warning: [GHC-68441] [-Wdeprecations]
In the use of ><
(imported from Test.QuickCheck, but defined in Test.QuickCheck.Arbitrary):
Deprecated: "Use ordinary function composition instead"
|
76 | coarbitrary (Fun f ts) = variant (-1) . (coarbitrary f >< coarbitrary ts)
| ^^
test/Arbitrary.hs:82:44: warning: [GHC-68441] [-Wdeprecations]
In the use of ><
(imported from Test.QuickCheck, but defined in Test.QuickCheck.Arbitrary):
Deprecated: "Use ordinary function composition instead"
|
82 | coarbitrary (Rule l r) = coarbitrary l >< coarbitrary r
| ^^
[2 of 8] Compiling Pos ( test/Pos.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/test/test-tmp/Pos.o )
[3 of 8] Compiling Samples ( test/Samples.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/test/test-tmp/Samples.o )
[4 of 8] Compiling Rule ( test/Rule.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/test/test-tmp/Rule.o )
[5 of 8] Compiling CriticalPair ( test/CriticalPair.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/test/test-tmp/CriticalPair.o )
[6 of 8] Compiling Substitution ( test/Substitution.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/test/test-tmp/Substitution.o )
[7 of 8] Compiling Term ( test/Term.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/test/test-tmp/Term.o )
[8 of 8] Compiling Main ( test/Main.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/test/test-tmp/Main.o )
[9 of 9] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/build/test/test
Running 1 test suites...
Test suite test: RUNNING...
Test suite test: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/term-rewriting-0.5.test
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Rules.Rewrite.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.CriticalPair.Ops.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.CriticalPair.Type.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Context.Ops.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Context.Type.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Substitution.Unify.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Substitution.Match.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Substitution.Ops.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Substitution.Type.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Rule.Ops.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Rule.Type.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Pos.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Term.Ops.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Term.Type.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/hpc/vanilla/html/test/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Rules.Rewrite.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.CriticalPair.Ops.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.CriticalPair.Type.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Context.Ops.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Context.Type.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Substitution.Unify.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Substitution.Match.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Substitution.Ops.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Substitution.Type.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Rule.Ops.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Rule.Type.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Pos.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Term.Ops.hs.html
Writing: term-rewriting-0.5-inplace/Data.Rewriting.Term.Type.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Package coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/term-rewriting-0.5/noopt/hpc/vanilla/html/term-rewriting-0.5/hpc_index.html