Resolving dependencies...
Configuring ansi-terminal-0.6.2.3...
Building ansi-terminal-0.6.2.3...
Preprocessing library ansi-terminal-0.6.2.3...
[1 of 3] Compiling System.Console.ANSI.Common ( System/Console/ANSI/Common.hs, dist/build/System/Console/ANSI/Common.o )
[2 of 3] Compiling System.Console.ANSI.Unix ( System/Console/ANSI/Unix.hs, dist/build/System/Console/ANSI/Unix.o )
[3 of 3] Compiling System.Console.ANSI ( System/Console/ANSI.hs, dist/build/System/Console/ANSI.o )
In-place registering ansi-terminal-0.6.2.3...
Running Haddock for ansi-terminal-0.6.2.3...
Running hscolour for ansi-terminal-0.6.2.3...
Preprocessing library ansi-terminal-0.6.2.3...
Preprocessing library ansi-terminal-0.6.2.3...
Haddock coverage:
  88% (  7 /  8) in 'System.Console.ANSI.Common'
  Missing documentation for:
    Module header
  38% ( 30 / 79) in 'System.Console.ANSI.Unix'
  Missing documentation for:
    Module header
    cursorUp (includes/Common-Include.hs:9)
    cursorDown (includes/Common-Include.hs:9)
    cursorForward (includes/Common-Include.hs:9)
    cursorBackward (includes/Common-Include.hs:9)
    hCursorUp (includes/Common-Include.hs:6)
    hCursorDown (includes/Common-Include.hs:6)
    hCursorForward (includes/Common-Include.hs:6)
    hCursorBackward (includes/Common-Include.hs:6)
    cursorUpCode (includes/Common-Include.hs:11)
    cursorDownCode (includes/Common-Include.hs:11)
    cursorForwardCode (includes/Common-Include.hs:11)
    cursorBackwardCode (includes/Common-Include.hs:11)
    cursorUpLine (includes/Common-Include.hs:23)
    cursorDownLine (includes/Common-Include.hs:23)
    hCursorUpLine (includes/Common-Include.hs:20)
    hCursorDownLine (includes/Common-Include.hs:20)
    cursorUpLineCode (includes/Common-Include.hs:25)
    cursorDownLineCode (includes/Common-Include.hs:25)
    setCursorColumn (includes/Common-Include.hs:35)
    hSetCursorColumn (includes/Common-Include.hs:32)
    setCursorColumnCode (includes/Common-Include.hs:37)
    setCursorPosition (includes/Common-Include.hs:47)
    hSetCursorPosition (includes/Common-Include.hs:43)
    setCursorPositionCode (includes/Common-Include.hs:50)
    clearFromCursorToScreenEnd (includes/Common-Include.hs:59)
    clearFromCursorToScreenBeginning (includes/Common-Include.hs:59)
    clearScreen (includes/Common-Include.hs:59)
    hClearFromCursorToScreenEnd (includes/Common-Include.hs:57)
    hClearFromCursorToScreenBeginning (includes/Common-Include.hs:57)
    hClearScreen (includes/Common-Include.hs:57)
    clearFromCursorToScreenEndCode (includes/Common-Include.hs:60)
    clearFromCursorToScreenBeginningCode (includes/Common-Include.hs:60)
    clearScreenCode (includes/Common-Include.hs:60)
    clearFromCursorToLineEnd (includes/Common-Include.hs:69)
    clearFromCursorToLineBeginning (includes/Common-Include.hs:69)
    clearLine (includes/Common-Include.hs:69)
    hClearFromCursorToLineEnd (includes/Common-Include.hs:67)
    hClearFromCursorToLineBeginning (includes/Common-Include.hs:67)
    hClearLine (includes/Common-Include.hs:67)
    clearFromCursorToLineEndCode (includes/Common-Include.hs:70)
    clearFromCursorToLineBeginningCode (includes/Common-Include.hs:70)
    clearLineCode (includes/Common-Include.hs:70)
    hideCursor (includes/Common-Include.hs:114)
    showCursor (includes/Common-Include.hs:114)
    hHideCursor (includes/Common-Include.hs:112)
    hShowCursor (includes/Common-Include.hs:112)
    hideCursorCode (includes/Common-Include.hs:115)
    showCursorCode (includes/Common-Include.hs:115)
  39% ( 31 / 79) in 'System.Console.ANSI'
  Missing documentation for:
    cursorUp (includes/Common-Include.hs:9)
    cursorDown (includes/Common-Include.hs:9)
    cursorForward (includes/Common-Include.hs:9)
    cursorBackward (includes/Common-Include.hs:9)
    hCursorUp (includes/Common-Include.hs:6)
    hCursorDown (includes/Common-Include.hs:6)
    hCursorForward (includes/Common-Include.hs:6)
    hCursorBackward (includes/Common-Include.hs:6)
    cursorUpCode (includes/Common-Include.hs:11)
    cursorDownCode (includes/Common-Include.hs:11)
    cursorForwardCode (includes/Common-Include.hs:11)
    cursorBackwardCode (includes/Common-Include.hs:11)
    cursorUpLine (includes/Common-Include.hs:23)
    cursorDownLine (includes/Common-Include.hs:23)
    hCursorUpLine (includes/Common-Include.hs:20)
    hCursorDownLine (includes/Common-Include.hs:20)
    cursorUpLineCode (includes/Common-Include.hs:25)
    cursorDownLineCode (includes/Common-Include.hs:25)
    setCursorColumn (includes/Common-Include.hs:35)
    hSetCursorColumn (includes/Common-Include.hs:32)
    setCursorColumnCode (includes/Common-Include.hs:37)
    setCursorPosition (includes/Common-Include.hs:47)
    hSetCursorPosition (includes/Common-Include.hs:43)
    setCursorPositionCode (includes/Common-Include.hs:50)
    clearFromCursorToScreenEnd (includes/Common-Include.hs:59)
    clearFromCursorToScreenBeginning (includes/Common-Include.hs:59)
    clearScreen (includes/Common-Include.hs:59)
    hClearFromCursorToScreenEnd (includes/Common-Include.hs:57)
    hClearFromCursorToScreenBeginning (includes/Common-Include.hs:57)
    hClearScreen (includes/Common-Include.hs:57)
    clearFromCursorToScreenEndCode (includes/Common-Include.hs:60)
    clearFromCursorToScreenBeginningCode (includes/Common-Include.hs:60)
    clearScreenCode (includes/Common-Include.hs:60)
    clearFromCursorToLineEnd (includes/Common-Include.hs:69)
    clearFromCursorToLineBeginning (includes/Common-Include.hs:69)
    clearLine (includes/Common-Include.hs:69)
    hClearFromCursorToLineEnd (includes/Common-Include.hs:67)
    hClearFromCursorToLineBeginning (includes/Common-Include.hs:67)
    hClearLine (includes/Common-Include.hs:67)
    clearFromCursorToLineEndCode (includes/Common-Include.hs:70)
    clearFromCursorToLineBeginningCode (includes/Common-Include.hs:70)
    clearLineCode (includes/Common-Include.hs:70)
    hideCursor (includes/Common-Include.hs:114)
    showCursor (includes/Common-Include.hs:114)
    hHideCursor (includes/Common-Include.hs:112)
    hShowCursor (includes/Common-Include.hs:112)
    hideCursorCode (includes/Common-Include.hs:115)
    showCursorCode (includes/Common-Include.hs:115)
Documentation created: dist/doc/html/ansi-terminal/index.html,
dist/doc/html/ansi-terminal/ansi-terminal.txt
Creating package registration file:
/tmp/pkgConf-ansi-terminal-0.6.2278722862233665123.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/ansi-terminal-0.6.2.3-KW0LUY2zB7JCYzE4ZYrwBg
Registering ansi-terminal-0.6.2.3...
Installed ansi-terminal-0.6.2.3
Configuring haskell-lexer-1.0...
Building haskell-lexer-1.0...
Preprocessing library haskell-lexer-1.0...
[1 of 6] Compiling Language.Haskell.Lexer.Tokens ( Language/Haskell/Lexer/Tokens.hs, dist/build/Language/Haskell/Lexer/Tokens.o )
[2 of 6] Compiling Language.Haskell.Lexer.Utils ( Language/Haskell/Lexer/Utils.hs, dist/build/Language/Haskell/Lexer/Utils.o )
[3 of 6] Compiling Language.Haskell.Lexer.Lex ( Language/Haskell/Lexer/Lex.hs, dist/build/Language/Haskell/Lexer/Lex.o )
[4 of 6] Compiling Language.Haskell.Lexer.Position ( Language/Haskell/Lexer/Position.hs, dist/build/Language/Haskell/Lexer/Position.o )

Language/Haskell/Lexer/Position.hs:25:5: Warning:
    Pattern match(es) are overlapped
    In a case alternative: '\n' -> ...
[5 of 6] Compiling Language.Haskell.Lexer.Layout ( Language/Haskell/Lexer/Layout.hs, dist/build/Language/Haskell/Lexer/Layout.o )

Language/Haskell/Lexer/Layout.hs:24:23: Warning: Tab character
[6 of 6] Compiling Language.Haskell.Lexer ( Language/Haskell/Lexer.hs, dist/build/Language/Haskell/Lexer.o )
In-place registering haskell-lexer-1.0...
Running Haddock for haskell-lexer-1.0...
Running hscolour for haskell-lexer-1.0...
Preprocessing library haskell-lexer-1.0...
Preprocessing library haskell-lexer-1.0...

Language/Haskell/Lexer/Layout.hs:24:23: Warning: Tab character
Haddock coverage:
  50% (  1 /  2) in 'Language.Haskell.Lexer.Tokens'
  Missing documentation for:
    Module header
  17% (  1 /  6) in 'Language.Haskell.Lexer.Utils'
  Missing documentation for:
    Module header
    gotEOF (Language/Haskell/Lexer/Utils.hs:8)
    gotError (Language/Haskell/Lexer/Utils.hs:12)
    output (Language/Haskell/Lexer/Utils.hs:23)
    nestedComment (Language/Haskell/Lexer/Utils.hs:36)
   0% (  0 /  2) in 'Language.Haskell.Lexer.Lex'
  Missing documentation for:
    Module header
    haskellLex (Language/Haskell/Lexer/Lex.hs:14)
  62% (  5 /  8) in 'Language.Haskell.Lexer.Position'
  Missing documentation for:
    Module header
     (Language/Haskell/Lexer/Position.hs:11)
     (Language/Haskell/Lexer/Position.hs:12)
  33% (  1 /  3) in 'Language.Haskell.Lexer.Layout'
  Missing documentation for:
    Module header
    PosToken (Language/Haskell/Lexer/Layout.hs:6)
  73% ( 11 / 15) in 'Language.Haskell.Lexer'
  Missing documentation for:
    Module header
    PosToken (Language/Haskell/Lexer/Layout.hs:6)
     (Language/Haskell/Lexer/Position.hs:11)
     (Language/Haskell/Lexer/Position.hs:12)
Documentation created: dist/doc/html/haskell-lexer/index.html,
dist/doc/html/haskell-lexer/haskell-lexer.txt
Creating package registration file:
/tmp/pkgConf-haskell-lexer-120406514341975960378.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/haskell-lexer-1.0-5LUPE5xr4D53sDhVKS6f9j
Registering haskell-lexer-1.0...
Installed haskell-lexer-1.0
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.217893661431987231011.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 split-0.2.2...
Building split-0.2.2...
Preprocessing library split-0.2.2...
[1 of 2] Compiling Data.List.Split.Internals ( src/Data/List/Split/Internals.hs, dist/build/Data/List/Split/Internals.o )
[2 of 2] Compiling Data.List.Split  ( src/Data/List/Split.hs, dist/build/Data/List/Split.o )
In-place registering split-0.2.2...
Running Haddock for split-0.2.2...
Running hscolour for split-0.2.2...
Preprocessing library split-0.2.2...
Preprocessing library split-0.2.2...
Haddock coverage:
  91% ( 61 / 67) in 'Data.List.Split.Internals'
  90% ( 44 / 49) in 'Data.List.Split'
