Build #1 for jukebox-0.5.9
| Package | jukebox-0.5.9 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2025-09-15 14:18:15.750013583 UTC |
|---|---|
| Compiler | ghc-9.8.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | array-0.5.8.0, base-4.19.2.0, containers-0.6.8, directory-1.3.8.5, dlist-1.0, filepath-1.4.301.0, minisat-0.1.4, pretty-1.1.3.6, process-1.6.25.0, symbol-0.2.4.1, transformers-0.6.1.0, uglymemo-0.1.0.1, utf8-string-1.0.2, base-4.19.2.0 |
| Flags | -static-cxx |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring dlist-1.0...
Preprocessing library for dlist-1.0..
Building library for dlist-1.0..
[1 of 5] Compiling Data.DList.Internal ( Data/DList/Internal.hs, dist/build/Data/DList/Internal.o, dist/build/Data/DList/Internal.dyn_o )
Data/DList/Internal.hs:642:12: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
642 | instance a ~ Char => IsString (DList a) where
| ^
[2 of 5] Compiling Data.DList ( Data/DList.hs, dist/build/Data/DList.o, dist/build/Data/DList.dyn_o )
[3 of 5] Compiling Data.DList.DNonEmpty.Internal ( Data/DList/DNonEmpty/Internal.hs, dist/build/Data/DList/DNonEmpty/Internal.o, dist/build/Data/DList/DNonEmpty/Internal.dyn_o )
Data/DList/DNonEmpty/Internal.hs:459:12: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
459 | instance a ~ Char => IsString (DNonEmpty a) where
| ^
[4 of 5] Compiling Data.DList.DNonEmpty ( Data/DList/DNonEmpty.hs, dist/build/Data/DList/DNonEmpty.o, dist/build/Data/DList/DNonEmpty.dyn_o )
[5 of 5] Compiling Data.DList.Unsafe ( Data/DList/Unsafe.hs, dist/build/Data/DList/Unsafe.o, dist/build/Data/DList/Unsafe.dyn_o )
Preprocessing library for dlist-1.0..
Running Haddock on library for dlist-1.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 5] Compiling Data.DList.Internal ( Data/DList/Internal.hs, nothing )
Data/DList/Internal.hs:642:12: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
642 | instance a ~ Char => IsString (DList a) where
| ^
[2 of 5] Compiling Data.DList ( Data/DList.hs, nothing )
[3 of 5] Compiling Data.DList.DNonEmpty.Internal ( Data/DList/DNonEmpty/Internal.hs, nothing )
Data/DList/DNonEmpty/Internal.hs:459:12: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
459 | instance a ~ Char => IsString (DNonEmpty a) where
| ^
[4 of 5] Compiling Data.DList.DNonEmpty ( Data/DList/DNonEmpty.hs, nothing )
[5 of 5] Compiling Data.DList.Unsafe ( Data/DList/Unsafe.hs, nothing )
Haddock coverage:
100% ( 21 / 21) in 'Data.DList'
100% ( 17 / 17) in 'Data.DList.DNonEmpty'
Warning: Data.DList: could not find link destinations for:
- Data.DList.Internal.D:R:ItemDList
Warning: Data.DList.DNonEmpty: could not find link destinations for:
- Data.DList.DNonEmpty.Internal.D:R:ItemDNonEmpty
Documentation created: dist/doc/html/dlist/, dist/doc/html/dlist/dlist.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/dlist-1.0-64eJjLRuD1sLrW6rorjot6
Completed dlist-1.0
Configuring os-string-2.0.8...
Preprocessing library for os-string-2.0.8..
Building library for os-string-2.0.8..
[ 1 of 11] Compiling System.OsString.Data.ByteString.Short.Internal ( System/OsString/Data/ByteString/Short/Internal.hs, dist/build/System/OsString/Data/ByteString/Short/Internal.o, dist/build/System/OsString/Data/ByteString/Short/Internal.dyn_o )
[ 2 of 11] Compiling System.OsString.Data.ByteString.Short ( System/OsString/Data/ByteString/Short.hs, dist/build/System/OsString/Data/ByteString/Short.o, dist/build/System/OsString/Data/ByteString/Short.dyn_o )
[ 3 of 11] Compiling System.OsString.Data.ByteString.Short.Word16 ( System/OsString/Data/ByteString/Short/Word16.hs, dist/build/System/OsString/Data/ByteString/Short/Word16.o, dist/build/System/OsString/Data/ByteString/Short/Word16.dyn_o )
[ 4 of 11] Compiling System.OsString.Internal.Exception ( System/OsString/Internal/Exception.hs, dist/build/System/OsString/Internal/Exception.o, dist/build/System/OsString/Internal/Exception.dyn_o )
[ 5 of 11] Compiling System.OsString.Encoding.Internal ( System/OsString/Encoding/Internal.hs, dist/build/System/OsString/Encoding/Internal.o, dist/build/System/OsString/Encoding/Internal.dyn_o )
System/OsString/Encoding/Internal.hs:23:42: warning: [GHC-38856] [-Wunused-imports]
The import of try from module Control.Exception is redundant
|
23 | import Control.Exception (SomeException, try, Exception (displayException), evaluate)
| ^^^
[ 6 of 11] Compiling System.OsString.Encoding ( System/OsString/Encoding.hs, dist/build/System/OsString/Encoding.o, dist/build/System/OsString/Encoding.dyn_o )
[ 7 of 11] Compiling System.OsString.Internal.Types ( System/OsString/Internal/Types.hs, dist/build/System/OsString/Internal/Types.o, dist/build/System/OsString/Internal/Types.dyn_o )
[ 8 of 11] Compiling System.OsString.Posix ( System/OsString/Posix.hs, dist/build/System/OsString/Posix.o, dist/build/System/OsString/Posix.dyn_o )
[ 9 of 11] Compiling System.OsString.Internal ( System/OsString/Internal.hs, dist/build/System/OsString/Internal.o, dist/build/System/OsString/Internal.dyn_o )
[10 of 11] Compiling System.OsString ( System/OsString.hs, dist/build/System/OsString.o, dist/build/System/OsString.dyn_o )
[11 of 11] Compiling System.OsString.Windows ( System/OsString/Windows.hs, dist/build/System/OsString/Windows.o, dist/build/System/OsString/Windows.dyn_o )
Preprocessing library for os-string-2.0.8..
Running Haddock on library for os-string-2.0.8..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 11] Compiling System.OsString.Data.ByteString.Short.Internal ( System/OsString/Data/ByteString/Short/Internal.hs, nothing )
[ 2 of 11] Compiling System.OsString.Data.ByteString.Short ( System/OsString/Data/ByteString/Short.hs, nothing )
[ 3 of 11] Compiling System.OsString.Data.ByteString.Short.Word16 ( System/OsString/Data/ByteString/Short/Word16.hs, nothing )
[ 4 of 11] Compiling System.OsString.Internal.Exception ( System/OsString/Internal/Exception.hs, nothing )
[ 5 of 11] Compiling System.OsString.Encoding.Internal ( System/OsString/Encoding/Internal.hs, nothing )
System/OsString/Encoding/Internal.hs:23:42: warning: [GHC-38856] [-Wunused-imports]
The import of try from module Control.Exception is redundant
|
23 | import Control.Exception (SomeException, try, Exception (displayException), evaluate)
| ^^^
[ 6 of 11] Compiling System.OsString.Encoding ( System/OsString/Encoding.hs, nothing )
[ 7 of 11] Compiling System.OsString.Internal.Types ( System/OsString/Internal/Types.hs, nothing )
[ 8 of 11] Compiling System.OsString.Posix ( System/OsString/Posix.hs, nothing )
[ 9 of 11] Compiling System.OsString.Internal ( System/OsString/Internal.hs, nothing )
[10 of 11] Compiling System.OsString ( System/OsString.hs, nothing )
[11 of 11] Compiling System.OsString.Windows ( System/OsString/Windows.hs, nothing )
Haddock coverage:
Warning: 'ShortByteString' is ambiguous. It is defined
* in Data.ByteString.Short.Internal
* in Data.ByteString.Short.Internal
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.ByteString.Short.Internal
26% ( 11 / 41) in 'System.OsString.Data.ByteString.Short.Internal'
Missing documentation for:
_nul (System/OsString/Data/ByteString/Short/Internal.hs:60)
isSpace (System/OsString/Data/ByteString/Short/Internal.hs:63)
create (System/OsString/Data/ByteString/Short/Internal.hs:70)
asBA (System/OsString/Data/ByteString/Short/Internal.hs:80)
BA (System/OsString/Data/ByteString/Short/Internal.hs:84)
MBA (System/OsString/Data/ByteString/Short/Internal.hs:85)
newPinnedByteArray (System/OsString/Data/ByteString/Short/Internal.hs:89)
newByteArray (System/OsString/Data/ByteString/Short/Internal.hs:94)
copyByteArray (System/OsString/Data/ByteString/Short/Internal.hs:99)
unsafeFreezeByteArray (System/OsString/Data/ByteString/Short/Internal.hs:104)
copyAddrToByteArray (System/OsString/Data/ByteString/Short/Internal.hs:109)
moduleErrorIO (System/OsString/Data/ByteString/Short/Internal.hs:244)
moduleErrorMsg (System/OsString/Data/ByteString/Short/Internal.hs:248)
packWord16 (System/OsString/Data/ByteString/Short/Internal.hs:251)
packLenWord16 (System/OsString/Data/ByteString/Short/Internal.hs:254)
unpackWord16 (System/OsString/Data/ByteString/Short/Internal.hs:265)
packWord16Rev (System/OsString/Data/ByteString/Short/Internal.hs:274)
packLenWord16Rev (System/OsString/Data/ByteString/Short/Internal.hs:277)
indexWord8Array (System/OsString/Data/ByteString/Short/Internal.hs:299)
word16ToLE# (System/OsString/Data/ByteString/Short/Internal.hs:320)
word16FromLE# (System/OsString/Data/ByteString/Short/Internal.hs:322)
setByteArray (System/OsString/Data/ByteString/Short/Internal.hs:325)
copyMutableByteArray (System/OsString/Data/ByteString/Short/Internal.hs:330)
createAndTrim' (System/OsString/Data/ByteString/Short/Internal.hs:356)
createAndTrim'' (System/OsString/Data/ByteString/Short/Internal.hs:372)
findIndexOrLength (System/OsString/Data/ByteString/Short/Internal.hs:397)
assertEven (System/OsString/Data/ByteString/Short/Internal.hs:422)
errorEmptySBS (System/OsString/Data/ByteString/Short/Internal.hs:430)
moduleError (System/OsString/Data/ByteString/Short/Internal.hs:434)
compareByteArraysOff (System/OsString/Data/ByteString/Short/Internal.hs:444)
Warning: 'ShortByteString' is ambiguous. It is defined
* in Data.ByteString.Short.Internal
* in Data.ByteString.Short.Internal
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.ByteString.Short.Internal
96% ( 93 / 96) in 'System.OsString.Data.ByteString.Short'
Missing documentation for:
append
uncons2 (System/OsString/Data/ByteString/Short.hs:184)
concat
Warning: 'ShortByteString' is ambiguous. It is defined
* in Data.ByteString.Short.Internal
* in Data.ByteString.Short.Internal
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.ByteString.Short.Internal
Warning: 'ByteString' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'CString' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
96% ( 92 / 95) in 'System.OsString.Data.ByteString.Short.Word16'
Missing documentation for:
append
concat
breakSubstring (System/OsString/Data/ByteString/Short/Word16.hs:663)
Warning: 'try' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
33% ( 1 / 3) in 'System.OsString.Internal.Exception'
Missing documentation for:
Module header
isAsyncException (System/OsString/Internal/Exception.hs:17)
Warning: 'TextEncoding' is ambiguous. It is defined
* in GHC.IO.Encoding.Types
* in GHC.IO.Encoding.Types
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.IO.Encoding.Types
27% ( 9 / 33) in 'System.OsString.Encoding.Internal'
Missing documentation for:
Module header
ucs2le (System/OsString/Encoding/Internal.hs:42)
mkUcs2le (System/OsString/Encoding/Internal.hs:45)
ucs2le_DF (System/OsString/Encoding/Internal.hs:50)
ucs2le_EF (System/OsString/Encoding/Internal.hs:60)
ucs2le_decode (System/OsString/Encoding/Internal.hs:71)
ucs2le_encode (System/OsString/Encoding/Internal.hs:96)
mkUTF16le_b (System/OsString/Encoding/Internal.hs:131)
utf16le_b_DF (System/OsString/Encoding/Internal.hs:136)
utf16le_b_EF (System/OsString/Encoding/Internal.hs:146)
utf16le_b_decode (System/OsString/Encoding/Internal.hs:157)
utf16le_b_encode (System/OsString/Encoding/Internal.hs:195)
cWcharsToChars_UCS2 (System/OsString/Encoding/Internal.hs:231)
cWcharsToChars (System/OsString/Encoding/Internal.hs:238)
charsToCWchars (System/OsString/Encoding/Internal.hs:248)
withWindowsString (System/OsString/Encoding/Internal.hs:264)
peekWindowsString (System/OsString/Encoding/Internal.hs:267)
withPosixString (System/OsString/Encoding/Internal.hs:272)
withPosixString' (System/OsString/Encoding/Internal.hs:275)
peekPosixString (System/OsString/Encoding/Internal.hs:278)
peekPosixString' (System/OsString/Encoding/Internal.hs:281)
EncodingException (System/OsString/Encoding/Internal.hs:340)
showEncodingException (System/OsString/Encoding/Internal.hs:348)
wNUL (System/OsString/Encoding/Internal.hs:367)
44% ( 11 / 25) in 'System.OsString.Encoding'
Missing documentation for:
Module header
EncodingException (System/OsString/Encoding/Internal.hs:340)
showEncodingException (System/OsString/Encoding/Internal.hs:348)
ucs2le (System/OsString/Encoding/Internal.hs:42)
mkUcs2le (System/OsString/Encoding/Internal.hs:45)
ucs2le_DF (System/OsString/Encoding/Internal.hs:50)
ucs2le_EF (System/OsString/Encoding/Internal.hs:60)
ucs2le_decode (System/OsString/Encoding/Internal.hs:71)
ucs2le_encode (System/OsString/Encoding/Internal.hs:96)
mkUTF16le_b (System/OsString/Encoding/Internal.hs:131)
utf16le_b_DF (System/OsString/Encoding/Internal.hs:136)
utf16le_b_EF (System/OsString/Encoding/Internal.hs:146)
utf16le_b_decode (System/OsString/Encoding/Internal.hs:157)
utf16le_b_encode (System/OsString/Encoding/Internal.hs:195)
Warning: 'WindowsString' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:60:25
* at System/OsString/Internal/Types.hs:60:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:60:1
Warning: 'PosixString' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:87:23
* at System/OsString/Internal/Types.hs:87:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:87:1
Warning: 'ShortByteString' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'PosixChar' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:123:23
* at System/OsString/Internal/Types.hs:123:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:123:1
Warning: 'WindowsChar' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:117:23
* at System/OsString/Internal/Types.hs:117:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:117:1
Warning: 'OsChar' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:210:18
* at System/OsString/Internal/Types.hs:210:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:210:1
Warning: 'OsString' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:161:20
* at System/OsString/Internal/Types.hs:161:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:161:1
Warning: '(</>)' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
50% ( 9 / 18) in 'System.OsString.Internal.Types'
Missing documentation for:
Module header
unWS (System/OsString/Internal/Types.hs:70)
unPS (System/OsString/Internal/Types.hs:96)
PlatformString (System/OsString/Internal/Types.hs:114)
WindowsChar (System/OsString/Internal/Types.hs:117)
unWW (System/OsString/Internal/Types.hs:131)
PosixChar (System/OsString/Internal/Types.hs:123)
unPW (System/OsString/Internal/Types.hs:139)
PlatformChar (System/OsString/Internal/Types.hs:148)
Warning: 'setFileSystemEncoding' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'getLocaleEncoding' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'PosixString' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:87:23
* at System/OsString/Internal/Types.hs:87:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:87:1
Warning: 'OsString' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
95% ( 95 /100) in 'System.OsString.Posix'
Missing documentation for:
Module header
PosixChar (System/OsString/Internal/Types.hs:123)
singleton (System/OsString/Common.hs:526)
empty (System/OsString/Common.hs:529)
concat (System/OsString/Common.hs:737)
Warning: 'setFileSystemEncoding' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'unsafePerformIO' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'getLocaleEncoding' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'OsString' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:161:20
* at System/OsString/Internal/Types.hs:161:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:161:1
Warning: 'OsChar' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:210:18
* at System/OsString/Internal/Types.hs:210:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:210:1
Warning: 'head' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:293:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:293:1
Warning: 'tail' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:277:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:277:1
Warning: 'init' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:302:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:302:1
Warning: 'last' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:268:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:268:1
Warning: 'map' is ambiguous. It is defined
* in GHC.Base
* at System/OsString/Internal.hs:332:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:332:1
Warning: 'reverse' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:338:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:338:1
Warning: 'foldl' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:354:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:354:1
Warning: 'foldl1' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:368:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:368:1
Warning: 'foldr' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:384:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:384:1
Warning: 'foldr1' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:398:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:398:1
Warning: 'all' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:412:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:412:1
Warning: 'any' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:419:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:419:1
Warning: 'replicate' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:434:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:434:1
Warning: 'take' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:476:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:476:1
Warning: 'length' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:325:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:325:1
Warning: 'drop' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:513:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:513:1
Warning: 'takeWhile' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:507:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:507:1
Warning: 'dropWhile' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:535:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:535:1
Warning: 'break' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:564:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:564:1
Warning: 'span' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:574:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:574:1
Warning: 'splitAt' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:599:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:599:1
Warning: 'elem' is ambiguous. It is defined
* in Data.Foldable
* at System/OsString/Internal.hs:702:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:702:1
Warning: 'filter' is ambiguous. It is defined
* in GHC.List
* at System/OsString/Internal.hs:720:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal.hs:720:1
94% ( 75 / 79) in 'System.OsString.Internal'
Missing documentation for:
Module header
empty (System/OsString/Internal.hs:233)
singleton (System/OsString/Internal.hs:236)
concat (System/OsString/Internal.hs:425)
Warning: 'setFileSystemEncoding' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'unsafePerformIO' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
96% ( 96 / 99) in 'System.OsString'
Missing documentation for:
empty (System/OsString/Internal.hs:233)
singleton (System/OsString/Internal.hs:236)
concat (System/OsString/Internal.hs:425)
Warning: 'unsafeDupablePerformIO' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'WindowsString' is ambiguous. It is defined
* at System/OsString/Internal/Types.hs:60:25
* at System/OsString/Internal/Types.hs:60:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/OsString/Internal/Types.hs:60:1
Warning: 'OsString' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
94% ( 94 / 99) in 'System.OsString.Windows'
Missing documentation for:
Module header
WindowsChar (System/OsString/Internal/Types.hs:117)
singleton (System/OsString/Common.hs:526)
empty (System/OsString/Common.hs:529)
concat (System/OsString/Common.hs:737)
Warning: System.OsString.Data.ByteString.Short: could not find link destinations for:
- Data.ByteString.Short.Internal.Rep_ShortByteString
- Data.ByteString.Short.Internal.D:R:ItemShortByteString
Warning: System.OsString.Data.ByteString.Short.Word16: could not find link destinations for:
- Data.ByteString.Short.Internal.Rep_ShortByteString
- Data.ByteString.Short.Internal.D:R:ItemShortByteString
Warning: System.OsString.Internal.Types: could not find link destinations for:
- System.OsString.Internal.Types.Rep_OsChar
- System.OsString.Internal.Types.Rep_OsString
- System.OsString.Internal.Types.Rep_PosixChar
- System.OsString.Internal.Types.Rep_WindowsChar
- System.OsString.Internal.Types.Rep_PosixString
- System.OsString.Internal.Types.Rep_WindowsString
Warning: System.OsString.Posix: could not find link destinations for:
- System.OsString.Internal.Types.Rep_PosixChar
- System.OsString.Internal.Types.Rep_PosixString
Warning: System.OsString: could not find link destinations for:
- System.OsString.Internal.Types.Rep_OsChar
- System.OsString.Internal.Types.Rep_OsString
Warning: System.OsString.Windows: could not find link destinations for:
- System.OsString.Internal.Types.Rep_WindowsChar
- System.OsString.Internal.Types.Rep_WindowsString
Documentation created: dist/doc/html/os-string/,
dist/doc/html/os-string/os-string.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/os-string-2.0.8-JLOCx5syZ3qViIHERGXha
Completed os-string-2.0.8
Configuring symbol-0.2.4.1...
Preprocessing library for symbol-0.2.4.1..
Building library for symbol-0.2.4.1..
[1 of 2] Compiling Data.Symbol.Unsafe ( Data/Symbol/Unsafe.hs, dist/build/Data/Symbol/Unsafe.o, dist/build/Data/Symbol/Unsafe.dyn_o )
[2 of 2] Compiling Data.Symbol ( Data/Symbol.hs, dist/build/Data/Symbol.o, dist/build/Data/Symbol.dyn_o )
Preprocessing library for symbol-0.2.4.1..
Running Haddock on library for symbol-0.2.4.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 2] Compiling Data.Symbol.Unsafe ( Data/Symbol/Unsafe.hs, nothing )
[2 of 2] Compiling Data.Symbol ( Data/Symbol.hs, nothing )
Haddock coverage:
Warning: 'Symbol' is ambiguous. It is defined
* at Data/Symbol/Unsafe.hs:28:16
* at Data/Symbol/Unsafe.hs:27:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at Data/Symbol/Unsafe.hs:27:1
75% ( 3 / 4) in 'Data.Symbol.Unsafe'
Missing documentation for:
Symbol (Data/Symbol/Unsafe.hs:27)
75% ( 3 / 4) in 'Data.Symbol'
Missing documentation for:
Symbol (Data/Symbol/Unsafe.hs:27)
Documentation created: dist/doc/html/symbol/, dist/doc/html/symbol/symbol.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/symbol-0.2.4.1-IoWrNwjar6cD3KUXziLU2c
Completed symbol-0.2.4.1
Configuring uglymemo-0.1.0.1...
Preprocessing library for uglymemo-0.1.0.1..
Building library for uglymemo-0.1.0.1..
[1 of 1] Compiling Data.MemoUgly ( Data/MemoUgly.hs, dist/build/Data/MemoUgly.o, dist/build/Data/MemoUgly.dyn_o )
Preprocessing library for uglymemo-0.1.0.1..
Running Haddock on library for uglymemo-0.1.0.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 1] Compiling Data.MemoUgly ( Data/MemoUgly.hs, nothing )
Haddock coverage:
66% ( 2 / 3) in 'Data.MemoUgly'
Missing documentation for:
Module header
Documentation created: dist/doc/html/uglymemo/,
dist/doc/html/uglymemo/uglymemo.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/uglymemo-0.1.0.1-6fnK5MiiJ4nbAFo4leobQ
Completed uglymemo-0.1.0.1
Configuring utf8-string-1.0.2...
Preprocessing library for utf8-string-1.0.2..
Building library for utf8-string-1.0.2..
[1 of 5] Compiling Codec.Binary.UTF8.String ( Codec/Binary/UTF8/String.hs, dist/build/Codec/Binary/UTF8/String.o, dist/build/Codec/Binary/UTF8/String.dyn_o )
[2 of 5] Compiling Codec.Binary.UTF8.Generic ( Codec/Binary/UTF8/Generic.hs, dist/build/Codec/Binary/UTF8/Generic.o, dist/build/Codec/Binary/UTF8/Generic.dyn_o )
Codec/Binary/UTF8/Generic.hs:87:21: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
87 | tail = List.tail
| ^^^^^^^^^
[3 of 5] Compiling Data.ByteString.Lazy.UTF8 ( Data/ByteString/Lazy/UTF8.hs, dist/build/Data/ByteString/Lazy/UTF8.o, dist/build/Data/ByteString/Lazy/UTF8.dyn_o )
[4 of 5] Compiling Data.ByteString.UTF8 ( Data/ByteString/UTF8.hs, dist/build/Data/ByteString/UTF8.o, dist/build/Data/ByteString/UTF8.dyn_o )
[5 of 5] Compiling Data.String.UTF8 ( Data/String/UTF8.hs, dist/build/Data/String/UTF8.o, dist/build/Data/String/UTF8.dyn_o )
Preprocessing library for utf8-string-1.0.2..
Running Haddock on library for utf8-string-1.0.2..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 5] Compiling Codec.Binary.UTF8.String ( Codec/Binary/UTF8/String.hs, nothing )
[2 of 5] Compiling Codec.Binary.UTF8.Generic ( Codec/Binary/UTF8/Generic.hs, nothing )
Codec/Binary/UTF8/Generic.hs:87:21: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
87 | tail = List.tail
| ^^^^^^^^^
[3 of 5] Compiling Data.ByteString.Lazy.UTF8 ( Data/ByteString/Lazy/UTF8.hs, nothing )
[4 of 5] Compiling Data.ByteString.UTF8 ( Data/ByteString/UTF8.hs, nothing )
[5 of 5] Compiling Data.String.UTF8 ( Data/String/UTF8.hs, nothing )
Haddock coverage:
100% ( 8 / 8) in 'Codec.Binary.UTF8.String'
94% ( 16 / 17) in 'Codec.Binary.UTF8.Generic'
Missing documentation for:
UTF8Bytes (Codec/Binary/UTF8/Generic.hs:48)
100% ( 17 / 17) in 'Data.ByteString.Lazy.UTF8'
100% ( 18 / 18) in 'Data.ByteString.UTF8'
88% ( 24 / 27) in 'Data.String.UTF8'
Missing documentation for:
UTF8Bytes (Codec/Binary/UTF8/Generic.hs:48)
fromRep (Data/String/UTF8.hs:64)
toRep (Data/String/UTF8.hs:67)
Warning: Data.ByteString.Lazy.UTF8: could not find link destinations for:
- Data.ByteString.Lazy.Internal.D:R:ItemByteString
Warning: Data.ByteString.UTF8: could not find link destinations for:
- Data.ByteString.Internal.Type.D:R:ItemByteString
Documentation created: dist/doc/html/utf8-string/,
dist/doc/html/utf8-string/utf8-string.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/utf8-string-1.0.2-ARoN8tTzuLW5AQK61y3Hvx
Completed utf8-string-1.0.2
Configuring 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-J8fLvwSw9feFf65x5AcaWG
Completed hashable-1.5.0.0
Configuring async-2.2.5...
Preprocessing library for async-2.2.5..
Building library for async-2.2.5..
[1 of 2] Compiling Control.Concurrent.Async.Internal ( Control/Concurrent/Async/Internal.hs, dist/build/Control/Concurrent/Async/Internal.o, dist/build/Control/Concurrent/Async/Internal.dyn_o )
Control/Concurrent/Async/Internal.hs:50:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Semigroup is redundant
except perhaps to import instances from Data.Semigroup
To import instances alone, use: import Data.Semigroup()
|
50 | import Data.Semigroup (Semigroup((<>)))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[2 of 2] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o, dist/build/Control/Concurrent/Async.dyn_o )
Preprocessing library for async-2.2.5..
Running Haddock on library for async-2.2.5..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 2] Compiling Control.Concurrent.Async.Internal ( Control/Concurrent/Async/Internal.hs, nothing )
Control/Concurrent/Async/Internal.hs:50:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Semigroup is redundant
except perhaps to import instances from Data.Semigroup
To import instances alone, use: import Data.Semigroup()
|
50 | import Data.Semigroup (Semigroup((<>)))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[2 of 2] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, nothing )
Haddock coverage:
Warning: 'ThreadId' is ambiguous. It is defined
* in GHC.Conc.Sync
* in GHC.Conc.Sync
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.Conc.Sync
Warning: 'Async' is ambiguous. It is defined
* at Control/Concurrent/Async/Internal.hs:69:16
* at Control/Concurrent/Async/Internal.hs:69:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at Control/Concurrent/Async/Internal.hs:69:1
Warning: 'ExceptionInLinkedThread' is ambiguous. It is defined
* at Control/Concurrent/Async/Internal.hs:461:3
* at Control/Concurrent/Async/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 Control/Concurrent/Async/Internal.hs:460:1
Warning: 'AsyncCancelled' is ambiguous. It is defined
* at Control/Concurrent/Async/Internal.hs:274:23
* at Control/Concurrent/Async/Internal.hs:274:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at Control/Concurrent/Async/Internal.hs:274:1
Warning: 'IO' is ambiguous. It is defined
* in GHC.Types
* in GHC.Types
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.Types
86% ( 58 / 67) in 'Control.Concurrent.Async.Internal'
Missing documentation for:
asyncUsing (Control/Concurrent/Async/Internal.hs:124)
withAsyncUsing (Control/Concurrent/Async/Internal.hs:178)
ExceptionInLinkedThread (Control/Concurrent/Async/Internal.hs:460)
isCancel (Control/Concurrent/Async/Internal.hs:542)
concurrently' (Control/Concurrent/Async/Internal.hs:649)
catchAll (Control/Concurrent/Async/Internal.hs:858)
tryAll (Control/Concurrent/Async/Internal.hs:861)
rawForkIO (Control/Concurrent/Async/Internal.hs:868)
rawForkOn (Control/Concurrent/Async/Internal.hs:873)
Warning: 'forkIO' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Async' is ambiguous. It is defined
* at Control/Concurrent/Async/Internal.hs:69:16
* at Control/Concurrent/Async/Internal.hs:69:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at Control/Concurrent/Async/Internal.hs:69:1
Warning: 'Concurrently' is ambiguous. It is defined
* at Control/Concurrent/Async/Internal.hs:775:26
* at Control/Concurrent/Async/Internal.hs:775:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at Control/Concurrent/Async/Internal.hs:775:1
Warning: 'Alternative' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
98% ( 70 / 71) in 'Control.Concurrent.Async'
Missing documentation for:
ExceptionInLinkedThread (Control/Concurrent/Async/Internal.hs:460)
Documentation created: dist/doc/html/async/, dist/doc/html/async/async.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/async-2.2.5-DRFV2Ni7wRk2vNEod8lEbg
Completed async-2.2.5
Configuring minisat-0.1.4...
Preprocessing library for minisat-0.1.4..
Building library for minisat-0.1.4..
[1 of 1] Compiling MiniSat ( dist/build/MiniSat.hs, dist/build/MiniSat.o, dist/build/MiniSat.dyn_o )
Preprocessing library for minisat-0.1.4..
Running Haddock on library for minisat-0.1.4..
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: system-cxx-std-lib-1.0
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 1] Compiling MiniSat ( dist/build/MiniSat.hs, nothing )
Haddock coverage:
1% ( 1 / 67) in 'MiniSat'
Missing documentation for:
Module header
withNewSolver (minisat-haskell-bindings/MiniSat.hsc:24)
newSolver (minisat-haskell-bindings/MiniSat.hsc:29)
deleteSolver (minisat-haskell-bindings/MiniSat.hsc:35)
newLit (minisat-haskell-bindings/MiniSat.hsc:38)
neg (minisat-haskell-bindings/MiniSat.hsc:41)
addClause (minisat-haskell-bindings/MiniSat.hsc:44)
simplify (minisat-haskell-bindings/MiniSat.hsc:50)
eliminate (minisat-haskell-bindings/MiniSat.hsc:53)
setFrozen (minisat-haskell-bindings/MiniSat.hsc:56)
isEliminated (minisat-haskell-bindings/MiniSat.hsc:59)
solve (minisat-haskell-bindings/MiniSat.hsc:66)
limited_solve (minisat-haskell-bindings/MiniSat.hsc:72)
modelValue (minisat-haskell-bindings/MiniSat.hsc:78)
value (minisat-haskell-bindings/MiniSat.hsc:78)
conflict (minisat-haskell-bindings/MiniSat.hsc:88)
l_True (minisat-haskell-bindings/MiniSat.hsc:94)
l_False (minisat-haskell-bindings/MiniSat.hsc:95)
l_Undef (minisat-haskell-bindings/MiniSat.hsc:96)
Solver (minisat-haskell-bindings/MiniSat.hsc:100)
Var (minisat-haskell-bindings/MiniSat.hsc:101)
Lit (minisat-haskell-bindings/MiniSat.hsc:102)
LBool (minisat-haskell-bindings/MiniSat.hsc:103)
minisat_new (minisat-haskell-bindings/MiniSat.hsc:130)
minisat_delete (minisat-haskell-bindings/MiniSat.hsc:131)
minisat_newVar (minisat-haskell-bindings/MiniSat.hsc:132)
minisat_newLit (minisat-haskell-bindings/MiniSat.hsc:133)
minisat_mkLit (minisat-haskell-bindings/MiniSat.hsc:134)
minisat_mkLit_args (minisat-haskell-bindings/MiniSat.hsc:135)
minisat_negate (minisat-haskell-bindings/MiniSat.hsc:136)
minisat_var (minisat-haskell-bindings/MiniSat.hsc:137)
minisat_sign (minisat-haskell-bindings/MiniSat.hsc:138)
minisat_addClause (minisat-haskell-bindings/MiniSat.hsc:139)
minisat_addClause_begin (minisat-haskell-bindings/MiniSat.hsc:140)
minisat_addClause_addLit (minisat-haskell-bindings/MiniSat.hsc:141)
minisat_addClause_commit (minisat-haskell-bindings/MiniSat.hsc:142)
minisat_simplify (minisat-haskell-bindings/MiniSat.hsc:143)
minisat_solve (minisat-haskell-bindings/MiniSat.hsc:144)
minisat_solve_begin (minisat-haskell-bindings/MiniSat.hsc:145)
minisat_solve_addLit (minisat-haskell-bindings/MiniSat.hsc:146)
minisat_solve_commit (minisat-haskell-bindings/MiniSat.hsc:147)
minisat_limited_solve_commit (minisat-haskell-bindings/MiniSat.hsc:148)
minisat_interrupt (minisat-haskell-bindings/MiniSat.hsc:150)
minisat_clearInterrupt (minisat-haskell-bindings/MiniSat.hsc:151)
minisat_okay (minisat-haskell-bindings/MiniSat.hsc:153)
minisat_setPolarity (minisat-haskell-bindings/MiniSat.hsc:154)
minisat_setDecisionVar (minisat-haskell-bindings/MiniSat.hsc:155)
minisat_value_Var (minisat-haskell-bindings/MiniSat.hsc:156)
minisat_value_Lit (minisat-haskell-bindings/MiniSat.hsc:157)
minisat_modelValue_Var (minisat-haskell-bindings/MiniSat.hsc:158)
minisat_modelValue_Lit (minisat-haskell-bindings/MiniSat.hsc:159)
minisat_get_l_True (minisat-haskell-bindings/MiniSat.hsc:161)
minisat_get_l_False (minisat-haskell-bindings/MiniSat.hsc:162)
minisat_get_l_Undef (minisat-haskell-bindings/MiniSat.hsc:163)
minisat_setFrozen (minisat-haskell-bindings/MiniSat.hsc:166)
minisat_isEliminated (minisat-haskell-bindings/MiniSat.hsc:167)
minisat_eliminate (minisat-haskell-bindings/MiniSat.hsc:168)
minisat_num_assigns (minisat-haskell-bindings/MiniSat.hsc:170)
minisat_num_clauses (minisat-haskell-bindings/MiniSat.hsc:171)
minisat_num_learnts (minisat-haskell-bindings/MiniSat.hsc:172)
minisat_num_vars (minisat-haskell-bindings/MiniSat.hsc:173)
minisat_num_freeVars (minisat-haskell-bindings/MiniSat.hsc:174)
minisat_num_conflicts (minisat-haskell-bindings/MiniSat.hsc:175)
minisat_conflict_len (minisat-haskell-bindings/MiniSat.hsc:177)
minisat_conflict_nthLit (minisat-haskell-bindings/MiniSat.hsc:178)
minisat_set_verbosity (minisat-haskell-bindings/MiniSat.hsc:179)
Documentation created: dist/doc/html/minisat/,
dist/doc/html/minisat/minisat.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/minisat-0.1.4-Drcq0E8T5cLEpstJz2SK3R
Completed minisat-0.1.4
Downloading jukebox-0.5.9
Downloaded jukebox-0.5.9
Configuring jukebox-0.5.9...
Preprocessing library for jukebox-0.5.9..
Building library for jukebox-0.5.9..
[ 1 of 27] Compiling Jukebox.Name ( src/Jukebox/Name.hs, dist/build/Jukebox/Name.o, dist/build/Jukebox/Name.dyn_o )
[ 2 of 27] Compiling Jukebox.Options ( src/Jukebox/Options.hs, dist/build/Jukebox/Options.o, dist/build/Jukebox/Options.dyn_o )
src/Jukebox/Options.hs:20:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Semigroup is redundant
except perhaps to import instances from Data.Semigroup
To import instances alone, use: import Data.Semigroup()
|
20 | import Data.Semigroup(Semigroup(..))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/Options.hs:94:13: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
94 | r = tail (dropWhile (/= ',') s)
| ^^^^
src/Jukebox/Options.hs:120:13: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
120 | r = tail (dropWhile (/= ',') s)
| ^^^^
[ 3 of 27] Compiling Jukebox.Sat ( src/Jukebox/Sat.hs, dist/build/Jukebox/Sat.o, dist/build/Jukebox/Sat.dyn_o )
[ 4 of 27] Compiling Jukebox.Sat.Minimise ( src/Jukebox/Sat/Minimise.hs, dist/build/Jukebox/Sat/Minimise.o, dist/build/Jukebox/Sat/Minimise.dyn_o )
[ 5 of 27] Compiling Jukebox.Sat.ThreeValued ( src/Jukebox/Sat/ThreeValued.hs, dist/build/Jukebox/Sat/ThreeValued.o, dist/build/Jukebox/Sat/ThreeValued.dyn_o )
[ 6 of 27] Compiling Jukebox.Sat.Equality ( src/Jukebox/Sat/Equality.hs, dist/build/Jukebox/Sat/Equality.o, dist/build/Jukebox/Sat/Equality.dyn_o )
[ 7 of 27] Compiling Jukebox.TPTP.FindFile ( src/Jukebox/TPTP/FindFile.hs, dist/build/Jukebox/TPTP/FindFile.o, dist/build/Jukebox/TPTP/FindFile.dyn_o )
[ 8 of 27] Compiling Jukebox.TPTP.Lexer ( dist/build/Jukebox/TPTP/Lexer.hs, dist/build/Jukebox/TPTP/Lexer.o, dist/build/Jukebox/TPTP/Lexer.dyn_o )
[ 9 of 27] Compiling Jukebox.TPTP.Parsec ( src/Jukebox/TPTP/Parsec.hs, dist/build/Jukebox/TPTP/Parsec.o, dist/build/Jukebox/TPTP/Parsec.dyn_o )
src/Jukebox/TPTP/Parsec.hs:8:1: warning: [GHC-66111] [-Wunused-imports]
The import of Control.Monad.Fail is redundant
except perhaps to import instances from Control.Monad.Fail
To import instances alone, use: import Control.Monad.Fail()
|
8 | import Control.Monad.Fail
| ^^^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/TPTP/Parsec.hs:36:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (Parsec a).
return will eventually be removed in favour of pure
Suggested fix:
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
36 | return x = Parsec (\ok err inp exp -> ok x err inp exp)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/TPTP/Parsec.hs:58:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (Parsec a).
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
58 | pure = return
| ^^^^^^^^^^^^^
src/Jukebox/TPTP/Parsec.hs:62:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical (*>) = (>>) definition detected
in the instance declaration for Applicative (Parsec a).
Suggested fix:
Move definition from (>>) to (*>)
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
62 | (*>) = (>>)
| ^^^^^^^^^^^
[10 of 27] Compiling Jukebox.UnionFind ( src/Jukebox/UnionFind.hs, dist/build/Jukebox/UnionFind.o, dist/build/Jukebox/UnionFind.dyn_o )
[11 of 27] Compiling Jukebox.Utils ( src/Jukebox/Utils.hs, dist/build/Jukebox/Utils.o, dist/build/Jukebox/Utils.dyn_o )
[12 of 27] Compiling Jukebox.Form ( src/Jukebox/Form.hs, dist/build/Jukebox/Form.o, dist/build/Jukebox/Form.dyn_o )
[13 of 27] Compiling Jukebox.Tools.InferTypes ( src/Jukebox/Tools/InferTypes.hs, dist/build/Jukebox/Tools/InferTypes.o, dist/build/Jukebox/Tools/InferTypes.dyn_o )
[14 of 27] Compiling Jukebox.Tools.HornToUnit ( src/Jukebox/Tools/HornToUnit.hs, dist/build/Jukebox/Tools/HornToUnit.o, dist/build/Jukebox/Tools/HornToUnit.dyn_o )
[15 of 27] Compiling Jukebox.Tools.Clausify ( src/Jukebox/Tools/Clausify.hs, dist/build/Jukebox/Tools/Clausify.o, dist/build/Jukebox/Tools/Clausify.dyn_o )
[16 of 27] Compiling Jukebox.Tools.EncodeTypes ( src/Jukebox/Tools/EncodeTypes.hs, dist/build/Jukebox/Tools/EncodeTypes.o, dist/build/Jukebox/Tools/EncodeTypes.dyn_o )
[17 of 27] Compiling Jukebox.TPTP.Print ( src/Jukebox/TPTP/Print.hs, dist/build/Jukebox/TPTP/Print.o, dist/build/Jukebox/TPTP/Print.dyn_o )
src/Jukebox/TPTP/Print.hs:230:42: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
230 | escapeAtom s | not (null s') && isLower (head s') && all isNormal s' = s
| ^^^^
src/Jukebox/TPTP/Print.hs:366:11: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
366 | head [c | c@(Renaming xs x) <- cands,
| ^^^^
[18 of 27] Compiling Jukebox.TPTP.Parse.Core ( src/Jukebox/TPTP/Parse/Core.hs, dist/build/Jukebox/TPTP/Parse/Core.o, dist/build/Jukebox/TPTP/Parse/Core.dyn_o )
src/Jukebox/TPTP/Parse/Core.hs:99:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative ParseResult.
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
99 | pure = return
| ^^^^^^^^^^^^^
src/Jukebox/TPTP/Parse/Core.hs:103:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad ParseResult.
return will eventually be removed in favour of pure
Suggested fix:
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
103 | return = ParseSucceeded
| ^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/TPTP/Parse/Core.hs:341:43: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
341 | " has arity " ++ show (head lengths) ++
| ^^^^
src/Jukebox/TPTP/Parse/Core.hs:404:9: warning: [GHC-53633] [-Woverlapping-patterns]
Pattern match is redundant
In a case alternative: [] -> ...
|
404 | [] -> ""
| ^^^^^^^^
[19 of 27] Compiling Jukebox.TPTP.ParseSnippet ( src/Jukebox/TPTP/ParseSnippet.hs, dist/build/Jukebox/TPTP/ParseSnippet.o, dist/build/Jukebox/TPTP/ParseSnippet.dyn_o )
[20 of 27] Compiling Jukebox.Tools.GuessModel ( src/Jukebox/Tools/GuessModel.hs, dist/build/Jukebox/Tools/GuessModel.o, dist/build/Jukebox/Tools/GuessModel.dyn_o )
src/Jukebox/Tools/GuessModel.hs:76:20: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
76 | [] (head (funArgs answerP))
| ^^^^
[21 of 27] Compiling Jukebox.TPTP.Parse ( src/Jukebox/TPTP/Parse.hs, dist/build/Jukebox/TPTP/Parse.o, dist/build/Jukebox/TPTP/Parse.dyn_o )
[22 of 27] Compiling Jukebox.Sat.Easy ( src/Jukebox/Sat/Easy.hs, dist/build/Jukebox/Sat/Easy.o, dist/build/Jukebox/Sat/Easy.dyn_o )
[23 of 27] Compiling Jukebox.Tools.AnalyseMonotonicity ( src/Jukebox/Tools/AnalyseMonotonicity.hs, dist/build/Jukebox/Tools/AnalyseMonotonicity.o, dist/build/Jukebox/Tools/AnalyseMonotonicity.dyn_o )
[24 of 27] Compiling Jukebox.SMTLIB ( src/Jukebox/SMTLIB.hs, dist/build/Jukebox/SMTLIB.o, dist/build/Jukebox/SMTLIB.dyn_o )
[25 of 27] Compiling Jukebox.Toolbox ( src/Jukebox/Toolbox.hs, dist/build/Jukebox/Toolbox.o, dist/build/Jukebox/Toolbox.dyn_o )
[26 of 27] Compiling Jukebox.ExternalProvers.SPASS ( src/Jukebox/ExternalProvers/SPASS.hs, dist/build/Jukebox/ExternalProvers/SPASS.o, dist/build/Jukebox/ExternalProvers/SPASS.dyn_o )
src/Jukebox/ExternalProvers/SPASS.hs:48:3: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
48 | head $
| ^^^^
[27 of 27] Compiling Jukebox.ExternalProvers.E ( src/Jukebox/ExternalProvers/E.hs, dist/build/Jukebox/ExternalProvers/E.o, dist/build/Jukebox/ExternalProvers/E.dyn_o )
src/Jukebox/ExternalProvers/E.hs:48:49: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
48 | wrap <- newFunction "answer" [typ t] (head (funArgs f))
| ^^^^
src/Jukebox/ExternalProvers/E.hs:69:18: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
69 | status = head $
| ^^^^
Preprocessing executable 'jukebox' for jukebox-0.5.9..
Building executable 'jukebox' for jukebox-0.5.9..
[1 of 1] Compiling Main ( executable/Main.hs, dist/build/jukebox/jukebox-tmp/Main.o )
[2 of 2] Linking dist/build/jukebox/jukebox
Preprocessing library for jukebox-0.5.9..
Running Haddock on library for jukebox-0.5.9..
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: system-cxx-std-lib-1.0
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 27] Compiling Jukebox.Name ( src/Jukebox/Name.hs, nothing )
[ 2 of 27] Compiling Jukebox.Options ( src/Jukebox/Options.hs, nothing )
src/Jukebox/Options.hs:20:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Semigroup is redundant
except perhaps to import instances from Data.Semigroup
To import instances alone, use: import Data.Semigroup()
|
20 | import Data.Semigroup(Semigroup(..))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/Options.hs:94:13: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
94 | r = tail (dropWhile (/= ',') s)
| ^^^^
src/Jukebox/Options.hs:120:13: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
120 | r = tail (dropWhile (/= ',') s)
| ^^^^
[ 3 of 27] Compiling Jukebox.Sat ( src/Jukebox/Sat.hs, nothing )
[ 4 of 27] Compiling Jukebox.Sat.Minimise ( src/Jukebox/Sat/Minimise.hs, nothing )
[ 5 of 27] Compiling Jukebox.Sat.ThreeValued ( src/Jukebox/Sat/ThreeValued.hs, nothing )
[ 6 of 27] Compiling Jukebox.Sat.Equality ( src/Jukebox/Sat/Equality.hs, nothing )
[ 7 of 27] Compiling Jukebox.TPTP.FindFile ( src/Jukebox/TPTP/FindFile.hs, nothing )
[ 8 of 27] Compiling Jukebox.TPTP.Lexer ( dist/build/Jukebox/TPTP/Lexer.hs, nothing )
[ 9 of 27] Compiling Jukebox.TPTP.Parsec ( src/Jukebox/TPTP/Parsec.hs, nothing )
src/Jukebox/TPTP/Parsec.hs:8:1: warning: [GHC-66111] [-Wunused-imports]
The import of Control.Monad.Fail is redundant
except perhaps to import instances from Control.Monad.Fail
To import instances alone, use: import Control.Monad.Fail()
|
8 | import Control.Monad.Fail
| ^^^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/TPTP/Parsec.hs:36:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (Parsec a).
return will eventually be removed in favour of pure
Suggested fix:
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
36 | return x = Parsec (\ok err inp exp -> ok x err inp exp)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/TPTP/Parsec.hs:58:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (Parsec a).
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
58 | pure = return
| ^^^^^^^^^^^^^
src/Jukebox/TPTP/Parsec.hs:62:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical (*>) = (>>) definition detected
in the instance declaration for Applicative (Parsec a).
Suggested fix:
Move definition from (>>) to (*>)
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
62 | (*>) = (>>)
| ^^^^^^^^^^^
[10 of 27] Compiling Jukebox.UnionFind ( src/Jukebox/UnionFind.hs, nothing )
[11 of 27] Compiling Jukebox.Utils ( src/Jukebox/Utils.hs, nothing )
[12 of 27] Compiling Jukebox.Form ( src/Jukebox/Form.hs, nothing )
[13 of 27] Compiling Jukebox.Tools.InferTypes ( src/Jukebox/Tools/InferTypes.hs, nothing )
[14 of 27] Compiling Jukebox.Tools.HornToUnit ( src/Jukebox/Tools/HornToUnit.hs, nothing )
[15 of 27] Compiling Jukebox.Tools.Clausify ( src/Jukebox/Tools/Clausify.hs, nothing )
[16 of 27] Compiling Jukebox.Tools.EncodeTypes ( src/Jukebox/Tools/EncodeTypes.hs, nothing )
[17 of 27] Compiling Jukebox.TPTP.Print ( src/Jukebox/TPTP/Print.hs, nothing )
src/Jukebox/TPTP/Print.hs:230:42: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
230 | escapeAtom s | not (null s') && isLower (head s') && all isNormal s' = s
| ^^^^
src/Jukebox/TPTP/Print.hs:366:11: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
366 | head [c | c@(Renaming xs x) <- cands,
| ^^^^
[18 of 27] Compiling Jukebox.TPTP.Parse.Core ( src/Jukebox/TPTP/Parse/Core.hs, nothing )
src/Jukebox/TPTP/Parse/Core.hs:99:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative ParseResult.
Suggested fix:
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
99 | pure = return
| ^^^^^^^^^^^^^
src/Jukebox/TPTP/Parse/Core.hs:103:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad ParseResult.
return will eventually be removed in favour of pure
Suggested fix:
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
103 | return = ParseSucceeded
| ^^^^^^^^^^^^^^^^^^^^^^^
src/Jukebox/TPTP/Parse/Core.hs:341:43: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
341 | " has arity " ++ show (head lengths) ++
| ^^^^
[19 of 27] Compiling Jukebox.TPTP.ParseSnippet ( src/Jukebox/TPTP/ParseSnippet.hs, nothing )
[20 of 27] Compiling Jukebox.Tools.GuessModel ( src/Jukebox/Tools/GuessModel.hs, nothing )
src/Jukebox/Tools/GuessModel.hs:76:20: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
76 | [] (head (funArgs answerP))
| ^^^^
[21 of 27] Compiling Jukebox.TPTP.Parse ( src/Jukebox/TPTP/Parse.hs, nothing )
[22 of 27] Compiling Jukebox.Sat.Easy ( src/Jukebox/Sat/Easy.hs, nothing )
[23 of 27] Compiling Jukebox.Tools.AnalyseMonotonicity ( src/Jukebox/Tools/AnalyseMonotonicity.hs, nothing )
[24 of 27] Compiling Jukebox.SMTLIB ( src/Jukebox/SMTLIB.hs, nothing )
[25 of 27] Compiling Jukebox.Toolbox ( src/Jukebox/Toolbox.hs, nothing )
[26 of 27] Compiling Jukebox.ExternalProvers.SPASS ( src/Jukebox/ExternalProvers/SPASS.hs, nothing )
src/Jukebox/ExternalProvers/SPASS.hs:48:3: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
48 | head $
| ^^^^
[27 of 27] Compiling Jukebox.ExternalProvers.E ( src/Jukebox/ExternalProvers/E.hs, nothing )
src/Jukebox/ExternalProvers/E.hs:48:49: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
48 | wrap <- newFunction "answer" [typ t] (head (funArgs f))
| ^^^^
src/Jukebox/ExternalProvers/E.hs:69:18: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
69 | status = head $
| ^^^^
Haddock coverage:
0% ( 0 / 25) in 'Jukebox.Name'
Missing documentation for:
Module header
Name (src/Jukebox/Name.hs:15)
FixedName (src/Jukebox/Name.hs:20)
Renamer (src/Jukebox/Name.hs:28)
Renaming (src/Jukebox/Name.hs:29)
base (src/Jukebox/Name.hs:32)
label (src/Jukebox/Name.hs:39)
hasLabel (src/Jukebox/Name.hs:46)
withMaybeLabel (src/Jukebox/Name.hs:49)
withLabel (src/Jukebox/Name.hs:54)
renamer (src/Jukebox/Name.hs:64)
defaultRenamer (src/Jukebox/Name.hs:71)
withRenamer (src/Jukebox/Name.hs:79)
compareName (src/Jukebox/Name.hs:92)
Named (src/Jukebox/Name.hs:109)
allNames (src/Jukebox/Name.hs:129)
variant (src/Jukebox/Name.hs:139)
unvariant (src/Jukebox/Name.hs:143)
::: (src/Jukebox/Name.hs:146)
lhs (src/Jukebox/Name.hs:149)
rhs (src/Jukebox/Name.hs:152)
NameM (src/Jukebox/Name.hs:160)
runNameM (src/Jukebox/Name.hs:165)
newName (src/Jukebox/Name.hs:169)
unique (src/Jukebox/Name.hs:177)
0% ( 0 / 42) in 'Jukebox.Options'
Missing documentation for:
Module header
Annotated (src/Jukebox/Options.hs:25)
ArgParser (src/Jukebox/Options.hs:48)
SeqParser (src/Jukebox/Options.hs:52)
arg (src/Jukebox/Options.hs:68)
argNum (src/Jukebox/Options.hs:77)
argFile (src/Jukebox/Options.hs:84)
argFiles (src/Jukebox/Options.hs:87)
argName (src/Jukebox/Options.hs:97)
argNums (src/Jukebox/Options.hs:100)
argOption (src/Jukebox/Options.hs:109)
argList (src/Jukebox/Options.hs:113)
argOptionWith (src/Jukebox/Options.hs:125)
argUsage (src/Jukebox/Options.hs:137)
OptionParser (src/Jukebox/Options.hs:142)
Flag (src/Jukebox/Options.hs:145)
FlagMode (src/Jukebox/Options.hs:151)
flagExpert (src/Jukebox/Options.hs:154)
ParParser (src/Jukebox/Options.hs:161)
ParseResult (src/Jukebox/Options.hs:165)
Error (src/Jukebox/Options.hs:173)
runPar (src/Jukebox/Options.hs:200)
await (src/Jukebox/Options.hs:208)
primFlag (src/Jukebox/Options.hs:231)
flag (src/Jukebox/Options.hs:246)
manyFlags (src/Jukebox/Options.hs:254)
bool (src/Jukebox/Options.hs:262)
filenames (src/Jukebox/Options.hs:271)
io (src/Jukebox/Options.hs:282)
inGroup (src/Jukebox/Options.hs:287)
expert (src/Jukebox/Options.hs:291)
hidden (src/Jukebox/Options.hs:295)
version (src/Jukebox/Options.hs:299)
printHelp (src/Jukebox/Options.hs:309)
printError (src/Jukebox/Options.hs:314)
help (src/Jukebox/Options.hs:319)
usageText (src/Jukebox/Options.hs:335)
helpText (src/Jukebox/Options.hs:340)
justify (src/Jukebox/Options.hs:360)
parseCommandLine (src/Jukebox/Options.hs:366)
parseCommandLineWithExtraArgs (src/Jukebox/Options.hs:370)
parseCommandLineWithArgs (src/Jukebox/Options.hs:376)
0% ( 0 / 15) in 'Jukebox.Sat'
Missing documentation for:
Module header
Solver
newSolver (src/Jukebox/Sat.hs:36)
deleteSolver
Lit
neg
false (src/Jukebox/Sat.hs:33)
true (src/Jukebox/Sat.hs:32)
SatSolver (src/Jukebox/Sat.hs:46)
newLit (src/Jukebox/Sat.hs:53)
addClause (src/Jukebox/Sat.hs:56)
solve (src/Jukebox/Sat.hs:59)
conflict (src/Jukebox/Sat.hs:62)
modelValue (src/Jukebox/Sat.hs:65)
value (src/Jukebox/Sat.hs:68)
0% ( 0 / 3) in 'Jukebox.Sat.Minimise'
Missing documentation for:
Module header
solveLocalMin (src/Jukebox/Sat/Minimise.hs:6)
localMin (src/Jukebox/Sat/Minimise.hs:15)
0% ( 0 / 11) in 'Jukebox.Sat.ThreeValued'
Missing documentation for:
Module header
Lit3 (src/Jukebox/Sat/ThreeValued.hs:7)
false3 (src/Jukebox/Sat/ThreeValued.hs:10)
true3 (src/Jukebox/Sat/ThreeValued.hs:11)
bottom3 (src/Jukebox/Sat/ThreeValued.hs:12)
neg3 (src/Jukebox/Sat/ThreeValued.hs:15)
newLit3 (src/Jukebox/Sat/ThreeValued.hs:18)
newLit2 (src/Jukebox/Sat/ThreeValued.hs:25)
modelValue3 (src/Jukebox/Sat/ThreeValued.hs:32)
value3 (src/Jukebox/Sat/ThreeValued.hs:35)
val3 (src/Jukebox/Sat/ThreeValued.hs:38)
0% ( 0 / 9) in 'Jukebox.Sat.Equality'
Missing documentation for:
Module header
SolverEq (src/Jukebox/Sat/Equality.hs:11)
newSolverEq (src/Jukebox/Sat/Equality.hs:20)
EqSolver (src/Jukebox/Sat/Equality.hs:34)
Elt (src/Jukebox/Sat/Equality.hs:42)
newElt (src/Jukebox/Sat/Equality.hs:49)
equal (src/Jukebox/Sat/Equality.hs:55)
solveEq (src/Jukebox/Sat/Equality.hs:72)
modelRep (src/Jukebox/Sat/Equality.hs:77)
0% ( 0 / 5) in 'Jukebox.TPTP.FindFile'
Missing documentation for:
Module header
findFile (src/Jukebox/TPTP/FindFile.hs:16)
findFileTPTP (src/Jukebox/TPTP/FindFile.hs:24)
getTPTPDirs (src/Jukebox/TPTP/FindFile.hs:30)
findFileFlags (src/Jukebox/TPTP/FindFile.hs:34)
0% ( 0 / 10) in 'Jukebox.TPTP.Lexer'
Missing documentation for:
Module header
scan (src/Jukebox/TPTP/Lexer.x:217)
Pos (src/Jukebox/TPTP/Lexer.x:99)
Token (src/Jukebox/TPTP/Lexer.x:100)
Punct (src/Jukebox/TPTP/Lexer.x:145)
showPunct (src/Jukebox/TPTP/Lexer.x:153)
Defined (src/Jukebox/TPTP/Lexer.x:133)
Keyword (src/Jukebox/TPTP/Lexer.x:111)
TokenStream (src/Jukebox/TPTP/Lexer.x:214)
Contents (src/Jukebox/TPTP/Lexer.x:215)
0% ( 0 / 25) in 'Jukebox.TPTP.Parsec'
Missing documentation for:
Module header
Parsec (src/Jukebox/TPTP/Parsec.hs:12)
Reply (src/Jukebox/TPTP/Parsec.hs:18)
Result (src/Jukebox/TPTP/Parsec.hs:20)
parseError (src/Jukebox/TPTP/Parsec.hs:24)
fatalError (src/Jukebox/TPTP/Parsec.hs:28)
nonempty (src/Jukebox/TPTP/Parsec.hs:86)
skipSome (src/Jukebox/TPTP/Parsec.hs:90)
skipMany (src/Jukebox/TPTP/Parsec.hs:94)
<?> (src/Jukebox/TPTP/Parsec.hs:99)
between (src/Jukebox/TPTP/Parsec.hs:104)
sepBy1 (src/Jukebox/TPTP/Parsec.hs:108)
run_ (src/Jukebox/TPTP/Parsec.hs:113)
run (src/Jukebox/TPTP/Parsec.hs:118)
expected (src/Jukebox/TPTP/Parsec.hs:127)
Stream (src/Jukebox/TPTP/Parsec.hs:135)
next (src/Jukebox/TPTP/Parsec.hs:142)
cut (src/Jukebox/TPTP/Parsec.hs:147)
cut' (src/Jukebox/TPTP/Parsec.hs:151)
satisfy (src/Jukebox/TPTP/Parsec.hs:155)
eof (src/Jukebox/TPTP/Parsec.hs:163)
UserState (src/Jukebox/TPTP/Parsec.hs:168)
getState (src/Jukebox/TPTP/Parsec.hs:179)
putState (src/Jukebox/TPTP/Parsec.hs:183)
getPosition (src/Jukebox/TPTP/Parsec.hs:187)
0% ( 0 / 12) in 'Jukebox.UnionFind'
Missing documentation for:
Module header
UF (src/Jukebox/UnionFind.hs:10)
Replacement (src/Jukebox/UnionFind.hs:11)
=:= (src/Jukebox/UnionFind.hs:26)
rep (src/Jukebox/UnionFind.hs:41)
evalUF (src/Jukebox/UnionFind.hs:17)
execUF (src/Jukebox/UnionFind.hs:20)
runUF (src/Jukebox/UnionFind.hs:14)
S (src/Jukebox/UnionFind.hs:9)
isRep (src/Jukebox/UnionFind.hs:74)
initial (src/Jukebox/UnionFind.hs:23)
reps (src/Jukebox/UnionFind.hs:57)
0% ( 0 / 4) in 'Jukebox.Utils'
Missing documentation for:
Module header
usort (src/Jukebox/Utils.hs:15)
merge (src/Jukebox/Utils.hs:18)
popen (src/Jukebox/Utils.hs:27)
0% ( 0 /110) in 'Jukebox.Form'
Missing documentation for:
Module header
debugging (src/Jukebox/Form.hs:29)
Type (src/Jukebox/Form.hs:34)
indType (src/Jukebox/Form.hs:40)
intType (src/Jukebox/Form.hs:41)
ratType (src/Jukebox/Form.hs:42)
realType (src/Jukebox/Form.hs:43)
FunType (src/Jukebox/Form.hs:45)
typeMaybeName (src/Jukebox/Form.hs:49)
Typed (src/Jukebox/Form.hs:63)
Variable (src/Jukebox/Form.hs:78)
Function (src/Jukebox/Form.hs:79)
Term (src/Jukebox/Form.hs:80)
newSymbol (src/Jukebox/Form.hs:91)
newFunction (src/Jukebox/Form.hs:94)
newType (src/Jukebox/Form.hs:97)
funArgs (src/Jukebox/Form.hs:100)
arity (src/Jukebox/Form.hs:103)
size (src/Jukebox/Form.hs:106)
subterms (src/Jukebox/Form.hs:110)
contexts (src/Jukebox/Form.hs:117)
Atomic (src/Jukebox/Form.hs:133)
normAtomic (src/Jukebox/Form.hs:137)
Signed (src/Jukebox/Form.hs:147)
Literal (src/Jukebox/Form.hs:150)
neg (src/Jukebox/Form.hs:153)
the (src/Jukebox/Form.hs:157)
pos (src/Jukebox/Form.hs:161)
signForm (src/Jukebox/Form.hs:165)
Form (src/Jukebox/Form.hs:176)
Connective (src/Jukebox/Form.hs:190)
connective (src/Jukebox/Form.hs:194)
Bind (src/Jukebox/Form.hs:200)
true (src/Jukebox/Form.hs:204)
false (src/Jukebox/Form.hs:205)
isTrue (src/Jukebox/Form.hs:208)
isFalse (src/Jukebox/Form.hs:210)
nt (src/Jukebox/Form.hs:214)
.=>. (src/Jukebox/Form.hs:218)
.=. (src/Jukebox/Form.hs:221)
/\ (src/Jukebox/Form.hs:225)
\/ (src/Jukebox/Form.hs:231)
closeForm (src/Jukebox/Form.hs:238)
positive (src/Jukebox/Form.hs:244)
notInwards (src/Jukebox/Form.hs:250)
simple (src/Jukebox/Form.hs:261)
simplify (src/Jukebox/Form.hs:267)
CNF (src/Jukebox/Form.hs:290)
toCNF (src/Jukebox/Form.hs:298)
Clause (src/Jukebox/Form.hs:302)
clause (src/Jukebox/Form.hs:305)
toForm (src/Jukebox/Form.hs:308)
toLiterals (src/Jukebox/Form.hs:313)
toClause (src/Jukebox/Form.hs:316)
Tag (src/Jukebox/Form.hs:327)
Kind (src/Jukebox/Form.hs:329)
isAxiom (src/Jukebox/Form.hs:332)
AxKind (src/Jukebox/Form.hs:335)
ConjKind (src/Jukebox/Form.hs:338)
Answer (src/Jukebox/Form.hs:340)
NoAnswerReason (src/Jukebox/Form.hs:343)
SatReason (src/Jukebox/Form.hs:344)
UnsatReason (src/Jukebox/Form.hs:345)
Model (src/Jukebox/Form.hs:346)
CNFRefutation (src/Jukebox/Form.hs:347)
explainAnswer (src/Jukebox/Form.hs:355)
answerSZS (src/Jukebox/Form.hs:363)
answerJustification (src/Jukebox/Form.hs:370)
Input (src/Jukebox/Form.hs:382)
InputSource (src/Jukebox/Form.hs:390)
inference (src/Jukebox/Form.hs:396)
InputPlus (src/Jukebox/Form.hs:398)
inputPlus (src/Jukebox/Form.hs:405)
Problem (src/Jukebox/Form.hs:412)
TypeOf (src/Jukebox/Form.hs:418)
Symbolic (src/Jukebox/Form.hs:430)
Rep (src/Jukebox/Form.hs:445)
rep (src/Jukebox/Form.hs:454)
Unpack (src/Jukebox/Form.hs:468)
recursively (src/Jukebox/Form.hs:517)
recursivelyM (src/Jukebox/Form.hs:525)
collect (src/Jukebox/Form.hs:533)
Subst (src/Jukebox/Form.hs:542)
ids (src/Jukebox/Form.hs:545)
|=> (src/Jukebox/Form.hs:548)
|+| (src/Jukebox/Form.hs:551)
subst (src/Jukebox/Form.hs:554)
match (src/Jukebox/Form.hs:574)
free (src/Jukebox/Form.hs:590)
ground (src/Jukebox/Form.hs:603)
bind (src/Jukebox/Form.hs:606)
termsAndBinders (src/Jukebox/Form.hs:615)
names (src/Jukebox/Form.hs:626)
run (src/Jukebox/Form.hs:641)
run_ (src/Jukebox/Form.hs:644)
types (src/Jukebox/Form.hs:647)
types' (src/Jukebox/Form.hs:661)
terms (src/Jukebox/Form.hs:664)
vars (src/Jukebox/Form.hs:668)
functions (src/Jukebox/Form.hs:676)
funOcc (src/Jukebox/Form.hs:688)
funsOcc (src/Jukebox/Form.hs:701)
isFof (src/Jukebox/Form.hs:710)
eraseTypes (src/Jukebox/Form.hs:713)
uniqueNames (src/Jukebox/Form.hs:717)
force (src/Jukebox/Form.hs:752)
check (src/Jukebox/Form.hs:762)
checkBinder (src/Jukebox/Form.hs:786)
mapName (src/Jukebox/Form.hs:792)
mapType (src/Jukebox/Form.hs:838)
0% ( 0 / 5) in 'Jukebox.Tools.InferTypes'
Missing documentation for:
Module header
Function' (src/Jukebox/Tools/InferTypes.hs:14)
inferTypes (src/Jukebox/Tools/InferTypes.hs:17)
solve (src/Jukebox/Tools/InferTypes.hs:45)
generate (src/Jukebox/Tools/InferTypes.hs:77)
9% ( 1 / 11) in 'Jukebox.Tools.HornToUnit'
Missing documentation for:
HornFlags (src/Jukebox/Tools/HornToUnit.hs:38)
Encoding (src/Jukebox/Tools/HornToUnit.hs:51)
hornFlags (src/Jukebox/Tools/HornToUnit.hs:55)
hornToUnit (src/Jukebox/Tools/HornToUnit.hs:95)
eliminatePredicates (src/Jukebox/Tools/HornToUnit.hs:109)
eliminateMultiplePreconditions (src/Jukebox/Tools/HornToUnit.hs:123)
eliminateUnsuitableConjectures (src/Jukebox/Tools/HornToUnit.hs:146)
eliminateHornClauses (src/Jukebox/Tools/HornToUnit.hs:174)
encodeTypesSmartly (src/Jukebox/Tools/HornToUnit.hs:306)
hasSizeOneModel (src/Jukebox/Tools/HornToUnit.hs:320)
0% ( 0 / 30) in 'Jukebox.Tools.Clausify'
Missing documentation for:
Module header
ClausifyFlags (src/Jukebox/Tools/Clausify.hs:20)
clausifyFlags (src/Jukebox/Tools/Clausify.hs:22)
clausify (src/Jukebox/Tools/Clausify.hs:33)
split (src/Jukebox/Tools/Clausify.hs:74)
clausForm (src/Jukebox/Tools/Clausify.hs:121)
miniscope (src/Jukebox/Tools/Clausify.hs:140)
forAll (src/Jukebox/Tools/Clausify.hs:149)
forAllOr (src/Jukebox/Tools/Clausify.hs:169)
removeEquiv (src/Jukebox/Tools/Clausify.hs:193)
removeEquivAux (src/Jukebox/Tools/Clausify.hs:207)
makeCopyable (src/Jukebox/Tools/Clausify.hs:248)
removeExists (src/Jukebox/Tools/Clausify.hs:275)
removeExpensiveOr (src/Jukebox/Tools/Clausify.hs:312)
Cost (src/Jukebox/Tools/Clausify.hs:317)
unitCost (src/Jukebox/Tools/Clausify.hs:320)
andCost (src/Jukebox/Tools/Clausify.hs:323)
orCost (src/Jukebox/Tools/Clausify.hs:326)
removeExpensiveOrAux (src/Jukebox/Tools/Clausify.hs:333)
makeOr (src/Jukebox/Tools/Clausify.hs:353)
cnf (src/Jukebox/Tools/Clausify.hs:386)
cross (src/Jukebox/Tools/Clausify.hs:392)
simplifyCNF (src/Jukebox/Tools/Clausify.hs:399)
M (src/Jukebox/Tools/Clausify.hs:423)
run (src/Jukebox/Tools/Clausify.hs:426)
skolemName (src/Jukebox/Tools/Clausify.hs:429)
withName (src/Jukebox/Tools/Clausify.hs:437)
getName (src/Jukebox/Tools/Clausify.hs:440)
skolem (src/Jukebox/Tools/Clausify.hs:443)
literal (src/Jukebox/Tools/Clausify.hs:451)
0% ( 0 / 16) in 'Jukebox.Tools.EncodeTypes'
Missing documentation for:
Module header
Scheme (src/Jukebox/Tools/EncodeTypes.hs:14)
Scheme1 (src/Jukebox/Tools/EncodeTypes.hs:19)
guard (src/Jukebox/Tools/EncodeTypes.hs:28)
translate1 (src/Jukebox/Tools/EncodeTypes.hs:49)
translate (src/Jukebox/Tools/EncodeTypes.hs:71)
tagsFlags (src/Jukebox/Tools/EncodeTypes.hs:100)
tags (src/Jukebox/Tools/EncodeTypes.hs:110)
tags1 (src/Jukebox/Tools/EncodeTypes.hs:116)
tagsAxiom (src/Jukebox/Tools/EncodeTypes.hs:132)
tagsExists (src/Jukebox/Tools/EncodeTypes.hs:149)
guards (src/Jukebox/Tools/EncodeTypes.hs:158)
guards1 (src/Jukebox/Tools/EncodeTypes.hs:164)
naked (src/Jukebox/Tools/EncodeTypes.hs:182)
guardsAxiom (src/Jukebox/Tools/EncodeTypes.hs:197)
guardsTypeAxiom (src/Jukebox/Tools/EncodeTypes.hs:205)
12% ( 1 / 8) in 'Jukebox.TPTP.Print'
Missing documentation for:
Module header
prettyNames (src/Jukebox/TPTP/Print.hs:331)
showClauses (src/Jukebox/TPTP/Print.hs:32)
pPrintClauses (src/Jukebox/TPTP/Print.hs:25)
showProblem (src/Jukebox/TPTP/Print.hs:148)
pPrintProblem (src/Jukebox/TPTP/Print.hs:36)
pPrintProof (src/Jukebox/TPTP/Print.hs:46)
0% ( 0 / 66) in 'Jukebox.TPTP.Parse.Core'
Missing documentation for:
Module header
ParseState (src/Jukebox/TPTP/Parse/Core.hs:35)
Parser (src/Jukebox/TPTP/Parse/Core.hs:42)
ParsecState (src/Jukebox/TPTP/Parse/Core.hs:43)
IncludeStatement (src/Jukebox/TPTP/Parse/Core.hs:46)
initialState (src/Jukebox/TPTP/Parse/Core.hs:50)
initialStateFrom (src/Jukebox/TPTP/Parse/Core.hs:80)
ParseResult (src/Jukebox/TPTP/Parse/Core.hs:92)
Location (src/Jukebox/TPTP/Parse/Core.hs:109)
makeLocation (src/Jukebox/TPTP/Parse/Core.hs:115)
parseProblem (src/Jukebox/TPTP/Parse/Core.hs:119)
parseProblemFrom (src/Jukebox/TPTP/Parse/Core.hs:122)
testParser (src/Jukebox/TPTP/Parse/Core.hs:161)
keyword' (src/Jukebox/TPTP/Parse/Core.hs:166)
keyword (src/Jukebox/TPTP/Parse/Core.hs:170)
punct' (src/Jukebox/TPTP/Parse/Core.hs:172)
punct (src/Jukebox/TPTP/Parse/Core.hs:176)
operator (src/Jukebox/TPTP/Parse/Core.hs:178)
defined' (src/Jukebox/TPTP/Parse/Core.hs:188)
defined (src/Jukebox/TPTP/Parse/Core.hs:192)
variable (src/Jukebox/TPTP/Parse/Core.hs:194)
number (src/Jukebox/TPTP/Parse/Core.hs:198)
ratNumber (src/Jukebox/TPTP/Parse/Core.hs:202)
realNumber (src/Jukebox/TPTP/Parse/Core.hs:206)
atom (src/Jukebox/TPTP/Parse/Core.hs:210)
parens (src/Jukebox/TPTP/Parse/Core.hs:216)
bracks (src/Jukebox/TPTP/Parse/Core.hs:218)
binExpr (src/Jukebox/TPTP/Parse/Core.hs:223)
section (src/Jukebox/TPTP/Parse/Core.hs:231)
input (src/Jukebox/TPTP/Parse/Core.hs:235)
kind (src/Jukebox/TPTP/Parse/Core.hs:263)
tag (src/Jukebox/TPTP/Parse/Core.hs:291)
include (src/Jukebox/TPTP/Parse/Core.hs:295)
newFormula (src/Jukebox/TPTP/Parse/Core.hs:308)
newFunction (src/Jukebox/TPTP/Parse/Core.hs:313)
showTypes (src/Jukebox/TPTP/Parse/Core.hs:323)
applyFunction (src/Jukebox/TPTP/Parse/Core.hs:327)
typeError (src/Jukebox/TPTP/Parse/Core.hs:334)
lookupType (src/Jukebox/TPTP/Parse/Core.hs:351)
lookupFunction (src/Jukebox/TPTP/Parse/Core.hs:362)
getFunctions (src/Jukebox/TPTP/Parse/Core.hs:372)
cnf (src/Jukebox/TPTP/Parse/Core.hs:379)
tff (src/Jukebox/TPTP/Parse/Core.hs:384)
fof (src/Jukebox/TPTP/Parse/Core.hs:385)
Thing (src/Jukebox/TPTP/Parse/Core.hs:395)
TermLike (src/Jukebox/TPTP/Parse/Core.hs:422)
Mode (src/Jukebox/TPTP/Parse/Core.hs:432)
atomic (src/Jukebox/TPTP/Parse/Core.hs:477)
unary (src/Jukebox/TPTP/Parse/Core.hs:508)
term (src/Jukebox/TPTP/Parse/Core.hs:526)
postfixOperator (src/Jukebox/TPTP/Parse/Core.hs:537)
prefixOperator (src/Jukebox/TPTP/Parse/Core.hs:543)
infixOperator (src/Jukebox/TPTP/Parse/Core.hs:549)
isPostfix (src/Jukebox/TPTP/Parse/Core.hs:552)
literal (src/Jukebox/TPTP/Parse/Core.hs:557)
unitary (src/Jukebox/TPTP/Parse/Core.hs:581)
quantified (src/Jukebox/TPTP/Parse/Core.hs:588)
formula (src/Jukebox/TPTP/Parse/Core.hs:599)
binder (src/Jukebox/TPTP/Parse/Core.hs:618)
type_ (src/Jukebox/TPTP/Parse/Core.hs:634)
Type_ (src/Jukebox/TPTP/Parse/Core.hs:639)
prod (src/Jukebox/TPTP/Parse/Core.hs:642)
arrow (src/Jukebox/TPTP/Parse/Core.hs:646)
leaf (src/Jukebox/TPTP/Parse/Core.hs:650)
compoundType (src/Jukebox/TPTP/Parse/Core.hs:656)
typeDeclaration (src/Jukebox/TPTP/Parse/Core.hs:660)
0% ( 0 / 4) in 'Jukebox.TPTP.ParseSnippet'
Missing documentation for:
Module header
tff (src/Jukebox/TPTP/ParseSnippet.hs:19)
cnf (src/Jukebox/TPTP/ParseSnippet.hs:20)
form (src/Jukebox/TPTP/ParseSnippet.hs:23)
0% ( 0 / 11) in 'Jukebox.Tools.GuessModel'
Missing documentation for:
Module header
Universe (src/Jukebox/Tools/GuessModel.hs:11)
universe (src/Jukebox/Tools/GuessModel.hs:14)
peano (src/Jukebox/Tools/GuessModel.hs:17)
trees (src/Jukebox/Tools/GuessModel.hs:33)
guessModel (src/Jukebox/Tools/GuessModel.hs:53)
ind (src/Jukebox/Tools/GuessModel.hs:65)
function (src/Jukebox/Tools/GuessModel.hs:72)
rhss (src/Jukebox/Tools/GuessModel.hs:88)
cases (src/Jukebox/Tools/GuessModel.hs:109)
cases1 (src/Jukebox/Tools/GuessModel.hs:116)
0% ( 0 / 4) in 'Jukebox.TPTP.Parse'
Missing documentation for:
Module header
parseString (src/Jukebox/TPTP/Parse.hs:13)
parseProblem (src/Jukebox/TPTP/Parse.hs:23)
parseProblemWith (src/Jukebox/TPTP/Parse.hs:26)
0% ( 0 / 20) in 'Jukebox.Sat.Easy'
Missing documentation for:
Module header
Sat1 (src/Jukebox/Sat/Easy.hs:20)
Sat (src/Jukebox/Sat/Easy.hs:21)
SatState (src/Jukebox/Sat/Easy.hs:22)
Watch (src/Jukebox/Sat/Easy.hs:23)
Form (src/Jukebox/Sat/Easy.hs:25)
nt (src/Jukebox/Sat/Easy.hs:31)
true (src/Jukebox/Sat/Easy.hs:36)
false (src/Jukebox/Sat/Easy.hs:37)
unique (src/Jukebox/Sat/Easy.hs:40)
runSat (src/Jukebox/Sat/Easy.hs:47)
runSat1 (src/Jukebox/Sat/Easy.hs:53)
atIndex (src/Jukebox/Sat/Easy.hs:56)
solve (src/Jukebox/Sat/Easy.hs:64)
model (src/Jukebox/Sat/Easy.hs:70)
modelValue (src/Jukebox/Sat/Easy.hs:77)
addForm (src/Jukebox/Sat/Easy.hs:84)
flatten (src/Jukebox/Sat/Easy.hs:91)
lit (src/Jukebox/Sat/Easy.hs:96)
var (src/Jukebox/Sat/Easy.hs:100)
0% ( 0 / 11) in 'Jukebox.Tools.AnalyseMonotonicity'
Missing documentation for:
Module header
Extension (src/Jukebox/Tools/AnalyseMonotonicity.hs:17)
Var (src/Jukebox/Tools/AnalyseMonotonicity.hs:19)
analyseMonotonicity (src/Jukebox/Tools/AnalyseMonotonicity.hs:22)
monotone (src/Jukebox/Tools/AnalyseMonotonicity.hs:30)
fromModel (src/Jukebox/Tools/AnalyseMonotonicity.hs:47)
extension (src/Jukebox/Tools/AnalyseMonotonicity.hs:50)
clause (src/Jukebox/Tools/AnalyseMonotonicity.hs:57)
literal (src/Jukebox/Tools/AnalyseMonotonicity.hs:60)
safe (src/Jukebox/Tools/AnalyseMonotonicity.hs:70)
guards (src/Jukebox/Tools/AnalyseMonotonicity.hs:74)
0% ( 0 / 16) in 'Jukebox.SMTLIB'
Missing documentation for:
Module header
keywords (src/Jukebox/SMTLIB.hs:23)
renamings (src/Jukebox/SMTLIB.hs:93)
renameAvoidingKeywords (src/Jukebox/SMTLIB.hs:114)
renameTPTP (src/Jukebox/SMTLIB.hs:123)
showProblem (src/Jukebox/SMTLIB.hs:128)
pPrintProblem (src/Jukebox/SMTLIB.hs:131)
pPrintDecls (src/Jukebox/SMTLIB.hs:137)
sexp (src/Jukebox/SMTLIB.hs:158)
pPrintName (src/Jukebox/SMTLIB.hs:161)
pPrintType (src/Jukebox/SMTLIB.hs:182)
pPrintInput (src/Jukebox/SMTLIB.hs:186)
pPrintForm (src/Jukebox/SMTLIB.hs:192)
pPrintQuant (src/Jukebox/SMTLIB.hs:209)
pPrintAtomic (src/Jukebox/SMTLIB.hs:217)
pPrintTerm (src/Jukebox/SMTLIB.hs:221)
0% ( 0 / 38) in 'Jukebox.Toolbox'
Missing documentation for:
Module header
GlobalFlags (src/Jukebox/Toolbox.hs:32)
globalFlags (src/Jukebox/Toolbox.hs:38)
TSTPFlags (src/Jukebox/Toolbox.hs:47)
tstpFlags (src/Jukebox/Toolbox.hs:53)
comment (src/Jukebox/Toolbox.hs:65)
quietly (src/Jukebox/Toolbox.hs:69)
indent (src/Jukebox/Toolbox.hs:73)
=>>= (src/Jukebox/Toolbox.hs:82)
=>> (src/Jukebox/Toolbox.hs:86)
forAllFilesBox (src/Jukebox/Toolbox.hs:93)
forAllFiles (src/Jukebox/Toolbox.hs:96)
readTPTPFileBox (src/Jukebox/Toolbox.hs:102)
readTPTPFile (src/Jukebox/Toolbox.hs:105)
readProblemBox (src/Jukebox/Toolbox.hs:120)
readProblem (src/Jukebox/Toolbox.hs:123)
printProblemBox (src/Jukebox/Toolbox.hs:135)
printProblemSMTBox (src/Jukebox/Toolbox.hs:138)
printClausesBox (src/Jukebox/Toolbox.hs:141)
prettyPrintIO (src/Jukebox/Toolbox.hs:144)
writeFileBox (src/Jukebox/Toolbox.hs:148)
clausifyBox (src/Jukebox/Toolbox.hs:162)
oneConjectureBox (src/Jukebox/Toolbox.hs:169)
oneConjecture (src/Jukebox/Toolbox.hs:179)
toFormulasBox (src/Jukebox/Toolbox.hs:204)
Solver (src/Jukebox/Toolbox.hs:215)
forAllConjecturesBox (src/Jukebox/Toolbox.hs:218)
forAllConjectures (src/Jukebox/Toolbox.hs:221)
toFofBox (src/Jukebox/Toolbox.hs:252)
toFof (src/Jukebox/Toolbox.hs:255)
schemeBox (src/Jukebox/Toolbox.hs:268)
analyseMonotonicityBox (src/Jukebox/Toolbox.hs:282)
showMonotonicityBox (src/Jukebox/Toolbox.hs:285)
guessModelBox (src/Jukebox/Toolbox.hs:304)
inferBox (src/Jukebox/Toolbox.hs:320)
printInferredBox (src/Jukebox/Toolbox.hs:323)
hornToUnitBox (src/Jukebox/Toolbox.hs:332)
hornToUnitIO (src/Jukebox/Toolbox.hs:335)
0% ( 0 / 5) in 'Jukebox.ExternalProvers.SPASS'
Missing documentation for:
Module header
SPASSFlags (src/Jukebox/ExternalProvers/SPASS.hs:12)
spassFlags (src/Jukebox/ExternalProvers/SPASS.hs:18)
runSPASS (src/Jukebox/ExternalProvers/SPASS.hs:35)
extractAnswer (src/Jukebox/ExternalProvers/SPASS.hs:47)
0% ( 0 / 6) in 'Jukebox.ExternalProvers.E'
Missing documentation for:
Module header
EFlags (src/Jukebox/ExternalProvers/E.hs:19)
eflags (src/Jukebox/ExternalProvers/E.hs:25)
mangleAnswer (src/Jukebox/ExternalProvers/E.hs:43)
runE (src/Jukebox/ExternalProvers/E.hs:53)
extractAnswer (src/Jukebox/ExternalProvers/E.hs:65)
Warning: Jukebox.TPTP.Lexer: could not find link destinations for:
- Jukebox.TPTP.Parse.Core.D:R:PositionTokenStream
Warning: Jukebox.TPTP.Parsec: could not find link destinations for:
- Jukebox.TPTP.Parsec.D:R:PositionUserState
- Jukebox.TPTP.Parse.Core.D:R:PositionTokenStream
Warning: Jukebox.TPTP.Parse.Core: could not find link destinations for:
- Jukebox.TPTP.Parse.Core.D:R:PositionTokenStream
Documentation created: dist/doc/html/jukebox/,
dist/doc/html/jukebox/jukebox.txt
Preprocessing executable 'jukebox' for jukebox-0.5.9..
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/jukebox-0.5.9-LIn4FbKjVV8G9IeILPgRmj
Installing executable jukebox in /var/lib/hackage-doc-builder/build-cache/tmp-install/bin
Warning: The directory
/var/lib/hackage-doc-builder/build-cache/tmp-install/bin is not in the system
search path.
Completed jukebox-0.5.9
Test log
[view raw]
Resolving dependencies... No tests to run for all the packages in the project