Build #1 for jukebox-0.1.5
| Package | jukebox-0.1.5 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2016-01-20 15:33:17.174028 UTC |
|---|---|
| Compiler | ghc-7.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | unordered-containers-0.2.6.0, process-1.2.3.0, pretty-1.1.2.0, mtl-2.2.1, minisat-0.1.2, hashable-1.2.4.0, filepath-1.4.0.0, directory-1.2.2.0, containers-0.5.6.2, bytestring-0.10.6.0, binary-0.7.5.0, base-4.8.1.0, array-0.5.1.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Preprocessing library mtl-2.2.1...
[ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o )
[11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
In-place registering mtl-2.2.1...
Running Haddock for mtl-2.2.1...
Running hscolour for mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Haddock coverage:
75% ( 3 / 4) in 'Control.Monad.Writer.Class'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
100% ( 5 / 5) in 'Control.Monad.State.Class'
100% ( 3 / 3) in 'Control.Monad.Reader.Class'
80% ( 4 / 5) in 'Control.Monad.RWS.Class'
Missing documentation for:
MonadRWS (Control/Monad/RWS/Class.hs:44)
100% ( 4 / 4) in 'Control.Monad.Identity'
100% ( 3 / 3) in 'Control.Monad.Error.Class'
50% ( 1 / 2) in 'Control.Monad.Cont.Class'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
100% ( 3 / 3) in 'Control.Monad.Trans'
93% ( 14 / 15) in 'Control.Monad.Error'
Missing documentation for:
runErrorT
100% ( 19 / 19) in 'Control.Monad.Except'
100% ( 5 / 5) in 'Control.Monad.List'
95% ( 21 / 22) in 'Control.Monad.RWS.Lazy'
Missing documentation for:
runRWST
100% ( 2 / 2) in 'Control.Monad.RWS'
96% ( 22 / 23) in 'Control.Monad.Reader'
Missing documentation for:
runReaderT
95% ( 21 / 22) in 'Control.Monad.RWS.Strict'
Missing documentation for:
runRWST
96% ( 24 / 25) in 'Control.Monad.State.Lazy'
Missing documentation for:
runStateT
100% ( 2 / 2) in 'Control.Monad.State'
96% ( 24 / 25) in 'Control.Monad.State.Strict'
Missing documentation for:
runStateT
89% ( 17 / 19) in 'Control.Monad.Writer.Lazy'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
runWriterT
100% ( 2 / 2) in 'Control.Monad.Writer'
94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
91% ( 20 / 22) in 'Control.Monad.Cont'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
runContT
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.2278722862233665123.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/mtl-2.2.1-KMpng31YRYc5JfMWFZ3FCU
Registering mtl-2.2.1...
Installed mtl-2.2.1
Configuring stm-2.4.4.1...
Building stm-2.4.4.1...
Preprocessing library stm-2.4.4.1...
[ 1 of 10] Compiling Control.Sequential.STM ( Control/Sequential/STM.hs, dist/build/Control/Sequential/STM.o )
[ 2 of 10] Compiling Control.Concurrent.STM.TBQueue ( Control/Concurrent/STM/TBQueue.hs, dist/build/Control/Concurrent/STM/TBQueue.o )
[ 3 of 10] Compiling Control.Concurrent.STM.TQueue ( Control/Concurrent/STM/TQueue.hs, dist/build/Control/Concurrent/STM/TQueue.o )
[ 4 of 10] Compiling Control.Concurrent.STM.TChan ( Control/Concurrent/STM/TChan.hs, dist/build/Control/Concurrent/STM/TChan.o )
[ 5 of 10] Compiling Control.Concurrent.STM.TMVar ( Control/Concurrent/STM/TMVar.hs, dist/build/Control/Concurrent/STM/TMVar.o )
[ 6 of 10] Compiling Control.Concurrent.STM.TVar ( Control/Concurrent/STM/TVar.hs, dist/build/Control/Concurrent/STM/TVar.o )
[ 7 of 10] Compiling Control.Concurrent.STM.TArray ( Control/Concurrent/STM/TArray.hs, dist/build/Control/Concurrent/STM/TArray.o )
[ 8 of 10] Compiling Control.Monad.STM ( Control/Monad/STM.hs, dist/build/Control/Monad/STM.o )
[ 9 of 10] Compiling Control.Concurrent.STM ( Control/Concurrent/STM.hs, dist/build/Control/Concurrent/STM.o )
[10 of 10] Compiling Control.Concurrent.STM.TSem ( Control/Concurrent/STM/TSem.hs, dist/build/Control/Concurrent/STM/TSem.o )
In-place registering stm-2.4.4.1...
Running Haddock for stm-2.4.4.1...
Running hscolour for stm-2.4.4.1...
Preprocessing library stm-2.4.4.1...
Preprocessing library stm-2.4.4.1...
Haddock coverage:
0% ( 0 / 11) in 'Control.Sequential.STM'
Missing documentation for:
Module header
STM (Control/Sequential/STM.hs:29)
atomically (Control/Sequential/STM.hs:47)
throwSTM (Control/Sequential/STM.hs:54)
catchSTM (Control/Sequential/STM.hs:57)
TVar (Control/Sequential/STM.hs:72)
newTVar (Control/Sequential/STM.hs:75)
newTVarIO (Control/Sequential/STM.hs:78)
readTVar (Control/Sequential/STM.hs:83)
readTVarIO (Control/Sequential/STM.hs:86)
writeTVar (Control/Sequential/STM.hs:89)
100% ( 13 / 13) in 'Control.Concurrent.STM.TBQueue'
100% ( 12 / 12) in 'Control.Concurrent.STM.TQueue'
100% ( 18 / 18) in 'Control.Concurrent.STM.TChan'
100% ( 16 / 16) in 'Control.Concurrent.STM.TMVar'
100% ( 13 / 13) in 'Control.Concurrent.STM.TVar'
100% ( 2 / 2) in 'Control.Concurrent.STM.TArray'
90% ( 9 / 10) in 'Control.Monad.STM'
Missing documentation for:
check (Control/Monad/STM.hs:81)
100% ( 8 / 8) in 'Control.Concurrent.STM'
40% ( 2 / 5) in 'Control.Concurrent.STM.TSem'
Missing documentation for:
newTSem (Control/Concurrent/STM/TSem.hs:42)
waitTSem (Control/Concurrent/STM/TSem.hs:45)
signalTSem (Control/Concurrent/STM/TSem.hs:51)
Documentation created: dist/doc/html/stm/index.html, dist/doc/html/stm/stm.txt
Creating package registration file: /tmp/pkgConf-stm-2.4.4711645630195740084.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/stm-2.4.4.1-1j4HkbCZte434brW1xp4L8
Registering stm-2.4.4.1...
Installed stm-2.4.4.1
Configuring text-1.2.2.0...
Building text-1.2.2.0...
Preprocessing library text-1.2.2.0...
[ 1 of 44] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o )
[ 2 of 44] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o )
[ 3 of 44] Compiling Data.Text.Internal.Builder.RealFloat.Functions ( Data/Text/Internal/Builder/RealFloat/Functions.hs, dist/build/Data/Text/Internal/Builder/RealFloat/Functions.o )
[ 4 of 44] Compiling Data.Text.Internal.Builder.Int.Digits ( Data/Text/Internal/Builder/Int/Digits.hs, dist/build/Data/Text/Internal/Builder/Int/Digits.o )
[ 5 of 44] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o )
[ 6 of 44] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o )
[ 7 of 44] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o )
[ 8 of 44] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o )
[ 9 of 44] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o )
[10 of 44] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o )
[11 of 44] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o )
[12 of 44] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o )
[13 of 44] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o )
[14 of 44] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o )
[15 of 44] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o )
[16 of 44] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o )
[17 of 44] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o )
[18 of 44] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o )
[19 of 44] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o )
[20 of 44] Compiling Data.Text.Show ( Data/Text/Show.hs, dist/build/Data/Text/Show.o )
[21 of 44] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o )
[22 of 44] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o )
[23 of 44] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o )
[24 of 44] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o )
[25 of 44] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o )
[26 of 44] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o )
[27 of 44] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o )
[28 of 44] Compiling Data.Text ( Data/Text.hs, dist/build/Data/Text.o )
[29 of 44] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o )
[30 of 44] Compiling Data.Text.IO ( Data/Text/IO.hs, dist/build/Data/Text/IO.o )
[31 of 44] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o )
[32 of 44] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o )
[33 of 44] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o )
[34 of 44] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o )
[35 of 44] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o )
[36 of 44] Compiling Data.Text.Lazy ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o )
[37 of 44] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o )
[38 of 44] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o )
[39 of 44] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o )
[40 of 44] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o )
[41 of 44] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o )
[42 of 44] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o )
[43 of 44] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o )
[44 of 44] Compiling Data.Text.Read ( Data/Text/Read.hs, dist/build/Data/Text/Read.o )
In-place registering text-1.2.2.0...
Running Haddock for text-1.2.2.0...
Running hscolour for text-1.2.2.0...
Preprocessing library text-1.2.2.0...
Preprocessing library text-1.2.2.0...
Haddock coverage:
14% ( 1 / 7) in 'Data.Text.Internal.Read'
Missing documentation for:
IReader (Data/Text/Internal/Read.hs:26)
IParser (Data/Text/Internal/Read.hs:28)
T (Data/Text/Internal/Read.hs:48)
digitToInt (Data/Text/Internal/Read.hs:61)
hexDigitToInt (Data/Text/Internal/Read.hs:55)
perhaps (Data/Text/Internal/Read.hs:50)
50% ( 1 / 2) in 'Data.Text.Internal.Encoding.Utf32'
Missing documentation for:
validate (Data/Text/Internal/Encoding/Utf32.hs:24)
50% ( 1 / 2) in 'Data.Text.Internal.Builder.RealFloat.Functions'
Missing documentation for:
roundTo (Data/Text/Internal/Builder/RealFloat/Functions.hs:17)
0% ( 0 / 2) in 'Data.Text.Internal.Builder.Int.Digits'
Missing documentation for:
Module header
digits (Data/Text/Internal/Builder/Int/Digits.hs:21)
100% ( 12 / 12) in 'Data.Text.Encoding.Error'
100% ( 2 / 2) in 'Data.Text.Internal.Unsafe.Shift'
25% ( 1 / 4) in 'Data.Text.Internal.Encoding.Utf16'
Missing documentation for:
chr2 (Data/Text/Internal/Encoding/Utf16.hs:29)
validate1 (Data/Text/Internal/Encoding/Utf16.hs:38)
validate2 (Data/Text/Internal/Encoding/Utf16.hs:42)
100% ( 2 / 2) in 'Data.Text.Internal.Functions'
100% ( 3 / 3) in 'Data.Text.Internal.Unsafe'
100% ( 16 / 16) in 'Data.Text.Array'
33% ( 2 / 6) in 'Data.Text.Internal.Unsafe.Char'
Missing documentation for:
ord (Data/Text/Internal/Unsafe/Char.hs:39)
unsafeChr (Data/Text/Internal/Unsafe/Char.hs:43)
unsafeChr8 (Data/Text/Internal/Unsafe/Char.hs:47)
unsafeChr32 (Data/Text/Internal/Unsafe/Char.hs:51)
95% ( 19 / 20) in 'Data.Text.Internal'
Missing documentation for:
textP (Data/Text/Internal.hs:97)
38% ( 5 / 13) in 'Data.Text.Internal.Fusion.Size'
Missing documentation for:
Size (Data/Text/Internal/Fusion/Size.hs:40)
exactly (Data/Text/Internal/Fusion/Size.hs:44)
exactSize (Data/Text/Internal/Fusion/Size.hs:49)
maxSize (Data/Text/Internal/Fusion/Size.hs:57)
betweenSize (Data/Text/Internal/Fusion/Size.hs:65)
unknownSize (Data/Text/Internal/Fusion/Size.hs:74)
compareSize (Data/Text/Internal/Fusion/Size.hs:143)
isEmpty (Data/Text/Internal/Fusion/Size.hs:151)
88% ( 7 / 8) in 'Data.Text.Internal.Fusion.Types'
Missing documentation for:
Stream (Data/Text/Internal/Fusion/Types.hs:83)
0% ( 0 / 5) in 'Data.Text.Internal.Fusion.CaseMapping'
Missing documentation for:
Module header
upperMapping (Data/Text/Internal/Fusion/CaseMapping.hs:13)
lowerMapping (Data/Text/Internal/Fusion/CaseMapping.hs:220)
titleMapping (Data/Text/Internal/Fusion/CaseMapping.hs:225)
foldMapping (Data/Text/Internal/Fusion/CaseMapping.hs:324)
89% ( 63 / 71) in 'Data.Text.Internal.Fusion.Common'
Missing documentation for:
singleton (Data/Text/Internal/Fusion/Common.hs:119)
streamList (Data/Text/Internal/Fusion/Common.hs:125)
unstreamList (Data/Text/Internal/Fusion/Common.hs:131)
intercalate (Data/Text/Internal/Fusion/Common.hs:577)
justifyLeftI (Data/Text/Internal/Fusion/Common.hs:479)
scanl (Data/Text/Internal/Fusion/Common.hs:656)
replicateCharI (Data/Text/Internal/Fusion/Common.hs:671)
replicateI (Data/Text/Internal/Fusion/Common.hs:682)
93% ( 13 / 14) in 'Data.Text.Unsafe'
Missing documentation for:
Iter (Data/Text/Unsafe.hs:62)
33% ( 1 / 3) in 'Data.Text.Internal.Private'
Missing documentation for:
runText (Data/Text/Internal/Private.hs:33)
span_ (Data/Text/Internal/Private.hs:23)
91% ( 20 / 22) in 'Data.Text.Internal.Fusion'
Missing documentation for:
Stream (Data/Text/Internal/Fusion/Types.hs:83)
length (Data/Text/Internal/Fusion.hs:127)
100% ( 4 / 4) in 'Data.Text.Show'
33% ( 2 / 6) in 'Data.Text.Internal.Encoding.Fusion.Common'
Missing documentation for:
restreamUtf16LE (Data/Text/Internal/Encoding/Fusion/Common.hs:63)
restreamUtf16BE (Data/Text/Internal/Encoding/Fusion/Common.hs:39)
restreamUtf32LE (Data/Text/Internal/Encoding/Fusion/Common.hs:106)
restreamUtf32BE (Data/Text/Internal/Encoding/Fusion/Common.hs:87)
17% ( 2 / 12) in 'Data.Text.Internal.Encoding.Utf8'
Missing documentation for:
ord2 (Data/Text/Internal/Encoding/Utf8.hs:58)
ord3 (Data/Text/Internal/Encoding/Utf8.hs:69)
ord4 (Data/Text/Internal/Encoding/Utf8.hs:81)
chr2 (Data/Text/Internal/Encoding/Utf8.hs:94)
chr3 (Data/Text/Internal/Encoding/Utf8.hs:103)
chr4 (Data/Text/Internal/Encoding/Utf8.hs:114)
validate1 (Data/Text/Internal/Encoding/Utf8.hs:128)
validate2 (Data/Text/Internal/Encoding/Utf8.hs:132)
validate3 (Data/Text/Internal/Encoding/Utf8.hs:136)
validate4 (Data/Text/Internal/Encoding/Utf8.hs:153)
91% ( 10 / 11) in 'Data.Text.Internal.Encoding.Fusion'
Missing documentation for:
streamASCII (Data/Text/Internal/Encoding/Fusion.hs:57)
100% ( 33 / 33) in 'Data.Text.Encoding'
100% ( 10 / 10) in 'Data.Text.Internal.Lazy.Encoding.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Search'
100% ( 18 / 18) in 'Data.Text.Foreign'
100% (127 /127) in 'Data.Text'
100% ( 3 / 3) in 'Data.Text.Internal.IO'
100% ( 20 / 20) in 'Data.Text.IO'
93% ( 14 / 15) in 'Data.Text.Internal.Lazy'
Missing documentation for:
Text (Data/Text/Internal/Lazy.hs:47)
100% ( 8 / 8) in 'Data.Text.Internal.Lazy.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Lazy.Search'
100% ( 2 / 2) in 'Data.Text.Lazy.Internal'
89% ( 24 / 27) in 'Data.Text.Lazy.Encoding'
Missing documentation for:
encodeUtf8 (Data/Text/Lazy/Encoding.hs:148)
encodeUtf8Builder (Data/Text/Lazy/Encoding.hs:162)
encodeUtf8BuilderEscaped (Data/Text/Lazy/Encoding.hs:167)
99% (128 /129) in 'Data.Text.Lazy'
Missing documentation for:
Text (Data/Text/Internal/Lazy.hs:47)
94% ( 16 / 17) in 'Data.Text.Internal.Builder'
Missing documentation for:
append' (Data/Text/Internal/Builder.hs:301)
100% ( 12 / 12) in 'Data.Text.Lazy.Builder'
100% ( 3 / 3) in 'Data.Text.Internal.Builder.Functions'
0% ( 0 / 3) in 'Data.Text.Lazy.Builder.Int'
Missing documentation for:
Module header
decimal (Data/Text/Lazy/Builder/Int.hs:52)
hexadecimal (Data/Text/Lazy/Builder/Int.hs:162)
100% ( 19 / 19) in 'Data.Text.Lazy.IO'
100% ( 7 / 7) in 'Data.Text.Lazy.Read'
75% ( 3 / 4) in 'Data.Text.Lazy.Builder.RealFloat'
Missing documentation for:
formatRealFloat (Data/Text/Lazy/Builder/RealFloat.hs:46)
100% ( 7 / 7) in 'Data.Text.Read'
Warning: Data.Text.Internal.Fusion.Common: could not find link destinations for:
findIndicesI
Warning: Data.Text.Unsafe: could not find link destinations for:
bracket
Warning: Data.Text: could not find link destinations for:
replicateChar countChar
Warning: Data.Text.Internal.IO: could not find link destinations for:
Handle__
Warning: Data.Text.Lazy: could not find link destinations for:
replicateChar dropWords splitAtWord countChar
Warning: Data.Text.Internal.Builder: could not find link destinations for:
empty append
Warning: Data.Text.Lazy.Builder.RealFloat: could not find link destinations for:
floatToDigits
Documentation created: dist/doc/html/text/index.html,
dist/doc/html/text/text.txt
Creating package registration file:
/tmp/pkgConf-text-1.2.21900553541400000569.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/text-1.2.2.0-BKzOMwCPkuv5n8xwLM3CQG
Registering text-1.2.2.0...
Installed text-1.2.2.0
Configuring async-2.1.0...
Building async-2.1.0...
Preprocessing library async-2.1.0...
[1 of 1] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o )
In-place registering async-2.1.0...
Running Haddock for async-2.1.0...
Running hscolour for async-2.1.0...
Preprocessing library async-2.1.0...
Preprocessing library async-2.1.0...
Haddock coverage:
100% ( 54 / 54) in 'Control.Concurrent.Async'
Documentation created: dist/doc/html/async/index.html,
dist/doc/html/async/async.txt
Creating package registration file:
/tmp/pkgConf-async-2.13421465901723578341.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/async-2.1.0-2Rab2NMkrBlEjWLR5RpaPt
Registering async-2.1.0...
Installed async-2.1.0
Configuring hashable-1.2.4.0...
Building hashable-1.2.4.0...
Preprocessing library hashable-1.2.4.0...
[1 of 3] Compiling Data.Hashable.Class ( Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o )
Data/Hashable/Class.hs:460:28: Warning:
In the use of ‘B.inlinePerformIO’
(imported from Data.ByteString.Internal):
Deprecated: "If you think you know what you are doing, use 'unsafePerformIO'. If you are sure you know what you are doing, use 'unsafeDupablePerformIO'. If you enjoy sharing an address space with a malevolent agent of chaos, try 'accursedUnutterablePerformIO'."
[2 of 3] Compiling Data.Hashable.Generic ( Data/Hashable/Generic.hs, dist/build/Data/Hashable/Generic.o )
[3 of 3] Compiling Data.Hashable ( Data/Hashable.hs, dist/build/Data/Hashable.o )
In-place registering hashable-1.2.4.0...
Running Haddock for hashable-1.2.4.0...
Running hscolour for hashable-1.2.4.0...
Preprocessing library hashable-1.2.4.0...
Preprocessing library hashable-1.2.4.0...
Data/Hashable/Class.hs:460:28: Warning:
In the use of ‘B.inlinePerformIO’
(imported from Data.ByteString.Internal):
Deprecated: "If you think you know what you are doing, use 'unsafePerformIO'. If you are sure you know what you are doing, use 'unsafeDupablePerformIO'. If you enjoy sharing an address space with a malevolent agent of chaos, try 'accursedUnutterablePerformIO'."
Haddock coverage:
100% ( 11 / 11) in 'Data.Hashable.Class'
100% ( 1 / 1) in 'Data.Hashable.Generic'
100% ( 22 / 22) in 'Data.Hashable'
Warning: Data.Hashable: could not find link destinations for:
GHashable
Documentation created: dist/doc/html/hashable/index.html,
dist/doc/html/hashable/hashable.txt
Creating package registration file:
/tmp/pkgConf-hashable-1.2.4184009602138982933.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/hashable-1.2.4.0-6fGeUx2p1RJ6swzgwuJfPV
Registering hashable-1.2.4.0...
Installed hashable-1.2.4.0
Downloading minisat-0.1.2...
Configuring minisat-0.1.2...
Building minisat-0.1.2...
Preprocessing library minisat-0.1.2...
[1 of 1] Compiling MiniSat ( dist/build/MiniSat.hs, dist/build/MiniSat.o )
In-place registering minisat-0.1.2...
Running Haddock for minisat-0.1.2...
Running hscolour for minisat-0.1.2...
Preprocessing library minisat-0.1.2...
Preprocessing library minisat-0.1.2...
Haddock coverage:
1% ( 1 / 70) in 'MiniSat'
Missing documentation for:
Module header
withNewSolver (minisat-haskell-bindings/MiniSat.hsc:23)
newSolver (minisat-haskell-bindings/MiniSat.hsc:28)
deleteSolver (minisat-haskell-bindings/MiniSat.hsc:34)
newLit (minisat-haskell-bindings/MiniSat.hsc:37)
neg (minisat-haskell-bindings/MiniSat.hsc:40)
addClause (minisat-haskell-bindings/MiniSat.hsc:43)
simplify (minisat-haskell-bindings/MiniSat.hsc:49)
eliminate (minisat-haskell-bindings/MiniSat.hsc:52)
setFrozen (minisat-haskell-bindings/MiniSat.hsc:55)
isEliminated (minisat-haskell-bindings/MiniSat.hsc:58)
solve (minisat-haskell-bindings/MiniSat.hsc:65)
limited_solve (minisat-haskell-bindings/MiniSat.hsc:71)
value (minisat-haskell-bindings/MiniSat.hsc:77)
modelValue (minisat-haskell-bindings/MiniSat.hsc:77)
conflict (minisat-haskell-bindings/MiniSat.hsc:87)
l_True (minisat-haskell-bindings/MiniSat.hsc:93)
l_False (minisat-haskell-bindings/MiniSat.hsc:93)
l_Undef (minisat-haskell-bindings/MiniSat.hsc:93)
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-haskell-bindings/MiniSat.hsc:105)
(minisat-haskell-bindings/MiniSat.hsc:108)
(minisat-haskell-bindings/MiniSat.hsc:111)
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/index.html,
dist/doc/html/minisat/minisat.txt
Creating package registration file:
/tmp/pkgConf-minisat-0.14824177191163384280.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/minisat-0.1.2-EDTdm3Pne4K7R7kBAwAfhs
Registering minisat-0.1.2...
Installed minisat-0.1.2
Configuring unordered-containers-0.2.6.0...
Building unordered-containers-0.2.6.0...
Preprocessing library unordered-containers-0.2.6.0...
[1 of 8] Compiling Data.HashMap.UnsafeShift ( Data/HashMap/UnsafeShift.hs, dist/build/Data/HashMap/UnsafeShift.o )
[2 of 8] Compiling Data.HashMap.PopCount ( Data/HashMap/PopCount.hs, dist/build/Data/HashMap/PopCount.o )
[3 of 8] Compiling Data.HashMap.Unsafe ( Data/HashMap/Unsafe.hs, dist/build/Data/HashMap/Unsafe.o )
[4 of 8] Compiling Data.HashMap.Array ( Data/HashMap/Array.hs, dist/build/Data/HashMap/Array.o )
[5 of 8] Compiling Data.HashMap.Base ( Data/HashMap/Base.hs, dist/build/Data/HashMap/Base.o )
[6 of 8] Compiling Data.HashMap.Strict ( Data/HashMap/Strict.hs, dist/build/Data/HashMap/Strict.o )
[7 of 8] Compiling Data.HashMap.Lazy ( Data/HashMap/Lazy.hs, dist/build/Data/HashMap/Lazy.o )
[8 of 8] Compiling Data.HashSet ( Data/HashSet.hs, dist/build/Data/HashSet.o )
In-place registering unordered-containers-0.2.6.0...
Running Haddock for unordered-containers-0.2.6.0...
Running hscolour for unordered-containers-0.2.6.0...
Preprocessing library unordered-containers-0.2.6.0...
Preprocessing library unordered-containers-0.2.6.0...
Haddock coverage:
0% ( 0 / 3) in 'Data.HashMap.UnsafeShift'
Missing documentation for:
Module header
unsafeShiftL (Data/HashMap/UnsafeShift.hs:10)
unsafeShiftR (Data/HashMap/UnsafeShift.hs:14)
50% ( 1 / 2) in 'Data.HashMap.PopCount'
Missing documentation for:
Module header
100% ( 2 / 2) in 'Data.HashMap.Unsafe'
38% ( 14 / 37) in 'Data.HashMap.Array'
Missing documentation for:
Array (Data/HashMap/Array.hs:101)
MArray (Data/HashMap/Array.hs:126)
new_ (Data/HashMap/Array.hs:173)
singleton (Data/HashMap/Array.hs:176)
singletonM (Data/HashMap/Array.hs:180)
pair (Data/HashMap/Array.hs:184)
length (Data/HashMap/Array.hs:112)
lengthM (Data/HashMap/Array.hs:134)
read (Data/HashMap/Array.hs:191)
write (Data/HashMap/Array.hs:197)
index (Data/HashMap/Array.hs:204)
indexM (Data/HashMap/Array.hs:210)
unsafeFreeze (Data/HashMap/Array.hs:216)
unsafeThaw (Data/HashMap/Array.hs:222)
run (Data/HashMap/Array.hs:228)
run2 (Data/HashMap/Array.hs:232)
foldl' (Data/HashMap/Array.hs:334)
foldr (Data/HashMap/Array.hs:342)
thaw (Data/HashMap/Array.hs:354)
map (Data/HashMap/Array.hs:387)
traverse (Data/HashMap/Array.hs:430)
filter (Data/HashMap/Array.hs:435)
toList (Data/HashMap/Array.hs:427)
88% ( 60 / 68) in 'Data.HashMap.Base'
Missing documentation for:
Module header
Leaf (Data/HashMap/Base.hs:133)
Hash (Data/HashMap/Base.hs:200)
Bitmap (Data/HashMap/Base.hs:201)
mask (Data/HashMap/Base.hs:1207)
bitsPerSubkey (Data/HashMap/Base.hs:1195)
sparseIndex (Data/HashMap/Base.hs:1204)
updateOrConcatWith (Data/HashMap/Base.hs:1116)
100% ( 51 / 51) in 'Data.HashMap.Strict'
100% ( 51 / 51) in 'Data.HashMap.Lazy'
100% ( 31 / 31) in 'Data.HashSet'
Documentation created: dist/doc/html/unordered-containers/index.html,
dist/doc/html/unordered-containers/unordered-containers.txt
Creating package registration file:
/tmp/pkgConf-unordered-containers-0.2.615618127221322623287.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/unordered-containers-0.2.6.0-LFy5OM3asdWIga7FrU8690
Registering unordered-containers-0.2.6.0...
Installed unordered-containers-0.2.6.0
Downloading jukebox-0.1.5...
Configuring jukebox-0.1.5...
Building jukebox-0.1.5...
Preprocessing library jukebox-0.1.5...
[ 1 of 29] Compiling Jukebox.Sat ( Jukebox/Sat.hs, dist/build/Jukebox/Sat.o )
[ 2 of 29] Compiling Jukebox.SatMin ( Jukebox/SatMin.hs, dist/build/Jukebox/SatMin.o )
[ 3 of 29] Compiling Jukebox.Sat3 ( Jukebox/Sat3.hs, dist/build/Jukebox/Sat3.o )
[ 4 of 29] Compiling Jukebox.SatEq ( Jukebox/SatEq.hs, dist/build/Jukebox/SatEq.o )
[ 5 of 29] Compiling Jukebox.TPTP.Lexer ( dist/build/Jukebox/TPTP/Lexer.hs, dist/build/Jukebox/TPTP/Lexer.o )
dist/build/Jukebox/TPTP/Lexer.hs:399:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:400:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:401:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:405:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:406:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:410:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:412:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:416:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:418:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:422:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:431:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:445:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:447:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:448:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:449:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:451:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:452:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:453:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:454:5: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:456:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:459:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:460:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:461:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:463:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:464:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:465:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:466:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:467:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:468:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:469:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:470:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:471:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:472:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:512:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:513:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:514:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:515:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:516:1: Warning: Tab character
[ 6 of 29] Compiling Jukebox.TPTP.Parsec ( Jukebox/TPTP/Parsec.hs, dist/build/Jukebox/TPTP/Parsec.o )
[ 7 of 29] Compiling Jukebox.ProgressBar ( Jukebox/ProgressBar.hs, dist/build/Jukebox/ProgressBar.o )
[ 8 of 29] Compiling Jukebox.Options ( Jukebox/Options.hs, dist/build/Jukebox/Options.o )
[ 9 of 29] Compiling Jukebox.TPTP.FindFile ( Jukebox/TPTP/FindFile.hs, dist/build/Jukebox/TPTP/FindFile.o )
[10 of 29] Compiling Jukebox.Map ( Jukebox/Map.hs, dist/build/Jukebox/Map.o )
[11 of 29] Compiling Jukebox.UnionFind ( Jukebox/UnionFind.hs, dist/build/Jukebox/UnionFind.o )
[12 of 29] Compiling Jukebox.Seq ( Jukebox/Seq.hs, dist/build/Jukebox/Seq.o )
[13 of 29] Compiling Jukebox.Utils ( Jukebox/Utils.hs, dist/build/Jukebox/Utils.o )
[14 of 29] Compiling Jukebox.Name ( Jukebox/Name.hs, dist/build/Jukebox/Name.o )
[15 of 29] Compiling Jukebox.NameMap ( Jukebox/NameMap.hs, dist/build/Jukebox/NameMap.o )
[16 of 29] Compiling Jukebox.Form ( Jukebox/Form.hs, dist/build/Jukebox/Form.o )
[17 of 29] Compiling Jukebox.TPTP.Print ( Jukebox/TPTP/Print.hs, dist/build/Jukebox/TPTP/Print.o )
[18 of 29] Compiling Jukebox.HighSat ( Jukebox/HighSat.hs, dist/build/Jukebox/HighSat.o )
[19 of 29] Compiling Jukebox.InferTypes ( Jukebox/InferTypes.hs, dist/build/Jukebox/InferTypes.o )
[20 of 29] Compiling Jukebox.Monotonox.Monotonicity ( Jukebox/Monotonox/Monotonicity.hs, dist/build/Jukebox/Monotonox/Monotonicity.o )
[21 of 29] Compiling Jukebox.TPTP.ClauseParser ( Jukebox/TPTP/ClauseParser.hs, dist/build/Jukebox/TPTP/ClauseParser.o )
[22 of 29] Compiling Jukebox.TPTP.ParseSnippet ( Jukebox/TPTP/ParseSnippet.hs, dist/build/Jukebox/TPTP/ParseSnippet.o )
[23 of 29] Compiling Jukebox.Provers.E ( Jukebox/Provers/E.hs, dist/build/Jukebox/Provers/E.o )
[24 of 29] Compiling Jukebox.Provers.SPASS ( Jukebox/Provers/SPASS.hs, dist/build/Jukebox/Provers/SPASS.o )
[25 of 29] Compiling Jukebox.TPTP.ParseProblem ( Jukebox/TPTP/ParseProblem.hs, dist/build/Jukebox/TPTP/ParseProblem.o )
Jukebox/TPTP/ParseProblem.hs:11:1: Warning:
Module ‘Control.Monad.Error’ is deprecated:
Use Control.Monad.Except instead
Jukebox/TPTP/ParseProblem.hs:25:46: Warning:
In the use of ‘runErrorT’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Jukebox/TPTP/ParseProblem.hs:26:43: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Jukebox/TPTP/ParseProblem.hs:29:69: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Jukebox/TPTP/ParseProblem.hs:35:80: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Jukebox/TPTP/ParseProblem.hs:43:36: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Jukebox/TPTP/ParseProblem.hs:54:68: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
[26 of 29] Compiling Jukebox.Clausify ( Jukebox/Clausify.hs, dist/build/Jukebox/Clausify.o )
[27 of 29] Compiling Jukebox.GuessModel ( Jukebox/GuessModel.hs, dist/build/Jukebox/GuessModel.o )
[28 of 29] Compiling Jukebox.Monotonox.ToFOF ( Jukebox/Monotonox/ToFOF.hs, dist/build/Jukebox/Monotonox/ToFOF.o )
[29 of 29] Compiling Jukebox.Toolbox ( Jukebox/Toolbox.hs, dist/build/Jukebox/Toolbox.o )
In-place registering jukebox-0.1.5...
Preprocessing executable 'jukebox' for jukebox-0.1.5...
[ 1 of 23] Compiling Jukebox.TPTP.Parsec ( Jukebox/TPTP/Parsec.hs, dist/build/jukebox/jukebox-tmp/Jukebox/TPTP/Parsec.o )
[ 2 of 23] Compiling Jukebox.Seq ( Jukebox/Seq.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Seq.o )
[ 3 of 23] Compiling Jukebox.Utils ( Jukebox/Utils.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Utils.o )
[ 4 of 23] Compiling Jukebox.ProgressBar ( Jukebox/ProgressBar.hs, dist/build/jukebox/jukebox-tmp/Jukebox/ProgressBar.o )
[ 5 of 23] Compiling Jukebox.Map ( Jukebox/Map.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Map.o )
[ 6 of 23] Compiling Jukebox.Name ( Jukebox/Name.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Name.o )
[ 7 of 23] Compiling Jukebox.NameMap ( Jukebox/NameMap.hs, dist/build/jukebox/jukebox-tmp/Jukebox/NameMap.o )
[ 8 of 23] Compiling Jukebox.UnionFind ( Jukebox/UnionFind.hs, dist/build/jukebox/jukebox-tmp/Jukebox/UnionFind.o )
[ 9 of 23] Compiling Jukebox.Form ( Jukebox/Form.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Form.o )
[10 of 23] Compiling Jukebox.HighSat ( Jukebox/HighSat.hs, dist/build/jukebox/jukebox-tmp/Jukebox/HighSat.o )
[11 of 23] Compiling Jukebox.InferTypes ( Jukebox/InferTypes.hs, dist/build/jukebox/jukebox-tmp/Jukebox/InferTypes.o )
[12 of 23] Compiling Jukebox.Monotonox.Monotonicity ( Jukebox/Monotonox/Monotonicity.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Monotonox/Monotonicity.o )
[13 of 23] Compiling Jukebox.TPTP.Print ( Jukebox/TPTP/Print.hs, dist/build/jukebox/jukebox-tmp/Jukebox/TPTP/Print.o )
[14 of 23] Compiling Jukebox.TPTP.ClauseParser ( Jukebox/TPTP/ClauseParser.hs, dist/build/jukebox/jukebox-tmp/Jukebox/TPTP/ClauseParser.o )
[15 of 23] Compiling Jukebox.TPTP.ParseSnippet ( Jukebox/TPTP/ParseSnippet.hs, dist/build/jukebox/jukebox-tmp/Jukebox/TPTP/ParseSnippet.o )
[16 of 23] Compiling Jukebox.Options ( Jukebox/Options.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Options.o )
[17 of 23] Compiling Jukebox.Clausify ( Jukebox/Clausify.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Clausify.o )
[18 of 23] Compiling Jukebox.GuessModel ( Jukebox/GuessModel.hs, dist/build/jukebox/jukebox-tmp/Jukebox/GuessModel.o )
[19 of 23] Compiling Jukebox.Monotonox.ToFOF ( Jukebox/Monotonox/ToFOF.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Monotonox/ToFOF.o )
[20 of 23] Compiling Jukebox.TPTP.FindFile ( Jukebox/TPTP/FindFile.hs, dist/build/jukebox/jukebox-tmp/Jukebox/TPTP/FindFile.o )
[21 of 23] Compiling Jukebox.TPTP.ParseProblem ( Jukebox/TPTP/ParseProblem.hs, dist/build/jukebox/jukebox-tmp/Jukebox/TPTP/ParseProblem.o )
Jukebox/TPTP/ParseProblem.hs:11:1: Warning:
Module ‘Control.Monad.Error’ is deprecated:
Use Control.Monad.Except instead
Jukebox/TPTP/ParseProblem.hs:25:46: Warning:
In the use of ‘runErrorT’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Jukebox/TPTP/ParseProblem.hs:26:43: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Jukebox/TPTP/ParseProblem.hs:29:69: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Jukebox/TPTP/ParseProblem.hs:35:80: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Jukebox/TPTP/ParseProblem.hs:43:36: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Jukebox/TPTP/ParseProblem.hs:54:68: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
[22 of 23] Compiling Jukebox.Toolbox ( Jukebox/Toolbox.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Toolbox.o )
[23 of 23] Compiling Main ( Main.hs, dist/build/jukebox/jukebox-tmp/Main.o )
Linking dist/build/jukebox/jukebox ...
Running Haddock for jukebox-0.1.5...
Running hscolour for jukebox-0.1.5...
Preprocessing library jukebox-0.1.5...
Preprocessing executable 'jukebox' for jukebox-0.1.5...
Preprocessing library jukebox-0.1.5...
dist/build/Jukebox/TPTP/Lexer.hs:399:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:400:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:401:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:405:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:406:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:410:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:412:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:416:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:418:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:422:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:431:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:445:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:447:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:448:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:449:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:451:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:452:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:453:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:454:5: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:456:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:459:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:460:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:461:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:463:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:464:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:465:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:466:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:467:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:468:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:469:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:470:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:471:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:472:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:512:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:513:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:514:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:515:1: Warning: Tab character
dist/build/Jukebox/TPTP/Lexer.hs:516:1: Warning: Tab character
Haddock coverage:
0% ( 0 / 15) in 'Jukebox.Sat'
Missing documentation for:
Module header
Solver
newSolver (Jukebox/Sat.hs:35)
deleteSolver
Lit
neg
false (Jukebox/Sat.hs:31)
true (Jukebox/Sat.hs:31)
SatSolver (Jukebox/Sat.hs:46)
newLit (Jukebox/Sat.hs:52)
addClause (Jukebox/Sat.hs:55)
solve (Jukebox/Sat.hs:58)
conflict (Jukebox/Sat.hs:61)
modelValue (Jukebox/Sat.hs:64)
value (Jukebox/Sat.hs:67)
0% ( 0 / 3) in 'Jukebox.SatMin'
Missing documentation for:
Module header
solveLocalMin (Jukebox/SatMin.hs:5)
localMin (Jukebox/SatMin.hs:14)
0% ( 0 / 11) in 'Jukebox.Sat3'
Missing documentation for:
Module header
Lit3 (Jukebox/Sat3.hs:7)
false3 (Jukebox/Sat3.hs:9)
true3 (Jukebox/Sat3.hs:9)
bottom3 (Jukebox/Sat3.hs:9)
neg3 (Jukebox/Sat3.hs:14)
newLit3 (Jukebox/Sat3.hs:17)
newLit2 (Jukebox/Sat3.hs:24)
modelValue3 (Jukebox/Sat3.hs:31)
value3 (Jukebox/Sat3.hs:34)
val3 (Jukebox/Sat3.hs:37)
0% ( 0 / 12) in 'Jukebox.SatEq'
Missing documentation for:
Module header
SolverEq (Jukebox/SatEq.hs:12)
newSolverEq (Jukebox/SatEq.hs:20)
(Jukebox/SatEq.hs:32)
EqSolver (Jukebox/SatEq.hs:35)
(Jukebox/SatEq.hs:38)
Elt (Jukebox/SatEq.hs:43)
(Jukebox/SatEq.hs:46)
newElt (Jukebox/SatEq.hs:49)
equal (Jukebox/SatEq.hs:55)
solveEq (Jukebox/SatEq.hs:72)
modelRep (Jukebox/SatEq.hs:77)
0% ( 0 / 9) in 'Jukebox.TPTP.Lexer'
Missing documentation for:
Module header
scan (Jukebox/TPTP/Lexer.x:187)
Pos (Jukebox/TPTP/Lexer.x:96)
Token (Jukebox/TPTP/Lexer.x:97)
Punct (Jukebox/TPTP/Lexer.x:138)
Defined (Jukebox/TPTP/Lexer.x:128)
Keyword (Jukebox/TPTP/Lexer.x:106)
TokenStream (Jukebox/TPTP/Lexer.x:184)
Contents (Jukebox/TPTP/Lexer.x:185)
0% ( 0 / 30) in 'Jukebox.TPTP.Parsec'
Missing documentation for:
Module header
Parsec (Jukebox/TPTP/Parsec.hs:10)
Reply (Jukebox/TPTP/Parsec.hs:16)
Result (Jukebox/TPTP/Parsec.hs:18)
parseError (Jukebox/TPTP/Parsec.hs:21)
fatalError (Jukebox/TPTP/Parsec.hs:25)
(Jukebox/TPTP/Parsec.hs:28)
(Jukebox/TPTP/Parsec.hs:32)
(Jukebox/TPTP/Parsec.hs:40)
(Jukebox/TPTP/Parsec.hs:47)
(Jukebox/TPTP/Parsec.hs:60)
nonempty (Jukebox/TPTP/Parsec.hs:76)
skipSome (Jukebox/TPTP/Parsec.hs:80)
skipMany (Jukebox/TPTP/Parsec.hs:84)
<?> (Jukebox/TPTP/Parsec.hs:89)
between (Jukebox/TPTP/Parsec.hs:94)
sepBy1 (Jukebox/TPTP/Parsec.hs:98)
run_ (Jukebox/TPTP/Parsec.hs:103)
run (Jukebox/TPTP/Parsec.hs:108)
expected (Jukebox/TPTP/Parsec.hs:117)
Stream (Jukebox/TPTP/Parsec.hs:126)
next (Jukebox/TPTP/Parsec.hs:132)
cut (Jukebox/TPTP/Parsec.hs:137)
cut' (Jukebox/TPTP/Parsec.hs:141)
satisfy (Jukebox/TPTP/Parsec.hs:145)
eof (Jukebox/TPTP/Parsec.hs:153)
UserState (Jukebox/TPTP/Parsec.hs:159)
(Jukebox/TPTP/Parsec.hs:161)
getState (Jukebox/TPTP/Parsec.hs:169)
putState (Jukebox/TPTP/Parsec.hs:173)
0% ( 0 / 4) in 'Jukebox.ProgressBar'
Missing documentation for:
Module header
ProgressBar (Jukebox/ProgressBar.hs:12)
tickOnRead (Jukebox/ProgressBar.hs:28)
withProgressBar (Jukebox/ProgressBar.hs:40)
0% ( 0 / 55) in 'Jukebox.Options'
Missing documentation for:
Module header
Annotated (Jukebox/Options.hs:16)
(Jukebox/Options.hs:20)
(Jukebox/Options.hs:23)
(Jukebox/Options.hs:28)
ArgParser (Jukebox/Options.hs:37)
ArgDesc (Jukebox/Options.hs:38)
SeqParser (Jukebox/Options.hs:41)
(Jukebox/Options.hs:45)
(Jukebox/Options.hs:48)
arg (Jukebox/Options.hs:53)
argNum (Jukebox/Options.hs:62)
argFile (Jukebox/Options.hs:69)
argFiles (Jukebox/Options.hs:72)
argName (Jukebox/Options.hs:82)
argNums (Jukebox/Options.hs:85)
argOption (Jukebox/Options.hs:94)
argList (Jukebox/Options.hs:100)
argUsage (Jukebox/Options.hs:113)
OptionParser (Jukebox/Options.hs:119)
ParParser (Jukebox/Options.hs:125)
ParseResult (Jukebox/Options.hs:129)
Error (Jukebox/Options.hs:137)
(Jukebox/Options.hs:141)
(Jukebox/Options.hs:144)
(Jukebox/Options.hs:149)
(Jukebox/Options.hs:152)
runPar (Jukebox/Options.hs:163)
awaitP (Jukebox/Options.hs:171)
await (Jukebox/Options.hs:181)
Flag (Jukebox/Options.hs:184)
flag (Jukebox/Options.hs:191)
manyFlags (Jukebox/Options.hs:205)
filenames (Jukebox/Options.hs:217)
io (Jukebox/Options.hs:224)
bool (Jukebox/Options.hs:229)
inGroup (Jukebox/Options.hs:232)
ToolParser (Jukebox/Options.hs:238)
Tool (Jukebox/Options.hs:239)
PrefixParser (Jukebox/Options.hs:245)
(Jukebox/Options.hs:247)
(Jukebox/Options.hs:250)
runPref (Jukebox/Options.hs:255)
tool (Jukebox/Options.hs:266)
getEffectiveArgs (Jukebox/Options.hs:276)
parseCommandLine (Jukebox/Options.hs:284)
printHelp (Jukebox/Options.hs:296)
argError (Jukebox/Options.hs:301)
usageTool (Jukebox/Options.hs:307)
versionTool (Jukebox/Options.hs:318)
helpTool (Jukebox/Options.hs:321)
help (Jukebox/Options.hs:331)
greeting (Jukebox/Options.hs:339)
usage (Jukebox/Options.hs:342)
justify (Jukebox/Options.hs:351)
0% ( 0 / 5) in 'Jukebox.TPTP.FindFile'
Missing documentation for:
Module header
findFile (Jukebox/TPTP/FindFile.hs:13)
findFileTPTP (Jukebox/TPTP/FindFile.hs:21)
getTPTPDirs (Jukebox/TPTP/FindFile.hs:27)
findFileFlags (Jukebox/TPTP/FindFile.hs:32)
0% ( 0 / 17) in 'Jukebox.Map'
Missing documentation for:
Module header
Map (Jukebox/Map.hs:6)
fromList (Jukebox/Map.hs:8)
toList (Jukebox/Map.hs:9)
insertWith (Jukebox/Map.hs:10)
empty (Jukebox/Map.hs:11)
findWithDefault (Jukebox/Map.hs:12)
lookup (Jukebox/Map.hs:13)
insert (Jukebox/Map.hs:14)
delete (Jukebox/Map.hs:15)
elems (Jukebox/Map.hs:16)
union (Jukebox/Map.hs:17)
intersection (Jukebox/Map.hs:18)
null (Jukebox/Map.hs:19)
! (Jukebox/Map.hs:20)
member (Jukebox/Map.hs:22)
\\ (Jukebox/Map.hs:27)
0% ( 0 / 12) in 'Jukebox.UnionFind'
Missing documentation for:
Module header
UF (Jukebox/UnionFind.hs:10)
Replacement (Jukebox/UnionFind.hs:11)
=:= (Jukebox/UnionFind.hs:25)
rep (Jukebox/UnionFind.hs:40)
evalUF (Jukebox/UnionFind.hs:16)
execUF (Jukebox/UnionFind.hs:19)
runUF (Jukebox/UnionFind.hs:13)
S (Jukebox/UnionFind.hs:9)
isRep (Jukebox/UnionFind.hs:73)
initial (Jukebox/UnionFind.hs:22)
reps (Jukebox/UnionFind.hs:56)
0% ( 0 / 25) in 'Jukebox.Seq'
Missing documentation for:
Module header
Seq (Jukebox/Seq.hs:11)
List (Jukebox/Seq.hs:13)
(Jukebox/Seq.hs:17)
(Jukebox/Seq.hs:21)
appendA (Jukebox/Seq.hs:30)
(Jukebox/Seq.hs:35)
cons (Jukebox/Seq.hs:38)
snoc (Jukebox/Seq.hs:41)
append (Jukebox/Seq.hs:44)
(Jukebox/Seq.hs:47)
(Jukebox/Seq.hs:52)
(Jukebox/Seq.hs:56)
(Jukebox/Seq.hs:61)
(Jukebox/Seq.hs:65)
(Jukebox/Seq.hs:69)
concat (Jukebox/Seq.hs:73)
concatMap (Jukebox/Seq.hs:76)
concatMapA (Jukebox/Seq.hs:79)
fold (Jukebox/Seq.hs:85)
unique (Jukebox/Seq.hs:90)
length (Jukebox/Seq.hs:93)
mapM (Jukebox/Seq.hs:98)
mapM_ (Jukebox/Seq.hs:103)
sequence (Jukebox/Seq.hs:108)
0% ( 0 / 5) in 'Jukebox.Utils'
Missing documentation for:
Module header
usort (Jukebox/Utils.hs:15)
merge (Jukebox/Utils.hs:18)
nub (Jukebox/Utils.hs:27)
popen (Jukebox/Utils.hs:30)
0% ( 0 / 25) in 'Jukebox.Name'
Missing documentation for:
Module header
Name (Jukebox/Name.hs:23)
uniqueId (Jukebox/Name.hs:25)
base (Jukebox/Name.hs:26)
stringBaseName (Jukebox/Name.hs:48)
unsafeMakeName (Jukebox/Name.hs:28)
::: (Jukebox/Name.hs:62)
lhs (Jukebox/Name.hs:64)
rhs (Jukebox/Name.hs:67)
Named (Jukebox/Name.hs:43)
Closed (Jukebox/Name.hs:89)
close (Jukebox/Name.hs:108)
close_ (Jukebox/Name.hs:113)
closedIO (Jukebox/Name.hs:116)
open (Jukebox/Name.hs:92)
closed0 (Jukebox/Name.hs:99)
stdNames (Jukebox/Name.hs:105)
nameO (Jukebox/Name.hs:100)
nameI (Jukebox/Name.hs:100)
NameM (Jukebox/Name.hs:77)
newName (Jukebox/Name.hs:81)
unsafeClose (Jukebox/Name.hs:94)
maxIndex (Jukebox/Name.hs:91)
supply (Jukebox/Name.hs:121)
uniquify (Jukebox/Name.hs:128)
0% ( 0 / 11) in 'Jukebox.NameMap'
Missing documentation for:
Module header
NameMap (Jukebox/NameMap.hs:10)
lookup (Jukebox/NameMap.hs:12)
lookup_ (Jukebox/NameMap.hs:15)
insert (Jukebox/NameMap.hs:21)
member (Jukebox/NameMap.hs:24)
delete (Jukebox/NameMap.hs:30)
! (Jukebox/NameMap.hs:36)
fromList (Jukebox/NameMap.hs:39)
toList (Jukebox/NameMap.hs:42)
singleton (Jukebox/NameMap.hs:45)
0% ( 0 /125) in 'Jukebox.Form'
Missing documentation for:
Module header
debugging (Jukebox/Form.hs:26)
DomainSize (Jukebox/Form.hs:32)
Type (Jukebox/Form.hs:34)
FunType (Jukebox/Form.hs:43)
typeMaybeName (Jukebox/Form.hs:46)
(Jukebox/Form.hs:50)
(Jukebox/Form.hs:53)
(Jukebox/Form.hs:56)
(Jukebox/Form.hs:59)
Typed (Jukebox/Form.hs:64)
(Jukebox/Form.hs:67)
(Jukebox/Form.hs:70)
(Jukebox/Form.hs:73)
Variable (Jukebox/Form.hs:79)
Function (Jukebox/Form.hs:80)
Term (Jukebox/Form.hs:81)
(Jukebox/Form.hs:83)
(Jukebox/Form.hs:88)
(Jukebox/Form.hs:92)
newSymbol (Jukebox/Form.hs:96)
newFunction (Jukebox/Form.hs:99)
newType (Jukebox/Form.hs:102)
funArgs (Jukebox/Form.hs:107)
arity (Jukebox/Form.hs:110)
size (Jukebox/Form.hs:113)
Atomic (Jukebox/Form.hs:121)
normAtomic (Jukebox/Form.hs:124)
(Jukebox/Form.hs:129)
(Jukebox/Form.hs:132)
(Jukebox/Form.hs:135)
Signed (Jukebox/Form.hs:138)
(Jukebox/Form.hs:140)
(Jukebox/Form.hs:145)
Literal (Jukebox/Form.hs:148)
neg (Jukebox/Form.hs:150)
the (Jukebox/Form.hs:154)
pos (Jukebox/Form.hs:158)
signForm (Jukebox/Form.hs:162)
Form (Jukebox/Form.hs:174)
Connective (Jukebox/Form.hs:187)
connective (Jukebox/Form.hs:189)
Bind (Jukebox/Form.hs:196)
true (Jukebox/Form.hs:198)
false (Jukebox/Form.hs:198)
isTrue (Jukebox/Form.hs:202)
isFalse (Jukebox/Form.hs:202)
nt (Jukebox/Form.hs:208)
.=>. (Jukebox/Form.hs:212)
.=. (Jukebox/Form.hs:215)
/\ (Jukebox/Form.hs:219)
\/ (Jukebox/Form.hs:219)
closeForm (Jukebox/Form.hs:232)
conj (Jukebox/Form.hs:237)
disj (Jukebox/Form.hs:237)
positive (Jukebox/Form.hs:242)
notInwards (Jukebox/Form.hs:248)
simple (Jukebox/Form.hs:259)
simplify (Jukebox/Form.hs:266)
CNF (Jukebox/Form.hs:289)
Obligs (Jukebox/Form.hs:291)
toObligs (Jukebox/Form.hs:298)
Clause (Jukebox/Form.hs:303)
clause (Jukebox/Form.hs:305)
toForm (Jukebox/Form.hs:308)
toLiterals (Jukebox/Form.hs:311)
Tag (Jukebox/Form.hs:317)
Kind (Jukebox/Form.hs:319)
Answer (Jukebox/Form.hs:321)
(Jukebox/Form.hs:324)
NoAnswerReason (Jukebox/Form.hs:329)
Input (Jukebox/Form.hs:331)
Problem (Jukebox/Form.hs:336)
(Jukebox/Form.hs:338)
TypeOf (Jukebox/Form.hs:345)
Symbolic (Jukebox/Form.hs:357)
(Jukebox/Form.hs:360)
(Jukebox/Form.hs:361)
(Jukebox/Form.hs:362)
(Jukebox/Form.hs:363)
(Jukebox/Form.hs:364)
(Jukebox/Form.hs:365)
(Jukebox/Form.hs:366)
(Jukebox/Form.hs:367)
(Jukebox/Form.hs:368)
(Jukebox/Form.hs:369)
Rep (Jukebox/Form.hs:372)
rep (Jukebox/Form.hs:380)
Unpack (Jukebox/Form.hs:395)
(Jukebox/Form.hs:398)
(Jukebox/Form.hs:408)
(Jukebox/Form.hs:411)
(Jukebox/Form.hs:415)
(Jukebox/Form.hs:419)
(Jukebox/Form.hs:423)
(Jukebox/Form.hs:426)
(Jukebox/Form.hs:430)
(Jukebox/Form.hs:435)
(Jukebox/Form.hs:438)
recursively (Jukebox/Form.hs:445)
recursivelyM (Jukebox/Form.hs:453)
collect (Jukebox/Form.hs:461)
Subst (Jukebox/Form.hs:471)
ids (Jukebox/Form.hs:473)
|=> (Jukebox/Form.hs:476)
|+| (Jukebox/Form.hs:479)
subst (Jukebox/Form.hs:482)
free (Jukebox/Form.hs:503)
ground (Jukebox/Form.hs:516)
bind (Jukebox/Form.hs:519)
termsAndBinders (Jukebox/Form.hs:523)
names (Jukebox/Form.hs:537)
types (Jukebox/Form.hs:544)
types' (Jukebox/Form.hs:551)
terms (Jukebox/Form.hs:554)
vars (Jukebox/Form.hs:558)
functions (Jukebox/Form.hs:566)
isFof (Jukebox/Form.hs:571)
uniqueNames (Jukebox/Form.hs:574)
force (Jukebox/Form.hs:608)
check (Jukebox/Form.hs:618)
checkBinder (Jukebox/Form.hs:642)
ShareState (Jukebox/Form.hs:648)
share (Jukebox/Form.hs:650)
mapType (Jukebox/Form.hs:700)
0% ( 0 / 7) in 'Jukebox.TPTP.Print'
Missing documentation for:
Module header
prettyShow (Jukebox/TPTP/Print.hs:194)
chattyShow (Jukebox/TPTP/Print.hs:194)
prettyFormula (Jukebox/TPTP/Print.hs:198)
prettyProblem (Jukebox/TPTP/Print.hs:90)
Level (Jukebox/TPTP/Print.hs:18)
Pretty (Jukebox/TPTP/Print.hs:20)
0% ( 0 / 22) in 'Jukebox.HighSat'
Missing documentation for:
Module header
Sat1 (Jukebox/HighSat.hs:21)
Sat (Jukebox/HighSat.hs:22)
SatState (Jukebox/HighSat.hs:23)
Watch (Jukebox/HighSat.hs:24)
Form (Jukebox/HighSat.hs:26)
nt (Jukebox/HighSat.hs:31)
conj (Jukebox/HighSat.hs:36)
disj (Jukebox/HighSat.hs:36)
true (Jukebox/HighSat.hs:40)
false (Jukebox/HighSat.hs:40)
unique (Jukebox/HighSat.hs:44)
runSat (Jukebox/HighSat.hs:50)
runSat1 (Jukebox/HighSat.hs:56)
atIndex (Jukebox/HighSat.hs:59)
solve (Jukebox/HighSat.hs:67)
model (Jukebox/HighSat.hs:73)
modelValue (Jukebox/HighSat.hs:80)
addForm (Jukebox/HighSat.hs:87)
flatten (Jukebox/HighSat.hs:94)
lit (Jukebox/HighSat.hs:99)
var (Jukebox/HighSat.hs:103)
0% ( 0 / 7) in 'Jukebox.InferTypes'
Missing documentation for:
Module header
Function' (Jukebox/InferTypes.hs:11)
Variable' (Jukebox/InferTypes.hs:12)
Type' (Jukebox/InferTypes.hs:13)
inferTypes (Jukebox/InferTypes.hs:15)
solve (Jukebox/InferTypes.hs:40)
generate (Jukebox/InferTypes.hs:71)
0% ( 0 / 12) in 'Jukebox.Monotonox.Monotonicity'
Missing documentation for:
Module header
Extension (Jukebox/Monotonox/Monotonicity.hs:13)
Var (Jukebox/Monotonox/Monotonicity.hs:15)
(Jukebox/Monotonox/Monotonicity.hs:17)
annotateMonotonicity (Jukebox/Monotonox/Monotonicity.hs:22)
monotone (Jukebox/Monotonox/Monotonicity.hs:32)
fromModel (Jukebox/Monotonox/Monotonicity.hs:49)
extension (Jukebox/Monotonox/Monotonicity.hs:52)
clause (Jukebox/Monotonox/Monotonicity.hs:59)
literal (Jukebox/Monotonox/Monotonicity.hs:62)
safe (Jukebox/Monotonox/Monotonicity.hs:72)
guards (Jukebox/Monotonox/Monotonicity.hs:76)
0% ( 0 / 59) in 'Jukebox.TPTP.ClauseParser'
Missing documentation for:
Module header
ParseState (Jukebox/TPTP/ClauseParser.hs:31)
Parser (Jukebox/TPTP/ClauseParser.hs:38)
ParsecState (Jukebox/TPTP/ClauseParser.hs:39)
IncludeStatement (Jukebox/TPTP/ClauseParser.hs:42)
initialState (Jukebox/TPTP/ClauseParser.hs:45)
(Jukebox/TPTP/ClauseParser.hs:49)
testParser (Jukebox/TPTP/ClauseParser.hs:57)
getProblem (Jukebox/TPTP/ClauseParser.hs:60)
keyword' (Jukebox/TPTP/ClauseParser.hs:68)
keyword (Jukebox/TPTP/ClauseParser.hs:72)
punct' (Jukebox/TPTP/ClauseParser.hs:74)
punct (Jukebox/TPTP/ClauseParser.hs:78)
defined' (Jukebox/TPTP/ClauseParser.hs:80)
defined (Jukebox/TPTP/ClauseParser.hs:84)
variable (Jukebox/TPTP/ClauseParser.hs:86)
number (Jukebox/TPTP/ClauseParser.hs:90)
atom (Jukebox/TPTP/ClauseParser.hs:94)
parens (Jukebox/TPTP/ClauseParser.hs:98)
bracks (Jukebox/TPTP/ClauseParser.hs:98)
binExpr (Jukebox/TPTP/ClauseParser.hs:106)
section (Jukebox/TPTP/ClauseParser.hs:114)
input (Jukebox/TPTP/ClauseParser.hs:118)
kind (Jukebox/TPTP/ClauseParser.hs:145)
tag (Jukebox/TPTP
Jukebox/TPTP/ParseProblem.hs:11:1: Warning:
Module ‘Control.Monad.Error’ is deprecated:
Use Control.Monad.Except instead
Jukebox/TPTP/ParseProblem.hs:25:46: Warning:
In the use of ‘runErrorT’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Jukebox/TPTP/ParseProblem.hs:26:43: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Jukebox/TPTP/ParseProblem.hs:29:69: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Jukebox/TPTP/ParseProblem.hs:35:80: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Jukebox/TPTP/ParseProblem.hs:43:36: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Jukebox/TPTP/ParseProblem.hs:54:68: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in transformers-0.4.2.0:Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
/ClauseParser.hs:159)
include (Jukebox/TPTP/ClauseParser.hs:163)
newFormula (Jukebox/TPTP/ClauseParser.hs:176)
newNameFrom (Jukebox/TPTP/ClauseParser.hs:181)
findType (Jukebox/TPTP/ClauseParser.hs:186)
newFunction (Jukebox/TPTP/ClauseParser.hs:197)
applyFunction (Jukebox/TPTP/ClauseParser.hs:207)
typeError (Jukebox/TPTP/ClauseParser.hs:215)
lookupFunction (Jukebox/TPTP/ClauseParser.hs:230)
individual (Jukebox/TPTP/ClauseParser.hs:243)
cnf (Jukebox/TPTP/ClauseParser.hs:250)
tff (Jukebox/TPTP/ClauseParser.hs:250)
fof (Jukebox/TPTP/ClauseParser.hs:250)
Thing (Jukebox/TPTP/ClauseParser.hs:272)
(Jukebox/TPTP/ClauseParser.hs:276)
TermLike (Jukebox/TPTP/ClauseParser.hs:299)
(Jukebox/TPTP/ClauseParser.hs:308)
(Jukebox/TPTP/ClauseParser.hs:317)
(Jukebox/TPTP/ClauseParser.hs:340)
FormulaLike (Jukebox/TPTP/ClauseParser.hs:347)
(Jukebox/TPTP/ClauseParser.hs:349)
(Jukebox/TPTP/ClauseParser.hs:350)
term (Jukebox/TPTP/ClauseParser.hs:356)
literal (Jukebox/TPTP/ClauseParser.hs:364)
unitary (Jukebox/TPTP/ClauseParser.hs:364)
quantified (Jukebox/TPTP/ClauseParser.hs:364)
formula (Jukebox/TPTP/ClauseParser.hs:364)
varDecl (Jukebox/TPTP/ClauseParser.hs:429)
type_ (Jukebox/TPTP/ClauseParser.hs:442)
Type_ (Jukebox/TPTP/ClauseParser.hs:448)
prod (Jukebox/TPTP/ClauseParser.hs:450)
arrow (Jukebox/TPTP/ClauseParser.hs:454)
leaf (Jukebox/TPTP/ClauseParser.hs:458)
compoundType (Jukebox/TPTP/ClauseParser.hs:464)
typeDeclaration (Jukebox/TPTP/ClauseParser.hs:468)
0% ( 0 / 5) in 'Jukebox.TPTP.ParseSnippet'
Missing documentation for:
Module header
tff (Jukebox/TPTP/ParseSnippet.hs:16)
cnf (Jukebox/TPTP/ParseSnippet.hs:16)
form (Jukebox/TPTP/ParseSnippet.hs:20)
form' (Jukebox/TPTP/ParseSnippet.hs:22)
0% ( 0 / 6) in 'Jukebox.Provers.E'
Missing documentation for:
Module header
EFlags (Jukebox/Provers/E.hs:24)
eflags (Jukebox/Provers/E.hs:30)
mangleAnswer (Jukebox/Provers/E.hs:50)
runE (Jukebox/Provers/E.hs:60)
extractAnswer (Jukebox/Provers/E.hs:74)
0% ( 0 / 5) in 'Jukebox.Provers.SPASS'
Missing documentation for:
Module header
SPASSFlags (Jukebox/Provers/SPASS.hs:24)
spassFlags (Jukebox/Provers/SPASS.hs:30)
runSPASS (Jukebox/Provers/SPASS.hs:49)
extractAnswer (Jukebox/Provers/SPASS.hs:62)
0% ( 0 / 3) in 'Jukebox.TPTP.ParseProblem'
Missing documentation for:
Module header
parseProblem (Jukebox/TPTP/ParseProblem.hs:21)
parseProblemWith (Jukebox/TPTP/ParseProblem.hs:24)
0% ( 0 / 31) in 'Jukebox.Clausify'
Missing documentation for:
Module header
ClausifyFlags (Jukebox/Clausify.hs:22)
clausifyFlags (Jukebox/Clausify.hs:24)
clausify (Jukebox/Clausify.hs:34)
split (Jukebox/Clausify.hs:58)
clausForm (Jukebox/Clausify.hs:108)
miniscope (Jukebox/Clausify.hs:126)
forAll (Jukebox/Clausify.hs:135)
forAllOr (Jukebox/Clausify.hs:153)
removeEquiv (Jukebox/Clausify.hs:173)
removeEquivAux (Jukebox/Clausify.hs:187)
makeCopyable (Jukebox/Clausify.hs:228)
removeExists (Jukebox/Clausify.hs:255)
removeExpensiveOr (Jukebox/Clausify.hs:292)
Cost (Jukebox/Clausify.hs:298)
unitCost (Jukebox/Clausify.hs:300)
andCost (Jukebox/Clausify.hs:303)
orCost (Jukebox/Clausify.hs:306)
removeExpensiveOrAux (Jukebox/Clausify.hs:313)
makeOr (Jukebox/Clausify.hs:333)
cnf (Jukebox/Clausify.hs:366)
cross (Jukebox/Clausify.hs:372)
simplifyCNF (Jukebox/Clausify.hs:380)
M (Jukebox/Clausify.hs:405)
run (Jukebox/Clausify.hs:407)
skolemName (Jukebox/Clausify.hs:410)
nextSk (Jukebox/Clausify.hs:417)
withName (Jukebox/Clausify.hs:423)
getName (Jukebox/Clausify.hs:426)
skolem (Jukebox/Clausify.hs:429)
literal (Jukebox/Clausify.hs:437)
0% ( 0 / 11) in 'Jukebox.GuessModel'
Missing documentation for:
Module header
Universe (Jukebox/GuessModel.hs:13)
universe (Jukebox/GuessModel.hs:15)
peano (Jukebox/GuessModel.hs:19)
trees (Jukebox/GuessModel.hs:34)
guessModel (Jukebox/GuessModel.hs:52)
ind (Jukebox/GuessModel.hs:64)
function (Jukebox/GuessModel.hs:71)
rhss (Jukebox/GuessModel.hs:87)
cases (Jukebox/GuessModel.hs:108)
cases1 (Jukebox/GuessModel.hs:115)
0% ( 0 / 16) in 'Jukebox.Monotonox.ToFOF'
Missing documentation for:
Module header
Scheme (Jukebox/Monotonox/ToFOF.hs:13)
Scheme1 (Jukebox/Monotonox/ToFOF.hs:18)
guard (Jukebox/Monotonox/ToFOF.hs:26)
translate (Jukebox/Monotonox/ToFOF.hs:47)
translate1 (Jukebox/Monotonox/ToFOF.hs:47)
tagsFlags (Jukebox/Monotonox/ToFOF.hs:84)
tags (Jukebox/Monotonox/ToFOF.hs:91)
tags1 (Jukebox/Monotonox/ToFOF.hs:97)
tagsAxiom (Jukebox/Monotonox/ToFOF.hs:113)
tagsExists (Jukebox/Monotonox/ToFOF.hs:130)
guards (Jukebox/Monotonox/ToFOF.hs:139)
guards1 (Jukebox/Monotonox/ToFOF.hs:145)
naked (Jukebox/Monotonox/ToFOF.hs:163)
guardsAxiom (Jukebox/Monotonox/ToFOF.hs:178)
guardsTypeAxiom (Jukebox/Monotonox/ToFOF.hs:186)
0% ( 0 / 35) in 'Jukebox.Toolbox'
Missing documentation for:
Module header
GlobalFlags (Jukebox/Toolbox.hs:28)
globalFlags (Jukebox/Toolbox.hs:33)
=>>= (Jukebox/Toolbox.hs:41)
=>> (Jukebox/Toolbox.hs:45)
greetingBox (Jukebox/Toolbox.hs:49)
greetingBoxIO (Jukebox/Toolbox.hs:52)
allFilesBox (Jukebox/Toolbox.hs:56)
allFiles (Jukebox/Toolbox.hs:59)
parseProblemBox (Jukebox/Toolbox.hs:65)
parseProblemIO (Jukebox/Toolbox.hs:68)
withString (Jukebox/Toolbox.hs:77)
encodeString (Jukebox/Toolbox.hs:94)
clausifyBox (Jukebox/Toolbox.hs:101)
clausifyIO (Jukebox/Toolbox.hs:104)
toFofBox (Jukebox/Toolbox.hs:109)
oneConjectureBox (Jukebox/Toolbox.hs:112)
oneConjecture (Jukebox/Toolbox.hs:115)
toFofIO (Jukebox/Toolbox.hs:122)
schemeBox (Jukebox/Toolbox.hs:134)
monotonicityBox (Jukebox/Toolbox.hs:146)
monotonicity (Jukebox/Toolbox.hs:149)
annotateMonotonicityBox (Jukebox/Toolbox.hs:165)
prettyPrintBox (Jukebox/Toolbox.hs:170)
prettyFormIO (Jukebox/Toolbox.hs:173)
prettyClauseBox (Jukebox/Toolbox.hs:178)
prettyPrintIO (Jukebox/Toolbox.hs:185)
writeFileBox (Jukebox/Toolbox.hs:190)
guessModelBox (Jukebox/Toolbox.hs:200)
guessModelIO (Jukebox/Toolbox.hs:214)
allObligsBox (Jukebox/Toolbox.hs:217)
allObligsIO (Jukebox/Toolbox.hs:220)
inferBox (Jukebox/Toolbox.hs:238)
printInferredBox (Jukebox/Toolbox.hs:244)
equinoxBox (Jukebox/Toolbox.hs:250)
Warning: Jukebox.TPTP.Print: could not find link destinations for:
pPrint
Documentation created: dist/doc/html/jukebox/index.html,
dist/doc/html/jukebox/jukebox.txt
Preprocessing executable 'jukebox' for jukebox-0.1.5...
Creating package registration file:
/tmp/pkgConf-jukebox-0.11360478499604263370.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/jukebox-0.1.5-9BNdB52ktu28X1byU9EY5U
Installing executable(s) in
/home/builder/hackage-server/build-cache/tmp-install/bin
Warning: The directory
/home/builder/hackage-server/build-cache/tmp-install/bin is not in the system
search path.
Registering jukebox-0.1.5...
Installed jukebox-0.1.5
Test log
No test log was submitted for this report.