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