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 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 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 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 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 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 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 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