Documentation created: dist/doc/html/split/index.html,
dist/doc/html/split/split.txt
Creating package registration file:
/tmp/pkgConf-split-0.220167645241717226057.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/split-0.2.2-E4yadeCDng9EtdbI5MZoDg
Registering split-0.2.2...
Installed split-0.2.2
Configuring transformers-compat-0.4.0.4...
Building transformers-compat-0.4.0.4...
Preprocessing library transformers-compat-0.4.0.4...
[1 of 1] Compiling Paths_transformers_compat ( dist/build/autogen/Paths_transformers_compat.hs, dist/build/Paths_transformers_compat.o )
In-place registering transformers-compat-0.4.0.4...
Running Haddock for transformers-compat-0.4.0.4...
Running hscolour for transformers-compat-0.4.0.4...
Preprocessing library transformers-compat-0.4.0.4...
Preprocessing library transformers-compat-0.4.0.4...
Haddock coverage:
   0% (  0 /  8) in 'Paths_transformers_compat'
  Missing documentation for:
    Module header
    version (dist/build/autogen/Paths_transformers_compat.hs:15)
    getBinDir (dist/build/autogen/Paths_transformers_compat.hs:25)
    getLibDir (dist/build/autogen/Paths_transformers_compat.hs:25)
    getDataDir (dist/build/autogen/Paths_transformers_compat.hs:25)
    getLibexecDir (dist/build/autogen/Paths_transformers_compat.hs:25)
    getDataFileName (dist/build/autogen/Paths_transformers_compat.hs:32)
    getSysconfDir (dist/build/autogen/Paths_transformers_compat.hs:25)
Documentation created: dist/doc/html/transformers-compat/index.html,
dist/doc/html/transformers-compat/transformers-compat.txt
Creating package registration file:
/tmp/pkgConf-transformers-compat-0.4.020397236181001089438.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/transformers-compat-0.4.0.4-DCQioW2d4vYEa3T0AmFBPv
Registering transformers-compat-0.4.0.4...
Installed transformers-compat-0.4.0.4
Configuring ansi-wl-pprint-0.6.7.3...
Building ansi-wl-pprint-0.6.7.3...
Preprocessing library ansi-wl-pprint-0.6.7.3...
[1 of 1] Compiling Text.PrettyPrint.ANSI.Leijen ( Text/PrettyPrint/ANSI/Leijen.hs, dist/build/Text/PrettyPrint/ANSI/Leijen.o )
In-place registering ansi-wl-pprint-0.6.7.3...
Running Haddock for ansi-wl-pprint-0.6.7.3...
Running hscolour for ansi-wl-pprint-0.6.7.3...
Preprocessing library ansi-wl-pprint-0.6.7.3...
Preprocessing library ansi-wl-pprint-0.6.7.3...
Haddock coverage:
  96% (129 /134) in 'Text.PrettyPrint.ANSI.Leijen'
  Missing documentation for:
    bool (Text/PrettyPrint/ANSI/Leijen.hs:506)
    column (Text/PrettyPrint/ANSI/Leijen.hs:843)
    columns (Text/PrettyPrint/ANSI/Leijen.hs:847)
    nesting (Text/PrettyPrint/ANSI/Leijen.hs:843)
    width (Text/PrettyPrint/ANSI/Leijen.hs:646)
Documentation created: dist/doc/html/ansi-wl-pprint/index.html,
dist/doc/html/ansi-wl-pprint/ansi-wl-pprint.txt
Creating package registration file:
/tmp/pkgConf-ansi-wl-pprint-0.6.718590315361338299904.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/ansi-wl-pprint-0.6.7.3-KPlSW7tbqXS51Lj59n3FC4
Registering ansi-wl-pprint-0.6.7.3...
Installed ansi-wl-pprint-0.6.7.3
Configuring pretty-show-1.6.9...
Building pretty-show-1.6.9...
Preprocessing library pretty-show-1.6.9...
[1 of 6] Compiling Paths_pretty_show ( dist/build/autogen/Paths_pretty_show.hs, dist/build/Paths_pretty_show.o )
[2 of 6] Compiling Text.Show.Value  ( Text/Show/Value.hs, dist/build/Text/Show/Value.o )
[3 of 6] Compiling Text.Show.PrettyVal ( Text/Show/PrettyVal.hs, dist/build/Text/Show/PrettyVal.o )
[4 of 6] Compiling Text.Show.Html   ( Text/Show/Html.hs, dist/build/Text/Show/Html.o )

Text/Show/Html.hs:106:1: Warning: Defined but not used: ‘tallTuple’
[5 of 6] Compiling Text.Show.Parser ( dist/build/Text/Show/Parser.hs, dist/build/Text/Show/Parser.o )
[6 of 6] Compiling Text.Show.Pretty ( Text/Show/Pretty.hs, dist/build/Text/Show/Pretty.o )
In-place registering pretty-show-1.6.9...
Preprocessing executable 'ppsh' for pretty-show-1.6.9...
[1 of 1] Compiling Main             ( bin/ppsh.hs, dist/build/ppsh/ppsh-tmp/Main.o )
Linking dist/build/ppsh/ppsh ...
Running Haddock for pretty-show-1.6.9...
Running hscolour for pretty-show-1.6.9...
Preprocessing library pretty-show-1.6.9...
Preprocessing executable 'ppsh' for pretty-show-1.6.9...
Preprocessing library pretty-show-1.6.9...

Text/Show/Html.hs:106:1: Warning: Defined but not used: ‘tallTuple’
Haddock coverage:
   0% (  0 /  8) in 'Paths_pretty_show'
  Missing documentation for:
    Module header
    version (dist/build/autogen/Paths_pretty_show.hs:15)
    getBinDir (dist/build/autogen/Paths_pretty_show.hs:25)
    getLibDir (dist/build/autogen/Paths_pretty_show.hs:25)
    getDataDir (dist/build/autogen/Paths_pretty_show.hs:25)
    getLibexecDir (dist/build/autogen/Paths_pretty_show.hs:25)
    getDataFileName (dist/build/autogen/Paths_pretty_show.hs:32)
    getSysconfDir (dist/build/autogen/Paths_pretty_show.hs:25)
 100% (  3 /  3) in 'Text.Show.Value'
  50% (  1 /  2) in 'Text.Show.PrettyVal'
  Missing documentation for:
    Module header
  71% (  5 /  7) in 'Text.Show.Html'
  Missing documentation for:
    Module header
    Html (Text/Show/Html.hs:144)
   0% (  0 /  2) in 'Text.Show.Parser'
  Missing documentation for:
    Module header
    parseValue (dist/build/Text/Show/Parser.hs:768)
  81% ( 21 / 26) in 'Text.Show.Pretty'
  Missing documentation for:
    parseValue (Text/Show/Pretty.hs:53)
    reify (Text/Show/Pretty.hs:50)
    Html (Text/Show/Html.hs:144)
    getDataDir (dist/build/autogen/Paths_pretty_show.hs:25)
    ppValue (Text/Show/Pretty.hs:47)
Documentation created: dist/doc/html/pretty-show/index.html,
dist/doc/html/pretty-show/pretty-show.txt
Preprocessing executable 'ppsh' for pretty-show-1.6.9...
Creating package registration file:
/tmp/pkgConf-pretty-show-1.619103009252030449291.9
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/pretty-show-1.6.9-2lC99QDHOE3JiCMPieJv3x
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 pretty-show-1.6.9...
Installed pretty-show-1.6.9
Configuring geniplate-mirror-0.7.1...
Building geniplate-mirror-0.7.1...
Preprocessing library geniplate-mirror-0.7.1...
[1 of 1] Compiling Data.Generics.Geniplate ( Data/Generics/Geniplate.hs, dist/build/Data/Generics/Geniplate.o )
In-place registering geniplate-mirror-0.7.1...
Running Haddock for geniplate-mirror-0.7.1...
Running hscolour for geniplate-mirror-0.7.1...
Preprocessing library geniplate-mirror-0.7.1...
Preprocessing library geniplate-mirror-0.7.1...
Haddock coverage:
  59% ( 19 / 32) in 'Data.Generics.Geniplate'
  Missing documentation for:
    Module header
    genUniverseBi' (Data/Generics/Geniplate.hs:182)
    genUniverseBiT' (Data/Generics/Geniplate.hs:192)
    genTransformBi' (Data/Generics/Geniplate.hs:464)
    genTransformBiT' (Data/Generics/Geniplate.hs:472)
    genTransformBiM (Data/Generics/Geniplate.hs:478)
    genTransformBiM' (Data/Generics/Geniplate.hs:481)
    genTransformBiMT (Data/Generics/Geniplate.hs:484)
    genTransformBiMT' (Data/Generics/Geniplate.hs:487)
    universe (Data/Generics/Geniplate.hs:43)
    transform (Data/Generics/Geniplate.hs:46)
    transformM (Data/Generics/Geniplate.hs:49)
    descend (Data/Generics/Geniplate.hs:52)
Documentation created: dist/doc/html/geniplate-mirror/index.html,
dist/doc/html/geniplate-mirror/geniplate-mirror.txt
Creating package registration file:
/tmp/pkgConf-geniplate-mirror-0.7980356728932862806.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/geniplate-mirror-0.7.1-2Mx8XQUG5LcD8zmLg8cWVj
Registering geniplate-mirror-0.7.1...
Installed geniplate-mirror-0.7.1
Configuring optparse-applicative-0.12.0.0...
Building optparse-applicative-0.12.0.0...
Preprocessing library optparse-applicative-0.12.0.0...
[ 1 of 15] Compiling Options.Applicative.Help.Pretty ( Options/Applicative/Help/Pretty.hs, dist/build/Options/Applicative/Help/Pretty.o )
[ 2 of 15] Compiling Options.Applicative.Help.Chunk ( Options/Applicative/Help/Chunk.hs, dist/build/Options/Applicative/Help/Chunk.o )

Options/Applicative/Help/Chunk.hs:21:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()
[ 3 of 15] Compiling Options.Applicative.Help.Types ( Options/Applicative/Help/Types.hs, dist/build/Options/Applicative/Help/Types.o )

Options/Applicative/Help/Types.hs:6:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()
[ 4 of 15] Compiling Options.Applicative.Types ( Options/Applicative/Types.hs, dist/build/Options/Applicative/Types.o )

Options/Applicative/Types.hs:42:1: Warning:
    The import of ‘Applicative, <$>’
    from module ‘Control.Applicative’ is redundant

Options/Applicative/Types.hs:48:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()
[ 5 of 15] Compiling Options.Applicative.Internal ( Options/Applicative/Internal.hs, dist/build/Options/Applicative/Internal.o )

Options/Applicative/Internal.hs:31:1: Warning:
    The import of ‘Applicative, <$>’
    from module ‘Control.Applicative’ is redundant

Options/Applicative/Internal.hs:41:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()
[ 6 of 15] Compiling Options.Applicative.Builder.Completer ( Options/Applicative/Builder/Completer.hs, dist/build/Options/Applicative/Builder/Completer.o )

Options/Applicative/Builder/Completer.hs:9:1: Warning:
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()
[ 7 of 15] Compiling Options.Applicative.Common ( Options/Applicative/Common.hs, dist/build/Options/Applicative/Common.o )

Options/Applicative/Common.hs:55:1: Warning:
    The import of ‘<*>, pure, <$, <$>’
    from module ‘Control.Applicative’ is redundant

