Resolving dependencies...
cabal: Entering directory '/tmp/cabal-tmp-32580/dlist-0.8.0.2'
Configuring dlist-0.8.0.2...
Building dlist-0.8.0.2...
Preprocessing library dlist-0.8.0.2...
[1 of 1] Compiling Data.DList       ( Data/DList.hs, dist/build/Data/DList.o )
Running Haddock for dlist-0.8.0.2...
Running hscolour for dlist-0.8.0.2...
Preprocessing library dlist-0.8.0.2...
Preprocessing library dlist-0.8.0.2...
Haddock coverage:
 100% ( 20 / 20) in 'Data.DList'
Warning: Data.DList: could not find link destinations for:
    ~
Documentation created: dist/doc/html/dlist/index.html,
dist/doc/html/dlist/dlist.txt
Creating package registration file:
/tmp/pkgConf-dlist-0.8.02145174067468703135.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/dlist-0.8.0.2-GWAMmbX9rLg3tqrbOizHGv
Registering dlist-0.8.0.2...
cabal: Leaving directory '/tmp/cabal-tmp-32580/dlist-0.8.0.2'
Installed dlist-0.8.0.2
cabal: Entering directory '/tmp/cabal-tmp-32580/stm-2.4.4.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 )
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)
Warning: Control.Concurrent.STM.TArray: could not find link destinations for:
    getNumElements unsafeNewArray_ unsafeRead unsafeWrite
Warning: Control.Monad.STM: could not find link destinations for:
    getNumElements unsafeNewArray_ unsafeRead unsafeWrite
Documentation created: dist/doc/html/stm/index.html, dist/doc/html/stm/stm.txt
Creating package registration file:
/tmp/pkgConf-stm-2.4.49439477391984210012.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/stm-2.4.4.1-4z2NRWnB0NIIUvSJsHW0kF
Registering stm-2.4.4.1...
cabal: Leaving directory '/tmp/cabal-tmp-32580/stm-2.4.4.1'
Installed stm-2.4.4.1
cabal: Entering directory '/tmp/cabal-tmp-32580/symbol-0.2.4'
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 )
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.2133535434087755422.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/symbol-0.2.4-HOY6KLBnogKKx9ESlY1iCm
Registering symbol-0.2.4...
cabal: Leaving directory '/tmp/cabal-tmp-32580/symbol-0.2.4'
Installed symbol-0.2.4
cabal: Entering directory '/tmp/cabal-tmp-32580/uglymemo-0.1.0.1'
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 )
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.0382697713476667372.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/uglymemo-0.1.0.1-Fhy5ZU9C8VyL6lJU9gzwTv
Registering uglymemo-0.1.0.1...
cabal: Leaving directory '/tmp/cabal-tmp-32580/uglymemo-0.1.0.1'
Installed uglymemo-0.1.0.1
cabal: Entering directory '/tmp/cabal-tmp-32580/async-2.1.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 )
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.11857962504201690613.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/async-2.1.0-J6Pl8k3L4PKGEpjYdgwiIf
Registering async-2.1.0...
cabal: Leaving directory '/tmp/cabal-tmp-32580/async-2.1.0'
Installed async-2.1.0
cabal: Entering directory '/tmp/cabal-tmp-32580/minisat-0.1.2'
Configuring minisat-0.1.2...
Building minisat-0.1.2...
Preprocessing library minisat-0.1.2...
[1 of 1] Compiling MiniSat          ( dist/build/MiniSat.hs, dist/build/MiniSat.o )
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.1816504794820697697.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/minisat-0.1.2-8ClStztrIv94purKvLDw2K
Registering minisat-0.1.2...
cabal: Leaving directory '/tmp/cabal-tmp-32580/minisat-0.1.2'
Installed minisat-0.1.2
Downloading jukebox-0.2.9...
cabal: Entering directory '/tmp/cabal-tmp-32580/jukebox-0.2.9'
Configuring jukebox-0.2.9...
Building jukebox-0.2.9...
Preprocessing library jukebox-0.2.9...
[ 1 of 26] Compiling Jukebox.Sat      ( src/Jukebox/Sat.hs, dist/build/Jukebox/Sat.o )
[ 2 of 26] Compiling Jukebox.SatMin   ( src/Jukebox/SatMin.hs, dist/build/Jukebox/SatMin.o )
[ 3 of 26] Compiling Jukebox.Sat3     ( src/Jukebox/Sat3.hs, dist/build/Jukebox/Sat3.o )
[ 4 of 26] Compiling Jukebox.SatEq    ( src/Jukebox/SatEq.hs, dist/build/Jukebox/SatEq.o )
[ 5 of 26] Compiling Jukebox.TPTP.Lexer ( dist/build/Jukebox/TPTP/Lexer.hs, dist/build/Jukebox/TPTP/Lexer.o )
[ 6 of 26] Compiling Jukebox.TPTP.Parsec ( src/Jukebox/TPTP/Parsec.hs, dist/build/Jukebox/TPTP/Parsec.o )
[ 7 of 26] Compiling Jukebox.UnionFind ( src/Jukebox/UnionFind.hs, dist/build/Jukebox/UnionFind.o )
[ 8 of 26] Compiling Jukebox.Options  ( src/Jukebox/Options.hs, dist/build/Jukebox/Options.o )
[ 9 of 26] Compiling Jukebox.TPTP.FindFile ( src/Jukebox/TPTP/FindFile.hs, dist/build/Jukebox/TPTP/FindFile.o )
[10 of 26] Compiling Jukebox.Utils    ( src/Jukebox/Utils.hs, dist/build/Jukebox/Utils.o )
[11 of 26] Compiling Jukebox.Name     ( src/Jukebox/Name.hs, dist/build/Jukebox/Name.o )
[12 of 26] Compiling Jukebox.Form     ( src/Jukebox/Form.hs, dist/build/Jukebox/Form.o )
[13 of 26] Compiling Jukebox.TPTP.Print ( src/Jukebox/TPTP/Print.hs, dist/build/Jukebox/TPTP/Print.o )

