Build #1 for tip-lib-0.2.2
| Package | tip-lib-0.2.2 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-12-15 11:04:33.105556 UTC |
|---|---|
| Compiler | ghc-7.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | structural-induction-0.3, split-0.2.2, pretty-1.1.2.0, optparse-applicative-0.12.0.0, mtl-2.2.1, geniplate-mirror-0.7.1, genifunctors-0.3, filepath-1.4.0.0, 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 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.220406514341975960378.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 safe-0.3.9...
Building safe-0.3.9...
Preprocessing library safe-0.3.9...
[1 of 4] Compiling Safe.Util ( Safe/Util.hs, dist/build/Safe/Util.o )
[2 of 4] Compiling Safe.Exact ( Safe/Exact.hs, dist/build/Safe/Exact.o )
[3 of 4] Compiling Safe.Foldable ( Safe/Foldable.hs, dist/build/Safe/Foldable.o )
[4 of 4] Compiling Safe ( Safe.hs, dist/build/Safe.o )
In-place registering safe-0.3.9...
Running Haddock for safe-0.3.9...
Running hscolour for safe-0.3.9...
Preprocessing library safe-0.3.9...
Preprocessing library safe-0.3.9...
Haddock coverage:
14% ( 1 / 7) in 'Safe.Util'
Missing documentation for:
.^ (Safe/Util.hs:8)
.^^ (Safe/Util.hs:11)
liftMay (Safe/Util.hs:14)
fromNoteModule (Safe/Util.hs:17)
fromNoteEitherModule (Safe/Util.hs:21)
eitherToMaybe (Safe/Util.hs:25)
35% ( 8 / 23) in 'Safe.Exact'
Missing documentation for:
takeExactMay (Safe/Exact.hs:93)
takeExactNote (Safe/Exact.hs:90)
takeExactDef (Safe/Exact.hs:96)
dropExactMay (Safe/Exact.hs:102)
dropExactNote (Safe/Exact.hs:99)
dropExactDef (Safe/Exact.hs:105)
splitAtExactMay (Safe/Exact.hs:112)
splitAtExactNote (Safe/Exact.hs:108)
splitAtExactDef (Safe/Exact.hs:116)
zipExactMay (Safe/Exact.hs:140)
zipExactNote (Safe/Exact.hs:137)
zipExactDef (Safe/Exact.hs:143)
zipWithExactMay (Safe/Exact.hs:149)
zipWithExactNote (Safe/Exact.hs:146)
zipWithExactDef (Safe/Exact.hs:152)
18% ( 5 / 28) in 'Safe.Foldable'
Missing documentation for:
foldl1May (Safe/Foldable.hs:38)
foldl1Def (Safe/Foldable.hs:46)
foldl1Note (Safe/Foldable.hs:42)
foldr1May (Safe/Foldable.hs:38)
foldr1Def (Safe/Foldable.hs:46)
foldr1Note (Safe/Foldable.hs:42)
findJustDef (Safe/Foldable.hs:79)
findJustNote (Safe/Foldable.hs:82)
minimumMay (Safe/Foldable.hs:50)
minimumDef (Safe/Foldable.hs:54)
minimumNote (Safe/Foldable.hs:58)
maximumMay (Safe/Foldable.hs:50)
maximumDef (Safe/Foldable.hs:54)
maximumNote (Safe/Foldable.hs:58)
minimumByMay (Safe/Foldable.hs:62)
minimumByDef (Safe/Foldable.hs:66)
minimumByNote (Safe/Foldable.hs:70)
maximumByMay (Safe/Foldable.hs:62)
maximumByDef (Safe/Foldable.hs:66)
maximumByNote (Safe/Foldable.hs:70)
foldl1Safe (Safe/Foldable.hs:90)
foldr1Safe (Safe/Foldable.hs:94)
findJustSafe (Safe/Foldable.hs:99)
20% ( 14 / 71) in 'Safe'
Missing documentation for:
initMay (Safe.hs:114)
initDef (Safe.hs:117)
initNote (Safe.hs:120)
initSafe (Safe.hs:123)
headMay (Safe.hs:128)
headDef (Safe.hs:132)
headNote (Safe.hs:136)
lastMay (Safe.hs:128)
lastDef (Safe.hs:132)
lastNote (Safe.hs:136)
minimumMay (Safe.hs:140)
minimumDef (Safe.hs:144)
minimumNote (Safe.hs:148)
maximumMay (Safe.hs:140)
maximumDef (Safe.hs:144)
maximumNote (Safe.hs:148)
minimumByMay (Safe.hs:152)
minimumByDef (Safe.hs:156)
minimumByNote (Safe.hs:160)
maximumByMay (Safe.hs:152)
maximumByDef (Safe.hs:156)
maximumByNote (Safe.hs:160)
foldr1May (Safe.hs:165)
foldr1Def (Safe.hs:170)
foldr1Note (Safe.hs:175)
foldl1May (Safe.hs:165)
foldl1Def (Safe.hs:170)
foldl1Note (Safe.hs:175)
foldl1May' (Safe.hs:165)
foldl1Def' (Safe.hs:170)
foldl1Note' (Safe.hs:175)
scanl1May (Safe.hs:180)
scanl1Def (Safe.hs:184)
scanl1Note (Safe.hs:188)
scanr1May (Safe.hs:180)
scanr1Def (Safe.hs:184)
scanr1Note (Safe.hs:188)
fromJustNote (Safe.hs:197)
assertNote (Safe.hs:200)
atMay (Safe.hs:209)
atDef (Safe.hs:212)
atNote (Safe.hs:215)
readMay (Safe.hs:219)
readDef (Safe.hs:222)
readNote (Safe.hs:225)
lookupJustDef (Safe.hs:233)
lookupJustNote (Safe.hs:236)
findJustDef (Safe.hs:244)
findJustNote (Safe.hs:247)
elemIndexJustDef (Safe.hs:255)
elemIndexJustNote (Safe.hs:258)
findIndexJustDef (Safe.hs:266)
findIndexJustNote (Safe.hs:269)
toEnumMay (Safe.hs:274)
toEnumDef (Safe.hs:283)
toEnumNote (Safe.hs:286)
toEnumSafe (Safe.hs:289)
Documentation created: dist/doc/html/safe/index.html,
dist/doc/html/safe/safe.txt
Creating package registration file: /tmp/pkgConf-safe-0.31775473788624549797.9
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/safe-0.3.9-BXSoeRP9IFG6t9s3abNgVi
Registering safe-0.3.9...
Installed safe-0.3.9
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.211842146772004504234.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.07163344711152645729.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.71021784812586235379.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
Downloading genifunctors-0.3...
Configuring genifunctors-0.3...
Building genifunctors-0.3...
Preprocessing library genifunctors-0.3...
[1 of 1] Compiling Data.Generics.Genifunctors ( Data/Generics/Genifunctors.hs, dist/build/Data/Generics/Genifunctors.o )
In-place registering genifunctors-0.3...
Running Haddock for genifunctors-0.3...
Running hscolour for genifunctors-0.3...
Preprocessing library genifunctors-0.3...
Preprocessing library genifunctors-0.3...
Haddock coverage:
100% ( 6 / 6) in 'Data.Generics.Genifunctors'
Documentation created: dist/doc/html/genifunctors/index.html,
dist/doc/html/genifunctors/genifunctors.txt
Creating package registration file:
/tmp/pkgConf-genifunctors-01265122573124666328.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/genifunctors-0.3-1oNtPQd2cJK6aUSv9TYeeJ
Registering genifunctors-0.3...
Installed genifunctors-0.3
Downloading geniplate-mirror-0.7.1...
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.71003886059168057522.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.0972058109343945053.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
Downloading structural-induction-0.3...
Configuring structural-induction-0.3...
Building structural-induction-0.3...
Preprocessing library structural-induction-0.3...
[1 of 6] Compiling Induction.Structural.Auxiliary ( Induction/Structural/Auxiliary.hs, dist/build/Induction/Structural/Auxiliary.o )
[2 of 6] Compiling Induction.Structural.Types ( Induction/Structural/Types.hs, dist/build/Induction/Structural/Types.o )
[3 of 6] Compiling Induction.Structural.Linearise ( Induction/Structural/Linearise.hs, dist/build/Induction/Structural/Linearise.o )
[4 of 6] Compiling Induction.Structural.Utils ( Induction/Structural/Utils.hs, dist/build/Induction/Structural/Utils.o )
[5 of 6] Compiling Induction.Structural.Subterms ( Induction/Structural/Subterms.hs, dist/build/Induction/Structural/Subterms.o )
[6 of 6] Compiling Induction.Structural ( Induction/Structural.hs, dist/build/Induction/Structural.o )
In-place registering structural-induction-0.3...
Running Haddock for structural-induction-0.3...
Running hscolour for structural-induction-0.3...
Preprocessing library structural-induction-0.3...
Preprocessing library structural-induction-0.3...
Haddock coverage:
100% ( 5 / 5) in 'Induction.Structural.Auxiliary'
100% ( 19 / 19) in 'Induction.Structural.Types'
100% ( 10 / 10) in 'Induction.Structural.Linearise'
100% ( 10 / 10) in 'Induction.Structural.Utils'
100% ( 5 / 5) in 'Induction.Structural.Subterms'
100% ( 32 / 32) in 'Induction.Structural'
Documentation created: dist/doc/html/structural-induction/index.html,
dist/doc/html/structural-induction/structural-induction.txt
Creating package registration file:
/tmp/pkgConf-structural-induction-081757276114933990.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/structural-induction-0.3-JmSawxVSYVf90TNa0gVZQM
Registering structural-induction-0.3...
Installed structural-induction-0.3
Downloading tip-lib-0.2.2...
Configuring tip-lib-0.2.2...
Building tip-lib-0.2.2...
Preprocessing library tip-lib-0.2.2...
[ 1 of 51] Compiling Tip.Parser.LexTIP ( dist/build/Tip/Parser/LexTIP.hs, dist/build/Tip/Parser/LexTIP.o )
[ 2 of 51] Compiling Tip.Parser.ErrM ( src/Tip/Parser/ErrM.hs, dist/build/Tip/Parser/ErrM.o )
[ 3 of 51] Compiling Tip.Parser.AbsTIP ( src/Tip/Parser/AbsTIP.hs, dist/build/Tip/Parser/AbsTIP.o )
[ 4 of 51] Compiling Tip.Parser.ParTIP ( dist/build/Tip/Parser/ParTIP.hs, dist/build/Tip/Parser/ParTIP.o )
[ 5 of 51] Compiling Tip.Haskell.Repr ( src/Tip/Haskell/Repr.hs, dist/build/Tip/Haskell/Repr.o )
[ 6 of 51] Compiling Tip.Utils.Rename ( src/Tip/Utils/Rename.hs, dist/build/Tip/Utils/Rename.o )
[ 7 of 51] Compiling Tip.Writer ( src/Tip/Writer.hs, dist/build/Tip/Writer.o )
[ 8 of 51] Compiling Tip.Utils ( src/Tip/Utils.hs, dist/build/Tip/Utils.o )
[ 9 of 51] Compiling Tip.Types ( src/Tip/Types.hs, dist/build/Tip/Types.o )
[10 of 51] Compiling Tip.Pretty ( src/Tip/Pretty.hs, dist/build/Tip/Pretty.o )
[11 of 51] Compiling Tip.Fresh ( src/Tip/Fresh.hs, dist/build/Tip/Fresh.o )
[12 of 51] Compiling Tip.Pass.DropSuffix ( src/Tip/Pass/DropSuffix.hs, dist/build/Tip/Pass/DropSuffix.o )
[13 of 51] Compiling Tip.Utils.Specialiser ( src/Tip/Utils/Specialiser.hs, dist/build/Tip/Utils/Specialiser.o )
[14 of 51] Compiling Tip.Core ( src/Tip/Core.hs, dist/build/Tip/Core.o )
[15 of 51] Compiling Tip.Scope ( src/Tip/Scope.hs, dist/build/Tip/Scope.o )
[16 of 51] Compiling Tip.Rename ( src/Tip/Rename.hs, dist/build/Tip/Rename.o )
[17 of 51] Compiling Tip.Pretty.SMT ( src/Tip/Pretty/SMT.hs, dist/build/Tip/Pretty/SMT.o )
[18 of 51] Compiling Tip.Lint ( src/Tip/Lint.hs, dist/build/Tip/Lint.o )
[19 of 51] Compiling Tip.Pass.Pipeline ( src/Tip/Pass/Pipeline.hs, dist/build/Tip/Pass/Pipeline.o )
[20 of 51] Compiling Tip.Simplify ( src/Tip/Simplify.hs, dist/build/Tip/Simplify.o )
[21 of 51] Compiling Tip.WorkerWrapper ( src/Tip/WorkerWrapper.hs, dist/build/Tip/WorkerWrapper.o )
[22 of 51] Compiling Tip.Pass.Conjecture ( src/Tip/Pass/Conjecture.hs, dist/build/Tip/Pass/Conjecture.o )
[23 of 51] Compiling Tip.Pass.AddMatch ( src/Tip/Pass/AddMatch.hs, dist/build/Tip/Pass/AddMatch.o )
[24 of 51] Compiling Tip.Pass.CommuteMatch ( src/Tip/Pass/CommuteMatch.hs, dist/build/Tip/Pass/CommuteMatch.o )
[25 of 51] Compiling Tip.Pass.RemoveMatch ( src/Tip/Pass/RemoveMatch.hs, dist/build/Tip/Pass/RemoveMatch.o )
[26 of 51] Compiling Tip.Pass.CSEMatch ( src/Tip/Pass/CSEMatch.hs, dist/build/Tip/Pass/CSEMatch.o )
[27 of 51] Compiling Tip.Pass.Uncurry ( src/Tip/Pass/Uncurry.hs, dist/build/Tip/Pass/Uncurry.o )
[28 of 51] Compiling Tip.Pass.RemoveNewtype ( src/Tip/Pass/RemoveNewtype.hs, dist/build/Tip/Pass/RemoveNewtype.o )
[29 of 51] Compiling Tip.Pass.EqualFunctions ( src/Tip/Pass/EqualFunctions.hs, dist/build/Tip/Pass/EqualFunctions.o )
[30 of 51] Compiling Tip.Pass.Lift ( src/Tip/Pass/Lift.hs, dist/build/Tip/Pass/Lift.o )
[31 of 51] Compiling Tip.Pass.Monomorphise ( src/Tip/Pass/Monomorphise.hs, dist/build/Tip/Pass/Monomorphise.o )
[32 of 51] Compiling Tip.Pass.Booleans ( src/Tip/Pass/Booleans.hs, dist/build/Tip/Pass/Booleans.o )
[33 of 51] Compiling Tip.Pass.EliminateDeadCode ( src/Tip/Pass/EliminateDeadCode.hs, dist/build/Tip/Pass/EliminateDeadCode.o )
[34 of 51] Compiling Tip.Pass.FillInCases ( src/Tip/Pass/FillInCases.hs, dist/build/Tip/Pass/FillInCases.o )
[35 of 51] Compiling Tip.Pass.AxiomatizeFuncdefs ( src/Tip/Pass/AxiomatizeFuncdefs.hs, dist/build/Tip/Pass/AxiomatizeFuncdefs.o )
[36 of 51] Compiling Tip.Pass.AxiomatizeDatadecls ( src/Tip/Pass/AxiomatizeDatadecls.hs, dist/build/Tip/Pass/AxiomatizeDatadecls.o )
[37 of 51] Compiling Tip.Pass.SelectConjecture ( src/Tip/Pass/SelectConjecture.hs, dist/build/Tip/Pass/SelectConjecture.o )
[38 of 51] Compiling Tip.Pass.UniqLocals ( src/Tip/Pass/UniqLocals.hs, dist/build/Tip/Pass/UniqLocals.o )
[39 of 51] Compiling Tip.Pass.Induction ( src/Tip/Pass/Induction.hs, dist/build/Tip/Pass/Induction.o )
[40 of 51] Compiling Tip.Pretty.Why3 ( src/Tip/Pretty/Why3.hs, dist/build/Tip/Pretty/Why3.o )
[41 of 51] Compiling Tip.Pretty.Isabelle ( src/Tip/Pretty/Isabelle.hs, dist/build/Tip/Pretty/Isabelle.o )
[42 of 51] Compiling Tip.Pretty.TFF ( src/Tip/Pretty/TFF.hs, dist/build/Tip/Pretty/TFF.o )
[43 of 51] Compiling Tip.Pretty.Waldmeister ( src/Tip/Pretty/Waldmeister.hs, dist/build/Tip/Pretty/Waldmeister.o )
[44 of 51] Compiling Tip.Parser.Convert ( src/Tip/Parser/Convert.hs, dist/build/Tip/Parser/Convert.o )
[45 of 51] Compiling Tip.Parser ( src/Tip/Parser.hs, dist/build/Tip/Parser.o )
[46 of 51] Compiling Tip.Pass.Concretise ( src/Tip/Pass/Concretise.hs, dist/build/Tip/Pass/Concretise.o )
[47 of 51] Compiling Tip.Passes ( src/Tip/Passes.hs, dist/build/Tip/Passes.o )
[48 of 51] Compiling Tip.CallGraph ( src/Tip/CallGraph.hs, dist/build/Tip/CallGraph.o )
[49 of 51] Compiling Tip.Haskell.Translate ( src/Tip/Haskell/Translate.hs, dist/build/Tip/Haskell/Translate.o )
[50 of 51] Compiling Tip.Haskell.Rename ( src/Tip/Haskell/Rename.hs, dist/build/Tip/Haskell/Rename.o )
[51 of 51] Compiling Tip.Pretty.Haskell ( src/Tip/Pretty/Haskell.hs, dist/build/Tip/Pretty/Haskell.o )
In-place registering tip-lib-0.2.2...
Preprocessing executable 'tip' for tip-lib-0.2.2...
[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.2.2...
Running hscolour for tip-lib-0.2.2...
Preprocessing library tip-lib-0.2.2...
Preprocessing executable 'tip' for tip-lib-0.2.2...
Preprocessing library tip-lib-0.2.2...
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 / 21) 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:31)
Par (src/Tip/Parser/AbsTIP.hs:36)
ConstDecl (src/Tip/Parser/AbsTIP.hs:40)
FunDecl (src/Tip/Parser/AbsTIP.hs:44)
FunDef (src/Tip/Parser/AbsTIP.hs:48)
FunDec (src/Tip/Parser/AbsTIP.hs:52)
InnerFunDec (src/Tip/Parser/AbsTIP.hs:57)
Datatype (src/Tip/Parser/AbsTIP.hs:61)
Constructor (src/Tip/Parser/AbsTIP.hs:65)
Binding (src/Tip/Parser/AbsTIP.hs:69)
LetDecl (src/Tip/Parser/AbsTIP.hs:73)
Type (src/Tip/Parser/AbsTIP.hs:77)
Expr (src/Tip/Parser/AbsTIP.hs:85)
Binder (src/Tip/Parser/AbsTIP.hs:98)
Case (src/Tip/Parser/AbsTIP.hs:104)
Pattern (src/Tip/Parser/AbsTIP.hs:108)
Head (src/Tip/Parser/AbsTIP.hs:114)
0% ( 0 /331) 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)
happyIn34 (dist/build/Tip/Parser/ParTIP.hs:20)
happyOut34 (dist/build/Tip/Parser/ParTIP.hs:23)
happyIn35 (dist/build/Tip/Parser/ParTIP.hs:26)
happyOut35 (dist/build/Tip/Parser/ParTIP.hs:29)
happyIn36 (dist/build/Tip/Parser/ParTIP.hs:32)
happyOut36 (dist/build/Tip/Parser/ParTIP.hs:35)
happyIn37 (dist/build/Tip/Parser/ParTIP.hs:38)
happyOut37 (dist/build/Tip/Parser/ParTIP.hs:41)
happyIn38 (dist/build/Tip/Parser/ParTIP.hs:44)
happyOut38 (dist/build/Tip/Parser/ParTIP.hs:47)
happyIn39 (dist/build/Tip/Parser/ParTIP.hs:50)
happyOut39 (dist/build/Tip/Parser/ParTIP.hs:53)
happyIn40 (dist/build/Tip/Parser/ParTIP.hs:56)
happyOut40 (dist/build/Tip/Parser/ParTIP.hs:59)
happyIn41 (dist/build/Tip/Parser/ParTIP.hs:62)
happyOut41 (dist/build/Tip/Parser/ParTIP.hs:65)
happyIn42 (dist/build/Tip/Parser/ParTIP.hs:68)
happyOut42 (dist/build/Tip/Parser/ParTIP.hs:71)
happyIn43 (dist/build/Tip/Parser/ParTIP.hs:74)
happyOut43 (dist/build/Tip/Parser/ParTIP.hs:77)
happyIn44 (dist/build/Tip/Parser/ParTIP.hs:80)
happyOut44 (dist/build/Tip/Parser/ParTIP.hs:83)
happyIn45 (dist/build/Tip/Parser/ParTIP.hs:86)
happyOut45 (dist/build/Tip/Parser/ParTIP.hs:89)
happyIn46 (dist/build/Tip/Parser/ParTIP.hs:92)
happyOut46 (dist/build/Tip/Parser/ParTIP.hs:95)
happyIn47 (dist/build/Tip/Parser/ParTIP.hs:98)
happyOut47 (dist/build/Tip/Parser/ParTIP.hs:101)
happyIn48 (dist/build/Tip/Parser/ParTIP.hs:104)
happyOut48 (dist/build/Tip/Parser/ParTIP.hs:107)
happyIn49 (dist/build/Tip/Parser/ParTIP.hs:110)
happyOut49 (dist/build/Tip/Parser/ParTIP.hs:113)
happyIn50 (dist/build/Tip/Parser/ParTIP.hs:116)
happyOut50 (dist/build/Tip/Parser/ParTIP.hs:119)
happyIn51 (dist/build/Tip/Parser/ParTIP.hs:122)
happyOut51 (dist/build/Tip/Parser/ParTIP.hs:125)
happyIn52 (dist/build/Tip/Parser/ParTIP.hs:128)
happyOut52 (dist/build/Tip/Parser/ParTIP.hs:131)
happyIn53 (dist/build/Tip/Parser/ParTIP.hs:134)
happyOut53 (dist/build/Tip/Parser/ParTIP.hs:137)
happyIn54 (dist/build/Tip/Parser/ParTIP.hs:140)
happyOut54 (dist/build/Tip/Parser/ParTIP.hs:143)
happyIn55 (dist/build/Tip/Parser/ParTIP.hs:146)
happyOut55 (dist/build/Tip/Parser/ParTIP.hs:149)
happyIn56 (dist/build/Tip/Parser/ParTIP.hs:152)
happyOut56 (dist/build/Tip/Parser/ParTIP.hs:155)
happyIn57 (dist/build/Tip/Parser/ParTIP.hs:158)
happyOut57 (dist/build/Tip/Parser/ParTIP.hs:161)
happyIn58 (dist/build/Tip/Parser/ParTIP.hs:164)
happyOut58 (dist/build/Tip/Parser/ParTIP.hs:167)
happyIn59 (dist/build/Tip/Parser/ParTIP.hs:170)
happyOut59 (dist/build/Tip/Parser/ParTIP.hs:173)
happyIn60 (dist/build/Tip/Parser/ParTIP.hs:176)
happyOut60 (dist/build/Tip/Parser/ParTIP.hs:179)
happyIn61 (dist/build/Tip/Parser/ParTIP.hs:182)
happyOut61 (dist/build/Tip/Parser/ParTIP.hs:185)
happyIn62 (dist/build/Tip/Parser/ParTIP.hs:188)
happyOut62 (dist/build/Tip/Parser/ParTIP.hs:191)
happyIn63 (dist/build/Tip/Parser/ParTIP.hs:194)
happyOut63 (dist/build/Tip/Parser/ParTIP.hs:197)
happyIn64 (dist/build/Tip/Parser/ParTIP.hs:200)
happyOut64 (dist/build/Tip/Parser/ParTIP.hs:203)
happyIn65 (dist/build/Tip/Parser/ParTIP.hs:206)
happyOut65 (dist/build/Tip/Parser/ParTIP.hs:209)
happyIn66 (dist/build/Tip/Parser/ParTIP.hs:212)
happyOut66 (dist/build/Tip/Parser/ParTIP.hs:215)
happyInTok (dist/build/Tip/Parser/ParTIP.hs:218)
happyOutTok (dist/build/Tip/Parser/ParTIP.hs:221)
happyActOffsets (dist/build/Tip/Parser/ParTIP.hs:226)
happyGotoOffsets (dist/build/Tip/Parser/ParTIP.hs:229)
happyDefActions (dist/build/Tip/Parser/ParTIP.hs:232)
happyCheck (dist/build/Tip/Parser/ParTIP.hs:235)
happyTable (dist/build/Tip/Parser/ParTIP.hs:238)
happyReduceArr (dist/build/Tip/Parser/ParTIP.hs:241)
happy_n_terms (dist/build/Tip/Parser/ParTIP.hs:337)
happy_n_nonterms (dist/build/Tip/Parser/ParTIP.hs:338)
happyReduce_31 (dist/build/Tip/Parser/ParTIP.hs:340)
happyReduction_31 (dist/build/Tip/Parser/ParTIP.hs:341)
happyReduce_32 (dist/build/Tip/Parser/ParTIP.hs:347)
happyReduction_32 (dist/build/Tip/Parser/ParTIP.hs:348)
happyReduce_33 (dist/build/Tip/Parser/ParTIP.hs:354)
happyReduction_33 (dist/build/Tip/Parser/ParTIP.hs:355)
happyReduce_34 (dist/build/Tip/Parser/ParTIP.hs:361)
happyReduction_34 (dist/build/Tip/Parser/ParTIP.hs:362)
happyReduce_35 (dist/build/Tip/Parser/ParTIP.hs:369)
happyReduction_35 (dist/build/Tip/Parser/ParTIP.hs:370)
happyReduce_36 (dist/build/Tip/Parser/ParTIP.hs:381)
happyReduction_36 (dist/build/Tip/Parser/ParTIP.hs:382)
happyReduce_37 (dist/build/Tip/Parser/ParTIP.hs:396)
happyReduction_37 (dist/build/Tip/Parser/ParTIP.hs:397)
happyReduce_38 (dist/build/Tip/Parser/ParTIP.hs:406)
happyReduction_38 (dist/build/Tip/Parser/ParTIP.hs:407)
happyReduce_39 (dist/build/Tip/Parser/ParTIP.hs:414)
happyReduction_39 (dist/build/Tip/Parser/ParTIP.hs:415)
happyReduce_40 (dist/build/Tip/Parser/ParTIP.hs:429)
happyReduction_40 (dist/build/Tip/Parser/ParTIP.hs:430)
happyReduce_41 (dist/build/Tip/Parser/ParTIP.hs:437)
happyReduction_41 (dist/build/Tip/Parser/ParTIP.hs:438)
happyReduce_42 (dist/build/Tip/Parser/ParTIP.hs:452)
happyReduction_42 (dist/build/Tip/Parser/ParTIP.hs:453)
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:475)
happyReduction_44 (dist/build/Tip/Parser/ParTIP.hs:476)
happyReduce_45 (dist/build/Tip/Parser/ParTIP.hs:483)
happyReduction_45 (dist/build/Tip/Parser/ParTIP.hs:484)
happyReduce_46 (dist/build/Tip/Parser/ParTIP.hs:498)
happyReduction_46 (dist/build/Tip/Parser/ParTIP.hs:499)
happyReduce_47 (dist/build/Tip/Parser/ParTIP.hs:513)
happyReduction_47 (dist/build/Tip/Parser/ParTIP.hs:514)
happyReduce_48 (dist/build/Tip/Parser/ParTIP.hs:522)
happyReduction_48 (dist/build/Tip/Parser/ParTIP.hs:523)
happyReduce_49 (dist/build/Tip/Parser/ParTIP.hs:536)
happyReduction_49 (dist/build/Tip/Parser/ParTIP.hs:537)
happyReduce_50 (dist/build/Tip/Parser/ParTIP.hs:542)
happyReduction_50 (dist/build/Tip/Parser/ParTIP.hs:543)
happyReduce_51 (dist/build/Tip/Parser/ParTIP.hs:548)
happyReduction_51 (dist/build/Tip/Parser/ParTIP.hs:549)
happyReduce_52 (dist/build/Tip/Parser/ParTIP.hs:559)
happyReduction_52 (dist/build/Tip/Parser/ParTIP.hs:560)
happyReduce_53 (dist/build/Tip/Parser/ParTIP.hs:568)
happyReduction_53 (dist/build/Tip/Parser/ParTIP.hs:569)
happyReduce_54 (dist/build/Tip/Parser/ParTIP.hs:582)
happyReduction_54 (dist/build/Tip/Parser/ParTIP.hs:583)
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:610)
happyReduction_56 (dist/build/Tip/Parser/ParTIP.hs:611)
happyReduce_57 (dist/build/Tip/Parser/ParTIP.hs:617)
happyReduction_57 (dist/build/Tip/Parser/ParTIP.hs:618)
happyReduce_58 (dist/build/Tip/Parser/ParTIP.hs:633)
happyReduction_58 (dist/build/Tip/Parser/ParTIP.hs:634)
happyReduce_59 (dist/build/Tip/Parser/ParTIP.hs:645)
happyReduction_59 (dist/build/Tip/Parser/ParTIP.hs:646)
happyReduce_60 (dist/build/Tip/Parser/ParTIP.hs:657)
happyReduction_60 (dist/build/Tip/Parser/ParTIP.hs:658)
happyReduce_61 (dist/build/Tip/Parser/ParTIP.hs:669)
happyReduction_61 (dist/build/Tip/Parser/ParTIP.hs:670)
happyReduce_62 (dist/build/Tip/Parser/ParTIP.hs:681)
happyReduction_62 (dist/build/Tip/Parser/ParTIP.hs:682)
happyReduce_63 (dist/build/Tip/Parser/ParTIP.hs:688)
happyReduction_63 (dist/build/Tip/Parser/ParTIP.hs:689)
happyReduce_64 (dist/build/Tip/Parser/ParTIP.hs:700)
happyReduction_64 (dist/build/Tip/Parser/ParTIP.hs:701)
happyReduce_65 (dist/build/Tip/Parser/ParTIP.hs:711)
happyReduction_65 (dist/build/Tip/Parser/ParTIP.hs:712)
happyReduce_66 (dist/build/Tip/Parser/ParTIP.hs:717)
happyReduction_66 (dist/build/Tip/Parser/ParTIP.hs:718)
happyReduce_67 (dist/build/Tip/Parser/ParTIP.hs:723)
happyReduction_67 (dist/build/Tip/Parser/ParTIP.hs:724)
happyReduce_68 (dist/build/Tip/Parser/ParTIP.hs:730)
happyReduction_68 (dist/build/Tip/Parser/ParTIP.hs:731)
happyReduce_69 (dist/build/Tip/Parser/ParTIP.hs:743)
happyReduction_69 (dist/build/Tip/Parser/ParTIP.hs:744)
happyReduce_70 (dist/build/Tip/Parser/ParTIP.hs:755)
happyReduction_70 (dist/build/Tip/Parser/ParTIP.hs:756)
happyReduce_71 (dist/build/Tip/Parser/ParTIP.hs:768)
happyReduction_71 (dist/build/Tip/Parser/ParTIP.hs:769)
happyReduce_72 (dist/build/Tip/Parser/ParTIP.hs:783)
happyReduction_72 (dist/build/Tip/Parser/ParTIP.hs:784)
happyReduce_73 (dist/build/Tip/Parser/ParTIP.hs:799)
happyReduction_73 (dist/build/Tip/Parser/ParTIP.hs:800)
happyReduce_74 (dist/build/Tip/Parser/ParTIP.hs:806)
happyReduction_74 (dist/build/Tip/Parser/ParTIP.hs:807)
happyReduce_75 (dist/build/Tip/Parser/ParTIP.hs:814)
happyReduction_75 (dist/build/Tip/Parser/ParTIP.hs:815)
happyReduce_76 (dist/build/Tip/Parser/ParTIP.hs:820)
happyReduction_76 (dist/build/Tip/Parser/ParTIP.hs:821)
happyReduce_77 (dist/build/Tip/Parser/ParTIP.hs:826)
happyReduction_77 (dist/build/Tip/Parser/ParTIP.hs:827)
happyReduce_78 (dist/build/Tip/Parser/ParTIP.hs:832)
happyReduction_78 (dist/build/Tip/Parser/ParTIP.hs:833)
happyReduce_79 (dist/build/Tip/Parser/ParTIP.hs:838)
happyReduction_79 (dist/build/Tip/Parser/ParTIP.hs:839)
happyReduce_80 (dist/build/Tip/Parser/ParTIP.hs:844)
happyReduction_80 (dist/build/Tip/Parser/ParTIP.hs:845)
happyReduce_81 (dist/build/Tip/Parser/ParTIP.hs:857)
happyReduction_81 (dist/build/Tip/Parser/ParTIP.hs:858)
happyReduce_82 (dist/build/Tip/Parser/ParTIP.hs:863)
happyReduction_82 (dist/build/Tip/Parser/ParTIP.hs:864)
happyReduce_83 (dist/build/Tip/Parser/ParTIP.hs:875)
happyReduction_83 (dist/build/Tip/Parser/ParTIP.hs:876)
happyReduce_84 (dist/build/Tip/Parser/ParTIP.hs:882)
happyReduction_84 (dist/build/Tip/Parser/ParTIP.hs:883)
happyReduce_85 (dist/build/Tip/Parser/ParTIP.hs:889)
happyReduction_85 (dist/build/Tip/Parser/ParTIP.hs:890)
happyReduce_86 (dist/build/Tip/Parser/ParTIP.hs:895)
happyReduction_86 (dist/build/Tip/Parser/ParTIP.hs:896)
happyReduce_87 (dist/build/Tip/Parser/ParTIP.hs:901)
happyReduction_87 (dist/build/Tip/Parser/ParTIP.hs:902)
happyReduce_88 (dist/build/Tip/Parser/ParTIP.hs:907)
happyReduction_88 (dist/build/Tip/Parser/ParTIP.hs:908)
happyReduce_89 (dist/build/Tip/Parser/ParTIP.hs:913)
happyReduction_89 (dist/build/Tip/Parser/ParTIP.hs:914)
happyReduce_90 (dist/build/Tip/Parser/ParTIP.hs:919)
happyReduction_90 (dist/build/Tip/Parser/ParTIP.hs:920)
happyReduce_91 (dist/build/Tip/Parser/ParTIP.hs:925)
happyReduction_91 (dist/build/Tip/Parser/ParTIP.hs:926)
happyReduce_92 (dist/build/Tip/Parser/ParTIP.hs:931)
happyReduction_92 (dist/build/Tip/Parser/ParTIP.hs:932)
happyReduce_93 (dist/build/Tip/Parser/ParTIP.hs:937)
happyReduction_93 (dist/build/Tip/Parser/ParTIP.hs:938)
happyReduce_94 (dist/build/Tip/Parser/ParTIP.hs:943)
happyReduction_94 (dist/build/Tip/Parser/ParTIP.hs:944)
happyReduce_95 (dist/build/Tip/Parser/ParTIP.hs:949)
happyReduction_95 (dist/build/Tip/Parser/ParTIP.hs:950)
happyReduce_96 (dist/build/Tip/Parser/ParTIP.hs:955)
happyReduction_96 (dist/build/Tip/Parser/ParTIP.hs:956)
happyReduce_97 (dist/build/Tip/Parser/ParTIP.hs:961)
happyReduction_97 (dist/build/Tip/Parser/ParTIP.hs:962)
happyReduce_98 (dist/build/Tip/Parser/ParTIP.hs:967)
happyReduction_98 (dist/build/Tip/Parser/ParTIP.hs:968)
happyReduce_99 (dist/build/Tip/Parser/ParTIP.hs:973)
happyReduction_99 (dist/build/Tip/Parser/ParTIP.hs:974)
happyReduce_100 (dist/build/Tip/Parser/ParTIP.hs:979)
happyReduction_100 (dist/build/Tip/Parser/ParTIP.hs:980)
happyReduce_101 (dist/build/Tip/Parser/ParTIP.hs:985)
happyReduction_101 (dist/build/Tip/Parser/ParTIP.hs:986)
happyReduce_102 (dist/build/Tip/Parser/ParTIP.hs:991)
happyReduction_102 (dist/build/Tip/Parser/ParTIP.hs:992)
happyReduce_103 (dist/build/Tip/Parser/ParTIP.hs:996)
happyReduction_103 (dist/build/Tip/Parser/ParTIP.hs:997)
happyReduce_104 (dist/build/Tip/Parser/ParTIP.hs:1005)
happyReduction_104 (dist/build/Tip/Parser/ParTIP.hs:1006)
happyReduce_105 (dist/build/Tip/Parser/ParTIP.hs:1010)
happyReduction_105 (dist/build/Tip/Parser/ParTIP.hs:1011)
happyReduce_106 (dist/build/Tip/Parser/ParTIP.hs:1019)
happyReduction_106 (dist/build/Tip/Parser/ParTIP.hs:1020)
happyReduce_107 (dist/build/Tip/Parser/ParTIP.hs:1024)
happyReduction_107 (dist/build/Tip/Parser/ParTIP.hs:1025)
happyReduce_108 (dist/build/Tip/Parser/ParTIP.hs:1033)
happyReduction_108 (dist/build/Tip/Parser/ParTIP.hs:1034)
happyReduce_109 (dist/build/Tip/Parser/ParTIP.hs:1038)
happyReduction_109 (dist/build/Tip/Parser/ParTIP.hs:1039)
happyReduce_110 (dist/build/Tip/Parser/ParTIP.hs:1047)
happyReduction_110 (dist/build/Tip/Parser/ParTIP.hs:1048)
happyReduce_111 (dist/build/Tip/Parser/ParTIP.hs:1052)
happyReduction_111 (dist/build/Tip/Parser/ParTIP.hs:1053)
happyReduce_112 (dist/build/Tip/Parser/ParTIP.hs:1061)
happyReduction_112 (dist/build/Tip/Parser/ParTIP.hs:1062)
happyReduce_113 (dist/build/Tip/Parser/ParTIP.hs:1066)
happyReduction_113 (dist/build/Tip/Parser/ParTIP.hs:1067)
happyReduce_114 (dist/build/Tip/Parser/ParTIP.hs:1075)
happyReduction_114 (dist/build/Tip/Parser/ParTIP.hs:1076)
happyReduce_115 (dist/build/Tip/Parser/ParTIP.hs:1080)
happyReduction_115 (dist/build/Tip/Parser/ParTIP.hs:1081)
happyReduce_116 (dist/build/Tip/Parser/ParTIP.hs:1089)
happyReduction_116 (dist/build/Tip/Parser/ParTIP.hs:1090)
happyReduce_117 (dist/build/Tip/Parser/ParTIP.hs:1094)
happyReduction_117 (dist/build/Tip/Parser/ParTIP.hs:1095)
happyReduce_118 (dist/build/Tip/Parser/ParTIP.hs:1103)
happyReduction_118 (dist/build/Tip/Parser/ParTIP.hs:1104)
happyReduce_119 (dist/build/Tip/Parser/ParTIP.hs:1108)
happyReduction_119 (dist/build/Tip/Parser/ParTIP.hs:1109)
happyReduce_120 (dist/build/Tip/Parser/ParTIP.hs:1117)
happyReduction_120 (dist/build/Tip/Parser/ParTIP.hs:1118)
happyReduce_121 (dist/build/Tip/Parser/ParTIP.hs:1122)
happyReduction_121 (dist/build/Tip/Parser/ParTIP.hs:1123)
happyReduce_122 (dist/build/Tip/Parser/ParTIP.hs:1131)
happyReduction_122 (dist/build/Tip/Parser/ParTIP.hs:1132)
happyReduce_123 (dist/build/Tip/Parser/ParTIP.hs:1136)
happyReduction_123 (dist/build/Tip/Parser/ParTIP.hs:1137)
happyNewToken (dist/build/Tip/Parser/ParTIP.hs:1145)
happyError_ (dist/build/Tip/Parser/ParTIP.hs:1198)
happyThen (dist/build/Tip/Parser/ParTIP.hs:1201)
happyReturn (dist/build/Tip/Parser/ParTIP.hs:1203)
happyThen1 (dist/build/Tip/Parser/ParTIP.hs:1205)
happyReturn1 (dist/build/Tip/Parser/ParTIP.hs:1206)
happyError' (dist/build/Tip/Parser/ParTIP.hs:1208)
pStart (dist/build/Tip/Parser/ParTIP.hs:1211)
pListDecl (dist/build/Tip/Parser/ParTIP.hs:1214)
pDecl (dist/build/Tip/Parser/ParTIP.hs:1217)
pAssertion (dist/build/Tip/Parser/ParTIP.hs:1220)
pPar (dist/build/Tip/Parser/ParTIP.hs:1223)
pConstDecl (dist/build/Tip/Parser/ParTIP.hs:1226)
pFunDecl (dist/build/Tip/Parser/ParTIP.hs:1229)
pFunDef (dist/build/Tip/Parser/ParTIP.hs:1232)
pFunDec (dist/build/Tip/Parser/ParTIP.hs:1235)
pInnerFunDec (dist/build/Tip/Parser/ParTIP.hs:1238)
pDatatype (dist/build/Tip/Parser/ParTIP.hs:1241)
pConstructor (dist/build/Tip/Parser/ParTIP.hs:1244)
pBinding (dist/build/Tip/Parser/ParTIP.hs:1247)
pLetDecl (dist/build/Tip/Parser/ParTIP.hs:1250)
pType (dist/build/Tip/Parser/ParTIP.hs:1253)
pExpr (dist/build/Tip/Parser/ParTIP.hs:1256)
pBinder (dist/build/Tip/Parser/ParTIP.hs:1259)
pCase (dist/build/Tip/Parser/ParTIP.hs:1262)
pPattern (dist/build/Tip/Parser/ParTIP.hs:1265)
pHead (dist/build/Tip/Parser/ParTIP.hs:1268)
pListLetDecl (dist/build/Tip/Parser/ParTIP.hs:1271)
pListCase (dist/build/Tip/Parser/ParTIP.hs:1274)
pListExpr (dist/build/Tip/Parser/ParTIP.hs:1277)
pListDatatype (dist/build/Tip/Parser/ParTIP.hs:1280)
pListConstructor (dist/build/Tip/Parser/ParTIP.hs:1283)
pListBinding (dist/build/Tip/Parser/ParTIP.hs:1286)
pListSymbol (dist/build/Tip/Parser/ParTIP.hs:1289)
pListType (dist/build/Tip/Parser/ParTIP.hs:1292)
pListFunDecl (dist/build/Tip/Parser/ParTIP.hs:1295)
pListFunDef (dist/build/Tip/Parser/ParTIP.hs:1298)
pListFunDec (dist/build/Tip/Parser/ParTIP.hs:1301)
happySeq (dist/build/Tip/Parser/ParTIP.hs:1304)
returnM (dist/build/Tip/Parser/ParTIP.hs:1307)
thenM (dist/build/Tip/Parser/ParTIP.hs:1310)
happyError (dist/build/Tip/Parser/ParTIP.hs:1313)
myLexer (dist/build/Tip/Parser/ParTIP.hs:1321)
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:34)
Type (src/Tip/Haskell/Repr.hs:37)
modTyCon (src/Tip/Haskell/Repr.hs:47)
Expr (src/Tip/Haskell/Repr.hs:55)
nestedTyTup (src/Tip/Haskell/Repr.hs:75)
nestedTup (src/Tip/Haskell/Repr.hs:79)
nestedTupPat (src/Tip/Haskell/Repr.hs:83)
mkDo (src/Tip/Haskell/Repr.hs:87)
var (src/Tip/Haskell/Repr.hs:94)
Pat (src/Tip/Haskell/Repr.hs:97)
Stmt (src/Tip/Haskell/Repr.hs:100)
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:48)
evalRenameM (src/Tip/Utils/Rename.hs:52)
runRenameM (src/Tip/Utils/Rename.hs:55)
insert (src/Tip/Utils/Rename.hs:59)
insertMany (src/Tip/Utils/Rename.hs:69)
lkup (src/Tip/Utils/Rename.hs:72)
rename (src/Tip/Utils/Rename.hs:79)
renameWith (src/Tip/Utils/Rename.hs:82)
renameWithBlocks (src/Tip/Utils/Rename.hs:85)
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)
81% ( 13 / 16) in 'Tip.Utils'
Missing documentation for:
Component (src/Tip/Utils.hs:34)
flattenComponent (src/Tip/Utils.hs:37)
lookupComponent (src/Tip/Utils.hs:56)
14% ( 11 / 81) in 'Tip.Types'
Missing documentation for:
Head (src/Tip/Types.hs:12)
Local (src/Tip/Types.hs:17)
Global (src/Tip/Types.hs:20)
Expr (src/Tip/Types.hs:29)
Quant (src/Tip/Types.hs:45)
QuantInfo (src/Tip/Types.hs:48)
Case (src/Tip/Types.hs:51)
Builtin (src/Tip/Types.hs:54)
intBuiltin (src/Tip/Types.hs:74)
litBuiltin (src/Tip/Types.hs:77)
eqRelatedBuiltin (src/Tip/Types.hs:81)
logicalBuiltin (src/Tip/Types.hs:84)
Lit (src/Tip/Types.hs:87)
BuiltinType (src/Tip/Types.hs:117)
Function (src/Tip/Types.hs:121)
Constructor (src/Tip/Types.hs:151)
Theory (src/Tip/Types.hs:162)
emptyTheory (src/Tip/Types.hs:171)
joinTheories (src/Tip/Types.hs:174)
(src/Tip/Types.hs:177)
Formula (src/Tip/Types.hs:181)
Info (src/Tip/Types.hs:190)
Role (src/Tip/Types.hs:203)
declsPass (src/Tip/Types.hs:236)
(src/Tip/Types.hs:241)
(src/Tip/Types.hs:242)
(src/Tip/Types.hs:243)
(src/Tip/Types.hs:244)
(src/Tip/Types.hs:245)
(src/Tip/Types.hs:246)
(src/Tip/Types.hs:247)
(src/Tip/Types.hs:248)
(src/Tip/Types.hs:249)
(src/Tip/Types.hs:250)
(src/Tip/Types.hs:251)
(src/Tip/Types.hs:252)
(src/Tip/Types.hs:253)
(src/Tip/Types.hs:254)
(src/Tip/Types.hs:255)
(src/Tip/Types.hs:256)
(src/Tip/Types.hs:257)
(src/Tip/Types.hs:258)
(src/Tip/Types.hs:259)
(src/Tip/Types.hs:260)
(src/Tip/Types.hs:261)
(src/Tip/Types.hs:262)
(src/Tip/Types.hs:263)
(src/Tip/Types.hs:264)
(src/Tip/Types.hs:265)
(src/Tip/Types.hs:266)
(src/Tip/Types.hs:267)
(src/Tip/Types.hs:268)
(src/Tip/Types.hs:269)
(src/Tip/Types.hs:270)
(src/Tip/Types.hs:271)
(src/Tip/Types.hs:274)
(src/Tip/Types.hs:277)
(src/Tip/Types.hs:280)
(src/Tip/Types.hs:283)
(src/Tip/Types.hs:286)
(src/Tip/Types.hs:289)
(src/Tip/Types.hs:292)
(src/Tip/Types.hs:295)
transformExpr (src/Tip/Types.hs:299)
transformExprM (src/Tip/Types.hs:302)
transformExprIn (src/Tip/Types.hs:305)
transformExprInM (src/Tip/Types.hs:308)
transformType (src/Tip/Types.hs:311)
transformTypeInExpr (src/Tip/Types.hs:314)
transformTypeInDecl (src/Tip/Types.hs:318)
40% ( 8 / 20) in 'Tip.Pretty'
Missing documentation for:
Module header
(src/Tip/Pretty.hs:24)
(src/Tip/Pretty.hs:27)
(src/Tip/Pretty.hs:35)
(src/Tip/Pretty.hs:39)
(src/Tip/Pretty.hs:42)
(src/Tip/Pretty.hs:45)
(src/Tip/Pretty.hs:48)
(src/Tip/Pretty.hs:51)
PPVar (src/Tip/Pretty.hs:54)
(src/Tip/Pretty.hs:57)
(src/Tip/Pretty.hs:60)
78% ( 7 / 9) in 'Tip.Fresh'
Missing documentation for:
(src/Tip/Fresh.hs:56)
(src/Tip/Fresh.hs:60)
0% ( 0 / 2) in 'Tip.Pass.DropSuffix'
Missing documentation for:
Module header
dropSuffix (src/Tip/Pass/DropSuffix.hs:13)
0% ( 0 / 12) in 'Tip.Utils.Specialiser'
Missing documentation for:
Module header
specialise (src/Tip/Utils/Specialiser.hs:108)
safeRule (src/Tip/Utils/Specialiser.hs:67)
Rule (src/Tip/Utils/Specialiser.hs:38)
Expr (src/Tip/Utils/Specialiser.hs:35)
Void (src/Tip/Utils/Specialiser.hs:222)
absurd (src/Tip/Utils/Specialiser.hs:225)
Closed (src/Tip/Utils/Specialiser.hs:85)
subtermRules (src/Tip/Utils/Specialiser.hs:72)
subterms (src/Tip/Utils/Specialiser.hs:75)
Subst (src/Tip/Utils/Specialiser.hs:204)
Inst (src/Tip/Utils/Specialiser.hs:190)
22% ( 20 / 91) in 'Tip.Core'
Missing documentation for:
=== (src/Tip/Core.hs:34)
=/= (src/Tip/Core.hs:37)
oppositeQuant (src/Tip/Core.hs:40)
gentleNeg (src/Tip/Core.hs:44)
neg (src/Tip/Core.hs:48)
/\ (src/Tip/Core.hs:60)
\/ (src/Tip/Core.hs:66)
ands (src/Tip/Core.hs:72)
ors (src/Tip/Core.hs:82)
==> (src/Tip/Core.hs:92)
===> (src/Tip/Core.hs:98)
mkQuant (src/Tip/Core.hs:101)
bool (src/Tip/Core.hs:105)
trueExpr (src/Tip/Core.hs:108)
falseExpr (src/Tip/Core.hs:111)
makeIf (src/Tip/Core.hs:114)
intLit (src/Tip/Core.hs:119)
literal (src/Tip/Core.hs:122)
intType (src/Tip/Core.hs:125)
boolType (src/Tip/Core.hs:128)
applyFunction (src/Tip/Core.hs:131)
applySignature (src/Tip/Core.hs:135)
apply (src/Tip/Core.hs:139)
applyTypeIn (src/Tip/Core.hs:143)
applyType (src/Tip/Core.hs:151)
applyTypeInExpr (src/Tip/Core.hs:154)
applyTypeInDecl (src/Tip/Core.hs:157)
applyPolyType (src/Tip/Core.hs:160)
gblType (src/Tip/Core.hs:165)
makeLets (src/Tip/Core.hs:168)
collectLets (src/Tip/Core.hs:174)
litView (src/Tip/Core.hs:178)
boolView (src/Tip/Core.hs:182)
forallView (src/Tip/Core.hs:186)
ifView (src/Tip/Core.hs:234)
projAt (src/Tip/Core.hs:242)
projGlobal (src/Tip/Core.hs:246)
atomic (src/Tip/Core.hs:250)
occurrences (src/Tip/Core.hs:255)
bound (src/Tip/Core.hs:266)
free (src/Tip/Core.hs:266)
locals (src/Tip/Core.hs:266)
globals (src/Tip/Core.hs:276)
tyVars (src/Tip/Core.hs:283)
freeTyVars (src/Tip/Core.hs:288)
theoryTypes (src/Tip/Core.hs:331)
freshLocal (src/Tip/Core.hs:336)
freshArgs (src/Tip/Core.hs:339)
refreshLocal (src/Tip/Core.hs:342)
freshen (src/Tip/Core.hs:346)
freshenNames (src/Tip/Core.hs:349)
substMany (src/Tip/Core.hs:367)
letExpr (src/Tip/Core.hs:370)
updateLocalType (src/Tip/Core.hs:388)
updateFuncType (src/Tip/Core.hs:391)
matchTypesIn (src/Tip/Core.hs:400)
matchTypes (src/Tip/Core.hs:405)
makeGlobal (src/Tip/Core.hs:423)
constructorType (src/Tip/Core.hs:434)
destructorType (src/Tip/Core.hs:438)
constructor (src/Tip/Core.hs:442)
projector (src/Tip/Core.hs:446)
discriminator (src/Tip/Core.hs:452)
mapDecls (src/Tip/Core.hs:466)
topsort (src/Tip/Core.hs:471)
Definition (src/Tip/Core.hs:474)
:+: (src/Tip/Core.hs:478)
(src/Tip/Core.hs:481)
(src/Tip/Core.hs:487)
(src/Tip/Core.hs:491)
(src/Tip/Core.hs:495)
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 / 46) 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)
par'' (src/Tip/Pretty/SMT.hs:70)
ppUninterp (src/Tip/Pretty/SMT.hs:73)
ppFuncs (src/Tip/Pretty/SMT.hs:82)
ppFuncSig (src/Tip/Pretty/SMT.hs:93)
ppFormula (src/Tip/Pretty/SMT.hs:97)
ppExpr (src/Tip/Pretty/SMT.hs:101)
ppLocals (src/Tip/Pretty/SMT.hs:118)
ppLocal (src/Tip/Pretty/SMT.hs:121)
ppHead (src/Tip/Pretty/SMT.hs:124)
ppBuiltin (src/Tip/Pretty/SMT.hs:131)
ppLit (src/Tip/Pretty/SMT.hs:150)
ppQuant (src/Tip/Pretty/SMT.hs:156)
ppCase (src/Tip/Pretty/SMT.hs:160)
ppPat (src/Tip/Pretty/SMT.hs:163)
ppType (src/Tip/Pretty/SMT.hs:168)
ppBuiltinType (src/Tip/Pretty/SMT.hs:174)
(src/Tip/Pretty/SMT.hs:180)
(src/Tip/Pretty/SMT.hs:187)
(src/Tip/Pretty/SMT.hs:190)
ppPolyType (src/Tip/Pretty/SMT.hs:193)
(src/Tip/Pretty/SMT.hs:199)
(src/Tip/Pretty/SMT.hs:202)
(src/Tip/Pretty/SMT.hs:205)
(src/Tip/Pretty/SMT.hs:208)
(src/Tip/Pretty/SMT.hs:211)
(src/Tip/Pretty/SMT.hs:214)
(src/Tip/Pretty/SMT.hs:217)
(src/Tip/Pretty/SMT.hs:220)
(src/Tip/Pretty/SMT.hs:223)
(src/Tip/Pretty/SMT.hs:226)
(src/Tip/Pretty/SMT.hs:229)
smtKeywords (src/Tip/Pretty/SMT.hs:232)
100% ( 5 / 5) in 'Tip.Lint'
18% ( 2 / 11) in 'Tip.Pass.Pipeline'
Missing documentation for:
Module header
Pass (src/Tip/Pass/Pipeline.hs:17)
unitPass (src/Tip/Pass/Pipeline.hs:22)
lintMany (src/Tip/Pass/Pipeline.hs:25)
runPassLinted (src/Tip/Pass/Pipeline.hs:28)
(src/Tip/Pass/Pipeline.hs:40)
runPasses (src/Tip/Pass/Pipeline.hs:45)
continuePasses (src/Tip/Pass/Pipeline.hs:48)
parsePasses (src/Tip/Pass/Pipeline.hs:58)
58% ( 7 / 12) in 'Tip.Simplify'
Missing documentation for:
Module header
Occurrences (src/Tip/Simplify.hs:34)
isConstructor (src/Tip/Simplify.hs:216)
missingCase (src/Tip/Simplify.hs:223)
tryMatch (src/Tip/Simplify.hs:233)
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)
71% ( 5 / 7) in 'Tip.Pass.Conjecture'
Missing documentation for:
Module header
skolemise (src/Tip/Pass/Conjecture.hs:57)
50% ( 1 / 2) in 'Tip.Pass.AddMatch'
Missing documentation for:
Module header
67% ( 2 / 3) 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
67% ( 2 / 3) in 'Tip.Pass.EqualFunctions'
Missing documentation for:
Module header
80% ( 4 / 5) in 'Tip.Pass.Lift'
Missing documentation for:
Module header
0% ( 0 / 22) in 'Tip.Pass.Monomorphise'
Missing documentation for:
Module header
trListTYPE (src/Tip/Pass/Monomorphise.hs:31)
trList (src/Tip/Pass/Monomorphise.hs:34)
monomorphise (src/Tip/Pass/Monomorphise.hs:37)
monomorphicThy (src/Tip/Pass/Monomorphise.hs:40)
monomorphicDecl (src/Tip/Pass/Monomorphise.hs:43)
monomorphise' (src/Tip/Pass/Monomorphise.hs:52)
exprGlobalRecords (src/Tip/Pass/Monomorphise.hs:70)
exprTypeRecords (src/Tip/Pass/Monomorphise.hs:77)
typeRecords (src/Tip/Pass/Monomorphise.hs:99)
exprRecords (src/Tip/Pass/Monomorphise.hs:109)
renameRenames (src/Tip/Pass/Monomorphise.hs:112)
tyRename (src/Tip/Pass/Monomorphise.hs:118)
renameWith (src/Tip/Pass/Monomorphise.hs:122)
renameDecl (src/Tip/Pass/Monomorphise.hs:131)
Con (src/Tip/Pass/Monomorphise.hs:171)
(src/Tip/Pass/Monomorphise.hs:174)
trType (src/Tip/Pass/Monomorphise.hs:181)
toType (src/Tip/Pass/Monomorphise.hs:187)
close (src/Tip/Pass/Monomorphise.hs:193)
sigRule (src/Tip/Pass/Monomorphise.hs:196)
declToRule (src/Tip/Pass/Monomorphise.hs:202)
31% ( 4 / 13) in 'Tip.Pass.Booleans'
Missing documentation for:
Module header
formulaBoolOpToIf (src/Tip/Pass/Booleans.hs:22)
hasBoolType (src/Tip/Pass/Booleans.hs:32)
freshBoolNames (src/Tip/Pass/Booleans.hs:85)
boolGbl (src/Tip/Pass/Booleans.hs:94)
boolExpr (src/Tip/Pass/Booleans.hs:100)
removeBuiltinBoolFrom (src/Tip/Pass/Booleans.hs:103)
removeBuiltinBoolWith (src/Tip/Pass/Booleans.hs:118)
removeBuiltinBool (src/Tip/Pass/Booleans.hs:135)
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)
40% ( 2 / 5) in 'Tip.Pass.AxiomatizeFuncdefs'
Missing documentation for:
Module header
axiomatize (src/Tip/Pass/AxiomatizeFuncdefs.hs:27)
axiomatize2 (src/Tip/Pass/AxiomatizeFuncdefs.hs:49)
0% ( 0 / 4) in 'Tip.Pass.AxiomatizeDatadecls'
Missing documentation for:
Module header
axiomatizeDatadecls (src/Tip/Pass/AxiomatizeDatadecls.hs:15)
trDatatype (src/Tip/Pass/AxiomatizeDatadecls.hs:20)
diag (src/Tip/Pass/AxiomatizeDatadecls.hs:79)
0% ( 0 / 5) in 'Tip.Pass.SelectConjecture'
Missing documentation for:
Module header
makeConjecture (src/Tip/Pass/SelectConjecture.hs:8)
selectConjecture (src/Tip/Pass/SelectConjecture.hs:22)
provedConjecture (src/Tip/Pass/SelectConjecture.hs:29)
deleteConjecture (src/Tip/Pass/SelectConjecture.hs:41)
0% ( 0 / 2) in 'Tip.Pass.UniqLocals'
Missing documentation for:
Module header
uniqLocals (src/Tip/Pass/UniqLocals.hs:17)
25% ( 1 / 4) in 'Tip.Pass.Induction'
Missing documentation for:
Module header
theoryTyEnv (src/Tip/Pass/Induction.hs:17)
trTerm (src/Tip/Pass/Induction.hs:36)
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/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)
0% ( 0 / 37) in 'Tip.Pretty.Isabelle'
Missing documentation for:
Module header
$-$ (src/Tip/Pretty/Isabelle.hs:21)
block (src/Tip/Pretty/Isabelle.hs:21)
pcsv (src/Tip/Pretty/Isabelle.hs:26)
csv (src/Tip/Pretty/Isabelle.hs:26)
csv1 (src/Tip/Pretty/Isabelle.hs:26)
separating (src/Tip/Pretty/Isabelle.hs:34)
escape (src/Tip/Pretty/Isabelle.hs:41)
intersperseWithPre (src/Tip/Pretty/Isabelle.hs:45)
quote (src/Tip/Pretty/Isabelle.hs:49)
quoteWhen (src/Tip/Pretty/Isabelle.hs:52)
ppAsTuple (src/Tip/Pretty/Isabelle.hs:56)
ppTheory (src/Tip/Pretty/Isabelle.hs:59)
ppSort (src/Tip/Pretty/Isabelle.hs:76)
ppDatas (src/Tip/Pretty/Isabelle.hs:81)
ppData (src/Tip/Pretty/Isabelle.hs:86)
ppCon (src/Tip/Pretty/Isabelle.hs:94)
ppQuant (src/Tip/Pretty/Isabelle.hs:97)
ppBinder (src/Tip/Pretty/Isabelle.hs:101)
ppLocalBinder (src/Tip/Pretty/Isabelle.hs:104)
ppUninterp (src/Tip/Pretty/Isabelle.hs:107)
ppFuncs (src/Tip/Pretty/Isabelle.hs:113)
ppFunc (src/Tip/Pretty/Isabelle.hs:125)
ppDeepPattern (src/Tip/Pretty/Isabelle.hs:134)
ppFormula (src/Tip/Pretty/Isabelle.hs:140)
ppRole (src/Tip/Pretty/Isabelle.hs:145)
ppExpr (src/Tip/Pretty/Isabelle.hs:149)
ppHead (src/Tip/Pretty/Isabelle.hs:168)
ppBuiltin (src/Tip/Pretty/Isabelle.hs:174)
ppBinOp (src/Tip/Pretty/Isabelle.hs:181)
ppLit (src/Tip/Pretty/Isabelle.hs:196)
ppQuantName (src/Tip/Pretty/Isabelle.hs:202)
ppCase (src/Tip/Pretty/Isabelle.hs:206)
ppPat (src/Tip/Pretty/Isabelle.hs:209)
ppType (src/Tip/Pretty/Isabelle.hs:215)
ppTyVar (src/Tip/Pretty/Isabelle.hs:223)
isabelleKeywords (src/Tip/Pretty/Isabelle.hs:227)
0% ( 0 / 18) in 'Tip.Pretty.TFF'
Missing documentation for:
Module header
apply (src/Tip/Pretty/TFF.hs:14)
clause (src/Tip/Pretty/TFF.hs:18)
validTFFChar (src/Tip/Pretty/TFF.hs:23)
ppTheory (src/Tip/Pretty/TFF.hs:28)
ppSort (src/Tip/Pretty/TFF.hs:35)
ppUninterp (src/Tip/Pretty/TFF.hs:40)
ppFormula (src/Tip/Pretty/TFF.hs:48)
tffify (src/Tip/Pretty/TFF.hs:54)
tffvarify (src/Tip/Pretty/TFF.hs:64)
ppExpr (src/Tip/Pretty/TFF.hs:76)
ppLocal (src/Tip/Pretty/TFF.hs:104)
ppQuant (src/Tip/Pretty/TFF.hs:107)
ppHead (src/Tip/Pretty/TFF.hs:111)
ppBuiltin (src/Tip/Pretty/TFF.hs:115)
ppLit (src/Tip/Pretty/TFF.hs:128)
ppType (src/Tip/Pretty/TFF.hs:134)
ppBuiltinType (src/Tip/Pretty/TFF.hs:139)
0% ( 0 / 9) in 'Tip.Pretty.Waldmeister'
Missing documentation for:
Module header
validChar (src/Tip/Pretty/Waldmeister.hs:22)
ppTheory (src/Tip/Pretty/Waldmeister.hs:28)
ppType (src/Tip/Pretty/Waldmeister.hs:56)
ppSig (src/Tip/Pretty/Waldmeister.hs:60)
ppFormula (src/Tip/Pretty/Waldmeister.hs:64)
ppExpr (src/Tip/Pretty/Waldmeister.hs:67)
ppHead (src/Tip/Pretty/Waldmeister.hs:77)
keywords (src/Tip/Pretty/Waldmeister.hs:82)
3% ( 1 / 33) in 'Tip.Parser.Convert'
Missing documentation for:
Module header
IdKind (src/Tip/Parser/Convert.hs:25)
CM (src/Tip/Parser/Convert.hs:28)
runCM (src/Tip/Parser/Convert.hs:30)
(src/Tip/Parser/Convert.hs:42)
(src/Tip/Parser/Convert.hs:45)
(src/Tip/Parser/Convert.hs:48)
(src/Tip/Parser/Convert.hs:51)
ppSym (src/Tip/Parser/Convert.hs:62)
lkSym (src/Tip/Parser/Convert.hs:65)
addSym (src/Tip/Parser/Convert.hs:72)
trDecls (src/Tip/Parser/Convert.hs:84)
trDecl (src/Tip/Parser/Convert.hs:92)
emptyPar (src/Tip/Parser/Convert.hs:156)
decToDecl (src/Tip/Parser/Convert.hs:159)
defToDecl (src/Tip/Parser/Convert.hs:165)
trFunDecl (src/Tip/Parser/Convert.hs:169)
decToDef (src/Tip/Parser/Convert.hs:178)
trFunDef (src/Tip/Parser/Convert.hs:184)
dataSym (src/Tip/Parser/Convert.hs:193)
trDatatype (src/Tip/Parser/Convert.hs:196)
trConstructor (src/Tip/Parser/Convert.hs:201)
bindingType (src/Tip/Parser/Convert.hs:207)
trBinding (src/Tip/Parser/Convert.hs:211)
trLocalBinding (src/Tip/Parser/Convert.hs:218)
trLetDecls (src/Tip/Parser/Convert.hs:225)
trExpr (src/Tip/Parser/Convert.hs:236)
trHead (src/Tip/Parser/Convert.hs:262)
trBinder (src/Tip/Parser/Convert.hs:300)
trCase (src/Tip/Parser/Convert.hs:306)
trPattern (src/Tip/Parser/Convert.hs:310)
trType (src/Tip/Parser/Convert.hs:331)
100% ( 5 / 5) in 'Tip.Parser'
67% ( 2 / 3) in 'Tip.Pass.Concretise'
Missing documentation for:
Module header
70% ( 48 / 69) in 'Tip.Passes'
Missing documentation for:
skolemise (src/Tip/Pass/Conjecture.hs:57)
makeConjecture (src/Tip/Pass/SelectConjecture.hs:8)
selectConjecture (src/Tip/Pass/SelectConjecture.hs:22)
provedConjecture (src/Tip/Pass/SelectConjecture.hs:29)
deleteConjecture (src/Tip/Pass/SelectConjecture.hs:41)
removeBuiltinBool (src/Tip/Pass/Booleans.hs:135)
cseMatchNormal (src/Tip/Pass/CSEMatch.hs:13)
cseMatchWhy3 (src/Tip/Pass/CSEMatch.hs:13)
fillInCases (src/Tip/Pass/FillInCases.hs:15)
axiomatizeDatadecls (src/Tip/Pass/AxiomatizeDatadecls.hs:15)
monomorphise (src/Tip/Pass/Monomorphise.hs:37)
uniqLocals (src/Tip/Pass/UniqLocals.hs:17)
dropSuffix (src/Tip/Pass/DropSuffix.hs:13)
Pass (src/Tip/Pass/Pipeline.hs:17)
unitPass (src/Tip/Pass/Pipeline.hs:22)
lintMany (src/Tip/Pass/Pipeline.hs:25)
runPassLinted (src/Tip/Pass/Pipeline.hs:28)
(src/Tip/Pass/Pipeline.hs:40)
runPasses (src/Tip/Pass/Pipeline.hs:45)
continuePasses (src/Tip/Pass/Pipeline.hs:48)
parsePasses (src/Tip/Pass/Pipeline.hs:58)
12% ( 1 / 8) in 'Tip.CallGraph'
Missing documentation for:
FS (src/Tip/CallGraph.hs:14)
Block (src/Tip/CallGraph.hs:16)
flattenBlock (src/Tip/CallGraph.hs:22)
theoryStuff (src/Tip/CallGraph.hs:25)
callGraph (src/Tip/CallGraph.hs:28)
CallGraphOpts (src/Tip/CallGraph.hs:48)
flatCallGraph (src/Tip/CallGraph.hs:53)
5% ( 2 / 38) in 'Tip.Haskell.Translate'
Missing documentation for:
Module header
prelude (src/Tip/Haskell/Translate.hs:35)
tipDSL (src/Tip/Haskell/Translate.hs:38)
quickCheck (src/Tip/Haskell/Translate.hs:41)
quickCheckUnsafe (src/Tip/Haskell/Translate.hs:44)
quickCheckAll (src/Tip/Haskell/Translate.hs:47)
quickSpec (src/Tip/Haskell/Translate.hs:50)
sysEnv (src/Tip/Haskell/Translate.hs:53)
smtenSym (src/Tip/Haskell/Translate.hs:56)
smtenEnv (src/Tip/Haskell/Translate.hs:59)
smtenMinisat (src/Tip/Haskell/Translate.hs:62)
smtenMonad (src/Tip/Haskell/Translate.hs:65)
feat (src/Tip/Haskell/Translate.hs:70)
lsc (src/Tip/Haskell/Translate.hs:73)
typeable (src/Tip/Haskell/Translate.hs:76)
HsId (src/Tip/Haskell/Translate.hs:79)
(src/Tip/Haskell/Translate.hs:94)
addHeader (src/Tip/Haskell/Translate.hs:101)
addImports (src/Tip/Haskell/Translate.hs:105)
trTheory (src/Tip/Haskell/Translate.hs:110)
Kind (src/Tip/Haskell/Translate.hs:121)
theorySigs (src/Tip/Haskell/Translate.hs:123)
ufInfo (src/Tip/Haskell/Translate.hs:126)
Mode (src/Tip/Haskell/Translate.hs:131)
isLazySmallCheck (src/Tip/Haskell/Translate.hs:134)
isSmten (src/Tip/Haskell/Translate.hs:137)
trTheory' (src/Tip/Haskell/Translate.hs:140)
arbitrary (src/Tip/Haskell/Translate.hs:490)
trType (src/Tip/Haskell/Translate.hs:497)
trBuiltinType (src/Tip/Haskell/Translate.hs:503)
withBool (src/Tip/Haskell/Translate.hs:506)
hsBuiltinTys (src/Tip/Haskell/Translate.hs:511)
hsBuiltins (src/Tip/Haskell/Translate.hs:517)
typeOfBuiltin (src/Tip/Haskell/Translate.hs:536)
makeSig (src/Tip/Haskell/Translate.hs:563)
theoryBuiltins (src/Tip/Haskell/Translate.hs:708)
0% ( 0 / 4) in 'Tip.Haskell.Rename'
Missing documentation for:
Module header
renameDecls (src/Tip/Haskell/Rename.hs:23)
isOperator (src/Tip/Haskell/Rename.hs:71)
RenameMap (src/Tip/Haskell/Rename.hs:21)
9% ( 2 / 23) in 'Tip.Pretty.Haskell'
Missing documentation for:
Module header
ppTheory (src/Tip/Pretty/Haskell.hs:14)
ppTheoryWithRenamings (src/Tip/Pretty/Haskell.hs:24)
ppUnqual (src/Tip/Pretty/Haskell.hs:43)
ppHsVar (src/Tip/Pretty/Haskell.hs:46)
ppOperQ (src/Tip/Pretty/Haskell.hs:49)
ppOper (src/Tip/Pretty/Haskell.hs:58)
isOp (src/Tip/Pretty/Haskell.hs:61)
(src/Tip/Pretty/Haskell.hs:64)
tuple (src/Tip/Pretty/Haskell.hs:68)
csv (src/Tip/Pretty/Haskell.hs:70)
(src/Tip/Pretty/Haskell.hs:72)
(src/Tip/Pretty/Haskell.hs:103)
(src/Tip/Pretty/Haskell.hs:108)
ppPat (src/Tip/Pretty/Haskell.hs:111)
(src/Tip/Pretty/Haskell.hs:121)
(src/Tip/Pretty/Haskell.hs:160)
(src/Tip/Pretty/Haskell.hs:163)
ppType (src/Tip/Pretty/Haskell.hs:166)
RenameMap (src/Tip/Haskell/Rename.hs:21)
Mode (src/Tip/Haskell/Translate.hs:131)
Warning: Tip.Passes: could not find link destinations for:
CSEMatchOpts
Documentation created: dist/doc/html/tip-lib/index.html,
dist/doc/html/tip-lib/tip-lib.txt
Preprocessing executable 'tip' for tip-lib-0.2.2...
Creating package registration file:
/tmp/pkgConf-tip-lib-0.21107096180692458743.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/tip-lib-0.2.2-KK8Arhi24rSFiYMoUFtDL3
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.2.2...
Installed tip-lib-0.2.2
Test log
No test log was submitted for this report.