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