src/Jukebox/TPTP/Print.hs:42:5: warning: [-Wunused-local-binds]
    Defined but not used: ‘p’

src/Jukebox/TPTP/Print.hs:45:5: warning: [-Wunused-local-binds]
    Defined but not used: ‘i’
[14 of 26] Compiling Jukebox.HighSat  ( src/Jukebox/HighSat.hs, dist/build/Jukebox/HighSat.o )
[15 of 26] Compiling Jukebox.InferTypes ( src/Jukebox/InferTypes.hs, dist/build/Jukebox/InferTypes.o )
[16 of 26] Compiling Jukebox.Monotonox.Monotonicity ( src/Jukebox/Monotonox/Monotonicity.hs, dist/build/Jukebox/Monotonox/Monotonicity.o )
[17 of 26] Compiling Jukebox.TPTP.Parse.Core ( src/Jukebox/TPTP/Parse/Core.hs, dist/build/Jukebox/TPTP/Parse/Core.o )
[18 of 26] Compiling Jukebox.TPTP.ParseSnippet ( src/Jukebox/TPTP/ParseSnippet.hs, dist/build/Jukebox/TPTP/ParseSnippet.o )
[19 of 26] Compiling Jukebox.GuessModel ( src/Jukebox/GuessModel.hs, dist/build/Jukebox/GuessModel.o )
[20 of 26] Compiling Jukebox.Provers.E ( src/Jukebox/Provers/E.hs, dist/build/Jukebox/Provers/E.o )
[21 of 26] Compiling Jukebox.TPTP.Parse ( src/Jukebox/TPTP/Parse.hs, dist/build/Jukebox/TPTP/Parse.o )
[22 of 26] Compiling Jukebox.Provers.SPASS ( src/Jukebox/Provers/SPASS.hs, dist/build/Jukebox/Provers/SPASS.o )
[23 of 26] Compiling Jukebox.SMTLIB   ( src/Jukebox/SMTLIB.hs, dist/build/Jukebox/SMTLIB.o )
[24 of 26] Compiling Jukebox.Clausify ( src/Jukebox/Clausify.hs, dist/build/Jukebox/Clausify.o )
[25 of 26] Compiling Jukebox.Monotonox.ToFOF ( src/Jukebox/Monotonox/ToFOF.hs, dist/build/Jukebox/Monotonox/ToFOF.o )

