Resolving dependencies...
Configuring dlist-0.7.1.2...
Building dlist-0.7.1.2...
Preprocessing library dlist-0.7.1.2...
[1 of 1] Compiling Data.DList       ( Data/DList.hs, dist/build/Data/DList.o )
In-place registering dlist-0.7.1.2...
Running Haddock for dlist-0.7.1.2...
Running hscolour for dlist-0.7.1.2...
Preprocessing library dlist-0.7.1.2...
Preprocessing library dlist-0.7.1.2...
Haddock coverage:
 100% ( 20 / 20) in 'Data.DList'
Documentation created: dist/doc/html/dlist/index.html,
dist/doc/html/dlist/dlist.txt
Creating package registration file:
/tmp/pkgConf-dlist-0.7.1278722862233665123.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/dlist-0.7.1.2-AO7XAasbAeyL0XLKeq1Aui
Registering dlist-0.7.1.2...
Installed dlist-0.7.1.2
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.420539999321264095060.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/stm-2.4.4.1-EyxFXFfnfY05IrjGaqCxeD
Registering stm-2.4.4.1...
Installed stm-2.4.4.1
Configuring symbol-0.2.4...
Building symbol-0.2.4...
Preprocessing library symbol-0.2.4...
[1 of 2] Compiling Data.Symbol.Unsafe ( Data/Symbol/Unsafe.hs, dist/build/Data/Symbol/Unsafe.o )
[2 of 2] Compiling Data.Symbol      ( Data/Symbol.hs, dist/build/Data/Symbol.o )
In-place registering symbol-0.2.4...
Running Haddock for symbol-0.2.4...
Running hscolour for symbol-0.2.4...
Preprocessing library symbol-0.2.4...
Preprocessing library symbol-0.2.4...
Haddock coverage:
  75% (  3 /  4) in 'Data.Symbol.Unsafe'
  Missing documentation for:
    Symbol (Data/Symbol/Unsafe.hs:27)
  75% (  3 /  4) in 'Data.Symbol'
  Missing documentation for:
    Symbol (Data/Symbol/Unsafe.hs:27)
Documentation created: dist/doc/html/symbol/index.html,
dist/doc/html/symbol/symbol.txt
Creating package registration file:
/tmp/pkgConf-symbol-0.214505736221037127828.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/symbol-0.2.4-Cxhj7OkB0snHYytQosZfIx
Registering symbol-0.2.4...
Installed symbol-0.2.4
Configuring uglymemo-0.1.0.1...
Building uglymemo-0.1.0.1...
Preprocessing library uglymemo-0.1.0.1...
[1 of 1] Compiling Data.MemoUgly    ( Data/MemoUgly.hs, dist/build/Data/MemoUgly.o )
In-place registering uglymemo-0.1.0.1...
Running Haddock for uglymemo-0.1.0.1...
Running hscolour for uglymemo-0.1.0.1...
Preprocessing library uglymemo-0.1.0.1...
Preprocessing library uglymemo-0.1.0.1...
Haddock coverage:
  67% (  2 /  3) in 'Data.MemoUgly'
  Missing documentation for:
    Module header
