Build #1 for twee-lib-2.6.1
| Package | twee-lib-2.6.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2026-01-11 15:17:33.398527501 UTC |
|---|---|
| Compiler | ghc-9.8.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | QuickCheck-2.17.1.0, base-4.19.2.0, bytestring-0.12.1.0, cereal-0.5.8.3, containers-0.6.8, dlist-1.0, ghc-prim-0.11.0, pretty-1.1.3.6, primitive-0.9.1.0, random-1.3.1, transformers-0.6.1.0, uglymemo-0.1.0.1 |
| Flags | -bounds-checks -llvm -profile |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring cereal-0.5.8.3...
Preprocessing library for cereal-0.5.8.3..
Building library for cereal-0.5.8.3..
[1 of 4] Compiling Data.Serialize.Get ( src/Data/Serialize/Get.hs, dist/build/Data/Serialize/Get.o, dist/build/Data/Serialize/Get.dyn_o )
[2 of 4] Compiling Data.Serialize.Put ( src/Data/Serialize/Put.hs, dist/build/Data/Serialize/Put.o, dist/build/Data/Serialize/Put.dyn_o )
[3 of 4] Compiling Data.Serialize.IEEE754 ( src/Data/Serialize/IEEE754.hs, dist/build/Data/Serialize/IEEE754.o, dist/build/Data/Serialize/IEEE754.dyn_o )
[4 of 4] Compiling Data.Serialize ( src/Data/Serialize.hs, dist/build/Data/Serialize.o, dist/build/Data/Serialize.dyn_o )
src/Data/Serialize.hs:702:22: warning: [GHC-39567] [-Wstar-is-type]
Using * (or its Unicode variant) to mean Data.Kind.Type
relies on the StarIsType extension, which will become
deprecated in the future.
Suggested fix: Use Type from Data.Kind instead.
|
702 | newtype Tagged (s :: * -> *) b = Tagged {unTagged :: b}
| ^
src/Data/Serialize.hs:702:27: warning: [GHC-39567] [-Wstar-is-type]
Using * (or its Unicode variant) to mean Data.Kind.Type
relies on the StarIsType extension, which will become
deprecated in the future.
Suggested fix: Use Type from Data.Kind instead.
|
702 | newtype Tagged (s :: * -> *) b = Tagged {unTagged :: b}
| ^
Preprocessing library for cereal-0.5.8.3..
Running Haddock on library for cereal-0.5.8.3..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 4] Compiling Data.Serialize.Get ( src/Data/Serialize/Get.hs, nothing )
[2 of 4] Compiling Data.Serialize.Put ( src/Data/Serialize/Put.hs, nothing )
[3 of 4] Compiling Data.Serialize.IEEE754 ( src/Data/Serialize/IEEE754.hs, nothing )
[4 of 4] Compiling Data.Serialize ( src/Data/Serialize.hs, nothing )
src/Data/Serialize.hs:702:22: warning: [GHC-39567] [-Wstar-is-type]
Using * (or its Unicode variant) to mean Data.Kind.Type
relies on the StarIsType extension, which will become
deprecated in the future.
Suggested fix: Use Type from Data.Kind instead.
|
702 | newtype Tagged (s :: * -> *) b = Tagged {unTagged :: b}
| ^
src/Data/Serialize.hs:702:27: warning: [GHC-39567] [-Wstar-is-type]
Using * (or its Unicode variant) to mean Data.Kind.Type
relies on the StarIsType extension, which will become
deprecated in the future.
Suggested fix: Use Type from Data.Kind instead.
|
702 | newtype Tagged (s :: * -> *) b = Tagged {unTagged :: b}
| ^
Haddock coverage:
93% ( 61 / 65) in 'Data.Serialize.Get'
Missing documentation for:
label (src/Data/Serialize/Get.hs:268)
getLazyByteString (src/Data/Serialize/Get.hs:509)
getShortByteString (src/Data/Serialize/Get.hs:513)
getTwoOf (src/Data/Serialize/Get.hs:761)
Warning: 'Put' is ambiguous. It is defined
* at src/Data/Serialize/Put.hs:140:18
* at src/Data/Serialize/Put.hs:143:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Data/Serialize/Put.hs:143:1
75% ( 42 / 56) in 'Data.Serialize.Put'
Missing documentation for:
Putter (src/Data/Serialize/Put.hs:145)
putBuilder (src/Data/Serialize/Put.hs:202)
putShortByteString (src/Data/Serialize/Put.hs:260)
putTwoOf (src/Data/Serialize/Put.hs:400)
putListOf (src/Data/Serialize/Put.hs:404)
putIArrayOf (src/Data/Serialize/Put.hs:410)
putSeqOf (src/Data/Serialize/Put.hs:416)
putTreeOf (src/Data/Serialize/Put.hs:422)
putMapOf (src/Data/Serialize/Put.hs:429)
putIntMapOf (src/Data/Serialize/Put.hs:433)
putSetOf (src/Data/Serialize/Put.hs:437)
putIntSetOf (src/Data/Serialize/Put.hs:441)
putMaybeOf (src/Data/Serialize/Put.hs:445)
putEitherOf (src/Data/Serialize/Put.hs:450)
100% ( 11 / 11) in 'Data.Serialize.IEEE754'
Cannot find documentation for: $example
86% ( 13 / 15) in 'Data.Serialize'
Missing documentation for:
GSerializePut (src/Data/Serialize.hs:571)
GSerializeGet (src/Data/Serialize.hs:574)
Warning: Data.Serialize.Get: could not find link destinations for:
- Data.Serialize.Get.get
Warning: Data.Serialize.Put: could not find link destinations for:
- Data.Serialize.Put.PairS
Warning: Data.Serialize: could not find link destinations for:
- Data.Serialize.SumSize
- Data.Serialize.GetSum
- Data.Serialize.PutSum
Documentation created: dist/doc/html/cereal/, dist/doc/html/cereal/cereal.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/cereal-0.5.8.3-CdRifegrast6xnOPLq62pE
Completed cereal-0.5.8.3
Configuring 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
Test log
[view raw]
Resolving dependencies... No tests to run for all the packages in the project