src/Jukebox/Monotonox/ToFOF.hs:82:14: warning: [-Wunused-matches]
    Defined but not used: ‘ty’
[26 of 26] Compiling Jukebox.Toolbox  ( src/Jukebox/Toolbox.hs, dist/build/Jukebox/Toolbox.o )
Preprocessing executable 'jukebox' for jukebox-0.2.9...
[1 of 1] Compiling Main             ( executable/Main.hs, dist/build/jukebox/jukebox-tmp/Main.o )
[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.9...
Running hscolour for jukebox-0.2.9...
Preprocessing library jukebox-0.2.9...
Preprocessing executable 'jukebox' for jukebox-0.2.9...
Preprocessing library jukebox-0.2.9...
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:218)
    Pos (src/Jukebox/TPTP/Lexer.x:98)
    Token (src/Jukebox/TPTP/Lexer.x:99)
    Punct (src/Jukebox/TPTP/Lexer.x:144)
    Defined (src/Jukebox/TPTP/Lexer.x:132)
    Keyword (src/Jukebox/TPTP/Lexer.x:110)
    TokenStream (src/Jukebox/TPTP/Lexer.x:215)
    Contents (src/Jukebox/TPTP/Lexer.x:216)
   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:18)
     (src/Jukebox/Options.hs:22)
     (src/Jukebox/Options.hs:25)
     (src/Jukebox/Options.hs:30)
    ArgParser (src/Jukebox/Options.hs:39)
    ArgDesc (src/Jukebox/Options.hs:40)
    SeqParser (src/Jukebox/Options.hs:43)
     (src/Jukebox/Options.hs:47)
     (src/Jukebox/Options.hs:50)
    arg (src/Jukebox/Options.hs:55)
    argNum (src/Jukebox/Options.hs:64)
    argFile (src/Jukebox/Options.hs:71)
    argFiles (src/Jukebox/Options.hs:74)
    argName (src/Jukebox/Options.hs:84)
    argNums (src/Jukebox/Options.hs:87)
    argOption (src/Jukebox/Options.hs:96)
    argList (src/Jukebox/Options.hs:102)
    argUsage (src/Jukebox/Options.hs:115)
    OptionParser (src/Jukebox/Options.hs:121)
    ParParser (src/Jukebox/Options.hs:127)
    ParseResult (src/Jukebox/Options.hs:131)
    Error (src/Jukebox/Options.hs:139)
     (src/Jukebox/Options.hs:143)
     (src/Jukebox/Options.hs:146)
     (src/Jukebox/Options.hs:151)
     (src/Jukebox/Options.hs:154)
    runPar (src/Jukebox/Options.hs:165)
    awaitP (src/Jukebox/Options.hs:173)
    await (src/Jukebox/Options.hs:183)
    Flag (src/Jukebox/Options.hs:186)
    flag (src/Jukebox/Options.hs:193)
    manyFlags (src/Jukebox/Options.hs:207)
    filenames (src/Jukebox/Options.hs:219)
    io (src/Jukebox/Options.hs:226)
    bool (src/Jukebox/Options.hs:231)
    inGroup (src/Jukebox/Options.hs:234)
    ToolParser (src/Jukebox/Options.hs:240)
    Tool (src/Jukebox/Options.hs:241)
    PrefixParser (src/Jukebox/Options.hs:247)
     (src/Jukebox/Options.hs:249)
     (src/Jukebox/Options.hs:252)
    runPref (src/Jukebox/Options.hs:257)
    tool (src/Jukebox/Options.hs:268)
    getEffectiveArgs (src/Jukebox/Options.hs:278)
    parseCommandLine (src/Jukebox/Options.hs:289)
    printHelp (src/Jukebox/Options.hs:304)
    argError (src/Jukebox/Options.hs:309)
    usageTool (src/Jukebox/Options.hs:315)
    versionTool (src/Jukebox/Options.hs:326)
    helpTool (src/Jukebox/Options.hs:329)
    help (src/Jukebox/Options.hs:339)
    greeting (src/Jukebox/Options.hs:347)
    usage (src/Jukebox/Options.hs:350)
    justify (src/Jukebox/Options.hs:359)
   0% (  0 /  5) in 'Jukebox.TPTP.FindFile'
  Missing documentation for:
    Module header
    findFile (src/Jukebox/TPTP/FindFile.hs:15)
    findFileTPTP (src/Jukebox/TPTP/FindFile.hs:23)
    getTPTPDirs (src/Jukebox/TPTP/FindFile.hs:29)
    findFileFlags (src/Jukebox/TPTP/FindFile.hs:34)
   0% (  0 /  4) in 'Jukebox.Utils'
  Missing documentation for:
    Module header
    usort (src/Jukebox/Utils.hs:13)
    merge (src/Jukebox/Utils.hs:17)
    popen (src/Jukebox/Utils.hs:26)
   0% (  0 / 26) in 'Jukebox.Name'
  Missing documentation for:
    Module header
    Name (src/Jukebox/Name.hs:15)
    FixedName (src/Jukebox/Name.hs:19)
    Renamer (src/Jukebox/Name.hs:27)
    Renaming (src/Jukebox/Name.hs:28)
    base (src/Jukebox/Name.hs:30)
     (src/Jukebox/Name.hs:36)
    renamer (src/Jukebox/Name.hs:43)
    defaultRenamer (src/Jukebox/Name.hs:49)
    withRenamer (src/Jukebox/Name.hs:57)
     (src/Jukebox/Name.hs:61)
     (src/Jukebox/Name.hs:64)
    compareName (src/Jukebox/Name.hs:67)
     (src/Jukebox/Name.hs:71)
    Named (src/Jukebox/Name.hs:77)
     (src/Jukebox/Name.hs:80)
     (src/Jukebox/Name.hs:83)
    ::: (src/Jukebox/Name.hs:86)
    lhs (src/Jukebox/Name.hs:88)
    rhs (src/Jukebox/Name.hs:91)
     (src/Jukebox/Name.hs:94)
     (src/Jukebox/Name.hs:95)
     (src/Jukebox/Name.hs:97)
    NameM (src/Jukebox/Name.hs:100)
    runNameM (src/Jukebox/Name.hs:104)
    newName (src/Jukebox/Name.hs:108)
   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/J
