Build #3 for tip-lib-0.1.1
| Package | tip-lib-0.1.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Failed |
| Tests | NotTried |
| Time submitted | 2015-11-25 14:07:58.704737 UTC |
|---|---|
| Compiler | ghc-7.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | split-0.2.2, pretty-show-1.6.9, pretty-1.1.2.0, optparse-applicative-0.12.0.0, mtl-2.2.1, geniplate-mirror-0.7.1, containers-0.5.6.2, base-4.8.1.0, array-0.5.1.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring 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
Test log
No test log was submitted for this report.