Options/Applicative/Common.hs:62:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()
[ 8 of 15] Compiling Options.Applicative.Builder.Internal ( Options/Applicative/Builder/Internal.hs, dist/build/Options/Applicative/Builder/Internal.o )

Options/Applicative/Builder/Internal.hs:26:1: Warning:
    The import of ‘<*>, pure’
    from module ‘Control.Applicative’ is redundant

Options/Applicative/Builder/Internal.hs:28:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()
[ 9 of 15] Compiling Options.Applicative.Builder ( Options/Applicative/Builder.hs, dist/build/Options/Applicative/Builder.o )

Options/Applicative/Builder.hs:98:1: Warning:
    The import of ‘pure’ from module ‘Control.Applicative’ is redundant

Options/Applicative/Builder.hs:99:1: Warning:
    The import of ‘Monoid’ from module ‘Data.Monoid’ is redundant
[10 of 15] Compiling Options.Applicative.BashCompletion ( Options/Applicative/BashCompletion.hs, dist/build/Options/Applicative/BashCompletion.o )

Options/Applicative/BashCompletion.hs:10:1: Warning:
    The import of ‘<*>, <$>’
    from module ‘Control.Applicative’ is redundant
[11 of 15] Compiling Options.Applicative.Help.Core ( Options/Applicative/Help/Core.hs, dist/build/Options/Applicative/Help/Core.o )

Options/Applicative/Help/Core.hs:18:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()
[12 of 15] Compiling Options.Applicative.Help ( Options/Applicative/Help.hs, dist/build/Options/Applicative/Help.o )
[13 of 15] Compiling Options.Applicative.Extra ( Options/Applicative/Extra.hs, dist/build/Options/Applicative/Extra.o )

Options/Applicative/Extra.hs:24:1: Warning:
    The import of ‘pure, <$>’
    from module ‘Control.Applicative’ is redundant

Options/Applicative/Extra.hs:25:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()
[14 of 15] Compiling Options.Applicative ( Options/Applicative.hs, dist/build/Options/Applicative.o )
[15 of 15] Compiling Options.Applicative.Arrows ( Options/Applicative/Arrows.hs, dist/build/Options/Applicative/Arrows.o )
In-place registering optparse-applicative-0.12.0.0...
Running Haddock for optparse-applicative-0.12.0.0...
Running hscolour for optparse-applicative-0.12.0.0...
Preprocessing library optparse-applicative-0.12.0.0...
Preprocessing library optparse-applicative-0.12.0.0...

Options/Applicative/Help/Chunk.hs:21:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()

Options/Applicative/Help/Types.hs:6:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()

Options/Applicative/Types.hs:42:1: Warning:
    The import of ‘Applicative, <$>’
    from module ‘Control.Applicative’ is redundant

Options/Applicative/Types.hs:48:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()

Options/Applicative/Internal.hs:31:1: Warning:
    The import of ‘Applicative, <$>’
    from module ‘Control.Applicative’ is redundant

Options/Applicative/Internal.hs:41:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()

Options/Applicative/Builder/Completer.hs:9:1: Warning:
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()

Options/Applicative/Common.hs:55:1: Warning:
    The import of ‘<*>, pure, <$>, <$’
    from module ‘Control.Applicative’ is redundant

Options/Applicative/Common.hs:62:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()

Options/Applicative/Builder/Internal.hs:26:1: Warning:
    The import of ‘<*>, pure’
    from module ‘Control.Applicative’ is redundant

Options/Applicative/Builder/Internal.hs:28:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()

Options/Applicative/Builder.hs:98:1: Warning:
    The import of ‘pure’ from module ‘Control.Applicative’ is redundant

Options/Applicative/Builder.hs:99:1: Warning:
    The import of ‘Monoid’ from module ‘Data.Monoid’ is redundant

Options/Applicative/BashCompletion.hs:10:1: Warning:
    The import of ‘<*>, <$>’
    from module ‘Control.Applicative’ is redundant

Options/Applicative/Help/Core.hs:18:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()

Options/Applicative/Extra.hs:24:1: Warning:
    The import of ‘pure, <$>’
    from module ‘Control.Applicative’ is redundant

Options/Applicative/Extra.hs:25:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()
Haddock coverage:
  33% (  1 /  3) in 'Options.Applicative.Help.Pretty'
  Missing documentation for:
    Module header
    .$. (Options/Applicative/Help/Pretty.hs:9)
  86% ( 12 / 14) in 'Options.Applicative.Help.Chunk'
  Missing documentation for:
    Module header
    mappendWith (Options/Applicative/Help/Chunk.hs:25)
  33% (  1 /  3) in 'Options.Applicative.Help.Types'
  Missing documentation for:
    Module header
    ParserHelp (Options/Applicative/Help/Types.hs:11)
  34% ( 12 / 35) in 'Options.Applicative.Types'
  Missing documentation for:
    Module header
    ParseError (Options/Applicative/Types.hs:55)
    OptName (Options/Applicative/Types.hs:97)
    CReader (Options/Applicative/Types.hs:164)
    ParserM (Options/Applicative/Types.hs:203)
    Completer (Options/Applicative/Types.hs:239)
    mkCompleter (Options/Applicative/Types.hs:242)
    CompletionResult (Options/Applicative/Types.hs:250)
    ParserFailure (Options/Applicative/Types.hs:257)
    overFailure (Options/Applicative/Types.hs:282)
    Args (Options/Applicative/Types.hs:299)
    ArgPolicy (Options/Applicative/Types.hs:301)
    OptHelpInfo (Options/Applicative/Types.hs:306)
    OptTree (Options/Applicative/Types.hs:311)
    ParserHelp (Options/Applicative/Help/Types.hs:11)
    fromM (Options/Applicative/Types.hs:217)
    oneM (Options/Applicative/Types.hs:220)
    manyM (Options/Applicative/Types.hs:223)
    someM (Options/Applicative/Types.hs:230)
    optVisibility (Options/Applicative/Types.hs:317)
    optMetaVar (Options/Applicative/Types.hs:323)
    optHelp (Options/Applicative/Types.hs:320)
    optShowDefault (Options/Applicative/Types.hs:326)
   0% (  0 / 22) in 'Options.Applicative.Internal'
  Missing documentation for:
    Module header
    P (Options/Applicative/Internal.hs:54)
    Context (Options/Applicative/Internal.hs:76)
    MonadP (Options/Applicative/Internal.hs:45)
    ParseError (Options/Applicative/Types.hs:55)
    uncons (Options/Applicative/Internal.hs:107)
    hoistMaybe (Options/Applicative/Internal.hs:98)
    hoistEither (Options/Applicative/Internal.hs:101)
    runReadM (Options/Applicative/Internal.hs:111)
    withReadM (Options/Applicative/Internal.hs:114)
    runP (Options/Applicative/Internal.hs:104)
    Completion (Options/Applicative/Internal.hs:145)
    runCompletion (Options/Applicative/Internal.hs:176)
    SomeParser (Options/Applicative/Internal.hs:120)
    ComplError (Options/Applicative/Internal.hs:122)
    ListT (Options/Applicative/Internal.hs:184)
    takeListT (Options/Applicative/Internal.hs:198)
    runListT (Options/Applicative/Internal.hs:202)
    NondetT (Options/Applicative/Internal.hs:243)
    cut (Options/Applicative/Internal.hs:274)
    <!> (Options/Applicative/Internal.hs:268)
    disamb (Options/Applicative/Internal.hs:277)
   0% (  0 /  6) in 'Options.Applicative.Builder.Completer'
  Missing documentation for:
    Module header
    Completer (Options/Applicative/Types.hs:239)
    mkCompleter (Options/Applicative/Types.hs:242)
    listIOCompleter (Options/Applicative/Builder/Completer.hs:16)
    listCompleter (Options/Applicative/Builder/Completer.hs:20)
    bashCompleter (Options/Applicative/Builder/Completer.hs:23)
  75% ( 15 / 20) in 'Options.Applicative.Common'
  Missing documentation for:
    Module header
    showOption (Options/Applicative/Common.hs:70)
    runParserInfo (Options/Applicative/Common.hs:240)
    runParserFully (Options/Applicative/Common.hs:243)
    optionNames (Options/Applicative/Common.hs:74)
  20% (  4 / 20) in 'Options.Applicative.Builder.Internal'
  Missing documentation for:
    Module header
    HasName (Options/Applicative/Builder/Internal.hs:48)
    HasCompleter (Options/Applicative/Builder/Internal.hs:57)
    HasValue (Options/Applicative/Builder/Internal.hs:66)
    HasMetavar (Options/Applicative/Builder/Internal.hs:74)
    OptionFields (Options/Applicative/Builder/Internal.hs:33)
    FlagFields (Options/Applicative/Builder/Internal.hs:38)
    CommandFields (Options/Applicative/Builder/Internal.hs:42)
    ArgumentFields (Options/Applicative/Builder/Internal.hs:45)
    DefaultProp (Options/Applicative/Builder/Internal.hs:85)
    optionMod (Options/Applicative/Builder/Internal.hs:123)
    fieldMod (Options/Applicative/Builder/Internal.hs:126)
    mkCommand (Options/Applicative/Builder/Internal.hs:142)
    mkParser (Options/Applicative/Builder/Internal.hs:148)
    mkOption (Options/Applicative/Builder/Internal.hs:156)
    mkProps (Options/Applicative/Builder/Internal.hs:162)
  82% ( 58 / 71) in 'Options.Applicative.Builder'
  Missing documentation for:
    Module header
    ParseError (Options/Applicative/Types.hs:55)
    PrefsMod (Options/Applicative/Builder.hs:360)
    multiSuffix (Options/Applicative/Builder.hs:367)
    disambiguate (Options/Applicative/Builder.hs:370)
    showHelpOnError (Options/Applicative/Builder.hs:373)
    noBacktrack (Options/Applicative/Builder.hs:376)
    columns (Options/Applicative/Builder.hs:379)
    prefs (Options/Applicative/Builder.hs:382)
    OptionFields (Options/Applicative/Builder/Internal.hs:33)
    FlagFields (Options/Applicative/Builder/Internal.hs:38)
    ArgumentFields (Options/Applicative/Builder/Internal.hs:45)
    CommandFields (Options/Applicative/Builder/Internal.hs:42)
  50% (  1 /  2) in 'Options.Applicative.BashCompletion'
  Missing documentation for:
    bashCompletionParser (Options/Applicative/BashCompletion.hs:20)
  38% (  5 / 13) in 'Options.Applicative.Help.Core'
  Missing documentation for:
    Module header
    fold_tree (Options/Applicative/Help/Core.hs:46)
    ParserHelp (Options/Applicative/Help/Types.hs:11)
    errorHelp (Options/Applicative/Help/Core.hs:77)
    headerHelp (Options/Applicative/Help/Core.hs:80)
    usageHelp (Options/Applicative/Help/Core.hs:83)
    bodyHelp (Options/Applicative/Help/Core.hs:86)
    footerHelp (Options/Applicative/Help/Core.hs:89)
Warning: Options.Applicative.Help: Could not find documentation for exported module: X
   0% (  0 /  1) in 'Options.Applicative.Help'
  Missing documentation for:
    Module header
  68% ( 13 / 19) in 'Options.Applicative.Extra'
  Missing documentation for:
    Module header
    hsubparser (Options/Applicative/Extra.hs:47)
    renderFailure (Options/Applicative/Extra.hs:186)
    ParserFailure (Options/Applicative/Types.hs:257)
    overFailure (Options/Applicative/Types.hs:282)
    CompletionResult (Options/Applicative/Types.hs:250)
  93% ( 13 / 14) in 'Options.Applicative'
  Missing documentation for:
    Module header
 100% (  6 /  6) in 'Options.Applicative.Arrows'
