Build #1 for rest-rewrite-0.4.5
| Package | rest-rewrite-0.4.5 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2025-05-05 18:24:52.831683731 UTC |
|---|---|
| Compiler | ghc-9.8.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.19.2.0, containers-0.6.8, hashable-1.5.0.0, mtl-2.3.1, parsec-3.1.17.0, process-1.6.25.0, text-2.1.1, unordered-containers-0.2.20, QuickCheck-2.15.0.1, base-4.19.2.0, containers-0.6.8, hashable-1.5.0.0, monad-loops-0.4.3, mtl-2.3.1, parsec-3.1.17.0, process-1.6.25.0, text-2.1.1, time-1.12.2, unordered-containers-0.2.20 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring monad-loops-0.4.3...
Preprocessing library for monad-loops-0.4.3..
Building library for monad-loops-0.4.3..
[1 of 1] Compiling Control.Monad.Loops ( src/Control/Monad/Loops.hs, dist/build/Control/Monad/Loops.o, dist/build/Control/Monad/Loops.dyn_o )
Preprocessing library for monad-loops-0.4.3..
Running Haddock on library for monad-loops-0.4.3..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 1] Compiling Control.Monad.Loops ( src/Control/Monad/Loops.hs, nothing )
Haddock coverage:
Warning: Control.Monad.Loops: Could not find documentation for exported module: Control.Monad.Loops
75% ( 36 / 48) in 'Control.Monad.Loops'
Missing documentation for:
minimaOnByM (src/Control/Monad/Loops.hs:406)
maximaOnByM (src/Control/Monad/Loops.hs:421)
minimaByM (src/Control/Monad/Loops.hs:424)
maximaByM (src/Control/Monad/Loops.hs:427)
minimaOnM (src/Control/Monad/Loops.hs:430)
maximaOnM (src/Control/Monad/Loops.hs:433)
minimumOnByM (src/Control/Monad/Loops.hs:437)
maximumOnByM (src/Control/Monad/Loops.hs:452)
minimumByM (src/Control/Monad/Loops.hs:455)
maximumByM (src/Control/Monad/Loops.hs:458)
minimumOnM (src/Control/Monad/Loops.hs:461)
maximumOnM (src/Control/Monad/Loops.hs:464)
Documentation created: dist/doc/html/monad-loops/,
dist/doc/html/monad-loops/monad-loops.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/monad-loops-0.4.3-E8lkPrSfxqUDEDJGlndSx6
Warning: Unable to strip executable or library
'libHSmonad-loops-0.4.3-E8lkPrSfxqUDEDJGlndSx6' (missing the 'strip' program)
Warning: Unable to strip executable or library
'libHSmonad-loops-0.4.3-E8lkPrSfxqUDEDJGlndSx6-ghc9.8.4' (missing the 'strip'
program)
Completed monad-loops-0.4.3
Configuring os-string-2.0.7...
Preprocessing library for os-string-2.0.7..
Building library for os-string-2.0.7..
[ 1 of 11] Compiling System.OsString.Data.ByteString.Short.Internal ( System/OsString/Data/ByteString/Short/Internal.hs, dist/build/System/OsString/Data/ByteString/Short/Internal.o, dist/build/System/OsString/Data/ByteString/Short/Internal.dyn_o )
[ 2 of 11] Compiling System.OsString.Data.ByteString.Short ( System/OsString/Data/ByteString/Short.hs, dist/build/System/OsString/Data/ByteString/Short.o, dist/build/System/OsString/Data/ByteString/Short.dyn_o )
[ 3 of 11] Compiling System.OsString.Data.ByteString.Short.Word16 ( System/OsString/Data/ByteString/Short/Word16.hs, dist/build/System/OsString/Data/ByteString/Short/Word16.o, dist/build/System/OsString/Data/ByteString/Short/Word16.dyn_o )
[ 4 of 11] Compiling System.OsString.Internal.Exception ( System/OsString/Internal/Exception.hs, dist/build/System/OsString/Internal/Exception.o, dist/build/System/OsString/Internal/Exception.dyn_o )
[ 5 of 11] Compiling System.OsString.Encoding.Internal ( System/OsString/Encoding/Internal.hs, dist/build/System/OsString/Encoding/Internal.o, dist/build/System/OsString/Encoding/Internal.dyn_o )
System/OsString/Encoding/Internal.hs:23:42: warning: [GHC-38856] [-Wunused-imports]
The import of try from module Control.Exception is redundant
|
23 | import Control.Exception (SomeException, try, Exception (displayException), evaluate)
| ^^^
[ 6 of 11] Compiling System.OsString.Encoding ( System/OsString/Encoding.hs, dist/build/System/OsString/Encoding.o, dist/build/System/OsString/Encoding.dyn_o )
[ 7 of 11] Compiling System.OsString.Internal.Types ( System/OsString/Internal/Types.hs, dist/build/System/OsString/Internal/Types.o, dist/build/System/OsString/Internal/Types.dyn_o )
[ 8 of 11] Compiling System.OsString.Posix ( System/OsString/Posix.hs, dist/build/System/OsString/Posix.o, dist/build/System/OsString/Posix.dyn_o )
[ 9 of 11] Compiling System.OsString.Internal ( System/OsString/Internal.hs, dist/build/System/OsString/Internal.o, dist/build/System/OsString/Internal.dyn_o )
[10 of 11] Compiling System.OsString ( System/OsString.hs, dist/build/System/OsString.o, dist/build/System/OsString.dyn_o )
[11 of 11] Compiling System.OsString.Windows ( System/OsString/Windows.hs, dist/build/System/OsString/Windows.o, dist/build/System/OsString/Windows.dyn_o )
Preprocessing library for os-string-2.0.7..
Running Haddock on library for os-string-2.0.7..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 11] Compiling System.OsString.Data.ByteString.Short.Internal ( System/OsString/Data/ByteString/Short/Internal.hs, nothing )
[ 2 of 11] Compiling System.OsString.Data.ByteString.Short ( System/OsString/Data/ByteString/Short.hs, nothing )
[ 3 of 11] Compiling System.OsString.Data.ByteString.Short.Word16 ( System/OsString/Data/ByteString/Short/Word16.hs, nothing )
[ 4 of 11] Compiling System.OsString.Internal.Exception ( System/OsString/Internal/Exception.hs, nothing )
[ 5 of 11] Compiling System.OsString.Encoding.Internal ( System/OsString/Encoding/Internal.hs, nothing )
System/OsString/Encoding/Internal.hs:23:42: warning: [GHC-38856] [-Wunused-imports]
The import of try from module Control.Exception is redundant
|
23 | import Control.Exception (SomeException, try, Exception (displayException), evaluate)
| ^^^
[ 6 of 11] Compiling System.OsString.Encoding ( System/OsString/Encoding.hs, nothing )
[ 7 of 11] Compiling System.OsString.Internal.Types ( System/OsString/Internal/Types.hs, nothing )
[ 8 of 11] Compiling System.OsString.Posix ( System/OsString/Posix.hs, nothing )
[ 9 of 11] Compiling System.OsString.Internal ( System/OsString/Internal.hs, nothing )
[10 of 11] Compiling System.OsString ( System/OsString.hs, nothing )
[11 of 11] Compiling System.OsString.Windows ( System/OsString/Windows.hs, nothing )
Haddock coverage:
Warning: 'ShortByteString' is ambiguous. It is defined
* in Data.ByteString.Short.Internal
* in Data.ByteString.Short.Internal
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.ByteString.Short.Internal
26% ( 11 / 41) in 'System.OsString.Data.ByteString.Short.Internal'
Missing documentation for:
_nul (System/OsString/Data/ByteString/Short/Internal.hs:60)
isSpace (System/OsString/Data/ByteString/Short/Internal.hs:63)
create (System/OsString/Data/ByteString/Short/Internal.hs:70)
asBA (System/OsString/Data/ByteString/Short/Internal.hs:80)
BA (System/OsString/Data/ByteString/Short/Internal.hs:84)
MBA (System/OsString/Data/ByteString/Short/Internal.hs:85)
newPinnedByteArray (System/OsString/Data/ByteString/Short/Internal.hs:89)
newByteArray (System/OsString/Data/ByteString/Short/Internal.hs:94)
copyByteArray (System/OsString/Data/ByteString/Short/Internal.hs:99)
unsafeFreezeByteArray (System/OsString/Data/ByteString/Short/Internal.hs:104)
copyAddrToByteArray (System/OsString/Data/ByteString/Short/Internal.hs:109)
moduleErrorIO (System/OsString/Data/ByteString/Short/Internal.hs:244)
moduleErrorMsg (System/OsString/Data/ByteString/Short/Internal.hs:248)
packWord16 (System/OsString/Data/ByteString/Short/Internal.hs:251)
packLenWord16 (System/OsString/Data/ByteString/Short/Internal.hs:254)
unpackWord16 (System/OsString/Data/ByteString/Short/Internal.hs:265)
packWord16Rev (System/OsString/Data/ByteString/Short/Internal.hs:274)
packLenWord16Rev (System/OsString/Data/ByteString/Short/Internal.hs:277)
indexWord8Array (System/OsString/Data/ByteString/Short/Internal.hs:299)
word16ToLE# (System/OsString/Data/ByteString/Short/Internal.hs:320)
word16FromLE# (System/OsString/Data/ByteString/Short/Internal.hs:322)
setByteArray (System/OsString/Data/ByteString/Short/Internal.hs:325)
copyMutableByteArray (System/OsString/Data/ByteString/Short/Internal.hs:330)
createAndTrim' (System/OsString/Data/ByteString/Short/Internal.hs:356)
createAndTrim'' (System/OsString/Data/ByteString/Short/Internal.hs:372)
findIndexOrLength (System/OsString/Data/ByteString/Short/Internal.hs:397)
assertEven (System/OsString/Data/ByteString/Short/Internal.hs:422)
errorEmptySBS (System/OsString/Data/ByteString/Short/Internal.hs:430)
moduleError (System/OsString/Data/ByteString/Short/Internal.hs:434)
compareByteArraysOff (System/OsString/Data/ByteString/Short/Internal.hs:444)
Warning: 'ShortByteString' is ambiguous. It is defined
* in Data.ByteString.Short.Internal
* in Data.ByteString.Short.Internal
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.ByteString.Short.Internal
96% ( 93 / 96) in 'System.OsString.Data.ByteString.Short'
Missing documentation for:
append
uncons2 (System/OsString/Data/ByteString/Short.hs:184)
concat
Warning: 'ShortByteString' is ambiguous. It is defined
* in Data.ByteString.Short.Internal
* in Data.ByteString.Short.Internal
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.ByteString.Short.Internal
Warning: 'ByteString' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'CString' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
96% ( 92 / 95) in 'System.OsString.Data.ByteString.Short.Word16'
Missing documentation for:
append
concat
breakSubstring (System/OsString/Data/ByteString/Short/Word16.hs:663)
Warning: 'try' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
33% ( 1 / 3) in 'System.OsString.Internal.Exception'
Missing documentation for:
Module header
isAsyncException (System/OsString/Internal/Exception.hs:17)
Warning: 'TextEncoding' is ambiguous. It is defined
* in GHC.IO.Encoding.Types
* in GHC.IO.Encoding.Types
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.IO.Encoding.Types
27% ( 9 / 33) in 'System.OsString.Encoding.Internal'
Missing documentation for:
Module header
ucs2le (System/OsString/Encoding/Internal.hs:42)
mkUcs2le (System/OsString/Encoding/Internal.hs:45)
ucs2le_DF (System/OsString/Encoding/Internal.hs:50)
ucs2le_EF (System/OsString/Encoding/Internal.hs:60)
ucs2le_decode (System/OsString/Encoding/Internal.hs:71)
ucs2le_encode (System/OsString/Encoding/Internal.hs:96)
mkUTF16le_b (System/OsString/Encoding/Internal.hs:131)
utf16le_b_DF (System/OsString/Encoding/Internal.hs:136)
utf16le_b_EF (System/OsString/Encoding/Internal.hs:146)
utf16le_b_decode (System/OsString/Encoding/Internal.hs:157)
utf16le_b_encode (System/OsString/Encoding/Internal.hs:195)
cWcharsToChars_UCS2 (System/OsString/Encoding/Internal.hs:231)
cWcharsToChars (System/OsString/Encoding/Internal.hs:238)
charsToCWchars (System/OsString/Encoding/Internal.hs:248)
withWindowsString (System/OsString/Encoding/Internal.hs:264)
peekWindowsString (System/OsString/Encoding/Internal.hs:267)
withPosixString (System/OsString/Encoding/Internal.hs:272)
withPosixString' (System/OsString/Encoding/Internal.hs:275)
peekPosixString (System/OsString/Encoding/Internal.hs:278)
peekPosixString' (System/OsString/Encoding/Internal.hs:281)
EncodingException (System/OsString/Encoding/Internal.hs:340)
showEncodingException (System/OsString/Encoding/Internal.hs:348)
wNUL (System/OsString/Encoding/Internal.hs:367)
44% ( 11 / 25) in 'System.OsString.Encoding'
Missing documentation for:
Module header
EncodingException (System/OsString/Encoding/Internal.hs:340)
showEncodingException (System/OsString/Encoding/Internal.hs:348)
ucs2le (System/OsString/Encoding/Internal.hs:42)
mkUcs2le (System/OsString/Encoding/Internal.hs:45)
ucs2le_DF (System/OsString/Encoding/Internal.hs:50)
ucs2le_EF (System/OsString/Encoding/Internal.hs:60)
ucs2le_decode (System/OsString/Encoding/Internal.hs:71)
ucs2le_encode (System/OsString/Encoding/Internal.hs:96)
mkUTF16le_b (System/OsString/Encoding/Internal.hs:131)
utf16le_b_DF (System/OsString/Encoding/Internal.hs:136)
utf16le_b_EF (System/OsString/Encoding/Internal.hs:146)
utf16le_b_decode (System/OsString/Encoding/Internal.hs:157)
utf16le_b_encode (System/OsString/Encoding/Internal.hs:195)
Warning: 'WindowsString' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:60:25
* at System/OsString/Internal/Types.hs:60:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:60:1
Warning: 'PosixString' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:87:23
* at System/OsString/Internal/Types.hs:87:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:87:1
Warning: 'ShortByteString' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'PosixChar' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:123:23
* at System/OsString/Internal/Types.hs:123:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:123:1
Warning: 'WindowsChar' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:117:23
* at System/OsString/Internal/Types.hs:117:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:117:1
Warning: 'OsChar' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:210:18
* at System/OsString/Internal/Types.hs:210:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:210:1
Warning: 'OsString' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:161:20
* at System/OsString/Internal/Types.hs:161:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:161:1
Warning: '(</>)' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
50% ( 9 / 18) in 'System.OsString.Internal.Types'
Missing documentation for:
Module header
unWS (System/OsString/Internal/Types.hs:70)
unPS (System/OsString/Internal/Types.hs:96)
PlatformString (System/OsString/Internal/Types.hs:114)
WindowsChar (System/OsString/Internal/Types.hs:117)
unWW (System/OsString/Internal/Types.hs:131)
PosixChar (System/OsString/Internal/Types.hs:123)
unPW (System/OsString/Internal/Types.hs:139)
PlatformChar (System/OsString/Internal/Types.hs:148)
Warning: 'setFileSystemEncoding' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'getLocaleEncoding' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'PosixString' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:87:23
* at System/OsString/Internal/Types.hs:87:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:87:1
Warning: 'OsString' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
94% ( 93 / 98) in 'System.OsString.Posix'
Missing documentation for:
Module header
PosixChar (System/OsString/Internal/Types.hs:123)
singleton (System/OsString/Common.hs:495)
empty (System/OsString/Common.hs:498)
concat (System/OsString/Common.hs:706)
Warning: 'setFileSystemEncoding' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'unsafePerformIO' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'getLocaleEncoding' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'OsString' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:161:20
* at System/OsString/Internal/Types.hs:161:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:161:1
Warning: 'OsChar' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:210:18
* at System/OsString/Internal/Types.hs:210:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:210:1
Warning: 'head' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:281:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:281:1
Warning: 'tail' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:265:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:265:1
Warning: 'init' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:290:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:290:1
Warning: 'last' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:256:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:256:1
Warning: 'map' is ambiguous. It is defined
* in GHC.Base
* at System/OsString/Internal.hs:316:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:316:1
Warning: 'reverse' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:322:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:322:1
Warning: 'foldl' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:338:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:338:1
Warning: 'foldl1' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:352:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:352:1
Warning: 'foldr' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:368:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:368:1
Warning: 'foldr1' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:382:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:382:1
Warning: 'all' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:396:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:396:1
Warning: 'any' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:403:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:403:1
Warning: 'replicate' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:418:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:418:1
Warning: 'take' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:460:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:460:1
Warning: 'length' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:309:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:309:1
Warning: 'drop' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:497:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:497:1
Warning: 'takeWhile' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:491:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:491:1
Warning: 'dropWhile' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:519:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:519:1
Warning: 'break' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.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 System/OsString/Internal.hs:548:1
Warning: 'span' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:558:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:558:1
Warning: 'splitAt' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:583:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:583:1
Warning: 'elem' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:686:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:686:1
Warning: 'filter' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:704:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:704:1
94% ( 74 / 78) in 'System.OsString.Internal'
Missing documentation for:
Module header
empty (System/OsString/Internal.hs:221)
singleton (System/OsString/Internal.hs:224)
concat (System/OsString/Internal.hs:409)
Warning: 'setFileSystemEncoding' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'unsafePerformIO' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
96% ( 96 / 99) in 'System.OsString'
Missing documentation for:
empty (System/OsString/Internal.hs:221)
singleton (System/OsString/Internal.hs:224)
concat (System/OsString/Internal.hs:409)
Warning: 'unsafeDupablePerformIO' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'WindowsString' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:60:25
* at System/OsString/Internal/Types.hs:60:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:60:1
Warning: 'OsString' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
94% ( 93 / 98) in 'System.OsString.Windows'
Missing documentation for:
Module header
WindowsChar (System/OsString/Internal/Types.hs:117)
singleton (System/OsString/Common.hs:495)
empty (System/OsString/Common.hs:498)
concat (System/OsString/Common.hs:706)
Warning: System.OsString.Data.ByteString.Short: could not find link destinations for:
- Data.ByteString.Short.Internal.Rep_ShortByteString
- Data.ByteString.Short.Internal.D:R:ItemShortByteString
Warning: System.OsString.Data.ByteString.Short.Word16: could not find link destinations for:
- Data.ByteString.Short.Internal.Rep_ShortByteString
- Data.ByteString.Short.Internal.D:R:ItemShortByteString
Warning: System.OsString.Internal.Types: could not find link destinations for:
- System.OsString.Internal.Types.Rep_OsChar
- System.OsString.Internal.Types.Rep_OsString
- System.OsString.Internal.Types.Rep_PosixChar
- System.OsString.Internal.Types.Rep_WindowsChar
- System.OsString.Internal.Types.Rep_PosixString
- System.OsString.Internal.Types.Rep_WindowsString
Warning: System.OsString.Posix: could not find link destinations for:
- System.OsString.Internal.Types.Rep_PosixChar
- System.OsString.Internal.Types.Rep_PosixString
Warning: System.OsString: could not find link destinations for:
- System.OsString.Internal.Types.Rep_OsChar
- System.OsString.Internal.Types.Rep_OsString
Warning: System.OsString.Windows: could not find link destinations for:
- System.OsString.Internal.Types.Rep_WindowsChar
- System.OsString.Internal.Types.Rep_WindowsString
Documentation created: dist/doc/html/os-string/,
dist/doc/html/os-string/os-string.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/os-string-2.0.7-5BBZgm2IGGO8ifbVrttmLE
Warning: Unable to strip executable or library
'libHSos-string-2.0.7-5BBZgm2IGGO8ifbVrttmLE' (missing the 'strip' program)
Warning: Unable to strip executable or library
'libHSos-string-2.0.7-5BBZgm2IGGO8ifbVrttmLE-ghc9.8.4' (missing the 'strip'
program)
Completed os-string-2.0.7
Configuring splitmix-0.1.1...
Preprocessing library for splitmix-0.1.1..
Building library for splitmix-0.1.1..
[1 of 4] Compiling Data.Bits.Compat ( src-compat/Data/Bits/Compat.hs, dist/build/Data/Bits/Compat.o, dist/build/Data/Bits/Compat.dyn_o )
[2 of 4] Compiling System.Random.SplitMix.Init ( src/System/Random/SplitMix/Init.hs, dist/build/System/Random/SplitMix/Init.o, dist/build/System/Random/SplitMix/Init.dyn_o )
[3 of 4] Compiling System.Random.SplitMix ( src/System/Random/SplitMix.hs, dist/build/System/Random/SplitMix.o, dist/build/System/Random/SplitMix.dyn_o )
[4 of 4] Compiling System.Random.SplitMix32 ( src/System/Random/SplitMix32.hs, dist/build/System/Random/SplitMix32.o, dist/build/System/Random/SplitMix32.dyn_o )
Preprocessing library for splitmix-0.1.1..
Running Haddock on library for splitmix-0.1.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 4] Compiling Data.Bits.Compat ( src-compat/Data/Bits/Compat.hs, nothing )
[2 of 4] Compiling System.Random.SplitMix.Init ( src/System/Random/SplitMix/Init.hs, nothing )
[3 of 4] Compiling System.Random.SplitMix ( src/System/Random/SplitMix.hs, nothing )
[4 of 4] 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.1-2dkWbDg3EPmIridMVkE3HU
Warning: Unable to strip executable or library
'libHSsplitmix-0.1.1-2dkWbDg3EPmIridMVkE3HU' (missing the 'strip' program)
Warning: Unable to strip executable or library
'libHSsplitmix-0.1.1-2dkWbDg3EPmIridMVkE3HU-ghc9.8.4' (missing the 'strip'
program)
Completed splitmix-0.1.1
Configuring hashable-1.5.0.0...
Preprocessing library for hashable-1.5.0.0..
Building library for hashable-1.5.0.0..
[ 1 of 10] Compiling Data.Hashable.FFI ( src/Data/Hashable/FFI.hs, dist/build/Data/Hashable/FFI.o, dist/build/Data/Hashable/FFI.dyn_o )
[ 2 of 10] Compiling Data.Hashable.Imports ( src/Data/Hashable/Imports.hs, dist/build/Data/Hashable/Imports.o, dist/build/Data/Hashable/Imports.dyn_o )
[ 3 of 10] Compiling Data.Hashable.Mix ( src/Data/Hashable/Mix.hs, dist/build/Data/Hashable/Mix.o, dist/build/Data/Hashable/Mix.dyn_o )
[ 4 of 10] Compiling Data.Hashable.XXH3 ( src/Data/Hashable/XXH3.hs, dist/build/Data/Hashable/XXH3.o, dist/build/Data/Hashable/XXH3.dyn_o )
[ 5 of 10] Compiling Data.Hashable.LowLevel ( src/Data/Hashable/LowLevel.hs, dist/build/Data/Hashable/LowLevel.o, dist/build/Data/Hashable/LowLevel.dyn_o )
[ 6 of 10] Compiling Data.Hashable.Class ( src/Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o, dist/build/Data/Hashable/Class.dyn_o )
[ 7 of 10] Compiling Data.Hashable.Lifted ( src/Data/Hashable/Lifted.hs, dist/build/Data/Hashable/Lifted.o, dist/build/Data/Hashable/Lifted.dyn_o )
[ 8 of 10] Compiling Data.Hashable.Generic.Instances ( src/Data/Hashable/Generic/Instances.hs, dist/build/Data/Hashable/Generic/Instances.o, dist/build/Data/Hashable/Generic/Instances.dyn_o )
src/Data/Hashable/Generic/Instances.hs:5:14: warning: [GHC-19244] [-Wtrustworthy-safe]
Data.Hashable.Generic.Instances is marked as Trustworthy but has been inferred as safe!
|
5 | {-# LANGUAGE Trustworthy #-}
| ^^^^^^^^^^^
[ 9 of 10] Compiling Data.Hashable.Generic ( src/Data/Hashable/Generic.hs, dist/build/Data/Hashable/Generic.o, dist/build/Data/Hashable/Generic.dyn_o )
[10 of 10] Compiling Data.Hashable ( src/Data/Hashable.hs, dist/build/Data/Hashable.o, dist/build/Data/Hashable.dyn_o )
Preprocessing library for hashable-1.5.0.0..
Running Haddock on library for hashable-1.5.0.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 10] Compiling Data.Hashable.FFI ( src/Data/Hashable/FFI.hs, nothing )
[ 2 of 10] Compiling Data.Hashable.Imports ( src/Data/Hashable/Imports.hs, nothing )
[ 3 of 10] Compiling Data.Hashable.Mix ( src/Data/Hashable/Mix.hs, nothing )
[ 4 of 10] Compiling Data.Hashable.XXH3 ( src/Data/Hashable/XXH3.hs, nothing )
[ 5 of 10] Compiling Data.Hashable.LowLevel ( src/Data/Hashable/LowLevel.hs, nothing )
[ 6 of 10] Compiling Data.Hashable.Class ( src/Data/Hashable/Class.hs, nothing )
[ 7 of 10] Compiling Data.Hashable.Lifted ( src/Data/Hashable/Lifted.hs, nothing )
[ 8 of 10] Compiling Data.Hashable.Generic.Instances ( src/Data/Hashable/Generic/Instances.hs, nothing )
src/Data/Hashable/Generic/Instances.hs:5:14: warning: [GHC-19244] [-Wtrustworthy-safe]
Data.Hashable.Generic.Instances is marked as Trustworthy but has been inferred as safe!
|
5 | {-# LANGUAGE Trustworthy #-}
| ^^^^^^^^^^^
[ 9 of 10] Compiling Data.Hashable.Generic ( src/Data/Hashable/Generic.hs, nothing )
[10 of 10] Compiling Data.Hashable ( src/Data/Hashable.hs, nothing )
Haddock coverage:
Warning: 'ByteArray' is ambiguous. It is defined
* in Data.Array.Byte
* in Data.Array.Byte
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Array.Byte
Warning: 'hash' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'defaultHashWith' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Hashed' is ambiguous. It is defined
* at src/Data/Hashable/Class.hs:860:17
* at src/Data/Hashable/Class.hs:860:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Data/Hashable/Class.hs:860:1
Warning: 'Arg' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
80% ( 8 / 10) in 'Data.Hashable.Lifted'
Missing documentation for:
Hashable1 (src/Data/Hashable/Class.hs:252)
Hashable2 (src/Data/Hashable/Class.hs:267)
66% ( 6 / 9) in 'Data.Hashable.Generic'
Missing documentation for:
One (src/Data/Hashable/Class.hs:242)
Zero (src/Data/Hashable/Class.hs:241)
HashArgs (src/Data/Hashable/Class.hs:244)
Warning: 'Generic' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 31 / 31) in 'Data.Hashable'
Warning: Data.Hashable.Generic: could not find link destinations for:
- Data.Hashable.Class.D:R:HashArgsOnea0
- Data.Hashable.Class.D:R:HashArgsZeroa0
- Data.Hashable.Generic.Instances.GSum
Warning: Data.Hashable: could not find link destinations for:
- Data.Hashable.Mix.Salt
Documentation created: dist/doc/html/hashable/,
dist/doc/html/hashable/hashable.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/hashable-1.5.0.0-CJcCLhsCpdHlEFddjHE51
Warning: Unable to strip executable or library
'libHShashable-1.5.0.0-CJcCLhsCpdHlEFddjHE51' (missing the 'strip' program)
Warning: Unable to strip executable or library
'libHShashable-1.5.0.0-CJcCLhsCpdHlEFddjHE51-ghc9.8.4' (missing the 'strip'
program)
Completed hashable-1.5.0.0
Configuring random-1.3.1...
Preprocessing library for random-1.3.1..
Building library for random-1.3.1..
[1 of 6] Compiling System.Random.Array ( src/System/Random/Array.hs, dist/build/System/Random/Array.o, dist/build/System/Random/Array.dyn_o )
[2 of 6] Compiling System.Random.GFinite ( src/System/Random/GFinite.hs, dist/build/System/Random/GFinite.o, dist/build/System/Random/GFinite.dyn_o )
[3 of 6] Compiling System.Random.Internal ( src/System/Random/Internal.hs, dist/build/System/Random/Internal.o, dist/build/System/Random/Internal.dyn_o )
[4 of 6] Compiling System.Random.Seed ( src/System/Random/Seed.hs, dist/build/System/Random/Seed.o, dist/build/System/Random/Seed.dyn_o )
[5 of 6] Compiling System.Random ( src/System/Random.hs, dist/build/System/Random.o, dist/build/System/Random.dyn_o )
[6 of 6] Compiling System.Random.Stateful ( src/System/Random/Stateful.hs, dist/build/System/Random/Stateful.o, dist/build/System/Random/Stateful.dyn_o )
Preprocessing library for random-1.3.1..
Running Haddock on library for random-1.3.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 6] Compiling System.Random.Array ( src/System/Random/Array.hs, nothing )
[2 of 6] Compiling System.Random.GFinite ( src/System/Random/GFinite.hs, nothing )
[3 of 6] Compiling System.Random.Internal ( src/System/Random/Internal.hs, nothing )
[4 of 6] Compiling System.Random.Seed ( src/System/Random/Seed.hs, nothing )
[5 of 6] Compiling System.Random ( src/System/Random.hs, nothing )
[6 of 6] Compiling System.Random.Stateful ( src/System/Random/Stateful.hs, nothing )
Haddock coverage:
Warning: 'ST' is ambiguous. It is defined
* in GHC.ST
* in GHC.ST
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.ST
Warning: 'StateGenM' is ambiguous. It is defined
* at src/System/Random/Internal.hs:606:20
* at src/System/Random/Internal.hs:606:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:606:1
Warning: 'StateGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:612:22
* at src/System/Random/Internal.hs:612:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:612:1
Warning: 'ByteArray' is ambiguous. It is defined
* in Data.Array.Byte
* in Data.Array.Byte
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Array.Byte
Warning: 'StdGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:749:18
* at src/System/Random/Internal.hs:749:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:749:1
Warning: 'MutableByteArray' is ambiguous. It is defined
* in Data.Array.Byte
* in Data.Array.Byte
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Array.Byte
Warning: 'ST' is ambiguous. It is defined
* in GHC.ST
* in GHC.ST
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.ST
Warning: 'StateT' is ambiguous. It is defined
* in Control.Monad.Trans.State.Strict
* in Control.Monad.Trans.State.Strict
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Control.Monad.Trans.State.Strict
Warning: 'Seed' is ambiguous. It is defined
* at src/System/Random/Internal.hs:134:18
* at src/System/Random/Internal.hs:134:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:134:1
Warning: 'StdGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:749:18
* at src/System/Random/Internal.hs:749:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:749:1
Warning: 'ByteArray' is ambiguous. It is defined
* in Data.Array.Byte
* in Data.Array.Byte
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Array.Byte
Warning: 'ByteString' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'uniformByteStringM' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'ShortByteString' is ambiguous. It is defined
* in Data.ByteString.Short.Internal
* in Data.ByteString.Short.Internal
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.ByteString.Short.Internal
Warning: 'StdGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:749:18
* at src/System/Random/Internal.hs:749:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:749:1
100% ( 71 / 71) in 'System.Random'
Warning: 'TGenM' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:719:19
* at src/System/Random/Stateful.hs:719:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Stateful.hs:719:1
Warning: 'STGenM' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:618:22
* at src/System/Random/Stateful.hs:618:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Stateful.hs:618:1
Warning: 'StateGenM' is ambiguous. It is defined
* at src/System/Random/Internal.hs:606:20
* at src/System/Random/Internal.hs:606:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:606:1
Warning: 'IOGenM' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:542:20
* at src/System/Random/Stateful.hs:542:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Stateful.hs:542:1
Warning: 'AtomicGenM' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:428:24
* at src/System/Random/Stateful.hs:428:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Stateful.hs:428:1
Warning: 'Seed' is ambiguous. It is defined
* at src/System/Random/Internal.hs:134:18
* at src/System/Random/Internal.hs:134:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:134:1
Warning: 'StdGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:749:18
* at src/System/Random/Internal.hs:749:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:749:1
Warning: 'IOGen' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:547:19
* at src/System/Random/Stateful.hs:547:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Stateful.hs:547:1
Warning: 'STGenM' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'STM' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'STGen' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:623:19
* at src/System/Random/Stateful.hs:623:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Stateful.hs:623:1
Warning: 'clearBit' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'testBit' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% (137 /137) in 'System.Random.Stateful'
Warning: System.Random: could not find link destinations for:
- System.Random.GFinite.cardinality
- System.Random.GFinite.toFinite
- System.Random.GFinite.fromFinite
- System.Random.GFinite.Cardinality
- System.Random.Seed.D:R:SeedSizeSMGen
- System.Random.Seed.D:R:SeedSizeSMGen0
- System.Random.Seed.D:R:SeedSizeStateGen
- System.Random.Seed.D:R:SeedSizeStdGen
- System.Random.Stateful.D:R:SeedSizeAtomicGen
- System.Random.Stateful.D:R:SeedSizeIOGen
- System.Random.Stateful.D:R:SeedSizeSTGen
- System.Random.Stateful.D:R:SeedSizeTGen
Warning: System.Random.Stateful: could not find link destinations for:
- System.Random.GFinite.GFinite
- System.Random.GFinite.cardinality
- System.Random.GFinite.toFinite
- System.Random.GFinite.fromFinite
- System.Random.GFinite.Cardinality
- System.Random.Internal.GUniformRange
- System.Random.Internal.GUniform
- System.Random.Internal.D:R:MutableGenStateGenm
- System.Random.Seed.D:R:SeedSizeSMGen
- System.Random.Seed.D:R:SeedSizeSMGen0
- System.Random.Seed.D:R:SeedSizeStateGen
- System.Random.Seed.D:R:SeedSizeStdGen
- System.Random.Stateful.D:R:MutableGenAtomicGenm
- System.Random.Stateful.D:R:SeedSizeAtomicGen
- System.Random.Stateful.D:R:MutableGenIOGenm
- System.Random.Stateful.D:R:SeedSizeIOGen
- System.Random.Stateful.D:R:MutableGenSTGenST
- System.Random.Stateful.D:R:SeedSizeSTGen
- System.Random.Stateful.D:R:MutableGenTGenSTM
- System.Random.Stateful.D:R:SeedSizeTGen
Documentation created: dist/doc/html/random/, dist/doc/html/random/random.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/random-1.3.1-3nGGvXhY3csIF4EfWKRQXs
Warning: Unable to strip executable or library
'libHSrandom-1.3.1-3nGGvXhY3csIF4EfWKRQXs' (missing the 'strip' program)
Warning: Unable to strip executable or library
'libHSrandom-1.3.1-3nGGvXhY3csIF4EfWKRQXs-ghc9.8.4' (missing the 'strip'
program)
Completed random-1.3.1
Configuring unordered-containers-0.2.20...
Preprocessing library for unordered-containers-0.2.20..
Building library for unordered-containers-0.2.20..
Data/HashMap/Internal.hs:12:14-23: warning: [GHC-53692] [-Wdeprecated-flags]
-XTypeInType is deprecated: use -XDataKinds and -XPolyKinds instead
|
12 | {-# LANGUAGE TypeInType #-}
| ^^^^^^^^^^
[1 of 9] Compiling Data.HashMap.Internal.Array ( Data/HashMap/Internal/Array.hs, dist/build/Data/HashMap/Internal/Array.o, dist/build/Data/HashMap/Internal/Array.dyn_o )
Data/HashMap/Internal/Array.hs:83:1-35: warning: [GHC-66111] [-Wunused-imports]
The import of Control.Applicative is redundant
except perhaps to import instances from Control.Applicative
To import instances alone, use: import Control.Applicative()
|
83 | import Control.Applicative (liftA2)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[2 of 9] Compiling Data.HashMap.Internal.List ( Data/HashMap/Internal/List.hs, dist/build/Data/HashMap/Internal/List.o, dist/build/Data/HashMap/Internal/List.dyn_o )
[3 of 9] Compiling Data.HashMap.Internal ( Data/HashMap/Internal.hs, dist/build/Data/HashMap/Internal.o, dist/build/Data/HashMap/Internal.dyn_o )
[4 of 9] Compiling Data.HashMap.Internal.Debug ( Data/HashMap/Internal/Debug.hs, dist/build/Data/HashMap/Internal/Debug.o, dist/build/Data/HashMap/Internal/Debug.dyn_o )
[5 of 9] Compiling Data.HashMap.Internal.Strict ( Data/HashMap/Internal/Strict.hs, dist/build/Data/HashMap/Internal/Strict.o, dist/build/Data/HashMap/Internal/Strict.dyn_o )
[6 of 9] Compiling Data.HashSet.Internal ( Data/HashSet/Internal.hs, dist/build/Data/HashSet/Internal.o, dist/build/Data/HashSet/Internal.dyn_o )
[7 of 9] Compiling Data.HashSet ( Data/HashSet.hs, dist/build/Data/HashSet.o, dist/build/Data/HashSet.dyn_o )
[8 of 9] Compiling Data.HashMap.Strict ( Data/HashMap/Strict.hs, dist/build/Data/HashMap/Strict.o, dist/build/Data/HashMap/Strict.dyn_o )
[9 of 9] Compiling Data.HashMap.Lazy ( Data/HashMap/Lazy.hs, dist/build/Data/HashMap/Lazy.o, dist/build/Data/HashMap/Lazy.dyn_o )
Preprocessing library for unordered-containers-0.2.20..
Running Haddock on library for unordered-containers-0.2.20..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
Data/HashMap/Internal.hs:12:14-23: warning: [GHC-53692] [-Wdeprecated-flags]
-XTypeInType is deprecated: use -XDataKinds and -XPolyKinds instead
|
12 | {-# LANGUAGE TypeInType #-}
| ^^^^^^^^^^
[1 of 9] Compiling Data.HashMap.Internal.Array ( Data/HashMap/Internal/Array.hs, nothing )
Data/HashMap/Internal/Array.hs:83:1-35: warning: [GHC-66111] [-Wunused-imports]
The import of Control.Applicative is redundant
except perhaps to import instances from Control.Applicative
To import instances alone, use: import Control.Applicative()
|
83 | import Control.Applicative (liftA2)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[2 of 9] Compiling Data.HashMap.Internal.List ( Data/HashMap/Internal/List.hs, nothing )
[3 of 9] Compiling Data.HashMap.Internal ( Data/HashMap/Internal.hs, nothing )
[4 of 9] Compiling Data.HashMap.Internal.Debug ( Data/HashMap/Internal/Debug.hs, nothing )
[5 of 9] Compiling Data.HashMap.Internal.Strict ( Data/HashMap/Internal/Strict.hs, nothing )
[6 of 9] Compiling Data.HashSet.Internal ( Data/HashSet/Internal.hs, nothing )
[7 of 9] Compiling Data.HashSet ( Data/HashSet.hs, nothing )
[8 of 9] Compiling Data.HashMap.Strict ( Data/HashMap/Strict.hs, nothing )
[9 of 9] Compiling Data.HashMap.Lazy ( Data/HashMap/Lazy.hs, nothing )
Haddock coverage:
33% ( 16 / 48) in 'Data.HashMap.Internal.Array'
Missing documentation for:
Array (Data/HashMap/Internal/Array.hs:125)
MArray (Data/HashMap/Internal/Array.hs:157)
new_ (Data/HashMap/Internal/Array.hs:208)
singleton (Data/HashMap/Internal/Array.hs:225)
singletonM (Data/HashMap/Internal/Array.hs:229)
snoc (Data/HashMap/Internal/Array.hs:233)
pair (Data/HashMap/Internal/Array.hs:242)
length (Data/HashMap/Internal/Array.hs:154)
lengthM (Data/HashMap/Internal/Array.hs:162)
read (Data/HashMap/Internal/Array.hs:249)
write (Data/HashMap/Internal/Array.hs:255)
index (Data/HashMap/Internal/Array.hs:262)
indexM (Data/HashMap/Internal/Array.hs:274)
index# (Data/HashMap/Internal/Array.hs:268)
sameArray1 (Data/HashMap/Internal/Array.hs:140)
unsafeFreeze (Data/HashMap/Internal/Array.hs:280)
unsafeThaw (Data/HashMap/Internal/Array.hs:286)
unsafeSameArray (Data/HashMap/Internal/Array.hs:136)
run (Data/HashMap/Internal/Array.hs:292)
cloneM (Data/HashMap/Internal/Array.hs:314)
foldl (Data/HashMap/Internal/Array.hs:404)
foldl' (Data/HashMap/Internal/Array.hs:375)
foldr (Data/HashMap/Internal/Array.hs:394)
foldr' (Data/HashMap/Internal/Array.hs:385)
foldMap (Data/HashMap/Internal/Array.hs:417)
thaw (Data/HashMap/Internal/Array.hs:436)
map (Data/HashMap/Internal/Array.hs:461)
traverse (Data/HashMap/Internal/Array.hs:537)
traverse' (Data/HashMap/Internal/Array.hs:553)
toList (Data/HashMap/Internal/Array.hs:529)
fromList (Data/HashMap/Internal/Array.hs:494)
fromList' (Data/HashMap/Internal/Array.hs:506)
25% ( 1 / 4) in 'Data.HashMap.Internal.List'
Missing documentation for:
isPermutationBy (Data/HashMap/Internal/List.hs:40)
deleteBy (Data/HashMap/Internal/List.hs:83)
unorderedCompare (Data/HashMap/Internal/List.hs:68)
Warning: 'Leaf' is ambiguous. It is defined
* at Data/HashMap/Internal.hs:225:7
* at Data/HashMap/Internal.hs:185:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at Data/HashMap/Internal.hs:185:1
Warning: 'at' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
88% ( 93 /105) in 'Data.HashMap.Internal'
Missing documentation for:
Leaf (Data/HashMap/Internal.hs:185)
intersectionWithKey# (Data/HashMap/Internal.hs:1855)
updateOrConcatWithKey (Data/HashMap/Internal.hs:2368)
equalKeys (Data/HashMap/Internal.hs:511)
equalKeys1 (Data/HashMap/Internal.hs:495)
lookupRecordCollision (Data/HashMap/Internal.hs:678)
LookupRes (Data/HashMap/Internal.hs:657)
lookupResToMaybe (Data/HashMap/Internal.hs:660)
insert' (Data/HashMap/Internal.hs:806)
delete' (Data/HashMap/Internal.hs:1124)
insertNewKey (Data/HashMap/Internal.hs:848)
insertKeyExists (Data/HashMap/Internal.hs:883)
50% ( 3 / 6) in 'Data.HashMap.Internal.Debug'
Missing documentation for:
valid (Data/HashMap/Internal/Debug.hs:98)
Validity (Data/HashMap/Internal/Debug.hs:43)
SubHashPath (Data/HashMap/Internal/Debug.hs:75)
Warning: 'lookup' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'at' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 67 / 67) in 'Data.HashMap.Internal.Strict'
Warning: 'HashSet' is ambiguous. It is defined
* at Data/HashSet/Internal.hs:112:21
* at Data/HashSet/Internal.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 Data/HashSet/Internal.hs:112:1
100% ( 35 / 35) in 'Data.HashSet.Internal'
Warning: 'HashSet' is ambiguous. It is defined
* at Data/HashSet/Internal.hs:112:21
* at Data/HashSet/Internal.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 Data/HashSet/Internal.hs:112:1
100% ( 32 / 32) in 'Data.HashSet'
100% ( 69 / 69) in 'Data.HashMap.Strict'
100% ( 69 / 69) in 'Data.HashMap.Lazy'
Warning: Data.HashMap.Internal: could not find link destinations for:
- Data.HashMap.Internal.D:R:ItemHashMap
Warning: Data.HashMap.Internal.Strict: could not find link destinations for:
- Data.HashMap.Internal.D:R:ItemHashMap
Warning: Data.HashSet.Internal: could not find link destinations for:
- Data.HashSet.Internal.D:R:ItemHashSet
Warning: Data.HashSet: could not find link destinations for:
- Data.HashSet.Internal.D:R:ItemHashSet
Warning: Data.HashMap.Strict: could not find link destinations for:
- Data.HashMap.Internal.D:R:ItemHashMap
Warning: Data.HashMap.Lazy: could not find link destinations for:
- Data.HashMap.Internal.D:R:ItemHashMap
Documentation created: dist/doc/html/unordered-containers/,
dist/doc/html/unordered-containers/unordered-containers.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/unordered-containers-0.2.20-8jMFzoCo8HRC7heG5b9rqS
Warning: Unable to strip executable or library
'libHSunordered-containers-0.2.20-8jMFzoCo8HRC7heG5b9rqS' (missing the 'strip'
program)
Warning: Unable to strip executable or library
'libHSunordered-containers-0.2.20-8jMFzoCo8HRC7heG5b9rqS-ghc9.8.4' (missing
the 'strip' program)
Completed unordered-containers-0.2.20
Configuring QuickCheck-2.15.0.1...
Preprocessing library for QuickCheck-2.15.0.1..
Building library for QuickCheck-2.15.0.1..
[ 1 of 16] Compiling Test.QuickCheck.Exception ( src/Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o, dist/build/Test/QuickCheck/Exception.dyn_o )
[ 2 of 16] Compiling Test.QuickCheck.Random ( src/Test/QuickCheck/Random.hs, dist/build/Test/QuickCheck/Random.o, dist/build/Test/QuickCheck/Random.dyn_o )
src/Test/QuickCheck/Random.hs:50:37: warning: [GHC-68441] [-Wdeprecations]
In the use of genShortByteString
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `System.Random.uniformShortByteString`"
|
50 | genShortByteString n = wrapQCGen (genShortByteString n)
| ^^^^^^^^^^^^^^^^^^
src/Test/QuickCheck/Random.hs:83:16: warning: [GHC-68441] [-Wdeprecations]
In the use of split
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `splitGen`"
|
83 | left = fst . split
| ^^^^^
src/Test/QuickCheck/Random.hs:84:17: warning: [GHC-68441] [-Wdeprecations]
In the use of split
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `splitGen`"
|
84 | right = snd . split
| ^^^^^
[ 3 of 16] Compiling Test.QuickCheck.Gen ( src/Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o, dist/build/Test/QuickCheck/Gen.dyn_o )
src/Test/QuickCheck/Gen.hs:92:12: warning: [GHC-68441] [-Wdeprecations]
In the use of split
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `splitGen`"
|
92 | case split r of
| ^^^^^
[ 4 of 16] 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 16] Compiling Test.QuickCheck.Arbitrary ( src/Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o, dist/build/Test/QuickCheck/Arbitrary.dyn_o )
[ 6 of 16] Compiling Test.QuickCheck.Poly ( src/Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o, dist/build/Test/QuickCheck/Poly.dyn_o )
[ 7 of 16] Compiling Test.QuickCheck.Modifiers ( src/Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o, dist/build/Test/QuickCheck/Modifiers.dyn_o )
[ 8 of 16] Compiling Test.QuickCheck.Function ( src/Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o, dist/build/Test/QuickCheck/Function.dyn_o )
[ 9 of 16] Compiling Test.QuickCheck.Text ( src/Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o, dist/build/Test/QuickCheck/Text.dyn_o )
[10 of 16] Compiling Test.QuickCheck.State ( src/Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o, dist/build/Test/QuickCheck/State.dyn_o )
[11 of 16] Compiling Test.QuickCheck.Property ( src/Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o, dist/build/Test/QuickCheck/Property.dyn_o )
[12 of 16] Compiling Test.QuickCheck.Test ( src/Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o, dist/build/Test/QuickCheck/Test.dyn_o )
src/Test/QuickCheck/Test.hs:501:17: warning: [GHC-68441] [-Wdeprecations]
In the use of split
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `splitGen`"
|
501 | (rnd1,rnd2) = split (randomSeed st)
| ^^^^^
[13 of 16] Compiling Test.QuickCheck.Monadic ( src/Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o, dist/build/Test/QuickCheck/Monadic.dyn_o )
[14 of 16] Compiling Test.QuickCheck.All ( src/Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o, dist/build/Test/QuickCheck/All.dyn_o )
[15 of 16] Compiling Test.QuickCheck.Features ( src/Test/QuickCheck/Features.hs, dist/build/Test/QuickCheck/Features.o, dist/build/Test/QuickCheck/Features.dyn_o )
[16 of 16] Compiling Test.QuickCheck ( src/Test/QuickCheck.hs, dist/build/Test/QuickCheck.o, dist/build/Test/QuickCheck.dyn_o )
Preprocessing library for QuickCheck-2.15.0.1..
Running Haddock on library for QuickCheck-2.15.0.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 16] Compiling Test.QuickCheck.Exception ( src/Test/QuickCheck/Exception.hs, nothing )
[ 2 of 16] Compiling Test.QuickCheck.Random ( src/Test/QuickCheck/Random.hs, nothing )
src/Test/QuickCheck/Random.hs:50:37: warning: [GHC-68441] [-Wdeprecations]
In the use of genShortByteString
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `System.Random.uniformShortByteString`"
|
50 | genShortByteString n = wrapQCGen (genShortByteString n)
| ^^^^^^^^^^^^^^^^^^
src/Test/QuickCheck/Random.hs:83:16: warning: [GHC-68441] [-Wdeprecations]
In the use of split
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `splitGen`"
|
83 | left = fst . split
| ^^^^^
src/Test/QuickCheck/Random.hs:84:17: warning: [GHC-68441] [-Wdeprecations]
In the use of split
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `splitGen`"
|
84 | right = snd . split
| ^^^^^
[ 3 of 16] Compiling Test.QuickCheck.Gen ( src/Test/QuickCheck/Gen.hs, nothing )
src/Test/QuickCheck/Gen.hs:92:12: warning: [GHC-68441] [-Wdeprecations]
In the use of split
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `splitGen`"
|
92 | case split r of
| ^^^^^
[ 4 of 16] Compiling Test.QuickCheck.Gen.Unsafe ( src/Test/QuickCheck/Gen/Unsafe.hs, nothing )
[ 5 of 16] Compiling Test.QuickCheck.Arbitrary ( src/Test/QuickCheck/Arbitrary.hs, nothing )
[ 6 of 16] Compiling Test.QuickCheck.Poly ( src/Test/QuickCheck/Poly.hs, nothing )
[ 7 of 16] Compiling Test.QuickCheck.Modifiers ( src/Test/QuickCheck/Modifiers.hs, nothing )
[ 8 of 16] Compiling Test.QuickCheck.Function ( src/Test/QuickCheck/Function.hs, nothing )
[ 9 of 16] Compiling Test.QuickCheck.Text ( src/Test/QuickCheck/Text.hs, nothing )
[10 of 16] Compiling Test.QuickCheck.State ( src/Test/QuickCheck/State.hs, nothing )
[11 of 16] Compiling Test.QuickCheck.Property ( src/Test/QuickCheck/Property.hs, nothing )
[12 of 16] Compiling Test.QuickCheck.Test ( src/Test/QuickCheck/Test.hs, nothing )
src/Test/QuickCheck/Test.hs:501:17: warning: [GHC-68441] [-Wdeprecations]
In the use of split
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `splitGen`"
|
501 | (rnd1,rnd2) = split (randomSeed st)
| ^^^^^
[13 of 16] Compiling Test.QuickCheck.Monadic ( src/Test/QuickCheck/Monadic.hs, nothing )
[14 of 16] Compiling Test.QuickCheck.All ( src/Test/QuickCheck/All.hs, nothing )
[15 of 16] Compiling Test.QuickCheck.Features ( src/Test/QuickCheck/Features.hs, nothing )
[16 of 16] Compiling Test.QuickCheck ( src/Test/QuickCheck.hs, nothing )
Haddock coverage:
Warning: 'a' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'stdout' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
92% ( 35 / 38) in 'Test.QuickCheck.Gen'
Missing documentation for:
chooseWord64 (src/Test/QuickCheck/Gen.hs:211)
chooseInt64 (src/Test/QuickCheck/Gen.hs:220)
chooseUpTo (src/Test/QuickCheck/Gen.hs:230)
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: 'label' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'classify' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
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:297)
shrink1 (src/Test/QuickCheck/Arbitrary.hs:300)
arbitrary2 (src/Test/QuickCheck/Arbitrary.hs:309)
shrink2 (src/Test/QuickCheck/Arbitrary.hs:312)
RecursivelyShrink (src/Test/QuickCheck/Arbitrary.hs:324)
GSubterms (src/Test/QuickCheck/Arbitrary.hs:355)
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:93:19
* at src/Test/QuickCheck/Modifiers.hs:93:1
You 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:93:1
Warning: 'A' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'NonNegative' is ambiguous. It is defined
* at src/Test/QuickCheck/Modifiers.hs:311:25
* at src/Test/QuickCheck/Modifiers.hs:311:1
You 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:311:1
Warning: 'forAll' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'OrdA' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Large' is ambiguous. It is defined
* at src/Test/QuickCheck/Modifiers.hs:350:19
* at src/Test/QuickCheck/Modifiers.hs:350:1
You 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:350:1
95% ( 21 / 22) in 'Test.QuickCheck.Modifiers'
Missing documentation for:
ShrinkState (src/Test/QuickCheck/Modifiers.hs:468)
Warning: 'Fun' is ambiguous. It is defined
* at src/Test/QuickCheck/Function.hs:545:16
* at src/Test/QuickCheck/Function.hs:545:1
You 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:545:1
100% ( 21 / 21) in 'Test.QuickCheck.Function'
Warning: 'checkCoverage' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'cover' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Discard' is ambiguous. It is defined
* at src/Test/QuickCheck/Property.hs:111:16
* at src/Test/QuickCheck/Property.hs:111:1
You 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:111:1
Warning: 'witnesses' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'quickCheckResult' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
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
Warning: 'table' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'tabular' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'p1' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'p2' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'stdout' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
83% ( 20 / 24) in 'Test.QuickCheck.Monadic'
Missing documentation for:
stop (src/Test/QuickCheck/Monadic.hs:163)
monadic (src/Test/QuickCheck/Monadic.hs:272)
monadic' (src/Test/QuickCheck/Monadic.hs:275)
runSTGen (src/Test/QuickCheck/Monadic.hs:314)
100% ( 10 / 10) in 'Test.QuickCheck.All'
Warning: '()' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Fun' is ambiguous. It is defined
* at src/Test/QuickCheck/Function.hs:545:16
* at src/Test/QuickCheck/Function.hs:545:1
You 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:545:1
Warning: 'Blind' is ambiguous. It is defined
* at src/Test/QuickCheck/Modifiers.hs:93:19
* at src/Test/QuickCheck/Modifiers.hs:93:1
You 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:93:1
Warning: 'A' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'NonNegative' is ambiguous. It is defined
* at src/Test/QuickCheck/Modifiers.hs:311:25
* at src/Test/QuickCheck/Modifiers.hs:311:1
You 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:311:1
Warning: 'OrdA' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
96% (199 /207) in 'Test.QuickCheck'
Missing documentation for:
arbitrary1 (src/Test/QuickCheck/Arbitrary.hs:297)
shrink1 (src/Test/QuickCheck/Arbitrary.hs:300)
arbitrary2 (src/Test/QuickCheck/Arbitrary.hs:309)
shrink2 (src/Test/QuickCheck/Arbitrary.hs:312)
ShrinkState (src/Test/QuickCheck/Modifiers.hs:468)
Witness (src/Test/QuickCheck/Property.hs:259)
coerceWitness (src/Test/QuickCheck/Property.hs:265)
castWitness (src/Test/QuickCheck/Property.hs:270)
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.15.0.1-8e8MYj1XhftIsOSIJohsmz
Warning: Unable to strip executable or library
'libHSQuickCheck-2.15.0.1-8e8MYj1XhftIsOSIJohsmz' (missing the 'strip'
program)
Warning: Unable to strip executable or library
'libHSQuickCheck-2.15.0.1-8e8MYj1XhftIsOSIJohsmz-ghc9.8.4' (missing the
'strip' program)
Completed QuickCheck-2.15.0.1
Downloading rest-rewrite-0.4.5
Downloaded rest-rewrite-0.4.5
Configuring rest-rewrite-0.4.5...
Preprocessing library for rest-rewrite-0.4.5..
Building library for rest-rewrite-0.4.5..
[ 1 of 33] Compiling Language.REST.Dot ( src/Language/REST/Dot.hs, dist/build/Language/REST/Dot.o, dist/build/Language/REST/Dot.dyn_o )
[ 2 of 33] Compiling Language.REST.ExploredTerms ( src/Language/REST/ExploredTerms.hs, dist/build/Language/REST/ExploredTerms.o, dist/build/Language/REST/ExploredTerms.dyn_o )
[ 3 of 33] Compiling Language.REST.Internal.ListT ( src/Language/REST/Internal/ListT.hs, dist/build/Language/REST/Internal/ListT.o, dist/build/Language/REST/Internal/ListT.dyn_o )
src/Language/REST/Internal/ListT.hs:26:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (ListT m).
return will eventually be removed in favour of pure
Suggested fix:
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
26 | return x = ListT (return [x])
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 4 of 33] Compiling Language.REST.Internal.MultiSet ( src/Language/REST/Internal/MultiSet.hs, dist/build/Language/REST/Internal/MultiSet.o, dist/build/Language/REST/Internal/MultiSet.dyn_o )
[ 5 of 33] Compiling Language.REST.Internal.Orphans ( src/Language/REST/Internal/Orphans.hs, dist/build/Language/REST/Internal/Orphans.o, dist/build/Language/REST/Internal/Orphans.dyn_o )
[ 6 of 33] Compiling Language.REST.Internal.Util ( src/Language/REST/Internal/Util.hs, dist/build/Language/REST/Internal/Util.o, dist/build/Language/REST/Internal/Util.dyn_o )
[ 7 of 33] Compiling Language.REST.OCAlgebra ( src/Language/REST/OCAlgebra.hs, dist/build/Language/REST/OCAlgebra.o, dist/build/Language/REST/OCAlgebra.dyn_o )
[ 8 of 33] Compiling Language.REST.Path ( src/Language/REST/Path.hs, dist/build/Language/REST/Path.o, dist/build/Language/REST/Path.dyn_o )
[ 9 of 33] Compiling Language.REST.Internal.WorkStrategy ( src/Language/REST/Internal/WorkStrategy.hs, dist/build/Language/REST/Internal/WorkStrategy.o, dist/build/Language/REST/Internal/WorkStrategy.dyn_o )
src/Language/REST/Internal/WorkStrategy.hs:39:17: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
39 | Nothing -> (head paths, tail paths)
| ^^^^
src/Language/REST/Internal/WorkStrategy.hs:39:29: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
39 | Nothing -> (head paths, tail paths)
| ^^^^
[10 of 33] Compiling Language.REST.RESTDot ( src/Language/REST/RESTDot.hs, dist/build/Language/REST/RESTDot.o, dist/build/Language/REST/RESTDot.dyn_o )
src/Language/REST/RESTDot.hs:65:80: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
65 | toEdges gt pp path = allRej `S.union` S.fromList (zipWith (curry toEdge) subs (tail subs))
| ^^^^
src/Language/REST/RESTDot.hs:97:35: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
97 | subPaths p@(xs, _t) = map toPath (tail $ inits xs) ++ [p]
| ^^^^
[11 of 33] Compiling Language.REST.RewriteRule ( src/Language/REST/RewriteRule.hs, dist/build/Language/REST/RewriteRule.o, dist/build/Language/REST/RewriteRule.dyn_o )
[12 of 33] Compiling Language.REST.Rest ( src/Language/REST/Rest.hs, dist/build/Language/REST/Rest.o, dist/build/Language/REST/Rest.dyn_o )
[13 of 33] Compiling Language.REST.SMT ( src/Language/REST/SMT.hs, dist/build/Language/REST/SMT.o, dist/build/Language/REST/SMT.dyn_o )
[14 of 33] Compiling Language.REST.Op ( src/Language/REST/Op.hs, dist/build/Language/REST/Op.o, dist/build/Language/REST/Op.dyn_o )
[15 of 33] Compiling Language.REST.RuntimeTerm ( src/Language/REST/RuntimeTerm.hs, dist/build/Language/REST/RuntimeTerm.o, dist/build/Language/REST/RuntimeTerm.dyn_o )
[16 of 33] Compiling Language.REST.Core ( src/Language/REST/Core.hs, dist/build/Language/REST/Core.o, dist/build/Language/REST/Core.dyn_o )
src/Language/REST/Core.hs:14:43: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
14 | orient impl ts0 = go (top impl) (zip ts0 (tail ts0))
| ^^^^
[17 of 33] Compiling Language.REST.MetaTerm ( src/Language/REST/MetaTerm.hs, dist/build/Language/REST/MetaTerm.o, dist/build/Language/REST/MetaTerm.dyn_o )
[18 of 33] Compiling Language.REST.Internal.Rewrite ( src/Language/REST/Internal/Rewrite.hs, dist/build/Language/REST/Internal/Rewrite.o, dist/build/Language/REST/Internal/Rewrite.dyn_o )
[19 of 33] Compiling Language.REST.KBO ( src/Language/REST/KBO.hs, dist/build/Language/REST/KBO.o, dist/build/Language/REST/KBO.dyn_o )
[20 of 33] Compiling Language.REST.Types ( src/Language/REST/Types.hs, dist/build/Language/REST/Types.o, dist/build/Language/REST/Types.dyn_o )
[21 of 33] Compiling Language.REST.Internal.PartialOrder ( src/Language/REST/Internal/PartialOrder.hs, dist/build/Language/REST/Internal/PartialOrder.o, dist/build/Language/REST/Internal/PartialOrder.dyn_o )
[22 of 33] Compiling Language.REST.Internal.EquivalenceClass ( src/Language/REST/Internal/EquivalenceClass.hs, dist/build/Language/REST/Internal/EquivalenceClass.o, dist/build/Language/REST/Internal/EquivalenceClass.dyn_o )
src/Language/REST/Internal/EquivalenceClass.hs:54:30: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
54 | head (EquivalenceClass xs) = L.head $ S.toList xs
| ^^^^^^
[23 of 33] Compiling Language.REST.Internal.WQO ( src/Language/REST/Internal/WQO.hs, dist/build/Language/REST/Internal/WQO.o, dist/build/Language/REST/Internal/WQO.dyn_o )
src/Language/REST/Internal/WQO.hs:237:48: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
237 | zipWith (\ a b -> (a, b, QEQ)) xs (tail xs)
| ^^^^
src/Language/REST/Internal/WQO.hs:241:26: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
241 | map (\(a, b) -> (head (EC.toList a), head (EC.toList b), QGT)) (PO.toList po)
| ^^^^
src/Language/REST/Internal/WQO.hs:241:46: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
241 | map (\(a, b) -> (head (EC.toList a), head (EC.toList b), QGT)) (PO.toList po)
| ^^^^
src/Language/REST/Internal/WQO.hs:347:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
347 | ordering = head $ S.toList acc
| ^^^^
[24 of 33] Compiling Language.REST.Internal.OpOrdering ( src/Language/REST/Internal/OpOrdering.hs, dist/build/Language/REST/Internal/OpOrdering.o, dist/build/Language/REST/Internal/OpOrdering.dyn_o )
src/Language/REST/Internal/OpOrdering.hs:87:38: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
87 | pairs = zipWith mkEQ syms (tail syms)
| ^^^^
[25 of 33] Compiling Language.REST.WQOConstraints ( src/Language/REST/WQOConstraints.hs, dist/build/Language/REST/WQOConstraints.o, dist/build/Language/REST/WQOConstraints.dyn_o )
[26 of 33] Compiling Language.REST.OCToAbstract ( src/Language/REST/OCToAbstract.hs, dist/build/Language/REST/OCToAbstract.o, dist/build/Language/REST/OCToAbstract.dyn_o )
[27 of 33] Compiling Language.REST.LPO ( src/Language/REST/LPO.hs, dist/build/Language/REST/LPO.o, dist/build/Language/REST/LPO.dyn_o )
[28 of 33] Compiling Language.REST.Internal.MultisetOrder ( src/Language/REST/Internal/MultisetOrder.hs, dist/build/Language/REST/Internal/MultisetOrder.o, dist/build/Language/REST/Internal/MultisetOrder.dyn_o )
[29 of 33] Compiling Language.REST.RPO ( src/Language/REST/RPO.hs, dist/build/Language/REST/RPO.o, dist/build/Language/REST/RPO.dyn_o )
[30 of 33] Compiling Language.REST.WQOConstraints.ADT ( src/Language/REST/WQOConstraints/ADT.hs, dist/build/Language/REST/WQOConstraints/ADT.o, dist/build/Language/REST/WQOConstraints/ADT.dyn_o )
[31 of 33] Compiling Language.REST ( src/Language/REST.hs, dist/build/Language/REST.o, dist/build/Language/REST.dyn_o )
[32 of 33] Compiling Language.REST.WQOConstraints.Lazy ( src/Language/REST/WQOConstraints/Lazy.hs, dist/build/Language/REST/WQOConstraints/Lazy.o, dist/build/Language/REST/WQOConstraints/Lazy.dyn_o )
[33 of 33] Compiling Language.REST.WQOConstraints.Strict ( src/Language/REST/WQOConstraints/Strict.hs, dist/build/Language/REST/WQOConstraints/Strict.o, dist/build/Language/REST/WQOConstraints/Strict.dyn_o )
Preprocessing library 'testlib' for rest-rewrite-0.4.5..
Building library 'testlib' for rest-rewrite-0.4.5..
[1 of 7] Compiling Language.REST.ConcreteOC ( testlib/Language/REST/ConcreteOC.hs, dist/build/testlib/Language/REST/ConcreteOC.o, dist/build/testlib/Language/REST/ConcreteOC.dyn_o )
[2 of 7] Compiling Language.REST.ProofGen ( testlib/Language/REST/ProofGen.hs, dist/build/testlib/Language/REST/ProofGen.o, dist/build/testlib/Language/REST/ProofGen.dyn_o )
[3 of 7] Compiling MultisetOrdering ( testlib/MultisetOrdering.hs, dist/build/testlib/MultisetOrdering.o, dist/build/testlib/MultisetOrdering.dyn_o )
testlib/MultisetOrdering.hs:71:26: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
71 | pairs = zip indexed (tail indexed)
| ^^^^
testlib/MultisetOrdering.hs:83:40: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
83 | topEdges = map go (M.toList (fst $ head indexed)) where
| ^^^^
[4 of 7] Compiling Nat ( testlib/Nat.hs, dist/build/testlib/Nat.o, dist/build/testlib/Nat.dyn_o )
[5 of 7] Compiling DSL ( testlib/DSL.hs, dist/build/testlib/DSL.o, dist/build/testlib/DSL.dyn_o )
[6 of 7] Compiling Arith ( testlib/Arith.hs, dist/build/testlib/Arith.o, dist/build/testlib/Arith.dyn_o )
[7 of 7] Compiling Set ( testlib/Set.hs, dist/build/testlib/Set.o, dist/build/testlib/Set.dyn_o )
Preprocessing library for rest-rewrite-0.4.5..
Running Haddock on library for rest-rewrite-0.4.5..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 33] Compiling Language.REST.Dot ( src/Language/REST/Dot.hs, nothing )
[ 2 of 33] Compiling Language.REST.ExploredTerms ( src/Language/REST/ExploredTerms.hs, nothing )
[ 3 of 33] Compiling Language.REST.Internal.ListT ( src/Language/REST/Internal/ListT.hs, nothing )
src/Language/REST/Internal/ListT.hs:26:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (ListT m).
return will eventually be removed in favour of pure
Suggested fix:
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
26 | return x = ListT (return [x])
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 4 of 33] Compiling Language.REST.Internal.MultiSet ( src/Language/REST/Internal/MultiSet.hs, nothing )
[ 5 of 33] Compiling Language.REST.Internal.Orphans ( src/Language/REST/Internal/Orphans.hs, nothing )
[ 6 of 33] Compiling Language.REST.Internal.Util ( src/Language/REST/Internal/Util.hs, nothing )
[ 7 of 33] Compiling Language.REST.OCAlgebra ( src/Language/REST/OCAlgebra.hs, nothing )
[ 8 of 33] Compiling Language.REST.Path ( src/Language/REST/Path.hs, nothing )
[ 9 of 33] Compiling Language.REST.Internal.WorkStrategy ( src/Language/REST/Internal/WorkStrategy.hs, nothing )
src/Language/REST/Internal/WorkStrategy.hs:39:17: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
39 | Nothing -> (head paths, tail paths)
| ^^^^
src/Language/REST/Internal/WorkStrategy.hs:39:29: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
39 | Nothing -> (head paths, tail paths)
| ^^^^
[10 of 33] Compiling Language.REST.RESTDot ( src/Language/REST/RESTDot.hs, nothing )
src/Language/REST/RESTDot.hs:65:80: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
65 | toEdges gt pp path = allRej `S.union` S.fromList (zipWith (curry toEdge) subs (tail subs))
| ^^^^
src/Language/REST/RESTDot.hs:97:35: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
97 | subPaths p@(xs, _t) = map toPath (tail $ inits xs) ++ [p]
| ^^^^
[11 of 33] Compiling Language.REST.RewriteRule ( src/Language/REST/RewriteRule.hs, nothing )
[12 of 33] Compiling Language.REST.Rest ( src/Language/REST/Rest.hs, nothing )
[13 of 33] Compiling Language.REST.SMT ( src/Language/REST/SMT.hs, nothing )
[14 of 33] Compiling Language.REST.Op ( src/Language/REST/Op.hs, nothing )
[15 of 33] Compiling Language.REST.RuntimeTerm ( src/Language/REST/RuntimeTerm.hs, nothing )
[16 of 33] Compiling Language.REST.Core ( src/Language/REST/Core.hs, nothing )
src/Language/REST/Core.hs:14:43: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
14 | orient impl ts0 = go (top impl) (zip ts0 (tail ts0))
| ^^^^
[17 of 33] Compiling Language.REST.MetaTerm ( src/Language/REST/MetaTerm.hs, nothing )
[18 of 33] Compiling Language.REST.Internal.Rewrite ( src/Language/REST/Internal/Rewrite.hs, nothing )
[19 of 33] Compiling Language.REST.KBO ( src/Language/REST/KBO.hs, nothing )
[20 of 33] Compiling Language.REST.Types ( src/Language/REST/Types.hs, nothing )
[21 of 33] Compiling Language.REST.Internal.PartialOrder ( src/Language/REST/Internal/PartialOrder.hs, nothing )
[22 of 33] Compiling Language.REST.Internal.EquivalenceClass ( src/Language/REST/Internal/EquivalenceClass.hs, nothing )
src/Language/REST/Internal/EquivalenceClass.hs:54:30: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
54 | head (EquivalenceClass xs) = L.head $ S.toList xs
| ^^^^^^
[23 of 33] Compiling Language.REST.Internal.WQO ( src/Language/REST/Internal/WQO.hs, nothing )
src/Language/REST/Internal/WQO.hs:237:48: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
237 | zipWith (\ a b -> (a, b, QEQ)) xs (tail xs)
| ^^^^
src/Language/REST/Internal/WQO.hs:241:26: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
241 | map (\(a, b) -> (head (EC.toList a), head (EC.toList b), QGT)) (PO.toList po)
| ^^^^
src/Language/REST/Internal/WQO.hs:241:46: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
241 | map (\(a, b) -> (head (EC.toList a), head (EC.toList b), QGT)) (PO.toList po)
| ^^^^
src/Language/REST/Internal/WQO.hs:347:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
347 | ordering = head $ S.toList acc
| ^^^^
[24 of 33] Compiling Language.REST.Internal.OpOrdering ( src/Language/REST/Internal/OpOrdering.hs, nothing )
src/Language/REST/Internal/OpOrdering.hs:87:38: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
87 | pairs = zipWith mkEQ syms (tail syms)
| ^^^^
[25 of 33] Compiling Language.REST.WQOConstraints ( src/Language/REST/WQOConstraints.hs, nothing )
[26 of 33] Compiling Language.REST.OCToAbstract ( src/Language/REST/OCToAbstract.hs, nothing )
[27 of 33] Compiling Language.REST.LPO ( src/Language/REST/LPO.hs, nothing )
[28 of 33] Compiling Language.REST.Internal.MultisetOrder ( src/Language/REST/Internal/MultisetOrder.hs, nothing )
[29 of 33] Compiling Language.REST.RPO ( src/Language/REST/RPO.hs, nothing )
[30 of 33] Compiling Language.REST.WQOConstraints.ADT ( src/Language/REST/WQOConstraints/ADT.hs, nothing )
[31 of 33] Compiling Language.REST ( src/Language/REST.hs, nothing )
[32 of 33] Compiling Language.REST.WQOConstraints.Lazy ( src/Language/REST/WQOConstraints/Lazy.hs, nothing )
[33 of 33] Compiling Language.REST.WQOConstraints.Strict ( src/Language/REST/WQOConstraints/Strict.hs, nothing )
Haddock coverage:
Warning: 'n' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
71% ( 5 / 7) in 'Language.REST.Dot'
Missing documentation for:
Edge (src/Language/REST/Dot.hs:48)
NodeID (src/Language/REST/Dot.hs:28)
44% ( 4 / 9) in 'Language.REST.ExploredTerms'
Missing documentation for:
empty (src/Language/REST/ExploredTerms.hs:59)
insert (src/Language/REST/ExploredTerms.hs:65)
size (src/Language/REST/ExploredTerms.hs:56)
visited (src/Language/REST/ExploredTerms.hs:62)
ExploreFuncs (src/Language/REST/ExploredTerms.hs:38)
50% ( 1 / 2) in 'Language.REST.Internal.ListT'
Missing documentation for:
ListT (src/Language/REST/Internal/ListT.hs:8)
20% ( 3 / 15) in 'Language.REST.Internal.MultiSet'
Missing documentation for:
Module header
MultiSet (src/Language/REST/Internal/MultiSet.hs:29)
distinctElems (src/Language/REST/Internal/MultiSet.hs:48)
empty (src/Language/REST/Internal/MultiSet.hs:51)
filter (src/Language/REST/Internal/MultiSet.hs:57)
insert (src/Language/REST/Internal/MultiSet.hs:75)
null (src/Language/REST/Internal/MultiSet.hs:62)
toList (src/Language/REST/Internal/MultiSet.hs:70)
toOccurList (src/Language/REST/Internal/MultiSet.hs:54)
singleton (src/Language/REST/Internal/MultiSet.hs:81)
fromList (src/Language/REST/Internal/MultiSet.hs:84)
toSet (src/Language/REST/Internal/MultiSet.hs:87)
0% ( 0 / 1) in 'Language.REST.Internal.Orphans'
Missing documentation for:
Module header
50% ( 1 / 2) in 'Language.REST.Internal.Util'
Missing documentation for:
Module header
Warning: 'ExploredTerms' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
80% ( 4 / 5) in 'Language.REST.OCAlgebra'
Missing documentation for:
Module header
83% ( 5 / 6) in 'Language.REST.Path'
Missing documentation for:
Module header
Warning: 'WorkStrategy' is ambiguous. It is defined
* at src/Language/REST/Internal/WorkStrategy.hs:18:37
* at src/Language/REST/Internal/WorkStrategy.hs:18:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Language/REST/Internal/WorkStrategy.hs:18:1
60% ( 3 / 5) in 'Language.REST.Internal.WorkStrategy'
Missing documentation for:
Module header
GetWork (src/Language/REST/Internal/WorkStrategy.hs:15)
100% ( 4 / 4) in 'Language.REST.RESTDot'
50% ( 1 / 2) in 'Language.REST.RewriteRule'
Missing documentation for:
Module header
Warning: 'PathsResult' is ambiguous. It is defined
* at src/Language/REST/Rest.hs:37:36
* at src/Language/REST/Rest.hs:37:1
You 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/Language/REST/Rest.hs:37:1
Warning: 'TermsResult' is ambiguous. It is defined
* at src/Language/REST/Rest.hs:40:36
* at src/Language/REST/Rest.hs:40:1
You 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/Language/REST/Rest.hs:40:1
66% ( 6 / 9) in 'Language.REST.Rest'
Missing documentation for:
rest (src/Language/REST/Rest.hs:101)
RESTParams (src/Language/REST/Rest.hs:76)
RESTResult (src/Language/REST/Rest.hs:54)
Warning: 'RuntimeTerm' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
89% ( 17 / 19) in 'Language.REST.SMT'
Missing documentation for:
smtFalse (src/Language/REST/SMT.hs:168)
smtTrue (src/Language/REST/SMT.hs:171)
Warning: 'RuntimeTerm' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'MetaTerm' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
50% ( 1 / 2) in 'Language.REST.Op'
Missing documentation for:
Module header
80% ( 4 / 5) in 'Language.REST.RuntimeTerm'
Missing documentation for:
Module header
Warning: 'impl' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'ts' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 2 / 2) in 'Language.REST.Core'
Warning: 'Rewrite' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
66% ( 2 / 3) in 'Language.REST.MetaTerm'
Missing documentation for:
Module header
Warning: 'Rewrite' is ambiguous. It is defined
* at src/Language/REST/Internal/Rewrite.hs:29:16
* at src/Language/REST/Internal/Rewrite.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/Language/REST/Internal/Rewrite.hs:29:1
Warning: 's' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'm' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
83% ( 5 / 6) in 'Language.REST.Internal.Rewrite'
Missing documentation for:
Module header
66% ( 2 / 3) in 'Language.REST.KBO'
Missing documentation for:
Module header
20% ( 1 / 5) in 'Language.REST.Types'
Missing documentation for:
Module header
prettyPrint (src/Language/REST/Types.hs:49)
Relation (src/Language/REST/Types.hs:75)
toOrderedSet (src/Language/REST/Types.hs:84)
38% ( 5 / 13) in 'Language.REST.Internal.PartialOrder'
Missing documentation for:
Module header
empty (src/Language/REST/Internal/PartialOrder.hs:52)
insert (src/Language/REST/Internal/PartialOrder.hs:92)
toList (src/Language/REST/Internal/PartialOrder.hs:98)
isEmpty (src/Language/REST/Internal/PartialOrder.hs:55)
elems (src/Language/REST/Internal/PartialOrder.hs:104)
unionDisjointUnsafe (src/Language/REST/Internal/PartialOrder.hs:66)
toDescsList (src/Language/REST/Internal/PartialOrder.hs:95)
8% ( 1 / 12) in 'Language.REST.Internal.EquivalenceClass'
Missing documentation for:
Module header
isMember (src/Language/REST/Internal/EquivalenceClass.hs:61)
isSingleton (src/Language/REST/Internal/EquivalenceClass.hs:57)
insert (src/Language/REST/Internal/EquivalenceClass.hs:64)
union (src/Language/REST/Internal/EquivalenceClass.hs:67)
singleton (src/Language/REST/Internal/EquivalenceClass.hs:71)
fromList (src/Language/REST/Internal/EquivalenceClass.hs:74)
toList (src/Language/REST/Internal/EquivalenceClass.hs:77)
head (src/Language/REST/Internal/EquivalenceClass.hs:54)
elems (src/Language/REST/Internal/EquivalenceClass.hs:81)
isSubsetOf (src/Language/REST/Internal/EquivalenceClass.hs:51)
27% ( 5 / 18) in 'Language.REST.Internal.WQO'
Missing documentation for:
Module header
empty (src/Language/REST/Internal/WQO.hs:99)
insert (src/Language/REST/Internal/WQO.hs:292)
insertMaybe (src/Language/REST/Internal/WQO.hs:283)
merge (src/Language/REST/Internal/WQO.hs:211)
mergeAll (src/Language/REST/Internal/WQO.hs:200)
QORelation (src/Language/REST/Internal/WQO.hs:46)
ExtendOrderingResult (src/Language/REST/Internal/WQO.hs:250)
singleton (src/Language/REST/Internal/WQO.hs:102)
null (src/Language/REST/Internal/WQO.hs:96)
getPO (src/Language/REST/Internal/WQO.hs:71)
getECs (src/Language/REST/Internal/WQO.hs:74)
elems (src/Language/REST/Internal/WQO.hs:106)
Warning: 'Op' is ambiguous. It is defined
* at src/Language/REST/Op.hs:15:14
* at src/Language/REST/Op.hs:15:1
You 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/Language/REST/Op.hs:15:1
77% ( 7 / 9) in 'Language.REST.Internal.OpOrdering'
Missing documentation for:
empty (src/Language/REST/Internal/WQO.hs:99)
OpOrdering (src/Language/REST/Internal/OpOrdering.hs:30)
90% ( 10 / 11) in 'Language.REST.WQOConstraints'
Missing documentation for:
runStateConstraints (src/Language/REST/WQOConstraints.hs:132)
50% ( 1 / 2) in 'Language.REST.OCToAbstract'
Missing documentation for:
Module header
66% ( 2 / 3) in 'Language.REST.LPO'
Missing documentation for:
Module header
100% ( 2 / 2) in 'Language.REST.Internal.MultisetOrder'
Warning: 'Op' is ambiguous. It is defined
* at src/Language/REST/Op.hs:15:14
* at src/Language/REST/Op.hs:15:1
You 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/Language/REST/Op.hs:15:1
100% ( 4 / 4) in 'Language.REST.RPO'
83% ( 5 / 6) in 'Language.REST.WQOConstraints.ADT'
Missing documentation for:
Module header
50% ( 1 / 2) in 'Language.REST'
Missing documentation for:
Module header
100% ( 6 / 6) in 'Language.REST.WQOConstraints.Lazy'
Warning: 'StrictOC' is ambiguous. It is defined
* at src/Language/REST/WQOConstraints/Strict.hs:49:22
* at src/Language/REST/WQOConstraints/Strict.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 src/Language/REST/WQOConstraints/Strict.hs:49:1
Warning: 'a' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'b' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
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
87% ( 7 / 8) in 'Language.REST.WQOConstraints.Strict'
Missing documentation for:
difference (src/Language/REST/WQOConstraints/Strict.hs:82)
Warning: Language.REST.Dot: could not find link destinations for:
- Language.REST.Dot.Rep_Edge
- Language.REST.Dot.Rep_Node
Warning: Language.REST.Internal.MultiSet: could not find link destinations for:
- Language.REST.Internal.MultiSet.Rep_MultiSet
Warning: Language.REST.Path: could not find link destinations for:
- Language.REST.Path.Rep_Step
- Language.REST.Path.Rep_PathTerm
Warning: Language.REST.Op: could not find link destinations for:
- Language.REST.Op.Rep_Op
Warning: Language.REST.RuntimeTerm: could not find link destinations for:
- Language.REST.RuntimeTerm.Rep_RuntimeTerm
Warning: Language.REST.MetaTerm: could not find link destinations for:
- Language.REST.MetaTerm.Rep_MetaTerm
Warning: Language.REST.Internal.Rewrite: could not find link destinations for:
- Language.REST.Internal.Rewrite.Rep_Rewrite
Warning: Language.REST.Types: could not find link destinations for:
- Language.REST.Types.Rep_Relation
Warning: Language.REST.Internal.PartialOrder: could not find link destinations for:
- Language.REST.Internal.PartialOrder.Rep_PartialOrder
Warning: Language.REST.Internal.EquivalenceClass: could not find link destinations for:
- Language.REST.Internal.EquivalenceClass.Rep_EquivalenceClass
Warning: Language.REST.Internal.WQO: could not find link destinations for:
- Language.REST.Internal.WQO.EquivalenceClass
- Language.REST.Internal.WQO.PartialOrder
- Language.REST.Internal.WQO.Rep_WQO
- Language.REST.Internal.WQO.Rep_QORelation
Warning: Language.REST.WQOConstraints: could not find link destinations for:
- Language.REST.WQOConstraints.WQO
Warning: Language.REST.Internal.MultisetOrder: could not find link destinations for:
- Language.REST.Internal.MultisetOrder.MultiSet
Warning: Language.REST.WQOConstraints.ADT: could not find link destinations for:
- Language.REST.WQOConstraints.ADT.WQO
- Language.REST.WQOConstraints.ADT.Rep_ConstraintsADT
Warning: Language.REST.WQOConstraints.Lazy: could not find link destinations for:
- Language.REST.WQOConstraints.Lazy.WQO
- Language.REST.WQOConstraints.Lazy.Rep_LazyOC
Warning: Language.REST.WQOConstraints.Strict: could not find link destinations for:
- Language.REST.WQOConstraints.Strict.WQO
- Language.REST.WQOConstraints.Strict.Rep_StrictOC
Documentation created: dist/doc/html/rest-rewrite/,
dist/doc/html/rest-rewrite/rest-rewrite.txt
Preprocessing library 'testlib' for rest-rewrite-0.4.5..
Running Haddock on library 'testlib' for rest-rewrite-0.4.5..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 7] Compiling Language.REST.ConcreteOC ( testlib/Language/REST/ConcreteOC.hs, nothing )
[2 of 7] Compiling Language.REST.ProofGen ( testlib/Language/REST/ProofGen.hs, nothing )
[3 of 7] Compiling MultisetOrdering ( testlib/MultisetOrdering.hs, nothing )
testlib/MultisetOrdering.hs:71:26: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
71 | pairs = zip indexed (tail indexed)
| ^^^^
testlib/MultisetOrdering.hs:83:40: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
83 | topEdges = map go (M.toList (fst $ head indexed)) where
| ^^^^
[4 of 7] Compiling Nat ( testlib/Nat.hs, nothing )
[5 of 7] Compiling DSL ( testlib/DSL.hs, nothing )
[6 of 7] Compiling Arith ( testlib/Arith.hs, nothing )
[7 of 7] Compiling Set ( testlib/Set.hs, nothing )
Haddock coverage:
0% ( 0 / 3) in 'Language.REST.ConcreteOC'
Missing documentation for:
Module header
ConcreteOC (testlib/Language/REST/ConcreteOC.hs:16)
concreteOC (testlib/Language/REST/ConcreteOC.hs:23)
0% ( 0 / 5) in 'Language.REST.ProofGen'
Missing documentation for:
Module header
opToLH (testlib/Language/REST/ProofGen.hs:16)
withParens (testlib/Language/REST/ProofGen.hs:21)
toLH (testlib/Language/REST/ProofGen.hs:26)
toProof (testlib/Language/REST/ProofGen.hs:34)
0% ( 0 / 18) in 'MultisetOrdering'
Missing documentation for:
Module header
Replace (testlib/MultisetOrdering.hs:13)
MultisetGE (testlib/MultisetOrdering.hs:18)
GTE (testlib/MultisetOrdering.hs:20)
Indexed (testlib/MultisetOrdering.hs:22)
IndexedMultisetPair (testlib/MultisetOrdering.hs:24)
multisetGE (testlib/MultisetOrdering.hs:27)
multisetOrd (testlib/MultisetOrdering.hs:46)
zindex (testlib/MultisetOrdering.hs:49)
indexMS (testlib/MultisetOrdering.hs:52)
mkEdge (testlib/MultisetOrdering.hs:55)
botNodeName (testlib/MultisetOrdering.hs:58)
botNode (testlib/MultisetOrdering.hs:61)
toGraph' (testlib/MultisetOrdering.hs:65)
toGraph (testlib/MultisetOrdering.hs:133)
mkMSOGraph (testlib/MultisetOrdering.hs:136)
mkMSOGraphs (testlib/MultisetOrdering.hs:139)
multisetGE' (testlib/MultisetOrdering.hs:143)
0% ( 0 / 7) in 'Nat'
Missing documentation for:
Module header
termToInt (testlib/Nat.hs:30)
intToTerm (testlib/Nat.hs:26)
parseTerm (testlib/Nat.hs:97)
pp (testlib/Nat.hs:39)
s (testlib/Nat.hs:22)
z (testlib/Nat.hs:23)
0% ( 0 / 44) in 'DSL'
Missing documentation for:
Module header
commutes (testlib/DSL.hs:12)
assocL (testlib/DSL.hs:13)
assocR (testlib/DSL.hs:14)
distribL (testlib/DSL.hs:20)
distribR (testlib/DSL.hs:21)
ackOp (testlib/DSL.hs:24)
plus (testlib/DSL.hs:25)
minus (testlib/DSL.hs:26)
times (testlib/DSL.hs:27)
a (testlib/DSL.hs:30)
b (testlib/DSL.hs:31)
c (testlib/DSL.hs:32)
d (testlib/DSL.hs:33)
x (testlib/DSL.hs:36)
y (testlib/DSL.hs:37)
v (testlib/DSL.hs:38)
w (testlib/DSL.hs:39)
z' (testlib/DSL.hs:40)
f (testlib/DSL.hs:43)
g (testlib/DSL.hs:44)
h (testlib/DSL.hs:45)
t1Op (testlib/DSL.hs:48)
t2Op (testlib/DSL.hs:49)
t1 (testlib/DSL.hs:52)
t2 (testlib/DSL.hs:53)
t3 (testlib/DSL.hs:54)
t4 (testlib/DSL.hs:55)
t5 (testlib/DSL.hs:56)
zero (testlib/DSL.hs:59)
one (testlib/DSL.hs:60)
two (testlib/DSL.hs:61)
suc (testlib/DSL.hs:64)
ack (testlib/DSL.hs:67)
zero' (testlib/DSL.hs:70)
one' (testlib/DSL.hs:73)
suc' (testlib/DSL.hs:76)
ack' (testlib/DSL.hs:79)
.+ (testlib/DSL.hs:83)
#+ (testlib/DSL.hs:86)
#- (testlib/DSL.hs:89)
#* (testlib/DSL.hs:92)
~> (testlib/DSL.hs:96)
<~> (testlib/DSL.hs:100)
0% ( 0 / 7) in 'Arith'
Missing documentation for:
Module header
neg (testlib/Arith.hs:12)
double (testlib/Arith.hs:15)
twicePlus (testlib/Arith.hs:18)
<# (testlib/Arith.hs:21)
evalRWs (testlib/Arith.hs:24)
userRWs (testlib/Arith.hs:42)
0% ( 0 / 13) in 'Set'
Missing documentation for:
Module header
emptyset (testlib/Set.hs:13)
/\ (testlib/Set.hs:16)
\/ (testlib/Set.hs:17)
s0 (testlib/Set.hs:20)
s1 (testlib/Set.hs:21)
isSubset (testlib/Set.hs:24)
userRWs (testlib/Set.hs:27)
evalRWs (testlib/Set.hs:49)
disjointExample (testlib/Set.hs:55)
disjointExample2 (testlib/Set.hs:56)
example1 (testlib/Set.hs:59)
example2 (testlib/Set.hs:60)
Warning: Language.REST.ConcreteOC: could not find link destinations for:
- Language.REST.ConcreteOC.Rep_ConcreteOC
Documentation created: dist/doc/html/rest-rewrite/,
dist/doc/html/rest-rewrite/rest-rewrite.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/rest-rewrite-0.4.5-JD20fDAghZ03CF0GWsL0Bo
Warning: Unable to strip executable or library
'libHSrest-rewrite-0.4.5-JD20fDAghZ03CF0GWsL0Bo' (missing the 'strip' program)
Warning: Unable to strip executable or library
'libHSrest-rewrite-0.4.5-JD20fDAghZ03CF0GWsL0Bo-ghc9.8.4' (missing the 'strip'
program)
Installing internal library testlib in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/rest-rewrite-0.4.5-JD20fDAghZ03CF0GWsL0Bo
Warning: Unable to strip executable or library
'libHSrest-rewrite-0.4.5-JD20fDAghZ03CF0GWsL0Bo-testlib' (missing the 'strip'
program)
Warning: Unable to strip executable or library
'libHSrest-rewrite-0.4.5-JD20fDAghZ03CF0GWsL0Bo-testlib-ghc9.8.4' (missing the
'strip' program)
Completed rest-rewrite-0.4.5
Test log
[view raw]
Resolving dependencies...
Error:
Internal libraries only supported with per-component builds.
Per-component builds were disabled because program coverage is enabled
In the inplace package 'rest-rewrite-0.4.5'