Documentation created: dist/doc/html/uglymemo/index.html,
dist/doc/html/uglymemo/uglymemo.txt
Creating package registration file:
/tmp/pkgConf-uglymemo-0.1.03874516591469262009.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/uglymemo-0.1.0.1-LUtSxhDNnQYE3xBxir0PPW
Registering uglymemo-0.1.0.1...
Installed uglymemo-0.1.0.1
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.1630668850246247255.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/async-2.1.0-KuqnF1GrhHK5nNp6Zzm3jy
Registering async-2.1.0...
Installed async-2.1.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.116798954361545032460.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/minisat-0.1.2-G1wYd0us9U7DEoYXaHyuVQ
Registering minisat-0.1.2...
Installed minisat-0.1.2
Downloading jukebox-0.2.3...
Configuring jukebox-0.2.3...
Building jukebox-0.2.3...
Preprocessing library jukebox-0.2.3...
[ 1 of 25] Compiling Jukebox.Sat      ( src/Jukebox/Sat.hs, dist/build/Jukebox/Sat.o )
[ 2 of 25] Compiling Jukebox.SatMin   ( src/Jukebox/SatMin.hs, dist/build/Jukebox/SatMin.o )
[ 3 of 25] Compiling Jukebox.Sat3     ( src/Jukebox/Sat3.hs, dist/build/Jukebox/Sat3.o )
[ 4 of 25] Compiling Jukebox.SatEq    ( src/Jukebox/SatEq.hs, dist/build/Jukebox/SatEq.o )
[ 5 of 25] Compiling Jukebox.TPTP.Lexer ( dist/build/Jukebox/TPTP/Lexer.hs, dist/build/Jukebox/TPTP/Lexer.o )
[ 6 of 25] Compiling Jukebox.TPTP.Parsec ( src/Jukebox/TPTP/Parsec.hs, dist/build/Jukebox/TPTP/Parsec.o )
[ 7 of 25] Compiling Jukebox.UnionFind ( src/Jukebox/UnionFind.hs, dist/build/Jukebox/UnionFind.o )
[ 8 of 25] Compiling Jukebox.Options  ( src/Jukebox/Options.hs, dist/build/Jukebox/Options.o )
[ 9 of 25] Compiling Jukebox.TPTP.FindFile ( src/Jukebox/TPTP/FindFile.hs, dist/build/Jukebox/TPTP/FindFile.o )
[10 of 25] Compiling Jukebox.Utils    ( src/Jukebox/Utils.hs, dist/build/Jukebox/Utils.o )
[11 of 25] Compiling Jukebox.Name     ( src/Jukebox/Name.hs, dist/build/Jukebox/Name.o )
[12 of 25] Compiling Jukebox.Form     ( src/Jukebox/Form.hs, dist/build/Jukebox/Form.o )
[13 of 25] Compiling Jukebox.TPTP.Print ( src/Jukebox/TPTP/Print.hs, dist/build/Jukebox/TPTP/Print.o )
[14 of 25] Compiling Jukebox.HighSat  ( src/Jukebox/HighSat.hs, dist/build/Jukebox/HighSat.o )
[15 of 25] Compiling Jukebox.InferTypes ( src/Jukebox/InferTypes.hs, dist/build/Jukebox/InferTypes.o )
[16 of 25] Compiling Jukebox.Monotonox.Monotonicity ( src/Jukebox/Monotonox/Monotonicity.hs, dist/build/Jukebox/Monotonox/Monotonicity.o )
[17 of 25] Compiling Jukebox.TPTP.Parse.Core ( src/Jukebox/TPTP/Parse/Core.hs, dist/build/Jukebox/TPTP/Parse/Core.o )
[18 of 25] Compiling Jukebox.TPTP.ParseSnippet ( src/Jukebox/TPTP/ParseSnippet.hs, dist/build/Jukebox/TPTP/ParseSnippet.o )
[19 of 25] Compiling Jukebox.GuessModel ( src/Jukebox/GuessModel.hs, dist/build/Jukebox/GuessModel.o )
[20 of 25] Compiling Jukebox.Provers.E ( src/Jukebox/Provers/E.hs, dist/build/Jukebox/Provers/E.o )
[21 of 25] Compiling Jukebox.TPTP.Parse ( src/Jukebox/TPTP/Parse.hs, dist/build/Jukebox/TPTP/Parse.o )
[22 of 25] Compiling Jukebox.Provers.SPASS ( src/Jukebox/Provers/SPASS.hs, dist/build/Jukebox/Provers/SPASS.o )
[23 of 25] Compiling Jukebox.Clausify ( src/Jukebox/Clausify.hs, dist/build/Jukebox/Clausify.o )
[24 of 25] Compiling Jukebox.Monotonox.ToFOF ( src/Jukebox/Monotonox/ToFOF.hs, dist/build/Jukebox/Monotonox/ToFOF.o )
[25 of 25] Compiling Jukebox.Toolbox  ( src/Jukebox/Toolbox.hs, dist/build/Jukebox/Toolbox.o )
In-place registering jukebox-0.2.3...
Preprocessing executable 'jukebox' for jukebox-0.2.3...
[1 of 1] Compiling Main             ( executable/Main.hs, dist/build/jukebox/jukebox-tmp/Main.o )
Linking dist/build/jukebox/jukebox ...
Running Haddock for jukebox-0.2.3...
Running hscolour for jukebox-0.2.3...
Preprocessing library jukebox-0.2.3...
Preprocessing executable 'jukebox' for jukebox-0.2.3...
Preprocessing library jukebox-0.2.3...
Haddock coverage:
   0% (  0 / 15) in 'Jukebox.Sat'
  Missing documentation for:
    Module header
    Solver
    newSolver (src/Jukebox/Sat.hs:35)
    deleteSolver
    Lit
    neg
    false (src/Jukebox/Sat.hs:31)
    true (src/Jukebox/Sat.hs:31)
    SatSolver (src/Jukebox/Sat.hs:46)
    newLit (src/Jukebox/Sat.hs:52)
    addClause (src/Jukebox/Sat.hs:55)
    solve (src/Jukebox/Sat.hs:58)
    conflict (src/Jukebox/Sat.hs:61)
    modelValue (src/Jukebox/Sat.hs:64)
    value (src/Jukebox/Sat.hs:67)
   0% (  0 /  3) in 'Jukebox.SatMin'
  Missing documentation for:
    Module header
    solveLocalMin (src/Jukebox/SatMin.hs:5)
    localMin (src/Jukebox/SatMin.hs:14)
   0% (  0 / 11) in 'Jukebox.Sat3'
  Missing documentation for:
    Module header
    Lit3 (src/Jukebox/Sat3.hs:7)
    false3 (src/Jukebox/Sat3.hs:9)
    true3 (src/Jukebox/Sat3.hs:9)
    bottom3 (src/Jukebox/Sat3.hs:9)
    neg3 (src/Jukebox/Sat3.hs:14)
    newLit3 (src/Jukebox/Sat3.hs:17)
    newLit2 (src/Jukebox/Sat3.hs:24)
    modelValue3 (src/Jukebox/Sat3.hs:31)
    value3 (src/Jukebox/Sat3.hs:34)
    val3 (src/Jukebox/Sat3.hs:37)
   0% (  0 / 12) in 'Jukebox.SatEq'
  Missing documentation for:
    Module header
    SolverEq (src/Jukebox/SatEq.hs:11)
    newSolverEq (src/Jukebox/SatEq.hs:19)
     (src/Jukebox/SatEq.hs:31)
    EqSolver (src/Jukebox/SatEq.hs:34)
     (src/Jukebox/SatEq.hs:37)
    Elt (src/Jukebox/SatEq.hs:42)
     (src/Jukebox/SatEq.hs:45)
    newElt (src/Jukebox/SatEq.hs:48)
    equal (src/Jukebox/SatEq.hs:54)
    solveEq (src/Jukebox/SatEq.hs:71)
    modelRep (src/Jukebox/SatEq.hs:76)
   0% (  0 /  9) in 'Jukebox.TPTP.Lexer'
  Missing documentation for:
    Module header
    scan (src/Jukebox/TPTP/Lexer.x:175)
    Pos (src/Jukebox/TPTP/Lexer.x:93)
    Token (src/Jukebox/TPTP/Lexer.x:94)
    Punct (src/Jukebox/TPTP/Lexer.x:135)
    Defined (src/Jukebox/TPTP/Lexer.x:125)
    Keyword (src/Jukebox/TPTP/Lexer.x:103)
    TokenStream (src/Jukebox/TPTP/Lexer.x:172)
    Contents (src/Jukebox/TPTP/Lexer.x:173)
   0% (  0 / 30) in 'Jukebox.TPTP.Parsec'
  Missing documentation for:
    Module header
    Parsec (src/Jukebox/TPTP/Parsec.hs:11)
    Reply (src/Jukebox/TPTP/Parsec.hs:17)
    Result (src/Jukebox/TPTP/Parsec.hs:19)
    parseError (src/Jukebox/TPTP/Parsec.hs:22)
    fatalError (src/Jukebox/TPTP/Parsec.hs:26)
     (src/Jukebox/TPTP/Parsec.hs:29)
     (src/Jukebox/TPTP/Parsec.hs:33)
     (src/Jukebox/TPTP/Parsec.hs:41)
     (src/Jukebox/TPTP/Parsec.hs:48)
     (src/Jukebox/TPTP/Parsec.hs:61)
    nonempty (src/Jukebox/TPTP/Parsec.hs:77)
    skipSome (src/Jukebox/TPTP/Parsec.hs:81)
    skipMany (src/Jukebox/TPTP/Parsec.hs:85)
    <?> (src/Jukebox/TPTP/Parsec.hs:90)
    between (src/Jukebox/TPTP/Parsec.hs:95)
    sepBy1 (src/Jukebox/TPTP/Parsec.hs:99)
    run_ (src/Jukebox/TPTP/Parsec.hs:104)
    run (src/Jukebox/TPTP/Parsec.hs:109)
    expected (src/Jukebox/TPTP/Parsec.hs:118)
    Stream (src/Jukebox/TPTP/Parsec.hs:127)
    next (src/Jukebox/TPTP/Parsec.hs:133)
    cut (src/Jukebox/TPTP/Parsec.hs:138)
    cut' (src/Jukebox/TPTP/Parsec.hs:142)
    satisfy (src/Jukebox/TPTP/Parsec.hs:146)
    eof (src/Jukebox/TPTP/Parsec.hs:154)
    UserState (src/Jukebox/TPTP/Parsec.hs:160)
     (src/Jukebox/TPTP/Parsec.hs:162)
    getState (src/Jukebox/TPTP/Parsec.hs:170)
    putState (src/Jukebox/TPTP/Parsec.hs:174)
   0% (  0 / 12) in 'Jukebox.UnionFind'
  Missing documentation for:
    Module header
    UF (src/Jukebox/UnionFind.hs:10)
    Replacement (src/Jukebox/UnionFind.hs:11)
    =:= (src/Jukebox/UnionFind.hs:25)
    rep (src/Jukebox/UnionFind.hs:40)
    evalUF (src/Jukebox/UnionFind.hs:16)
    execUF (src/Jukebox/UnionFind.hs:19)
    runUF (src/Jukebox/UnionFind.hs:13)
    S (src/Jukebox/UnionFind.hs:9)
    isRep (src/Jukebox/UnionFind.hs:73)
    initial (src/Jukebox/UnionFind.hs:22)
    reps (src/Jukebox/UnionFind.hs:56)
   0% (  0 / 55) in 'Jukebox.Options'
  Missing documentation for:
    Module header
    Annotated (src/Jukebox/Options.hs:14)
     (src/Jukebox/Options.hs:18)
     (src/Jukebox/Options.hs:21)
     (src/Jukebox/Options.hs:26)
    ArgParser (src/Jukebox/Options.hs:35)
    ArgDesc (src/Jukebox/Options.hs:36)
    SeqParser (src/Jukebox/Options.hs:39)
     (src/Jukebox/Options.hs:43)
     (src/Jukebox/Options.hs:46)
    arg (src/Jukebox/Options.hs:51)
    argNum (src/Jukebox/Options.hs:60)
    argFile (src/Jukebox/Options.hs:67)
    argFiles (src/Jukebox/Options.hs:70)
    argName (src/Jukebox/Options.hs:80)
    argNums (src/Jukebox/Options.hs:83)
    argOption (src/Jukebox/Options.hs:92)
    argList (src/Jukebox/Options.hs:98)
    argUsage (src/Jukebox/Options.hs:111)
    OptionParser (src/Jukebox/Options.hs:117)
    ParParser (src/Jukebox/Options.hs:123)
    ParseResult (src/Jukebox/Options.hs:127)
    Error (src/Jukebox/Options.hs:135)
     (src/Jukebox/Options.hs:139)
     (src/Jukebox/Options.hs:142)
     (src/Jukebox/Options.hs:147)
     (src/Jukebox/Options.hs:150)
    runPar (src/Jukebox/Options.hs:161)
    awaitP (src/Jukebox/Options.hs:169)
    await (src/Jukebox/Options.hs:179)
    Flag (src/Jukebox/Options.hs:182)
    flag (src/Jukebox/Options.hs:189)
    manyFlags (src/Jukebox/Options.hs:203)
    filenames (src/Jukebox/Options.hs:215)
    io (src/Jukebox/Options.hs:222)
    bool (src/Jukebox/Options.hs:227)
    inGroup (src/Jukebox/Options.hs:230)
    ToolParser (src/Jukebox/Options.hs:236)
    Tool (src/Jukebox/Options.hs:237)
    PrefixParser (src/Jukebox/Options.hs:243)
     (src/Jukebox/Options.hs:245)
     (src/Jukebox/Options.hs:248)
    runPref (src/Jukebox/Options.hs:253)
    tool (src/Jukebox/Options.hs:264)
    getEffectiveArgs (src/Jukebox/Options.hs:274)
    parseCommandLine (src/Jukebox/Options.hs:285)
    printHelp (src/Jukebox/Options.hs:300)
    argError (src/Jukebox/Options.hs:305)
    usageTool (src/Jukebox/Options.hs:311)
    versionTool (src/Jukebox/Options.hs:322)
    helpTool (src/Jukebox/Options.hs:325)
    help (src/Jukebox/Options.hs:335)
    greeting (src/Jukebox/Options.hs:343)
    usage (src/Jukebox/Options.hs:346)
    justify (src/Jukebox/Options.hs:355)
   0% (  0 /  5) in 'Jukebox.TPTP.FindFile'
  Missing documentation for:
    Module header
    findFile (src/Jukebox/TPTP/FindFile.hs:10)
    findFileTPTP (src/Jukebox/TPTP/FindFile.hs:18)
    getTPTPDirs (src/Jukebox/TPTP/FindFile.hs:24)
    findFileFlags (src/Jukebox/TPTP/FindFile.hs:29)
   0% (  0 /  4) in 'Jukebox.Utils'
  Missing documentation for:
    Module header
    usort (src/Jukebox/Utils.hs:10)
    merge (src/Jukebox/Utils.hs:14)
    popen (src/Jukebox/Utils.hs:23)
   0% (  0 / 24) in 'Jukebox.Name'
  Missing documentation for:
    Module header
    Name (src/Jukebox/Name.hs:11)
    Renamer (src/Jukebox/Name.hs:15)
    Renaming (src/Jukebox/Name.hs:16)
    base (src/Jukebox/Name.hs:18)
    renamer (src/Jukebox/Name.hs:24)
    defaultRenamer (src/Jukebox/Name.hs:30)
    withRenamer (src/Jukebox/Name.hs:38)
     (src/Jukebox/Name.hs:42)
     (src/Jukebox/Name.hs:45)
    compareName (src/Jukebox/Name.hs:48)
     (src/Jukebox/Name.hs:52)
    Named (src/Jukebox/Name.hs:58)
     (src/Jukebox/Name.hs:61)
     (src/Jukebox/Name.hs:64)
    ::: (src/Jukebox/Name.hs:67)
    lhs (src/Jukebox/Name.hs:69)
    rhs (src/Jukebox/Name.hs:72)
     (src/Jukebox/Name.hs:75)
     (src/Jukebox/Name.hs:76)
     (src/Jukebox/Name.hs:78)
    NameM (src/Jukebox/Name.hs:81)
    runNameM (src/Jukebox/Name.hs:85)
    newName (src/Jukebox/Name.hs:89)
   0% (  0 /116) in 'Jukebox.Form'
  Missing documentation for:
    Module header
    debugging (src/Jukebox/Form.hs:27)
    DomainSize (src/Jukebox/Form.hs:33)
    Type (src/Jukebox/Form.hs:35)
    FunType (src/Jukebox/Form.hs:44)
    typeMaybeName (src/Jukebox/Form.hs:47)
     (src/Jukebox/Form.hs:51)
     (src/Jukebox/Form.hs:54)
     (src/Jukebox/Form.hs:57)
    Typed (src/Jukebox/Form.hs:62)
     (src/Jukebox/Form.hs:65)
     (src/Jukebox/Form.hs:68)
     (src/Jukebox/Form.hs:71)
    Variable (src/Jukebox/Form.hs:77)
    Function (src/Jukebox/Form.hs:78)
    Term (src/Jukebox/Form.hs:79)
     (src/Jukebox/Form.hs:81)
     (src/Jukebox/Form.hs:85)
    newSymbol (src/Jukebox/Form.hs:89)
    newFunction (src/Jukebox/Form.hs:92)
    newType (src/Jukebox/Form.hs:95)
    funArgs (src/Jukebox/Form.hs:100)
    arity (src/Jukebox/Form.hs:103)
    size (src/Jukebox/Form.hs:106)
    Atomic (src/Jukebox/Form.hs:114)
    normAtomic (src/Jukebox/Form.hs:117)
     (src/Jukebox/Form.hs:122)
     (src/Jukebox/Form.hs:125)
    Signed (src/Jukebox/Form.hs:128)
     (src/Jukebox/Form.hs:130)
    Literal (src/Jukebox/Form.hs:133)
    neg (src/Jukebox/Form.hs:135)
    the (src/Jukebox/Form.hs:139)
    pos (src/Jukebox/Form.hs:143)
    signForm (src/Jukebox/Form.hs:147)
    Form (src/Jukebox/Form.hs:159)
    Connective (src/Jukebox/Form.hs:172)
    connective (src/Jukebox/Form.hs:174)
    Bind (src/Jukebox/Form.hs:181)
    true (src/Jukebox/Form.hs:183)
    false (src/Jukebox/Form.hs:183)
    isTrue (src/Jukebox/Form.hs:187)
    isFalse (src/Jukebox/Form.hs:187)
    nt (src/Jukebox/Form.hs:193)
    .=>. (src/Jukebox/Form.hs:197)
    .=. (src/Jukebox/Form.hs:200)
    /\ (src/Jukebox/Form.hs:204)
    \/ (src/Jukebox/Form.hs:204)
    closeForm (src/Jukebox/Form.hs:217)
    positive (src/Jukebox/Form.hs:223)
    notInwards (src/Jukebox/Form.hs:229)
    simple (src/Jukebox/Form.hs:240)
    simplify (src/Jukebox/Form.hs:247)
    CNF (src/Jukebox/Form.hs:270)
    toCNF (src/Jukebox/Form.hs:277)
    Clause (src/Jukebox/Form.hs:282)
    clause (src/Jukebox/Form.hs:284)
    toForm (src/Jukebox/Form.hs:287)
    toLiterals (src/Jukebox/Form.hs:290)
    Tag (src/Jukebox/Form.hs:296)
    Kind (src/Jukebox/Form.hs:298)
    Answer (src/Jukebox/Form.hs:300)
     (src/Jukebox/Form.hs:303)
    NoAnswerReason (src/Jukebox/Form.hs:308)
    Input (src/Jukebox/Form.hs:310)
    Problem (src/Jukebox/Form.hs:315)
     (src/Jukebox/Form.hs:317)
    TypeOf (src/Jukebox/Form.hs:324)
    Symbolic (src/Jukebox/Form.hs:335)
     (src/Jukebox/Form.hs:338)
     (src/Jukebox/Form.hs:339)
     (src/Jukebox/Form.hs:340)
     (src/Jukebox/Form.hs:341)
     (src/Jukebox/Form.hs:342)
     (src/Jukebox/Form.hs:343)
     (src/Jukebox/Form.hs:344)
     (src/Jukebox/Form.hs:345)
     (src/Jukebox/Form.hs:346)
    Rep (src/Jukebox/Form.hs:349)
    rep (src/Jukebox/Form.hs:357)
    Unpack (src/Jukebox/Form.hs:371)
     (src/Jukebox/Form.hs:374)
     (src/Jukebox/Form.hs:384)
     (src/Jukebox/Form.hs:387)
     (src/Jukebox/Form.hs:391)
     (src/Jukebox/Form.hs:395)
     (src/Jukebox/Form.hs:399)
     (src/Jukebox/Form.hs:402)
     (src/Jukebox/Form.hs:406)
     (src/Jukebox/Form.hs:409)
    recursively (src/Jukebox/Form.hs:416)
    recursivelyM (src/Jukebox/Form.hs:424)
    collect (src/Jukebox/Form.hs:432)
    Subst (src/Jukebox/Form.hs:442)
    ids (src/Jukebox/Form.hs:444)
    |=> (src/Jukebox/Form.hs:447)
    |+| (src/Jukebox/Form.hs:450)
    subst (src/Jukebox/Form.hs:453)
    free (src/Jukebox/Form.hs:474)
    ground (src/Jukebox/Form.hs:487)
    bind (src/Jukebox/Form.hs:490)
    termsAndBinders (src/Jukebox/Form.hs:494)
    names (src/Jukebox/Form.hs:508)
    run (src/Jukebox/Form.hs:515)
    types (src/Jukebox/Form.hs:518)
    types' (src/Jukebox/Form.hs:525)
    terms (src/Jukebox/Form.hs:528)
    vars (src/Jukebox/Form.hs:532)
    functions (src/Jukebox/Form.hs:540)
    isFof (src/Jukebox/Form.hs:545)
    uniqueNames (src/Jukebox/Form.hs:548)
    force (src/Jukebox/Form.hs:583)
    check (src/Jukebox/Form.hs:593)
    checkBinder (src/Jukebox/Form.hs:617)
    mapName (src/Jukebox/Form.hs:623)
    mapType (src/Jukebox/Form.hs:650)
  17% (  1 /  6) in 'Jukebox.TPTP.Print'
  Missing documentation for:
    Module header
    showClauses (src/Jukebox/TPTP/Print.hs:27)
    pPrintClauses (src/Jukebox/TPTP/Print.hs:20)
    showProblem (src/Jukebox/TPTP/Print.hs:37)
    pPrintProblem (src/Jukebox/TPTP/Print.hs:30)
   0% (  0 / 20) in 'Jukebox.HighSat'
  Missing documentation for:
    Module header
    Sat1 (src/Jukebox/HighSat.hs:16)
    Sat (src/Jukebox/HighSat.hs:17)
    SatState (src/Jukebox/HighSat.hs:18)
    Watch (src/Jukebox/HighSat.hs:19)
    Form (src/Jukebox/HighSat.hs:21)
    nt (src/Jukebox/HighSat.hs:26)
    true (src/Jukebox/HighSat.hs:31)
    false (src/Jukebox/HighSat.hs:31)
    unique (src/Jukebox/HighSat.hs:35)
    runSat (src/Jukebox/HighSat.hs:42)
    runSat1 (src/Jukebox/HighSat.hs:48)
    atIndex (src/Jukebox/HighSat.hs:51)
    solve (src/Jukebox/HighSat.hs:59)
    model (src/Jukebox/HighSat.hs:65)
    modelValue (src/Jukebox/HighSat.hs:72)
    addForm (src/Jukebox/HighSat.hs:79)
    flatten (src/Jukebox/HighSat.hs:86)
    lit (src/Jukebox/HighSat.hs:91)
    var (src/Jukebox/HighSat.hs:95)
   0% (  0 /  5) in 'Jukebox.InferTypes'
  Missing documentation for:
    Module header
    Function' (src/Jukebox/InferTypes.hs:14)
    inferTypes (src/Jukebox/InferTypes.hs:16)
    solve (src/Jukebox/InferTypes.hs:42)
    generate (src/Jukebox/InferTypes.hs:75)
   0% (  0 / 11) in 'Jukebox.Monotonox.Monotonicity'
  Missing documentation for:
    Module header
    Extension (src/Jukebox/Monotonox/Monotonicity.hs:12)
    Var (src/Jukebox/Monotonox/Monotonicity.hs:14)
    annotateMonotonicity (src/Jukebox/Monotonox/Monotonicity.hs:16)
    monotone (src/Jukebox/Monotonox/Monotonicity.hs:26)
    fromModel (src/Jukebox/Monotonox/Monotonicity.hs:43)
    extension (src/Jukebox/Monotonox/Monotonicity.hs:46)
    clause (src/Jukebox/Monotonox/Monotonicity.hs:53)
    literal (src/Jukebox/Monotonox/Monotonicity.hs:56)
    safe (src/Jukebox/Monotonox/Monotonicity.hs:66)
    guards (src/Jukebox/Monotonox/Monotonicity.hs:70)
   0% (  0 / 67) in 'Jukebox.TPTP.Parse.Core'
  Missing documentation for:
    Module header
    ParseState (src/Jukebox/TPTP/Parse/Core.hs:30)
    Parser (src/Jukebox/TPTP/Parse/Core.hs:36)
    ParsecState (src/Jukebox/TPTP/Parse/Core.hs:37)
    IncludeStatement (src/Jukebox/TPTP/Parse/Core.hs:40)
    initialState (src/Jukebox/TPTP/Parse/Core.hs:43)
    initialStateFrom (src/Jukebox/TPTP/Parse/Core.hs:46)
     (src/Jukebox/TPTP/Parse/Core.hs:51)
    ParseResult (src/Jukebox/TPTP/Parse/Core.hs:59)
     (src/Jukebox/TPTP/Parse/Core.hs:65)
     (src/Jukebox/TPTP/Parse/Core.hs:69)
    Location (src/Jukebox/TPTP/Parse/Core.hs:76)
     (src/Jukebox/TPTP/Parse/Core.hs:77)
    makeLocation (src/Jukebox/TPTP/Parse/Core.hs:81)
    parseProblem (src/Jukebox/TPTP/Parse/Core.hs:85)
    parseProblemFrom (src/Jukebox/TPTP/Parse/Core.hs:88)
    testParser (src/Jukebox/TPTP/Parse/Core.hs:127)
    keyword' (src/Jukebox/TPTP/Parse/Core.hs:133)
    keyword (src/Jukebox/TPTP/Parse/Core.hs:137)
    punct' (src/Jukebox/TPTP/Parse/Core.hs:139)
    punct (src/Jukebox/TPTP/Parse/Core.hs:143)
    defined' (src/Jukebox/TPTP/Parse/Core.hs:145)
    defined (src/Jukebox/TPTP/Parse/Core.hs:149)
    variable (src/Jukebox/TPTP/Parse/Core.hs:151)
    number (src/Jukebox/TPTP/Parse/Core.hs:155)
    atom (src/Jukebox/TPTP/Parse/Core.hs:159)
    parens (src/Jukebox/TPTP/Parse/Core.hs:163)
    bracks (src/Jukebox/TPTP/Parse/Core.hs:163)
    binExpr (src/Jukebox/TPTP/Parse/Core.hs:171)
    section (src/Jukebox/TPTP/Parse/Core.hs:179)
    input (src/Jukebox/TPTP/Parse/Core.hs:183)
    kind (src/Jukebox/TPTP/Parse/Core.hs:210)
    tag (src/Jukebox/TPTP/Parse/Core.hs:224)
    include (src/Jukebox/TPTP/Parse/Core.hs:228)
    newFormula (src/Jukebox/TPTP/Parse/Core.hs:241)
    newFunction (src/Jukebox/TPTP/Parse/Core.hs:246)
    applyFunction (src/Jukebox/TPTP/Parse/Core.hs:256)
    typeError (src/Jukebox/TPTP/Parse/Core.hs:263)
    lookupType (src/Jukebox/TPTP/Parse/Core.hs:278)
    lookupFunction (src/Jukebox/TPTP/Parse/Core.hs:289)
    individual (src/Jukebox/TPTP/Parse/Core.hs:300)
    cnf (src/Jukebox/TPTP/Parse/Core.hs:305)
    tff (src/Jukebox/TPTP/Parse/Core.hs:305)
    fof (src/Jukebox/TPTP/Parse/Core.hs:305)
    Thing (src/Jukebox/TPTP/Parse/Core.hs:323)
     (src/Jukebox/TPTP/Parse/Core.hs:327)
    TermLike (src/Jukebox/TPTP/Parse/Core.hs:350)
    Mode (src/Jukebox/TPTP/Parse/Core.hs:358)
     (src/Jukebox/TPTP/Parse/Core.hs:360)
     (src/Jukebox/TPTP/Parse/Core.hs:369)
     (src/Jukebox/TPTP/Parse/Core.hs:392)
    FormulaLike (src/Jukebox/TPTP/Parse/Core.hs:399)
     (src/Jukebox/TPTP/Parse/Core.hs:402)
     (src/Jukebox/TPTP/Parse/Core.hs:403)
    term (src/Jukebox/TPTP/Parse/Core.hs:407)
    literal (src/Jukebox/TPTP/Parse/Core.hs:415)
    unitary (src/Jukebox/TPTP/Parse/Core.hs:415)
    quantified (src/Jukebox/TPTP/Parse/Core.hs:415)
    formula (src/Jukebox/TPTP/Parse/Core.hs:415)
    binder (src/Jukebox/TPTP/Parse/Core.hs:475)
    type_ (src/Jukebox/TPTP/Parse/Core.hs:491)
    Type_ (src/Jukebox/TPTP/Parse/Core.hs:497)
    prod (src/Jukebox/TPTP/Parse/Core.hs:499)
    arrow (src/Jukebox/TPTP/Parse/Core.hs:503)
    leaf (src/Jukebox/TPTP/Parse/Core.hs:507)
    compoundType (src/Jukebox/TPTP/Parse/Core.hs:513)
    typeDeclaration (src/Jukebox/TPTP/Parse/Core.hs:517)
   0% (  0 /  4) in 'Jukebox.TPTP.ParseSnippet'
  Missing documentation for:
    Module header
    tff (src/Jukebox/TPTP/ParseSnippet.hs:13)
    cnf (src/Jukebox/TPTP/ParseSnippet.hs:13)
    form (src/Jukebox/TPTP/ParseSnippet.hs:17)
   0% (  0 / 11) in 'Jukebox.GuessModel'
  Missing documentation for:
    Module header
    Universe (src/Jukebox/GuessModel.hs:11)
    universe (src/Jukebox/GuessModel.hs:13)
    peano (src/Jukebox/GuessModel.hs:17)
    trees (src/Jukebox/GuessModel.hs:33)
    guessModel (src/Jukebox/GuessModel.hs:52)
    ind (src/Jukebox/GuessModel.hs:64)
    function (src/Jukebox/GuessModel.hs:71)
    rhss (src/Jukebox/GuessModel.hs:87)
    cases (src/Jukebox/GuessModel.hs:108)
    cases1 (src/Jukebox/GuessModel.hs:115)
   0% (  0 /  6) in 'Jukebox.Provers.E'
  Missing documentation for:
    Module header
    EFlags (src/Jukebox/Provers/E.hs:18)
    eflags (src/Jukebox/Provers/E.hs:24)
    mangleAnswer (src/Jukebox/Provers/E.hs:44)
    runE (src/Jukebox/Provers/E.hs:54)
    extractAnswer (src/Jukebox/Provers/E.hs:66)
   0% (  0 /  4) in 'Jukebox.TPTP.Parse'
  Missing documentation for:
    Module header
    parseString (src/Jukebox/TPTP/Parse.hs:13)
    parseProblem (src/Jukebox/TPTP/Parse.hs:23)
    parseProblemWith (src/Jukebox/TPTP/Parse.hs:26)
   0% (  0 /  5) in 'Jukebox.Provers.SPASS'
  Missing documentation for:
    Module header
    SPASSFlags (src/Jukebox/Provers/SPASS.hs:9)
    spassFlags (src/Jukebox/Provers/SPASS.hs:15)
    runSPASS (src/Jukebox/Provers/SPASS.hs:34)
    extractAnswer (src/Jukebox/Provers/SPASS.hs:46)
   0% (  0 / 30) in 'Jukebox.Clausify'
  Missing documentation for:
    Module header
    ClausifyFlags (src/Jukebox/Clausify.hs:17)
    clausifyFlags (src/Jukebox/Clausify.hs:19)
    clausify (src/Jukebox/Clausify.hs:29)
    split (src/Jukebox/Clausify.hs:53)
    clausForm (src/Jukebox/Clausify.hs:100)
    miniscope (src/Jukebox/Clausify.hs:118)
    forAll (src/Jukebox/Clausify.hs:127)
    forAllOr (src/Jukebox/Clausify.hs:145)
    removeEquiv (src/Jukebox/Clausify.hs:165)
    removeEquivAux (src/Jukebox/Clausify.hs:179)
    makeCopyable (src/Jukebox/Clausify.hs:220)
    removeExists (src/Jukebox/Clausify.hs:247)
    removeExpensiveOr (src/Jukebox/Clausify.hs:284)
    Cost (src/Jukebox/Clausify.hs:290)
    unitCost (src/Jukebox/Clausify.hs:292)
    andCost (src/Jukebox/Clausify.hs:295)
    orCost (src/Jukebox/Clausify.hs:298)
    removeExpensiveOrAux (src/Jukebox/Clausify.hs:305)
    makeOr (src/Jukebox/Clausify.hs:325)
    cnf (src/Jukebox/Clausify.hs:358)
    cross (src/Jukebox/Clausify.hs:364)
    simplifyCNF (src/Jukebox/Clausify.hs:371)
    M (src/Jukebox/Clausify.hs:396)
    run (src/Jukebox/Clausify.hs:398)
    skolemName (src/Jukebox/Clausify.hs:401)
    withName (src/Jukebox/Clausify.hs:409)
    getName (src/Jukebox/Clausify.hs:412)
    skolem (src/Jukebox/Clausify.hs:415)
    literal (src/Jukebox/Clausify.hs:423)
   0% (  0 / 16) in 'Jukebox.Monotonox.ToFOF'
  Missing documentation for:
    Module header
    Scheme (src/Jukebox/Monotonox/ToFOF.hs:14)
    Scheme1 (src/Jukebox/Monotonox/ToFOF.hs:19)
    guard (src/Jukebox/Monotonox/ToFOF.hs:27)
    translate (src/Jukebox/Monotonox/ToFOF.hs:48)
    translate1 (src/Jukebox/Monotonox/ToFOF.hs:48)
    tagsFlags (src/Jukebox/Monotonox/ToFOF.hs:85)
    tags (src/Jukebox/Monotonox/ToFOF.hs:92)
    tags1 (src/Jukebox/Monotonox/ToFOF.hs:98)
    tagsAxiom (src/Jukebox/Monotonox/ToFOF.hs:114)
    tagsExists (src/Jukebox/Monotonox/ToFOF.hs:131)
    guards (src/Jukebox/Monotonox/ToFOF.hs:140)
    guards1 (src/Jukebox/Monotonox/ToFOF.hs:146)
    naked (src/Jukebox/Monotonox/ToFOF.hs:164)
    guardsAxiom (src/Jukebox/Monotonox/ToFOF.hs:179)
    guardsTypeAxiom (src/Jukebox/Monotonox/ToFOF.hs:187)
   0% (  0 / 31) in 'Jukebox.Toolbox'
  Missing documentation for:
    Module header
    GlobalFlags (src/Jukebox/Toolbox.hs:20)
    globalFlags (src/Jukebox/Toolbox.hs:25)
    =>>= (src/Jukebox/Toolbox.hs:33)
    =>> (src/Jukebox/Toolbox.hs:37)
    greetingBox (src/Jukebox/Toolbox.hs:41)
    greetingBoxIO (src/Jukebox/Toolbox.hs:44)
    allFilesBox (src/Jukebox/Toolbox.hs:48)
    allFiles (src/Jukebox/Toolbox.hs:51)
    parseProblemBox (src/Jukebox/Toolbox.hs:57)
    parseProblemIO (src/Jukebox/Toolbox.hs:60)
    clausifyBox (src/Jukebox/Toolbox.hs:69)
    clausifyIO (src/Jukebox/Toolbox.hs:72)
    toFofBox (src/Jukebox/Toolbox.hs:77)
    oneConjectureBox (src/Jukebox/Toolbox.hs:80)
    oneConjecture (src/Jukebox/Toolbox.hs:83)
    toFofIO (src/Jukebox/Toolbox.hs:90)
    schemeBox (src/Jukebox/Toolbox.hs:104)
    monotonicityBox (src/Jukebox/Toolbox.hs:116)
    monotonicity (src/Jukebox/Toolbox.hs:119)
    annotateMonotonicityBox (src/Jukebox/Toolbox.hs:135)
    prettyPrintProblemBox (src/Jukebox/Toolbox.hs:140)
    prettyPrintClausesBox (src/Jukebox/Toolbox.hs:143)
    prettyPrintIO (src/Jukebox/Toolbox.hs:146)
    writeFileBox (src/Jukebox/Toolbox.hs:151)
    guessModelBox (src/Jukebox/Toolbox.hs:161)
    guessModelIO (src/Jukebox/Toolbox.hs:175)
    allObligsBox (src/Jukebox/Toolbox.hs:178)
    allObligsIO (src/Jukebox/Toolbox.hs:181)
    inferBox (src/Jukebox/Toolbox.hs:195)
    printInferredBox (src/Jukebox/Toolbox.hs:200)
Documentation created: dist/doc/html/jukebox/index.html,
dist/doc/html/jukebox/jukebox.txt
Preprocessing executable 'jukebox' for jukebox-0.2.3...
Creating package registration file:
/tmp/pkgConf-jukebox-0.218660000811175526309.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/jukebox-0.2.3-LN4s9JxkS8L6YiMrXgnTYR
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.2.3...
Installed jukebox-0.2.3