src/Jukebox/TPTP/Print.hs:42:5: warning: [-Wunused-local-binds]
    Defined but not used: ‘p’

src/Jukebox/TPTP/Print.hs:45:5: warning: [-Wunused-local-binds]
    Defined but not used: ‘i’
ukebox/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:476)
    ground (src/Jukebox/Form.hs:489)
    bind (src/Jukebox/Form.hs:492)
    termsAndBinders (src/Jukebox/Form.hs:496)
    names (src/Jukebox/Form.hs:510)
    run (src/Jukebox/Form.hs:517)
    types (src/Jukebox/Form.hs:520)
    types' (src/Jukebox/Form.hs:527)
    terms (src/Jukebox/Form.hs:530)
    vars (src/Jukebox/Form.hs:534)
    functions (src/Jukebox/Form.hs:542)
    isFof (src/Jukebox/Form.hs:547)
    uniqueNames (src/Jukebox/Form.hs:551)
    force (src/Jukebox/Form.hs:586)
    check (src/Jukebox/Form.hs:596)
    checkBinder (src/Jukebox/Form.hs:620)
    mapName (src/Jukebox/Form.hs:626)
    mapType (src/Jukebox/Form.hs:653)
  14% (  1 /  7) in 'Jukebox.TPTP.Print'
  Missing documentation for:
    Module header
    prettyNames (src/Jukebox/TPTP/Print.hs:205)
    showClauses (src/Jukebox/TPTP/Print.hs:26)
    pPrintClauses (src/Jukebox/TPTP/Print.hs:19)
    showProblem (src/Jukebox/TPTP/Print.hs:36)
    pPrintProblem (src/Jukebox/TPTP/Print.hs:29)
   0% (  0 / 20) in 'Jukebox.HighSat'
  Missing documentation for:
    Module header
    Sat1 (src/Jukebox/HighSat.hs:20)
    Sat (src/Jukebox/HighSat.hs:21)
    SatState (src/Jukebox/HighSat.hs:22)
    Watch (src/Jukebox/HighSat.hs:23)
    Form (src/Jukebox/HighSat.hs:25)
    nt (src/Jukebox/HighSat.hs:30)
    true (src/Jukebox/HighSat.hs:35)
    false (src/Jukebox/HighSat.hs:35)
    unique (src/Jukebox/HighSat.hs:39)
    runSat (src/Jukebox/HighSat.hs:46)
    runSat1 (src/Jukebox/HighSat.hs:52)
    atIndex (src/Jukebox/HighSat.hs:55)
    solve (src/Jukebox/HighSat.hs:63)
    model (src/Jukebox/HighSat.hs:69)
    modelValue (src/Jukebox/HighSat.hs:76)
    addForm (src/Jukebox/HighSat.hs:83)
    flatten (src/Jukebox/HighSat.hs:90)
    lit (src/Jukebox/HighSat.hs:95)
    var (src/Jukebox/HighSat.hs:99)
   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 / 73) in 'Jukebox.TPTP.Parse.Core'
  Missing documentation for:
    Module header
    ParseState (src/Jukebox/TPTP/Parse/Core.hs:33)
    Parser (src/Jukebox/TPTP/Parse/Core.hs:39)
    ParsecState (src/Jukebox/TPTP/Parse/Core.hs:40)
    IncludeStatement (src/Jukebox/TPTP/Parse/Core.hs:43)
    initialState (src/Jukebox/TPTP/Parse/Core.hs:46)
    initialStateFrom (src/Jukebox/TPTP/Parse/Core.hs:80)
     (src/Jukebox/TPTP/Parse/Core.hs:85)
    ParseResult (src/Jukebox/TPTP/Parse/Core.hs:93)
     (src/Jukebox/TPTP/Parse/Core.hs:99)
     (src/Jukebox/TPTP/Parse/Core.hs:103)
    Location (src/Jukebox/TPTP/Parse/Core.hs:110)
     (src/Jukebox/TPTP/Parse/Core.hs:111)
    makeLocation (src/Jukebox/TPTP/Parse/Core.hs:115)
    parseProblem (src/Jukebox/TPTP/Parse/Core.hs:119)
    parseProblemFrom (src/Jukebox/TPTP/Parse/Core.hs:122)
    testParser (src/Jukebox/TPTP/Parse/Core.hs:161)
    keyword' (src/Jukebox/TPTP/Parse/Core.hs:167)
    keyword (src/Jukebox/TPTP/Parse/Core.hs:171)
    punct' (src/Jukebox/TPTP/Parse/Core.hs:173)
    punct (src/Jukebox/TPTP/Parse/Core.hs:177)
    defined' (src/Jukebox/TPTP/Parse/Core.hs:179)
    defined (src/Jukebox/TPTP/Parse/Core.hs:183)
    variable (src/Jukebox/TPTP/Parse/Core.hs:185)
    number (src/Jukebox/TPTP/Parse/Core.hs:189)
    ratNumber (src/Jukebox/TPTP/Parse/Core.hs:193)
    realNumber (src/Jukebox/TPTP/Parse/Core.hs:197)
    atom (src/Jukebox/TPTP/Parse/Core.hs:201)
    parens (src/Jukebox/TPTP/Parse/Core.hs:205)
    bracks (src/Jukebox/TPTP/Parse/Core.hs:205)
    binExpr (src/Jukebox/TPTP/Parse/Core.hs:213)
    section (src/Jukebox/TPTP/Parse/Core.hs:221)
    input (src/Jukebox/TPTP/Parse/Core.hs:225)
    kind (src/Jukebox/TPTP/Parse/Core.hs:252)
    tag (src/Jukebox/TPTP/Parse/Core.hs:266)
    include (src/Jukebox/TPTP/Parse/Core.hs:270)
    newFormula (src/Jukebox/TPTP/Parse/Core.hs:283)
    newFunction (src/Jukebox/TPTP/Parse/Core.hs:288)
    showTypes (src/Jukebox/TPTP/Parse/Core.hs:298)
    applyFunction (src/Jukebox/TPTP/Parse/Core.hs:302)
    typeError (src/Jukebox/TPTP/Parse/Core.hs:310)
    lookupType (src/Jukebox/TPTP/Parse/Core.hs:326)
    lookupFunction (src/Jukebox/TPTP/Parse/Core.hs:337)
    individual (src/Jukebox/TPTP/Parse/Core.hs:348)
    cnf (src/Jukebox/TPTP/Parse/Core.hs:353)
    tff (src/Jukebox/TPTP/Parse/Core.hs:353)
    fof (src/Jukebox/TPTP/Parse/Core.hs:353)
    Thing (src/Jukebox/TPTP/Parse/Core.hs:371)
     (src/Jukebox/TPTP/Parse/Core.h
src/Jukebox/Monotonox/ToFOF.hs:82:14: warning: [-Wunused-matches]
    Defined but not used: ‘ty’
s:375)
    TermLike (src/Jukebox/TPTP/Parse/Core.hs:398)
    Mode (src/Jukebox/TPTP/Parse/Core.hs:406)
     (src/Jukebox/TPTP/Parse/Core.hs:408)
     (src/Jukebox/TPTP/Parse/Core.hs:417)
     (src/Jukebox/TPTP/Parse/Core.hs:440)
    FormulaLike (src/Jukebox/TPTP/Parse/Core.hs:447)
     (src/Jukebox/TPTP/Parse/Core.hs:450)
     (src/Jukebox/TPTP/Parse/Core.hs:451)
    term (src/Jukebox/TPTP/Parse/Core.hs:455)
    intType (src/Jukebox/TPTP/Parse/Core.hs:486)
    ratType (src/Jukebox/TPTP/Parse/Core.hs:486)
    realType (src/Jukebox/TPTP/Parse/Core.hs:486)
    literal (src/Jukebox/TPTP/Parse/Core.hs:491)
    unitary (src/Jukebox/TPTP/Parse/Core.hs:491)
    quantified (src/Jukebox/TPTP/Parse/Core.hs:491)
    formula (src/Jukebox/TPTP/Parse/Core.hs:491)
    binder (src/Jukebox/TPTP/Parse/Core.hs:554)
    type_ (src/Jukebox/TPTP/Parse/Core.hs:570)
    Type_ (src/Jukebox/TPTP/Parse/Core.hs:576)
    prod (src/Jukebox/TPTP/Parse/Core.hs:578)
    arrow (src/Jukebox/TPTP/Parse/Core.hs:582)
    leaf (src/Jukebox/TPTP/Parse/Core.hs:586)
    compoundType (src/Jukebox/TPTP/Parse/Core.hs:592)
    typeDeclaration (src/Jukebox/TPTP/Parse/Core.hs:596)
   0% (  0 /  4) in 'Jukebox.TPTP.ParseSnippet'
  Missing documentation for:
    Module header
    tff (src/Jukebox/TPTP/ParseSnippet.hs:17)
    cnf (src/Jukebox/TPTP/ParseSnippet.hs:17)
    form (src/Jukebox/TPTP/ParseSnippet.hs:21)
   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:12)
    parseProblem (src/Jukebox/TPTP/Parse.hs:22)
    parseProblemWith (src/Jukebox/TPTP/Parse.hs:25)
   0% (  0 /  5) in 'Jukebox.Provers.SPASS'
  Missing documentation for:
    Module header
    SPASSFlags (src/Jukebox/Provers/SPASS.hs:12)
    spassFlags (src/Jukebox/Provers/SPASS.hs:18)
    runSPASS (src/Jukebox/Provers/SPASS.hs:37)
    extractAnswer (src/Jukebox/Provers/SPASS.hs:49)
   0% (  0 / 16) in 'Jukebox.SMTLIB'
  Missing documentation for:
    Module header
    keywords (src/Jukebox/SMTLIB.hs:22)
    renamings (src/Jukebox/SMTLIB.hs:92)
    renameAvoidingKeywords (src/Jukebox/SMTLIB.hs:113)
    renameTPTP (src/Jukebox/SMTLIB.hs:122)
    showProblem (src/Jukebox/SMTLIB.hs:127)
    pPrintProblem (src/Jukebox/SMTLIB.hs:130)
    pPrintDecls (src/Jukebox/SMTLIB.hs:136)
    sexp (src/Jukebox/SMTLIB.hs:157)
    pPrintName (src/Jukebox/SMTLIB.hs:160)
    pPrintType (src/Jukebox/SMTLIB.hs:181)
    pPrintInput (src/Jukebox/SMTLIB.hs:185)
    pPrintForm (src/Jukebox/SMTLIB.hs:193)
    pPrintQuant (src/Jukebox/SMTLIB.hs:208)
    pPrintAtomic (src/Jukebox/SMTLIB.hs:216)
    pPrintTerm (src/Jukebox/SMTLIB.hs:220)
   0% (  0 / 30) in 'Jukebox.Clausify'
  Missing documentation for:
    Module header
    ClausifyFlags (src/Jukebox/Clausify.hs:20)
    clausifyFlags (src/Jukebox/Clausify.hs:22)
    clausify (src/Jukebox/Clausify.hs:32)
    split (src/Jukebox/Clausify.hs:56)
    clausForm (src/Jukebox/Clausify.hs:103)
    miniscope (src/Jukebox/Clausify.hs:121)
    forAll (src/Jukebox/Clausify.hs:130)
    forAllOr (src/Jukebox/Clausify.hs:148)
    removeEquiv (src/Jukebox/Clausify.hs:168)
    removeEquivAux (src/Jukebox/Clausify.hs:182)
    makeCopyable (src/Jukebox/Clausify.hs:223)
    removeExists (src/Jukebox/Clausify.hs:250)
    removeExpensiveOr (src/Jukebox/Clausify.hs:287)
    Cost (src/Jukebox/Clausify.hs:293)
    unitCost (src/Jukebox/Clausify.hs:295)
    andCost (src/Jukebox/Clausify.hs:298)
    orCost (src/Jukebox/Clausify.hs:301)
    removeExpensiveOrAux (src/Jukebox/Clausify.hs:308)
    makeOr (src/Jukebox/Clausify.hs:328)
    cnf (src/Jukebox/Clausify.hs:361)
    cross (src/Jukebox/Clausify.hs:367)
    simplifyCNF (src/Jukebox/Clausify.hs:374)
    M (src/Jukebox/Clausify.hs:399)
    run (src/Jukebox/Clausify.hs:401)
    skolemName (src/Jukebox/Clausify.hs:404)
    withName (src/Jukebox/Clausify.hs:412)
    getName (src/Jukebox/Clausify.hs:415)
    skolem (src/Jukebox/Clausify.hs:418)
    literal (src/Jukebox/Clausify.hs:426)
   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:87)
    tags (src/Jukebox/Monotonox/ToFOF.hs:94)
    tags1 (src/Jukebox/Monotonox/ToFOF.hs:100)
    tagsAxiom (src/Jukebox/Monotonox/ToFOF.hs:116)
    tagsExists (src/Jukebox/Monotonox/ToFOF.hs:133)
    guards (src/Jukebox/Monotonox/ToFOF.hs:142)
    guards1 (src/Jukebox/Monotonox/ToFOF.hs:148)
    naked (src/Jukebox/Monotonox/ToFOF.hs:166)
    guardsAxiom (src/Jukebox/Monotonox/ToFOF.hs:181)
    guardsTypeAxiom (src/Jukebox/Monotonox/ToFOF.hs:189)
   0% (  0 / 32) in 'Jukebox.Toolbox'
  Missing documentation for:
    Module header
    GlobalFlags (src/Jukebox/Toolbox.hs:24)
    globalFlags (src/Jukebox/Toolbox.hs:29)
    =>>= (src/Jukebox/Toolbox.hs:37)
    =>> (src/Jukebox/Toolbox.hs:41)
    greetingBox (src/Jukebox/Toolbox.hs:45)
    greetingBoxIO (src/Jukebox/Toolbox.hs:48)
    allFilesBox (src/Jukebox/Toolbox.hs:52)
    allFiles (src/Jukebox/Toolbox.hs:55)
    parseProblemBox (src/Jukebox/Toolbox.hs:61)
    parseProblemIO (src/Jukebox/Toolbox.hs:64)
    clausifyBox (src/Jukebox/Toolbox.hs:74)
    clausifyIO (src/Jukebox/Toolbox.hs:77)
    toFofBox (src/Jukebox/Toolbox.hs:82)
    oneConjectureBox (src/Jukebox/Toolbox.hs:85)
    oneConjecture (src/Jukebox/Toolbox.hs:88)
    toFofIO (src/Jukebox/Toolbox.hs:95)
    schemeBox (src/Jukebox/Toolbox.hs:109)
    monotonicityBox (src/Jukebox/Toolbox.hs:121)
    monotonicity (src/Jukebox/Toolbox.hs:124)
    annotateMonotonicityBox (src/Jukebox/Toolbox.hs:140)
    prettyPrintProblemBox (src/Jukebox/Toolbox.hs:145)
    prettyPrintProblemSMTBox (src/Jukebox/Toolbox.hs:148)
    prettyPrintClausesBox (src/Jukebox/Toolbox.hs:151)
    prettyPrintIO (src/Jukebox/Toolbox.hs:154)
    writeFileBox (src/Jukebox/Toolbox.hs:159)
    guessModelBox (src/Jukebox/Toolbox.hs:169)
    guessModelIO (src/Jukebox/Toolbox.hs:183)
    allObligsBox (src/Jukebox/Toolbox.hs:186)
    allObligsIO (src/Jukebox/Toolbox.hs:189)
    inferBox (src/Jukebox/Toolbox.hs:203)
    printInferredBox (src/Jukebox/Toolbox.hs:208)
Documentation created: dist/doc/html/jukebox/index.html,
dist/doc/html/jukebox/jukebox.txt
Preprocessing executable 'jukebox' for jukebox-0.2.9...
Creating package registration file:
/tmp/pkgConf-jukebox-0.22009726312696947386.9
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/jukebox-0.2.9-GsHwnOa2lGy65IT4PHpz9i
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.9...
cabal: Leaving directory '/tmp/cabal-tmp-32580/jukebox-0.2.9'
Installed jukebox-0.2.9