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 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.11124734562530406424.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.667874133240854387.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.6... Configuring jukebox-0.1.6... Building jukebox-0.1.6... Preprocessing library jukebox-0.1.6... [ 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.6... Preprocessing executable 'jukebox' for jukebox-0.1.6... [ 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.6... Running hscolour for jukebox-0.1.6... Preprocessing library jukebox-0.1.6... Preprocessing executable 'jukebox' for jukebox-0.1.6... Preprocessing library jukebox-0.1.6... 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:287) printHelp (Jukebox/Options.hs:302) argError (Jukebox/Options.hs:307) usageTool (Jukebox/Options.hs:313) versionTool (Jukebox/Options.hs:324) helpTool (Jukebox/Options.hs:327) help (Jukebox/Options.hs:337) greeting (Jukebox/Options.hs:345) usage (Jukebox/Options.hs:348) justify (Jukebox/Options.hs:357) 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.6... Creating package registration file: /tmp/pkgConf-jukebox-0.136330421379065186.6 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/jukebox-0.1.6-7Pk8rr8xVliDyHJvL9ST9p 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.6... Installed jukebox-0.1.6