Warning: Options.Applicative.Builder.Internal: could not find link destinations for:
    hasValueDummy hasMetavarDummy
Documentation created: dist/doc/html/optparse-applicative/index.html,
dist/doc/html/optparse-applicative/optparse-applicative.txt
Creating package registration file:
/tmp/pkgConf-optparse-applicative-0.12.015342302971364090032.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/optparse-applicative-0.12.0.0-KdXJmoye02OHe9HayYPqqY
Registering optparse-applicative-0.12.0.0...
Installed optparse-applicative-0.12.0.0
Configuring tip-lib-0.1.1...
Building tip-lib-0.1.1...
Preprocessing library tip-lib-0.1.1...
[ 1 of 41] Compiling Tip.Parser.LexTIP ( dist/build/Tip/Parser/LexTIP.hs, dist/build/Tip/Parser/LexTIP.o )
[ 2 of 41] Compiling Tip.Parser.ErrM  ( src/Tip/Parser/ErrM.hs, dist/build/Tip/Parser/ErrM.o )
[ 3 of 41] Compiling Tip.Parser.AbsTIP ( src/Tip/Parser/AbsTIP.hs, dist/build/Tip/Parser/AbsTIP.o )
[ 4 of 41] Compiling Tip.Parser.ParTIP ( dist/build/Tip/Parser/ParTIP.hs, dist/build/Tip/Parser/ParTIP.o )
[ 5 of 41] Compiling Tip.Haskell.Repr ( src/Tip/Haskell/Repr.hs, dist/build/Tip/Haskell/Repr.o )
[ 6 of 41] Compiling Tip.Utils.Rename ( src/Tip/Utils/Rename.hs, dist/build/Tip/Utils/Rename.o )
[ 7 of 41] Compiling Tip.Writer       ( src/Tip/Writer.hs, dist/build/Tip/Writer.o )
[ 8 of 41] Compiling Tip.Utils        ( src/Tip/Utils.hs, dist/build/Tip/Utils.o )
[ 9 of 41] Compiling Tip.Types        ( src/Tip/Types.hs, dist/build/Tip/Types.o )
[10 of 41] Compiling Tip.Pretty       ( src/Tip/Pretty.hs, dist/build/Tip/Pretty.o )
[11 of 41] Compiling Tip.Fresh        ( src/Tip/Fresh.hs, dist/build/Tip/Fresh.o )
[12 of 41] Compiling Tip.Core         ( src/Tip/Core.hs, dist/build/Tip/Core.o )
[13 of 41] Compiling Tip.Scope        ( src/Tip/Scope.hs, dist/build/Tip/Scope.o )
[14 of 41] Compiling Tip.Rename       ( src/Tip/Rename.hs, dist/build/Tip/Rename.o )
[15 of 41] Compiling Tip.Pretty.SMT   ( src/Tip/Pretty/SMT.hs, dist/build/Tip/Pretty/SMT.o )
[16 of 41] Compiling Tip.Lint         ( src/Tip/Lint.hs, dist/build/Tip/Lint.o )
[17 of 41] Compiling Tip.Pass.Pipeline ( src/Tip/Pass/Pipeline.hs, dist/build/Tip/Pass/Pipeline.o )
[18 of 41] Compiling Tip.Simplify     ( src/Tip/Simplify.hs, dist/build/Tip/Simplify.o )
[19 of 41] Compiling Tip.WorkerWrapper ( src/Tip/WorkerWrapper.hs, dist/build/Tip/WorkerWrapper.o )
[20 of 41] Compiling Tip.Pass.AddMatch ( src/Tip/Pass/AddMatch.hs, dist/build/Tip/Pass/AddMatch.o )
[21 of 41] Compiling Tip.Pass.CommuteMatch ( src/Tip/Pass/CommuteMatch.hs, dist/build/Tip/Pass/CommuteMatch.o )
[22 of 41] Compiling Tip.Pass.RemoveMatch ( src/Tip/Pass/RemoveMatch.hs, dist/build/Tip/Pass/RemoveMatch.o )
[23 of 41] Compiling Tip.Pass.CSEMatch ( src/Tip/Pass/CSEMatch.hs, dist/build/Tip/Pass/CSEMatch.o )
[24 of 41] Compiling Tip.Pass.Uncurry ( src/Tip/Pass/Uncurry.hs, dist/build/Tip/Pass/Uncurry.o )
[25 of 41] Compiling Tip.Pass.RemoveNewtype ( src/Tip/Pass/RemoveNewtype.hs, dist/build/Tip/Pass/RemoveNewtype.o )
[26 of 41] Compiling Tip.Pass.NegateConjecture ( src/Tip/Pass/NegateConjecture.hs, dist/build/Tip/Pass/NegateConjecture.o )
[27 of 41] Compiling Tip.Pass.EqualFunctions ( src/Tip/Pass/EqualFunctions.hs, dist/build/Tip/Pass/EqualFunctions.o )
[28 of 41] Compiling Tip.Pass.Lift    ( src/Tip/Pass/Lift.hs, dist/build/Tip/Pass/Lift.o )
[29 of 41] Compiling Tip.Pass.Booleans ( src/Tip/Pass/Booleans.hs, dist/build/Tip/Pass/Booleans.o )
[30 of 41] Compiling Tip.Pass.EliminateDeadCode ( src/Tip/Pass/EliminateDeadCode.hs, dist/build/Tip/Pass/EliminateDeadCode.o )
[31 of 41] Compiling Tip.Pass.FillInCases ( src/Tip/Pass/FillInCases.hs, dist/build/Tip/Pass/FillInCases.o )
[32 of 41] Compiling Tip.Passes       ( src/Tip/Passes.hs, dist/build/Tip/Passes.o )
[33 of 41] Compiling Tip.Pretty.Why3  ( src/Tip/Pretty/Why3.hs, dist/build/Tip/Pretty/Why3.o )
[34 of 41] Compiling Tip.Pretty.Isabelle ( src/Tip/Pretty/Isabelle.hs, dist/build/Tip/Pretty/Isabelle.o )
[35 of 41] Compiling Tip.Parser.Convert ( src/Tip/Parser/Convert.hs, dist/build/Tip/Parser/Convert.o )
[36 of 41] Compiling Tip.Parser       ( src/Tip/Parser.hs, dist/build/Tip/Parser.o )
[37 of 41] Compiling Tip.CallGraph    ( src/Tip/CallGraph.hs, dist/build/Tip/CallGraph.o )
[38 of 41] Compiling Tip.Haskell.Translate ( src/Tip/Haskell/Translate.hs, dist/build/Tip/Haskell/Translate.o )
[39 of 41] Compiling Tip.Haskell.Rename ( src/Tip/Haskell/Rename.hs, dist/build/Tip/Haskell/Rename.o )
[40 of 41] Compiling Tip.Pretty.Haskell ( src/Tip/Pretty/Haskell.hs, dist/build/Tip/Pretty/Haskell.o )
[41 of 41] Compiling Tip.Pass.AxiomatizeFuncdefs ( src/Tip/Pass/AxiomatizeFuncdefs.hs, dist/build/Tip/Pass/AxiomatizeFuncdefs.o )
In-place registering tip-lib-0.1.1...
Preprocessing executable 'tip' for tip-lib-0.1.1...
[1 of 1] Compiling Main             ( executable/Main.hs, dist/build/tip/tip-tmp/Main.o )
Linking dist/build/tip/tip ...
Running Haddock for tip-lib-0.1.1...
Running hscolour for tip-lib-0.1.1...
Preprocessing library tip-lib-0.1.1...
Preprocessing executable 'tip' for tip-lib-0.1.1...
Preprocessing library tip-lib-0.1.1...
Haddock coverage:
   2% (  1 / 45) in 'Tip.Parser.LexTIP'
  Missing documentation for:
    Module header
    alex_base (dist/build/Tip/Parser/LexTIP.hs:31)
    alex_table (dist/build/Tip/Parser/LexTIP.hs:34)
    alex_check (dist/build/Tip/Parser/LexTIP.hs:37)
    alex_deflt (dist/build/Tip/Parser/LexTIP.hs:40)
    alex_accept (dist/build/Tip/Parser/LexTIP.hs:43)
    alexIndexInt32OffAddr (dist/build/Tip/Parser/LexTIP.hs:296)
    quickIndex (dist/build/Tip/Parser/LexTIP.hs:321)
    AlexReturn (dist/build/Tip/Parser/LexTIP.hs:330)
    alexScan (dist/build/Tip/Parser/LexTIP.hs:337)
    alexScanUser (dist/build/Tip/Parser/LexTIP.hs:340)
    alex_scan_tkn (dist/build/Tip/Parser/LexTIP.hs:371)
    tok (src/Tip/Parser/LexTIP.x:40)
    share (src/Tip/Parser/LexTIP.x:43)
    Tok (src/Tip/Parser/LexTIP.x:46)
    Token (src/Tip/Parser/LexTIP.x:57)
    tokenPos (src/Tip/Parser/LexTIP.x:62)
    tokenPosn (src/Tip/Parser/LexTIP.x:67)
    tokenLineCol (src/Tip/Parser/LexTIP.x:71)
    posLineCol (src/Tip/Parser/LexTIP.x:74)
    mkPosToken (src/Tip/Parser/LexTIP.x:77)
    prToken (src/Tip/Parser/LexTIP.x:80)
    BTree (src/Tip/Parser/LexTIP.x:91)
    eitherResIdent (src/Tip/Parser/LexTIP.x:93)
    resWords (src/Tip/Parser/LexTIP.x:101)
    unescapeInitTail (src/Tip/Parser/LexTIP.x:106)
    Posn (src/Tip/Parser/LexTIP.x:121)
    alexStartPos (src/Tip/Parser/LexTIP.x:124)
    alexMove (src/Tip/Parser/LexTIP.x:127)
    Byte (src/Tip/Parser/LexTIP.x:132)
    AlexInput (src/Tip/Parser/LexTIP.x:134)
    tokens (src/Tip/Parser/LexTIP.x:139)
    alexGetByte (src/Tip/Parser/LexTIP.x:150)
    alexInputPrevChar (src/Tip/Parser/LexTIP.x:160)
    alex_action_2 (src/Tip/Parser/LexTIP.x:184)
    alex_action_3 (src/Tip/Parser/LexTIP.x:185)
    alex_action_4 (src/Tip/Parser/LexTIP.x:186)
    alex_action_5 (src/Tip/Parser/LexTIP.x:187)
    AlexAddr (templates/GenericTemplate.hs:53)
    alexIndexInt16OffAddr (templates/GenericTemplate.hs:60)
    AlexLastAcc (templates/GenericTemplate.hs:199)
     (templates/GenericTemplate.hs:204)
    AlexAcc (templates/GenericTemplate.hs:209)
    iUnbox (templates/GenericTemplate.hs:244)
   0% (  0 /  7) in 'Tip.Parser.ErrM'
  Missing documentation for:
    Module header
    Err (src/Tip/Parser/ErrM.hs:12)
     (src/Tip/Parser/ErrM.hs:15)
     (src/Tip/Parser/ErrM.hs:21)
     (src/Tip/Parser/ErrM.hs:27)
     (src/Tip/Parser/ErrM.hs:30)
     (src/Tip/Parser/ErrM.hs:35)
   0% (  0 / 19) in 'Tip.Parser.AbsTIP'
  Missing documentation for:
    Module header
    Symbol (src/Tip/Parser/AbsTIP.hs:10)
    Start (src/Tip/Parser/AbsTIP.hs:11)
    Decl (src/Tip/Parser/AbsTIP.hs:15)
    Assertion (src/Tip/Parser/AbsTIP.hs:24)
    FunDef (src/Tip/Parser/AbsTIP.hs:29)
    InnerFunDef (src/Tip/Parser/AbsTIP.hs:34)
    FunDecl (src/Tip/Parser/AbsTIP.hs:38)
    InnerFunDecl (src/Tip/Parser/AbsTIP.hs:43)
    Datatype (src/Tip/Parser/AbsTIP.hs:47)
    Constructor (src/Tip/Parser/AbsTIP.hs:51)
    Binding (src/Tip/Parser/AbsTIP.hs:55)
    LetDecl (src/Tip/Parser/AbsTIP.hs:59)
    Type (src/Tip/Parser/AbsTIP.hs:63)
    Expr (src/Tip/Parser/AbsTIP.hs:71)
    Binder (src/Tip/Parser/AbsTIP.hs:83)
    Case (src/Tip/Parser/AbsTIP.hs:89)
    Pattern (src/Tip/Parser/AbsTIP.hs:93)
    Head (src/Tip/Parser/AbsTIP.hs:99)
   0% (  0 /300) in 'Tip.Parser.ParTIP'
  Missing documentation for:
    Module header
    HappyAbsSyn (dist/build/Tip/Parser/ParTIP.hs:14)
    HappyAny (dist/build/Tip/Parser/ParTIP.hs:16)
    happyIn31 (dist/build/Tip/Parser/ParTIP.hs:20)
    happyOut31 (dist/build/Tip/Parser/ParTIP.hs:23)
    happyIn32 (dist/build/Tip/Parser/ParTIP.hs:26)
    happyOut32 (dist/build/Tip/Parser/ParTIP.hs:29)
    happyIn33 (dist/build/Tip/Parser/ParTIP.hs:32)
    happyOut33 (dist/build/Tip/Parser/ParTIP.hs:35)
    happyIn34 (dist/build/Tip/Parser/ParTIP.hs:38)
    happyOut34 (dist/build/Tip/Parser/ParTIP.hs:41)
    happyIn35 (dist/build/Tip/Parser/ParTIP.hs:44)
    happyOut35 (dist/build/Tip/Parser/ParTIP.hs:47)
    happyIn36 (dist/build/Tip/Parser/ParTIP.hs:50)
    happyOut36 (dist/build/Tip/Parser/ParTIP.hs:53)
    happyIn37 (dist/build/Tip/Parser/ParTIP.hs:56)
    happyOut37 (dist/build/Tip/Parser/ParTIP.hs:59)
    happyIn38 (dist/build/Tip/Parser/ParTIP.hs:62)
    happyOut38 (dist/build/Tip/Parser/ParTIP.hs:65)
    happyIn39 (dist/build/Tip/Parser/ParTIP.hs:68)
    happyOut39 (dist/build/Tip/Parser/ParTIP.hs:71)
    happyIn40 (dist/build/Tip/Parser/ParTIP.hs:74)
    happyOut40 (dist/build/Tip/Parser/ParTIP.hs:77)
    happyIn41 (dist/build/Tip/Parser/ParTIP.hs:80)
    happyOut41 (dist/build/Tip/Parser/ParTIP.hs:83)
    happyIn42 (dist/build/Tip/Parser/ParTIP.hs:86)
    happyOut42 (dist/build/Tip/Parser/ParTIP.hs:89)
    happyIn43 (dist/build/Tip/Parser/ParTIP.hs:92)
    happyOut43 (dist/build/Tip/Parser/ParTIP.hs:95)
    happyIn44 (dist/build/Tip/Parser/ParTIP.hs:98)
    happyOut44 (dist/build/Tip/Parser/ParTIP.hs:101)
    happyIn45 (dist/build/Tip/Parser/ParTIP.hs:104)
    happyOut45 (dist/build/Tip/Parser/ParTIP.hs:107)
    happyIn46 (dist/build/Tip/Parser/ParTIP.hs:110)
    happyOut46 (dist/build/Tip/Parser/ParTIP.hs:113)
    happyIn47 (dist/build/Tip/Parser/ParTIP.hs:116)
    happyOut47 (dist/build/Tip/Parser/ParTIP.hs:119)
    happyIn48 (dist/build/Tip/Parser/ParTIP.hs:122)
    happyOut48 (dist/build/Tip/Parser/ParTIP.hs:125)
    happyIn49 (dist/build/Tip/Parser/ParTIP.hs:128)
    happyOut49 (dist/build/Tip/Parser/ParTIP.hs:131)
    happyIn50 (dist/build/Tip/Parser/ParTIP.hs:134)
    happyOut50 (dist/build/Tip/Parser/ParTIP.hs:137)
    happyIn51 (dist/build/Tip/Parser/ParTIP.hs:140)
    happyOut51 (dist/build/Tip/Parser/ParTIP.hs:143)
    happyIn52 (dist/build/Tip/Parser/ParTIP.hs:146)
    happyOut52 (dist/build/Tip/Parser/ParTIP.hs:149)
    happyIn53 (dist/build/Tip/Parser/ParTIP.hs:152)
    happyOut53 (dist/build/Tip/Parser/ParTIP.hs:155)
    happyIn54 (dist/build/Tip/Parser/ParTIP.hs:158)
    happyOut54 (dist/build/Tip/Parser/ParTIP.hs:161)
    happyIn55 (dist/build/Tip/Parser/ParTIP.hs:164)
    happyOut55 (dist/build/Tip/Parser/ParTIP.hs:167)
    happyIn56 (dist/build/Tip/Parser/ParTIP.hs:170)
    happyOut56 (dist/build/Tip/Parser/ParTIP.hs:173)
    happyIn57 (dist/build/Tip/Parser/ParTIP.hs:176)
    happyOut57 (dist/build/Tip/Parser/ParTIP.hs:179)
    happyIn58 (dist/build/Tip/Parser/ParTIP.hs:182)
    happyOut58 (dist/build/Tip/Parser/ParTIP.hs:185)
    happyIn59 (dist/build/Tip/Parser/ParTIP.hs:188)
    happyOut59 (dist/build/Tip/Parser/ParTIP.hs:191)
    happyIn60 (dist/build/Tip/Parser/ParTIP.hs:194)
    happyOut60 (dist/build/Tip/Parser/ParTIP.hs:197)
    happyInTok (dist/build/Tip/Parser/ParTIP.hs:200)
    happyOutTok (dist/build/Tip/Parser/ParTIP.hs:203)
    happyActOffsets (dist/build/Tip/Parser/ParTIP.hs:208)
    happyGotoOffsets (dist/build/Tip/Parser/ParTIP.hs:211)
    happyDefActions (dist/build/Tip/Parser/ParTIP.hs:214)
    happyCheck (dist/build/Tip/Parser/ParTIP.hs:217)
    happyTable (dist/build/Tip/Parser/ParTIP.hs:220)
    happyReduceArr (dist/build/Tip/Parser/ParTIP.hs:223)
    happy_n_terms (dist/build/Tip/Parser/ParTIP.hs:308)
    happy_n_nonterms (dist/build/Tip/Parser/ParTIP.hs:309)
    happyReduce_28 (dist/build/Tip/Parser/ParTIP.hs:311)
    happyReduction_28 (dist/build/Tip/Parser/ParTIP.hs:312)
    happyReduce_29 (dist/build/Tip/Parser/ParTIP.hs:318)
    happyReduction_29 (dist/build/Tip/Parser/ParTIP.hs:319)
    happyReduce_30 (dist/build/Tip/Parser/ParTIP.hs:325)
    happyReduction_30 (dist/build/Tip/Parser/ParTIP.hs:326)
    happyReduce_31 (dist/build/Tip/Parser/ParTIP.hs:332)
    happyReduction_31 (dist/build/Tip/Parser/ParTIP.hs:333)
    happyReduce_32 (dist/build/Tip/Parser/ParTIP.hs:340)
    happyReduction_32 (dist/build/Tip/Parser/ParTIP.hs:341)
    happyReduce_33 (dist/build/Tip/Parser/ParTIP.hs:352)
    happyReduction_33 (dist/build/Tip/Parser/ParTIP.hs:353)
    happyReduce_34 (dist/build/Tip/Parser/ParTIP.hs:367)
    happyReduction_34 (dist/build/Tip/Parser/ParTIP.hs:368)
    happyReduce_35 (dist/build/Tip/Parser/ParTIP.hs:377)
    happyReduction_35 (dist/build/Tip/Parser/ParTIP.hs:378)
    happyReduce_36 (dist/build/Tip/Parser/ParTIP.hs:385)
    happyReduction_36 (dist/build/Tip/Parser/ParTIP.hs:386)
    happyReduce_37 (dist/build/Tip/Parser/ParTIP.hs:400)
    happyReduction_37 (dist/build/Tip/Parser/ParTIP.hs:401)
    happyReduce_38 (dist/build/Tip/Parser/ParTIP.hs:409)
    happyReduction_38 (dist/build/Tip/Parser/ParTIP.hs:410)
    happyReduce_39 (dist/build/Tip/Parser/ParTIP.hs:426)
    happyReduction_39 (dist/build/Tip/Parser/ParTIP.hs:427)
    happyReduce_40 (dist/build/Tip/Parser/ParTIP.hs:432)
    happyReduction_40 (dist/build/Tip/Parser/ParTIP.hs:433)
    happyReduce_41 (dist/build/Tip/Parser/ParTIP.hs:438)
    happyReduction_41 (dist/build/Tip/Parser/ParTIP.hs:439)
    happyReduce_42 (dist/build/Tip/Parser/ParTIP.hs:453)
    happyReduction_42 (dist/build/Tip/Parser/ParTIP.hs:454)
    happyReduce_43 (dist/build/Tip/Parser/ParTIP.hs:460)
    happyReduction_43 (dist/build/Tip/Parser/ParTIP.hs:461)
    happyReduce_44 (dist/build/Tip/Parser/ParTIP.hs:476)
    happyReduction_44 (dist/build/Tip/Parser/ParTIP.hs:477)
    happyReduce_45 (dist/build/Tip/Parser/ParTIP.hs:493)
    happyReduction_45 (dist/build/Tip/Parser/ParTIP.hs:494)
    happyReduce_46 (dist/build/Tip/Parser/ParTIP.hs:500)
    happyReduction_46 (dist/build/Tip/Parser/ParTIP.hs:501)
    happyReduce_47 (dist/build/Tip/Parser/ParTIP.hs:514)
    happyReduction_47 (dist/build/Tip/Parser/ParTIP.hs:515)
    happyReduce_48 (dist/build/Tip/Parser/ParTIP.hs:526)
    happyReduction_48 (dist/build/Tip/Parser/ParTIP.hs:527)
    happyReduce_49 (dist/build/Tip/Parser/ParTIP.hs:538)
    happyReduction_49 (dist/build/Tip/Parser/ParTIP.hs:539)
    happyReduce_50 (dist/build/Tip/Parser/ParTIP.hs:550)
    happyReduction_50 (dist/build/Tip/Parser/ParTIP.hs:551)
    happyReduce_51 (dist/build/Tip/Parser/ParTIP.hs:562)
    happyReduction_51 (dist/build/Tip/Parser/ParTIP.hs:563)
    happyReduce_52 (dist/build/Tip/Parser/ParTIP.hs:569)
    happyReduction_52 (dist/build/Tip/Parser/ParTIP.hs:570)
    happyReduce_53 (dist/build/Tip/Parser/ParTIP.hs:581)
    happyReduction_53 (dist/build/Tip/Parser/ParTIP.hs:582)
    happyReduce_54 (dist/build/Tip/Parser/ParTIP.hs:592)
    happyReduction_54 (dist/build/Tip/Parser/ParTIP.hs:593)
    happyReduce_55 (dist/build/Tip/Parser/ParTIP.hs:598)
    happyReduction_55 (dist/build/Tip/Parser/ParTIP.hs:599)
    happyReduce_56 (dist/build/Tip/Parser/ParTIP.hs:604)
    happyReduction_56 (dist/build/Tip/Parser/ParTIP.hs:605)
    happyReduce_57 (dist/build/Tip/Parser/ParTIP.hs:611)
    happyReduction_57 (dist/build/Tip/Parser/ParTIP.hs:612)
    happyReduce_58 (dist/build/Tip/Parser/ParTIP.hs:624)
    happyReduction_58 (dist/build/Tip/Parser/ParTIP.hs:625)
    happyReduce_59 (dist/build/Tip/Parser/ParTIP.hs:636)
    happyReduction_59 (dist/build/Tip/Parser/ParTIP.hs:637)
    happyReduce_60 (dist/build/Tip/Parser/ParTIP.hs:649)
    happyReduction_60 (dist/build/Tip/Parser/ParTIP.hs:650)
    happyReduce_61 (dist/build/Tip/Parser/ParTIP.hs:664)
    happyReduction_61 (dist/build/Tip/Parser/ParTIP.hs:665)
    happyReduce_62 (dist/build/Tip/Parser/ParTIP.hs:680)
    happyReduction_62 (dist/build/Tip/Parser/ParTIP.hs:681)
    happyReduce_63 (dist/build/Tip/Parser/ParTIP.hs:687)
    happyReduction_63 (dist/build/Tip/Parser/ParTIP.hs:688)
    happyReduce_64 (dist/build/Tip/Parser/ParTIP.hs:693)
    happyReduction_64 (dist/build/Tip/Parser/ParTIP.hs:694)
    happyReduce_65 (dist/build/Tip/Parser/ParTIP.hs:699)
    happyReduction_65 (dist/build/Tip/Parser/ParTIP.hs:700)
    happyReduce_66 (dist/build/Tip/Parser/ParTIP.hs:705)
    happyReduction_66 (dist/build/Tip/Parser/ParTIP.hs:706)
    happyReduce_67 (dist/build/Tip/Parser/ParTIP.hs:711)
    happyReduction_67 (dist/build/Tip/Parser/ParTIP.hs:712)
    happyReduce_68 (dist/build/Tip/Parser/ParTIP.hs:717)
    happyReduction_68 (dist/build/Tip/Parser/ParTIP.hs:718)
    happyReduce_69 (dist/build/Tip/Parser/ParTIP.hs:730)
    happyReduction_69 (dist/build/Tip/Parser/ParTIP.hs:731)
    happyReduce_70 (dist/build/Tip/Parser/ParTIP.hs:736)
    happyReduction_70 (dist/build/Tip/Parser/ParTIP.hs:737)
    happyReduce_71 (dist/build/Tip/Parser/ParTIP.hs:748)
    happyReduction_71 (dist/build/Tip/Parser/ParTIP.hs:749)
    happyReduce_72 (dist/build/Tip/Parser/ParTIP.hs:755)
    happyReduction_72 (dist/build/Tip/Parser/ParTIP.hs:756)
    happyReduce_73 (dist/build/Tip/Parser/ParTIP.hs:762)
    happyReduction_73 (dist/build/Tip/Parser/ParTIP.hs:763)
    happyReduce_74 (dist/build/Tip/Parser/ParTIP.hs:768)
    happyReduction_74 (dist/build/Tip/Parser/ParTIP.hs:769)
    happyReduce_75 (dist/build/Tip/Parser/ParTIP.hs:774)
    happyReduction_75 (dist/build/Tip/Parser/ParTIP.hs:775)
    happyReduce_76 (dist/build/Tip/Parser/ParTIP.hs:780)
    happyReduction_76 (dist/build/Tip/Parser/ParTIP.hs:781)
    happyReduce_77 (dist/build/Tip/Parser/ParTIP.hs:786)
    happyReduction_77 (dist/build/Tip/Parser/ParTIP.hs:787)
    happyReduce_78 (dist/build/Tip/Parser/ParTIP.hs:792)
    happyReduction_78 (dist/build/Tip/Parser/ParTIP.hs:793)
    happyReduce_79 (dist/build/Tip/Parser/ParTIP.hs:798)
    happyReduction_79 (dist/build/Tip/Parser/ParTIP.hs:799)
    happyReduce_80 (dist/build/Tip/Parser/ParTIP.hs:804)
    happyReduction_80 (dist/build/Tip/Parser/ParTIP.hs:805)
    happyReduce_81 (dist/build/Tip/Parser/ParTIP.hs:810)
    happyReduction_81 (dist/build/Tip/Parser/ParTIP.hs:811)
    happyReduce_82 (dist/build/Tip/Parser/ParTIP.hs:816)
    happyReduction_82 (dist/build/Tip/Parser/ParTIP.hs:817)
    happyReduce_83 (dist/build/Tip/Parser/ParTIP.hs:822)
    happyReduction_83 (dist/build/Tip/Parser/ParTIP.hs:823)
    happyReduce_84 (dist/build/Tip/Parser/ParTIP.hs:828)
    happyReduction_84 (dist/build/Tip/Parser/ParTIP.hs:829)
    happyReduce_85 (dist/build/Tip/Parser/ParTIP.hs:834)
    happyReduction_85 (dist/build/Tip/Parser/ParTIP.hs:835)
    happyReduce_86 (dist/build/Tip/Parser/ParTIP.hs:840)
    happyReduction_86 (dist/build/Tip/Parser/ParTIP.hs:841)
    happyReduce_87 (dist/build/Tip/Parser/ParTIP.hs:846)
    happyReduction_87 (dist/build/Tip/Parser/ParTIP.hs:847)
    happyReduce_88 (dist/build/Tip/Parser/ParTIP.hs:852)
    happyReduction_88 (dist/build/Tip/Parser/ParTIP.hs:853)
    happyReduce_89 (dist/build/Tip/Parser/ParTIP.hs:858)
    happyReduction_89 (dist/build/Tip/Parser/ParTIP.hs:859)
    happyReduce_90 (dist/build/Tip/Parser/ParTIP.hs:864)
    happyReduction_90 (dist/build/Tip/Parser/ParTIP.hs:865)
    happyReduce_91 (dist/build/Tip/Parser/ParTIP.hs:869)
    happyReduction_91 (dist/build/Tip/Parser/ParTIP.hs:870)
    happyReduce_92 (dist/build/Tip/Parser/ParTIP.hs:878)
    happyReduction_92 (dist/build/Tip/Parser/ParTIP.hs:879)
    happyReduce_93 (dist/build/Tip/Parser/ParTIP.hs:883)
    happyReduction_93 (dist/build/Tip/Parser/ParTIP.hs:884)
    happyReduce_94 (dist/build/Tip/Parser/ParTIP.hs:892)
    happyReduction_94 (dist/build/Tip/Parser/ParTIP.hs:893)
    happyReduce_95 (dist/build/Tip/Parser/ParTIP.hs:897)
    happyReduction_95 (dist/build/Tip/Parser/ParTIP.hs:898)
    happyReduce_96 (dist/build/Tip/Parser/ParTIP.hs:906)
    happyReduction_96 (dist/build/Tip/Parser/ParTIP.hs:907)
    happyReduce_97 (dist/build/Tip/Parser/ParTIP.hs:911)
    happyReduction_97 (dist/build/Tip/Parser/ParTIP.hs:912)
    happyReduce_98 (dist/build/Tip/Parser/ParTIP.hs:920)
    happyReduction_98 (dist/build/Tip/Parser/ParTIP.hs:921)
    happyReduce_99 (dist/build/Tip/Parser/ParTIP.hs:925)
    happyReduction_99 (dist/build/Tip/Parser/ParTIP.hs:926)
    happyReduce_100 (dist/build/Tip/Parser/ParTIP.hs:934)
    happyReduction_100 (dist/build/Tip/Parser/ParTIP.hs:935)
    happyReduce_101 (dist/build/Tip/Parser/ParTIP.hs:939)
    happyReduction_101 (dist/build/Tip/Parser/ParTIP.hs:940)
    happyReduce_102 (dist/build/Tip/Parser/ParTIP.hs:948)
    happyReduction_102 (dist/build/Tip/Parser/ParTIP.hs:949)
    happyReduce_103 (dist/build/Tip/Parser/ParTIP.hs:953)
    happyReduction_103 (dist/build/Tip/Parser/ParTIP.hs:954)
    happyReduce_104 (dist/build/Tip/Parser/ParTIP.hs:962)
    happyReduction_104 (dist/build/Tip/Parser/ParTIP.hs:963)
    happyReduce_105 (dist/build/Tip/Parser/ParTIP.hs:967)
    happyReduction_105 (dist/build/Tip/Parser/ParTIP.hs:968)
    happyReduce_106 (dist/build/Tip/Parser/ParTIP.hs:976)
    happyReduction_106 (dist/build/Tip/Parser/ParTIP.hs:977)
    happyReduce_107 (dist/build/Tip/Parser/ParTIP.hs:981)
    happyReduction_107 (dist/build/Tip/Parser/ParTIP.hs:982)
    happyReduce_108 (dist/build/Tip/Parser/ParTIP.hs:990)
    happyReduction_108 (dist/build/Tip/Parser/ParTIP.hs:991)
    happyReduce_109 (dist/build/Tip/Parser/ParTIP.hs:995)
    happyReduction_109 (dist/build/Tip/Parser/ParTIP.hs:996)
    happyNewToken (dist/build/Tip/Parser/ParTIP.hs:1004)
    happyError_ (dist/build/Tip/Parser/ParTIP.hs:1054)
    happyThen (dist/build/Tip/Parser/ParTIP.hs:1057)
    happyReturn (dist/build/Tip/Parser/ParTIP.hs:1059)
    happyThen1 (dist/build/Tip/Parser/ParTIP.hs:1061)
    happyReturn1 (dist/build/Tip/Parser/ParTIP.hs:1062)
    happyError' (dist/build/Tip/Parser/ParTIP.hs:1064)
    pStart (dist/build/Tip/Parser/ParTIP.hs:1067)
    pListDecl (dist/build/Tip/Parser/ParTIP.hs:1070)
    pDecl (dist/build/Tip/Parser/ParTIP.hs:1073)
    pAssertion (dist/build/Tip/Parser/ParTIP.hs:1076)
    pFunDef (dist/build/Tip/Parser/ParTIP.hs:1079)
    pInnerFunDef (dist/build/Tip/Parser/ParTIP.hs:1082)
    pFunDecl (dist/build/Tip/Parser/ParTIP.hs:1085)
    pInnerFunDecl (dist/build/Tip/Parser/ParTIP.hs:1088)
    pDatatype (dist/build/Tip/Parser/ParTIP.hs:1091)
    pConstructor (dist/build/Tip/Parser/ParTIP.hs:1094)
    pBinding (dist/build/Tip/Parser/ParTIP.hs:1097)
    pLetDecl (dist/build/Tip/Parser/ParTIP.hs:1100)
    pType (dist/build/Tip/Parser/ParTIP.hs:1103)
    pExpr (dist/build/Tip/Parser/ParTIP.hs:1106)
    pBinder (dist/build/Tip/Parser/ParTIP.hs:1109)
    pCase (dist/build/Tip/Parser/ParTIP.hs:1112)
    pPattern (dist/build/Tip/Parser/ParTIP.hs:1115)
    pHead (dist/build/Tip/Parser/ParTIP.hs:1118)
    pListLetDecl (dist/build/Tip/Parser/ParTIP.hs:1121)
    pListCase (dist/build/Tip/Parser/ParTIP.hs:1124)
    pListExpr (dist/build/Tip/Parser/ParTIP.hs:1127)
    pListDatatype (dist/build/Tip/Parser/ParTIP.hs:1130)
    pListConstructor (dist/build/Tip/Parser/ParTIP.hs:1133)
    pListBinding (dist/build/Tip/Parser/ParTIP.hs:1136)
    pListSymbol (dist/build/Tip/Parser/ParTIP.hs:1139)
    pListType (dist/build/Tip/Parser/ParTIP.hs:1142)
    pListFunDecl (dist/build/Tip/Parser/ParTIP.hs:1145)
    pListFunDef (dist/build/Tip/Parser/ParTIP.hs:1148)
    happySeq (dist/build/Tip/Parser/ParTIP.hs:1151)
    returnM (dist/build/Tip/Parser/ParTIP.hs:1154)
    thenM (dist/build/Tip/Parser/ParTIP.hs:1157)
    happyError (dist/build/Tip/Parser/ParTIP.hs:1160)
    myLexer (dist/build/Tip/Parser/ParTIP.hs:1168)
    Happy_IntList (templates/GenericTemplate.hs:48)
    HappyStk (templates/GenericTemplate.hs:88)
    happyParse (templates/GenericTemplate.hs:93)
    happyAccept (templates/GenericTemplate.hs:101)
    happyDoAction (templates/GenericTemplate.hs:111)
    indexShortOffAddr (templates/GenericTemplate.hs:139)
    HappyAddr (templates/GenericTemplate.hs:151)
    happyShift (templates/GenericTemplate.hs:174)
    happySpecReduce_0 (templates/GenericTemplate.hs:184)
    happySpecReduce_1 (templates/GenericTemplate.hs:189)
    happySpecReduce_2 (templates/GenericTemplate.hs:195)
    happySpecReduce_3 (templates/GenericTemplate.hs:201)
    happyReduce (templates/GenericTemplate.hs:207)
    happyMonadReduce (templates/GenericTemplate.hs:215)
    happyMonad2Reduce (templates/GenericTemplate.hs:223)
    happyDrop (templates/GenericTemplate.hs:239)
    happyDropStk (templates/GenericTemplate.hs:242)
    happyGoto (templates/GenericTemplate.hs:249)
    happyFail (templates/GenericTemplate.hs:263)
    notHappyAtAll (templates/GenericTemplate.hs:287)
    happyTcHack (templates/GenericTemplate.hs:294)
    happyDoSeq (templates/GenericTemplate.hs:305)
    happyDontSeq (templates/GenericTemplate.hs:305)
   7% (  1 / 14) in 'Tip.Haskell.Repr'
  Missing documentation for:
    Decls (src/Tip/Haskell/Repr.hs:8)
    Decl (src/Tip/Haskell/Repr.hs:11)
    funDecl (src/Tip/Haskell/Repr.hs:31)
    Type (src/Tip/Haskell/Repr.hs:34)
    modTyCon (src/Tip/Haskell/Repr.hs:44)
    Expr (src/Tip/Haskell/Repr.hs:52)
    nestedTyTup (src/Tip/Haskell/Repr.hs:72)
    nestedTup (src/Tip/Haskell/Repr.hs:76)
    nestedTupPat (src/Tip/Haskell/Repr.hs:80)
    mkDo (src/Tip/Haskell/Repr.hs:84)
    var (src/Tip/Haskell/Repr.hs:91)
    Pat (src/Tip/Haskell/Repr.hs:94)
    Stmt (src/Tip/Haskell/Repr.hs:97)
   0% (  0 / 13) in 'Tip.Utils.Rename'
  Missing documentation for:
    Module header
    RenameM (src/Tip/Utils/Rename.hs:22)
    Suggestor (src/Tip/Utils/Rename.hs:24)
    disambig (src/Tip/Utils/Rename.hs:26)
    disambig2 (src/Tip/Utils/Rename.hs:40)
    evalRenameM (src/Tip/Utils/Rename.hs:44)
    runRenameM (src/Tip/Utils/Rename.hs:47)
    insert (src/Tip/Utils/Rename.hs:51)
    insertMany (src/Tip/Utils/Rename.hs:61)
    lkup (src/Tip/Utils/Rename.hs:64)
    rename (src/Tip/Utils/Rename.hs:71)
    renameWith (src/Tip/Utils/Rename.hs:74)
    renameWithBlocks (src/Tip/Utils/Rename.hs:77)
   0% (  0 /  9) in 'Tip.Writer'
  Missing documentation for:
    Module header
    WriterT (src/Tip/Writer.hs:11)
     (src/Tip/Writer.hs:13)
     (src/Tip/Writer.hs:17)
     (src/Tip/Writer.hs:23)
    runWriterT (src/Tip/Writer.hs:33)
    tell (src/Tip/Writer.hs:37)
    lift (src/Tip/Writer.hs:41)
    censor (src/Tip/Writer.hs:45)
 100% (  6 /  6) in 'Tip.Utils'
  10% (  7 / 70) in 'Tip.Types'
  Missing documentation for:
    Head (src/Tip/Types.hs:11)
    Local (src/Tip/Types.hs:16)
    Global (src/Tip/Types.hs:19)
    Expr (src/Tip/Types.hs:28)
    Quant (src/Tip/Types.hs:41)
    QuantInfo (src/Tip/Types.hs:44)
    Case (src/Tip/Types.hs:47)
    Builtin (src/Tip/Types.hs:50)
    intBuiltin (src/Tip/Types.hs:70)
    litBuiltin (src/Tip/Types.hs:73)
    eqRelatedBuiltin (src/Tip/Types.hs:77)
    logicalBuiltin (src/Tip/Types.hs:80)
    Lit (src/Tip/Types.hs:83)
    BuiltinType (src/Tip/Types.hs:113)
    Function (src/Tip/Types.hs:117)
    Constructor (src/Tip/Types.hs:147)
    Theory (src/Tip/Types.hs:154)
    emptyTheory (src/Tip/Types.hs:163)
    joinTheories (src/Tip/Types.hs:166)
     (src/Tip/Types.hs:169)
    Formula (src/Tip/Types.hs:173)
    Role (src/Tip/Types.hs:181)
     (src/Tip/Types.hs:184)
     (src/Tip/Types.hs:185)
     (src/Tip/Types.hs:186)
     (src/Tip/Types.hs:187)
     (src/Tip/Types.hs:188)
     (src/Tip/Types.hs:189)
     (src/Tip/Types.hs:190)
     (src/Tip/Types.hs:191)
     (src/Tip/Types.hs:192)
     (src/Tip/Types.hs:193)
     (src/Tip/Types.hs:194)
     (src/Tip/Types.hs:195)
     (src/Tip/Types.hs:196)
     (src/Tip/Types.hs:197)
     (src/Tip/Types.hs:198)
     (src/Tip/Types.hs:199)
     (src/Tip/Types.hs:200)
     (src/Tip/Types.hs:201)
     (src/Tip/Types.hs:202)
     (src/Tip/Types.hs:203)
     (src/Tip/Types.hs:204)
     (src/Tip/Types.hs:205)
     (src/Tip/Types.hs:206)
     (src/Tip/Types.hs:207)
     (src/Tip/Types.hs:208)
     (src/Tip/Types.hs:209)
     (src/Tip/Types.hs:210)
     (src/Tip/Types.hs:211)
     (src/Tip/Types.hs:214)
     (src/Tip/Types.hs:217)
     (src/Tip/Types.hs:220)
     (src/Tip/Types.hs:223)
     (src/Tip/Types.hs:226)
     (src/Tip/Types.hs:229)
     (src/Tip/Types.hs:232)
    transformExpr (src/Tip/Types.hs:236)
    transformExprM (src/Tip/Types.hs:239)
    transformExprIn (src/Tip/Types.hs:242)
    transformExprInM (src/Tip/Types.hs:245)
    transformType (src/Tip/Types.hs:248)
    transformTypeInExpr (src/Tip/Types.hs:251)
  73% (  8 / 11) in 'Tip.Pretty'
  Missing documentation for:
    Module header
     (src/Tip/Pretty.hs:23)
     (src/Tip/Pretty.hs:26)
  88% (  7 /  8) in 'Tip.Fresh'
  Missing documentation for:
     (src/Tip/Fresh.hs:56)
  23% ( 18 / 79) in 'Tip.Core'
  Missing documentation for:
    === (src/Tip/Core.hs:34)
    =/= (src/Tip/Core.hs:37)
    neg (src/Tip/Core.hs:40)
    /\ (src/Tip/Core.hs:48)
    \/ (src/Tip/Core.hs:54)
    ands (src/Tip/Core.hs:60)
    ors (src/Tip/Core.hs:63)
    ==> (src/Tip/Core.hs:66)
    ===> (src/Tip/Core.hs:72)
    mkQuant (src/Tip/Core.hs:75)
    bool (src/Tip/Core.hs:79)
    trueExpr (src/Tip/Core.hs:82)
    falseExpr (src/Tip/Core.hs:85)
    makeIf (src/Tip/Core.hs:88)
    intLit (src/Tip/Core.hs:93)
    literal (src/Tip/Core.hs:96)
    intType (src/Tip/Core.hs:99)
    boolType (src/Tip/Core.hs:102)
    applyFunction (src/Tip/Core.hs:105)
    applySignature (src/Tip/Core.hs:109)
    apply (src/Tip/Core.hs:113)
    applyType (src/Tip/Core.hs:117)
    applyPolyType (src/Tip/Core.hs:129)
    litView (src/Tip/Core.hs:136)
    boolView (src/Tip/Core.hs:140)
    ifView (src/Tip/Core.hs:187)
    projAt (src/Tip/Core.hs:195)
    projGlobal (src/Tip/Core.hs:199)
    atomic (src/Tip/Core.hs:203)
    occurrences (src/Tip/Core.hs:208)
    bound (src/Tip/Core.hs:219)
    free (src/Tip/Core.hs:219)
    locals (src/Tip/Core.hs:219)
    globals (src/Tip/Core.hs:229)
    tyVars (src/Tip/Core.hs:236)
    freeTyVars (src/Tip/Core.hs:241)
    freshLocal (src/Tip/Core.hs:287)
    freshArgs (src/Tip/Core.hs:290)
    refreshLocal (src/Tip/Core.hs:293)
    freshen (src/Tip/Core.hs:297)
    freshenNames (src/Tip/Core.hs:300)
    substMany (src/Tip/Core.hs:318)
    letExpr (src/Tip/Core.hs:321)
    updateLocalType (src/Tip/Core.hs:339)
    updateFuncType (src/Tip/Core.hs:342)
    matchTypesIn (src/Tip/Core.hs:351)
    matchTypes (src/Tip/Core.hs:356)
    makeGlobal (src/Tip/Core.hs:374)
    constructorType (src/Tip/Core.hs:385)
    destructorType (src/Tip/Core.hs:389)
    constructor (src/Tip/Core.hs:393)
    projector (src/Tip/Core.hs:397)
    discriminator (src/Tip/Core.hs:403)
    mapDecls (src/Tip/Core.hs:409)
    topsort (src/Tip/Core.hs:414)
    Definition (src/Tip/Core.hs:417)
    :+: (src/Tip/Core.hs:421)
     (src/Tip/Core.hs:424)
     (src/Tip/Core.hs:430)
     (src/Tip/Core.hs:434)
     (src/Tip/Core.hs:438)
  12% (  6 / 49) in 'Tip.Scope'
  Missing documentation for:
    Scope (src/Tip/Scope.hs:24)
    TypeInfo (src/Tip/Scope.hs:33)
    GlobalInfo (src/Tip/Scope.hs:39)
    globalType (src/Tip/Scope.hs:46)
    isType (src/Tip/Scope.hs:53)
    isTyVar (src/Tip/Scope.hs:53)
    isSort (src/Tip/Scope.hs:53)
    isLocal (src/Tip/Scope.hs:53)
    isGlobal (src/Tip/Scope.hs:53)
    lookupType (src/Tip/Scope.hs:61)
    lookupLocal (src/Tip/Scope.hs:64)
    lookupGlobal (src/Tip/Scope.hs:67)
    lookupDatatype (src/Tip/Scope.hs:70)
    lookupFunction (src/Tip/Scope.hs:75)
    lookupConstructor (src/Tip/Scope.hs:80)
    lookupDiscriminator (src/Tip/Scope.hs:85)
    lookupProjector (src/Tip/Scope.hs:90)
    whichDatatype (src/Tip/Scope.hs:95)
    whichLocal (src/Tip/Scope.hs:97)
    whichGlobal (src/Tip/Scope.hs:99)
    whichFunction (src/Tip/Scope.hs:101)
    whichConstructor (src/Tip/Scope.hs:103)
    whichDiscriminator (src/Tip/Scope.hs:105)
    whichProjector (src/Tip/Scope.hs:107)
    ScopeT (src/Tip/Scope.hs:112)
     (src/Tip/Scope.hs:115)
     (src/Tip/Scope.hs:118)
    runScopeT (src/Tip/Scope.hs:121)
    checkScopeT (src/Tip/Scope.hs:124)
    ScopeM (src/Tip/Scope.hs:130)
    runScope (src/Tip/Scope.hs:132)
    checkScope (src/Tip/Scope.hs:135)
    emptyScope (src/Tip/Scope.hs:138)
    inContext (src/Tip/Scope.hs:141)
    local (src/Tip/Scope.hs:145)
    newScope (src/Tip/Scope.hs:154)
    newName (src/Tip/Scope.hs:159)
    newTyVar (src/Tip/Scope.hs:169)
    newSort (src/Tip/Scope.hs:175)
    newDatatype (src/Tip/Scope.hs:181)
    newConstructor (src/Tip/Scope.hs:188)
    newFunction (src/Tip/Scope.hs:200)
    newLocal (src/Tip/Scope.hs:206)
  67% (  2 /  3) in 'Tip.Rename'
  Missing documentation for:
    Module header
   0% (  0 / 42) in 'Tip.Pretty.SMT'
  Missing documentation for:
    Module header
    expr (src/Tip/Pretty/SMT.hs:13)
    parExpr (src/Tip/Pretty/SMT.hs:13)
    parExprSep (src/Tip/Pretty/SMT.hs:13)
    exprSep (src/Tip/Pretty/SMT.hs:24)
    apply (src/Tip/Pretty/SMT.hs:27)
    validSMTChar (src/Tip/Pretty/SMT.hs:30)
    ppTheory (src/Tip/Pretty/SMT.hs:36)
    ppSort (src/Tip/Pretty/SMT.hs:46)
    ppDatas (src/Tip/Pretty/SMT.hs:49)
    ppData (src/Tip/Pretty/SMT.hs:53)
    ppCon (src/Tip/Pretty/SMT.hs:57)
    par (src/Tip/Pretty/SMT.hs:62)
    par' (src/Tip/Pretty/SMT.hs:66)
    ppUninterp (src/Tip/Pretty/SMT.hs:70)
    ppFuncs (src/Tip/Pretty/SMT.hs:77)
    ppFuncSig (src/Tip/Pretty/SMT.hs:83)
    ppFormula (src/Tip/Pretty/SMT.hs:89)
    ppExpr (src/Tip/Pretty/SMT.hs:93)
    ppLocals (src/Tip/Pretty/SMT.hs:105)
    ppLocal (src/Tip/Pretty/SMT.hs:108)
    ppHead (src/Tip/Pretty/SMT.hs:111)
    ppBuiltin (src/Tip/Pretty/SMT.hs:118)
    ppLit (src/Tip/Pretty/SMT.hs:137)
    ppQuant (src/Tip/Pretty/SMT.hs:143)
    ppCase (src/Tip/Pretty/SMT.hs:147)
    ppPat (src/Tip/Pretty/SMT.hs:150)
    ppType (src/Tip/Pretty/SMT.hs:155)
     (src/Tip/Pretty/SMT.hs:164)
     (src/Tip/Pretty/SMT.hs:167)
    ppPolyType (src/Tip/Pretty/SMT.hs:170)
     (src/Tip/Pretty/SMT.hs:176)
     (src/Tip/Pretty/SMT.hs:179)
     (src/Tip/Pretty/SMT.hs:182)
     (src/Tip/Pretty/SMT.hs:185)
     (src/Tip/Pretty/SMT.hs:188)
     (src/Tip/Pretty/SMT.hs:191)
     (src/Tip/Pretty/SMT.hs:194)
     (src/Tip/Pretty/SMT.hs:197)
     (src/Tip/Pretty/SMT.hs:200)
     (src/Tip/Pretty/SMT.hs:203)
    smtKeywords (src/Tip/Pretty/SMT.hs:206)
 100% (  4 /  4) in 'Tip.Lint'
  22% (  2 /  9) in 'Tip.Pass.Pipeline'
  Missing documentation for:
    Module header
    Pass (src/Tip/Pass/Pipeline.hs:16)
    unitPass (src/Tip/Pass/Pipeline.hs:21)
    runPassLinted (src/Tip/Pass/Pipeline.hs:24)
     (src/Tip/Pass/Pipeline.hs:36)
    runPasses (src/Tip/Pass/Pipeline.hs:41)
    parsePasses (src/Tip/Pass/Pipeline.hs:50)
  75% (  6 /  8) in 'Tip.Simplify'
  Missing documentation for:
    Module header
    isConstructor (src/Tip/Simplify.hs:179)
   0% (  0 /  5) in 'Tip.WorkerWrapper'
  Missing documentation for:
    Module header
    WorkerWrapper (src/Tip/WorkerWrapper.hs:11)
    workerWrapperTheory (src/Tip/WorkerWrapper.hs:19)
    workerWrapperFunctions (src/Tip/WorkerWrapper.hs:26)
    workerWrapper (src/Tip/WorkerWrapper.hs:30)
  50% (  1 /  2) in 'Tip.Pass.AddMatch'
  Missing documentation for:
    Module header
  50% (  1 /  2) in 'Tip.Pass.CommuteMatch'
  Missing documentation for:
    Module header
  50% (  1 /  2) in 'Tip.Pass.RemoveMatch'
  Missing documentation for:
    Module header
  20% (  1 /  5) in 'Tip.Pass.CSEMatch'
  Missing documentation for:
    Module header
    CSEMatchOpts (src/Tip/Pass/CSEMatch.hs:7)
    cseMatchNormal (src/Tip/Pass/CSEMatch.hs:13)
    cseMatchWhy3 (src/Tip/Pass/CSEMatch.hs:13)
  50% (  1 /  2) in 'Tip.Pass.Uncurry'
  Missing documentation for:
    Module header
  50% (  1 /  2) in 'Tip.Pass.RemoveNewtype'
  Missing documentation for:
    Module header
  50% (  1 /  2) in 'Tip.Pass.NegateConjecture'
  Missing documentation for:
    Module header
  67% (  2 /  3) in 'Tip.Pass.EqualFunctions'
  Missing documentation for:
    Module header
  75% (  3 /  4) in 'Tip.Pass.Lift'
  Missing documentation for:
    Module header
  50% (  3 /  6) in 'Tip.Pass.Booleans'
  Missing documentation for:
    Module header
    formulaBoolOpToIf (src/Tip/Pass/Booleans.hs:19)
    hasBoolType (src/Tip/Pass/Booleans.hs:29)
   0% (  0 /  3) in 'Tip.Pass.EliminateDeadCode'
  Missing documentation for:
    Module header
    eliminateDeadCode (src/Tip/Pass/EliminateDeadCode.hs:10)
    fixpoint (src/Tip/Pass/EliminateDeadCode.hs:20)
   0% (  0 /  2) in 'Tip.Pass.FillInCases'
  Missing documentation for:
    Module header
    fillInCases (src/Tip/Pass/FillInCases.hs:15)
  78% ( 31 / 40) in 'Tip.Passes'
  Missing documentation for:
    cseMatchNormal (src/Tip/Pass/CSEMatch.hs:13)
    cseMatchWhy3 (src/Tip/Pass/CSEMatch.hs:13)
    fillInCases (src/Tip/Pass/FillInCases.hs:15)
    Pass (src/Tip/Pass/Pipeline.hs:16)
    unitPass (src/Tip/Pass/Pipeline.hs:21)
    runPassLinted (src/Tip/Pass/Pipeline.hs:24)
     (src/Tip/Pass/Pipeline.hs:36)
    runPasses (src/Tip/Pass/Pipeline.hs:41)
    parsePasses (src/Tip/Pass/Pipeline.hs:50)
   0% (  0 / 35) in 'Tip.Pretty.Why3'
  Missing documentation for:
    Module header
    Why3Var (src/Tip/Pretty/Why3.hs:19)
     (src/Tip/Pretty/Why3.hs:22)
    why3VarTheory (src/Tip/Pretty/Why3.hs:33)
    block (src/
src/Tip/Pretty/Isabelle.hs:154:34:
    parse error on input ‘-- $\ "::" $\ ppType 0 (exprType e)’
Tip/Pretty/Why3.hs:39)
    pcsv (src/Tip/Pretty/Why3.hs:42)
    csv (src/Tip/Pretty/Why3.hs:42)
    csv1 (src/Tip/Pretty/Why3.hs:42)
    separating (src/Tip/Pretty/Why3.hs:50)
    escape (src/Tip/Pretty/Why3.hs:57)
    ppTheory (src/Tip/Pretty/Why3.hs:61)
    ppSort (src/Tip/Pretty/Why3.hs:74)
    ppDatas (src/Tip/Pretty/Why3.hs:79)
    ppData (src/Tip/Pretty/Why3.hs:82)
    ppCon (src/Tip/Pretty/Why3.hs:87)
    ppQuant (src/Tip/Pretty/Why3.hs:90)
    ppBinder (src/Tip/Pretty/Why3.hs:94)
    ppLocalBinder (src/Tip/Pretty/Why3.hs:97)
    ppUninterp (src/Tip/Pretty/Why3.hs:100)
    ppFuncs (src/Tip/Pretty/Why3.hs:104)
    ppFunc (src/Tip/Pretty/Why3.hs:107)
    ppDeepPattern (src/Tip/Pretty/Why3.hs:115)
    ppFormula (src/Tip/Pretty/Why3.hs:120)
    ppRole (src/Tip/Pretty/Why3.hs:124)
    ppExpr (src/Tip/Pretty/Why3.hs:128)
    ppHead (src/Tip/Pretty/Why3.hs:143)
    ppBuiltin (src/Tip/Pretty/Why3.hs:149)
    ppBinOp (src/Tip/Pretty/Why3.hs:156)
    ppLit (src/Tip/Pretty/Why3.hs:171)
    ppQuantName (src/Tip/Pretty/Why3.hs:177)
    ppCase (src/Tip/Pretty/Why3.hs:181)
    ppPat (src/Tip/Pretty/Why3.hs:184)
    ppType (src/Tip/Pretty/Why3.hs:190)
    ppTyVar (src/Tip/Pretty/Why3.hs:197)
    why3Keywords (src/Tip/Pretty/Why3.hs:200)
Creating package registration file:
/tmp/pkgConf-tip-lib-0.1386497181396005216.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/tip-lib-0.1.1-4xck352YEKKLvjJANb7lb2
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 tip-lib-0.1.1...
Installed tip-lib-0.1.1