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 data-default-class-0.0.1... Building data-default-class-0.0.1... Preprocessing library data-default-class-0.0.1... [1 of 1] Compiling Data.Default.Class ( Data/Default/Class.hs, dist/build/Data/Default/Class.o ) In-place registering data-default-class-0.0.1... Running Haddock for data-default-class-0.0.1... Running hscolour for data-default-class-0.0.1... Preprocessing library data-default-class-0.0.1... Preprocessing library data-default-class-0.0.1... Haddock coverage: 67% ( 2 / 3) in 'Data.Default.Class' Missing documentation for: Module header Documentation created: dist/doc/html/data-default-class/index.html, dist/doc/html/data-default-class/data-default-class.txt Creating package registration file: /tmp/pkgConf-data-default-class-0.020406514341975960378.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/data-default-class-0.0.1-CgDdtafiXY68XlqDb5IqXw Registering data-default-class-0.0.1... Installed data-default-class-0.0.1 Configuring data-fix-0.0.1... Building data-fix-0.0.1... Preprocessing library data-fix-0.0.1... [1 of 1] Compiling Data.Fix ( src/Data/Fix.hs, dist/build/Data/Fix.o ) src/Data/Fix.hs:54: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() src/Data/Fix.hs:55:1: Warning: The import of ‘Data.Traversable’ is redundant except perhaps to import instances from ‘Data.Traversable’ To import instances alone, use: import Data.Traversable() In-place registering data-fix-0.0.1... Running Haddock for data-fix-0.0.1... Running hscolour for data-fix-0.0.1... Preprocessing library data-fix-0.0.1... Preprocessing library data-fix-0.0.1... src/Data/Fix.hs:54: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() src/Data/Fix.hs:55:1: Warning: The import of ‘Data.Traversable’ is redundant except perhaps to import instances from ‘Data.Traversable’ To import instances alone, use: import Data.Traversable() Haddock coverage: 100% ( 13 / 13) in 'Data.Fix' Documentation created: dist/doc/html/data-fix/index.html, dist/doc/html/data-fix/data-fix.txt Creating package registration file: /tmp/pkgConf-data-fix-0.01911165193269441500.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/data-fix-0.0.1-GhTul9iTDeL9BO8WrOB7aD Registering data-fix-0.0.1... Installed data-fix-0.0.1 Configuring data-reify-0.6.1... Building data-reify-0.6.1... Preprocessing library data-reify-0.6.1... [1 of 2] Compiling Data.Reify.Graph ( Data/Reify/Graph.hs, dist/build/Data/Reify/Graph.o ) [2 of 2] Compiling Data.Reify ( Data/Reify.hs, dist/build/Data/Reify.o ) In-place registering data-reify-0.6.1... Running Haddock for data-reify-0.6.1... Running hscolour for data-reify-0.6.1... Preprocessing library data-reify-0.6.1... Preprocessing library data-reify-0.6.1... Haddock coverage: 67% ( 2 / 3) in 'Data.Reify.Graph' Missing documentation for: Unique (Data/Reify/Graph.hs:29) 75% ( 3 / 4) in 'Data.Reify' Missing documentation for: Module header Documentation created: dist/doc/html/data-reify/index.html, dist/doc/html/data-reify/data-reify.txt Creating package registration file: /tmp/pkgConf-data-reify-0.62027907669968338082.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/data-reify-0.6.1-5PucEMr7ybPFccsdiEyS4d Registering data-reify-0.6.1... Installed data-reify-0.6.1 Configuring dlist-0.7.1.2... Building dlist-0.7.1.2... Preprocessing library dlist-0.7.1.2... [1 of 1] Compiling Data.DList ( Data/DList.hs, dist/build/Data/DList.o ) In-place registering dlist-0.7.1.2... Running Haddock for dlist-0.7.1.2... Running hscolour for dlist-0.7.1.2... Preprocessing library dlist-0.7.1.2... Preprocessing library dlist-0.7.1.2... Haddock coverage: 100% ( 20 / 20) in 'Data.DList' Documentation created: dist/doc/html/dlist/index.html, dist/doc/html/dlist/dlist.txt Creating package registration file: /tmp/pkgConf-dlist-0.7.110697559361237379107.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/dlist-0.7.1.2-7AixcwRWCwX32HiPCcE7zz Registering dlist-0.7.1.2... Installed dlist-0.7.1.2 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.22114937732726371155.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 old-locale-1.0.0.7... Building old-locale-1.0.0.7... Preprocessing library old-locale-1.0.0.7... [1 of 1] Compiling System.Locale ( System/Locale.hs, dist/build/System/Locale.o ) In-place registering old-locale-1.0.0.7... Running Haddock for old-locale-1.0.0.7... Running hscolour for old-locale-1.0.0.7... Preprocessing library old-locale-1.0.0.7... Preprocessing library old-locale-1.0.0.7... Haddock coverage: 60% ( 3 / 5) in 'System.Locale' Missing documentation for: TimeLocale (System/Locale.hs:36) defaultTimeLocale (System/Locale.hs:49) Documentation created: dist/doc/html/old-locale/index.html, dist/doc/html/old-locale/old-locale.txt Creating package registration file: /tmp/pkgConf-old-locale-1.0.04315301261421186593.7 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/old-locale-1.0.0.7-D6X1KPq5Sui5XjrHMwvFwK Registering old-locale-1.0.0.7... Installed old-locale-1.0.0.7 Configuring pretty-ncols-0.1... Building pretty-ncols-0.1... Preprocessing library pretty-ncols-0.1... [1 of 1] Compiling Text.PrettyPrint.NCol ( Text/PrettyPrint/NCol.hs, dist/build/Text/PrettyPrint/NCol.o ) In-place registering pretty-ncols-0.1... Running Haddock for pretty-ncols-0.1... Running hscolour for pretty-ncols-0.1... Preprocessing library pretty-ncols-0.1... Preprocessing library pretty-ncols-0.1... Haddock coverage: 0% ( 0 / 3) in 'Text.PrettyPrint.NCol' Missing documentation for: Module header asColumns (Text/PrettyPrint/NCol.hs:8) asColumnsWithBuff (Text/PrettyPrint/NCol.hs:11) Documentation created: dist/doc/html/pretty-ncols/index.html, dist/doc/html/pretty-ncols/pretty-ncols.txt Creating package registration file: /tmp/pkgConf-pretty-ncols-018305390361290127955.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/pretty-ncols-0.1-5hGZht8sh8o819mal0sQwZ Registering pretty-ncols-0.1... Installed pretty-ncols-0.1 Configuring primitive-0.6.1.0... Building primitive-0.6.1.0... Preprocessing library primitive-0.6.1.0... [ 1 of 10] Compiling Data.Primitive.Internal.Compat ( Data/Primitive/Internal/Compat.hs, dist/build/Data/Primitive/Internal/Compat.o ) [ 2 of 10] Compiling Data.Primitive.MachDeps ( Data/Primitive/MachDeps.hs, dist/build/Data/Primitive/MachDeps.o ) [ 3 of 10] Compiling Data.Primitive.Internal.Operations ( Data/Primitive/Internal/Operations.hs, dist/build/Data/Primitive/Internal/Operations.o ) [ 4 of 10] Compiling Control.Monad.Primitive ( Control/Monad/Primitive.hs, dist/build/Control/Monad/Primitive.o ) Control/Monad/Primitive.hs:41:1: Warning: Module ‘Control.Monad.Trans.Error’ is deprecated: Use Control.Monad.Trans.Except instead Control/Monad/Primitive.hs:100:11: Warning: In the use of type constructor or class ‘Error’ (imported from Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Control/Monad/Primitive.hs:100:47: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Control/Monad/Primitive.hs:101:19: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" [ 5 of 10] Compiling Data.Primitive.Types ( Data/Primitive/Types.hs, dist/build/Data/Primitive/Types.o ) [ 6 of 10] Compiling Data.Primitive.Array ( Data/Primitive/Array.hs, dist/build/Data/Primitive/Array.o ) [ 7 of 10] Compiling Data.Primitive.ByteArray ( Data/Primitive/ByteArray.hs, dist/build/Data/Primitive/ByteArray.o ) [ 8 of 10] Compiling Data.Primitive.Addr ( Data/Primitive/Addr.hs, dist/build/Data/Primitive/Addr.o ) [ 9 of 10] Compiling Data.Primitive ( Data/Primitive.hs, dist/build/Data/Primitive.o ) [10 of 10] Compiling Data.Primitive.MutVar ( Data/Primitive/MutVar.hs, dist/build/Data/Primitive/MutVar.o ) In-place registering primitive-0.6.1.0... Running Haddock for primitive-0.6.1.0... Running hscolour for primitive-0.6.1.0... Preprocessing library primitive-0.6.1.0... Preprocessing library primitive-0.6.1.0... Control/Monad/Primitive.hs:41:1: Warning: Module ‘Control.Monad.Trans.Error’ is deprecated: Use Control.Monad.Trans.Except instead Control/Monad/Primitive.hs:100:11: Warning: In the use of type constructor or class ‘Error’ (imported from Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Control/Monad/Primitive.hs:100:47: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Control/Monad/Primitive.hs:101:19: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Haddock coverage: 100% ( 3 / 3) in 'Data.Primitive.Internal.Compat' 3% ( 1 / 35) in 'Data.Primitive.MachDeps' Missing documentation for: sIZEOF_CHAR (Data/Primitive/MachDeps.hs:19) aLIGNMENT_CHAR (Data/Primitive/MachDeps.hs:19) sIZEOF_INT (Data/Primitive/MachDeps.hs:19) aLIGNMENT_INT (Data/Primitive/MachDeps.hs:19) sIZEOF_WORD (Data/Primitive/MachDeps.hs:19) aLIGNMENT_WORD (Data/Primitive/MachDeps.hs:19) sIZEOF_DOUBLE (Data/Primitive/MachDeps.hs:19) aLIGNMENT_DOUBLE (Data/Primitive/MachDeps.hs:19) sIZEOF_FLOAT (Data/Primitive/MachDeps.hs:19) aLIGNMENT_FLOAT (Data/Primitive/MachDeps.hs:19) sIZEOF_PTR (Data/Primitive/MachDeps.hs:19) aLIGNMENT_PTR (Data/Primitive/MachDeps.hs:19) sIZEOF_FUNPTR (Data/Primitive/MachDeps.hs:19) aLIGNMENT_FUNPTR (Data/Primitive/MachDeps.hs:19) sIZEOF_STABLEPTR (Data/Primitive/MachDeps.hs:19) aLIGNMENT_STABLEPTR (Data/Primitive/MachDeps.hs:19) sIZEOF_INT8 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_INT8 (Data/Primitive/MachDeps.hs:19) sIZEOF_WORD8 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_WORD8 (Data/Primitive/MachDeps.hs:19) sIZEOF_INT16 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_INT16 (Data/Primitive/MachDeps.hs:19) sIZEOF_WORD16 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_WORD16 (Data/Primitive/MachDeps.hs:19) sIZEOF_INT32 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_INT32 (Data/Primitive/MachDeps.hs:19) sIZEOF_WORD32 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_WORD32 (Data/Primitive/MachDeps.hs:19) sIZEOF_INT64 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_INT64 (Data/Primitive/MachDeps.hs:19) sIZEOF_WORD64 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_WORD64 (Data/Primitive/MachDeps.hs:19) Word64_# (Data/Primitive/MachDeps.hs:120) Int64_# (Data/Primitive/MachDeps.hs:121) 3% ( 1 / 29) in 'Data.Primitive.Internal.Operations' Missing documentation for: setWord8Array# (Data/Primitive/Internal/Operations.hs:33) setWord16Array# (Data/Primitive/Internal/Operations.hs:35) setWord32Array# (Data/Primitive/Internal/Operations.hs:37) setWord64Array# (Data/Primitive/Internal/Operations.hs:39) setWordArray# (Data/Primitive/Internal/Operations.hs:41) setInt8Array# (Data/Primitive/Internal/Operations.hs:43) setInt16Array# (Data/Primitive/Internal/Operations.hs:45) setInt32Array# (Data/Primitive/Internal/Operations.hs:47) setInt64Array# (Data/Primitive/Internal/Operations.hs:49) setIntArray# (Data/Primitive/Internal/Operations.hs:51) setAddrArray# (Data/Primitive/Internal/Operations.hs:53) setFloatArray# (Data/Primitive/Internal/Operations.hs:55) setDoubleArray# (Data/Primitive/Internal/Operations.hs:57) setWideCharArray# (Data/Primitive/Internal/Operations.hs:59) setWord8OffAddr# (Data/Primitive/Internal/Operations.hs:62) setWord16OffAddr# (Data/Primitive/Internal/Operations.hs:64) setWord32OffAddr# (Data/Primitive/Internal/Operations.hs:66) setWord64OffAddr# (Data/Primitive/Internal/Operations.hs:68) setWordOffAddr# (Data/Primitive/Internal/Operations.hs:70) setInt8OffAddr# (Data/Primitive/Internal/Operations.hs:72) setInt16OffAddr# (Data/Primitive/Internal/Operations.hs:74) setInt32OffAddr# (Data/Primitive/Internal/Operations.hs:76) setInt64OffAddr# (Data/Primitive/Internal/Operations.hs:78) setIntOffAddr# (Data/Primitive/Internal/Operations.hs:80) setAddrOffAddr# (Data/Primitive/Internal/Operations.hs:82) setFloatOffAddr# (Data/Primitive/Internal/Operations.hs:84) setDoubleOffAddr# (Data/Primitive/Internal/Operations.hs:86) setWideCharOffAddr# (Data/Primitive/Internal/Operations.hs:88) 75% ( 12 / 16) in 'Control.Monad.Primitive' Missing documentation for: unsafeInlinePrim (Control/Monad/Primitive.hs:189) unsafeInlineIO (Control/Monad/Primitive.hs:193) unsafeInlineST (Control/Monad/Primitive.hs:197) touch (Control/Monad/Primitive.hs:201) 100% ( 3 / 3) in 'Data.Primitive.Types' 100% ( 15 / 15) in 'Data.Primitive.Array' 93% ( 27 / 29) in 'Data.Primitive.ByteArray' Missing documentation for: ByteArray# MutableByteArray# 100% ( 16 / 16) in 'Data.Primitive.Addr' 100% ( 7 / 7) in 'Data.Primitive' 100% ( 9 / 9) in 'Data.Primitive.MutVar' Documentation created: dist/doc/html/primitive/index.html, dist/doc/html/primitive/primitive.txt Creating package registration file: /tmp/pkgConf-primitive-0.6.17334509071487053959.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/primitive-0.6.1.0-5Jnw7oEuYtM9dmKXelGXVb Registering primitive-0.6.1.0... Installed primitive-0.6.1.0 Configuring random-1.1... Building random-1.1... Preprocessing library random-1.1... [1 of 1] Compiling System.Random ( System/Random.hs, dist/build/System/Random.o ) System/Random.hs:43:1: Warning: Tab character System/Random.hs:45:1: Warning: Tab character System/Random.hs:47:1: Warning: Tab character System/Random.hs:53:1: Warning: Tab character System/Random.hs:55:1: Warning: Tab character System/Random.hs:56:1: Warning: Tab character System/Random.hs:57:1: Warning: Tab character System/Random.hs:59:1: Warning: Tab character System/Random.hs:61:1: Warning: Tab character System/Random.hs:63:1: Warning: Tab character System/Random.hs:64:1: Warning: Tab character System/Random.hs:65:1: Warning: Tab character System/Random.hs:66:1: Warning: Tab character System/Random.hs:68:1: Warning: Tab character System/Random.hs:69:1: Warning: Tab character System/Random.hs:70:1: Warning: Tab character System/Random.hs:71:1: Warning: Tab character System/Random.hs:73:1: Warning: Tab character System/Random.hs:74:1: Warning: Tab character System/Random.hs:76:1: Warning: Tab character System/Random.hs:90:22: Warning: Tab character System/Random.hs:91:17: Warning: Tab character System/Random.hs:94:17: Warning: Tab character System/Random.hs:102:15: Warning: Tab character System/Random.hs:240:1: Warning: Tab character System/Random.hs:241:1: Warning: Tab character System/Random.hs:249:1: Warning: Tab character System/Random.hs:269:1: Warning: Tab character System/Random.hs:270:1: Warning: Tab character System/Random.hs:271:1: Warning: Tab character System/Random.hs:272:1: Warning: Tab character System/Random.hs:273:1: Warning: Tab character System/Random.hs:326:11: Warning: Tab character System/Random.hs:343:11: Warning: Tab character System/Random.hs:384:11: Warning: Tab character System/Random.hs:395:1: Warning: Tab character System/Random.hs:396:1: Warning: Tab character System/Random.hs:396:20: Warning: Tab character System/Random.hs:397:1: Warning: Tab character System/Random.hs:397:20: Warning: Tab character System/Random.hs:399:11: Warning: Tab character System/Random.hs:406:1: Warning: Tab character System/Random.hs:415:1: Warning: Tab character System/Random.hs:428:1: Warning: Tab character System/Random.hs:429:1: Warning: Tab character System/Random.hs:430:1: Warning: Tab character System/Random.hs:440:3: Warning: Tab character System/Random.hs:502:1: Warning: Tab character System/Random.hs:503:1: Warning: Tab character System/Random.hs:504:1: Warning: Tab character System/Random.hs:506:1: Warning: Tab character System/Random.hs:507:1: Warning: Tab character System/Random.hs:508:1: Warning: Tab character System/Random.hs:519:1: Warning: Tab character System/Random.hs:519:14: Warning: Tab character System/Random.hs:520:1: Warning: Tab character System/Random.hs:522:1: Warning: Tab character System/Random.hs:523:1: Warning: Tab character System/Random.hs:524:1: Warning: Tab character System/Random.hs:526:1: Warning: Tab character System/Random.hs:527:1: Warning: Tab character System/Random.hs:528:1: Warning: Tab character In-place registering random-1.1... Running Haddock for random-1.1... Running hscolour for random-1.1... Preprocessing library random-1.1... Preprocessing library random-1.1... System/Random.hs:43:1: Warning: Tab character System/Random.hs:45:1: Warning: Tab character System/Random.hs:47:1: Warning: Tab character System/Random.hs:53:1: Warning: Tab character System/Random.hs:55:1: Warning: Tab character System/Random.hs:56:1: Warning: Tab character System/Random.hs:57:1: Warning: Tab character System/Random.hs:59:1: Warning: Tab character System/Random.hs:61:1: Warning: Tab character System/Random.hs:63:1: Warning: Tab character System/Random.hs:64:1: Warning: Tab character System/Random.hs:65:1: Warning: Tab character System/Random.hs:66:1: Warning: Tab character System/Random.hs:68:1: Warning: Tab character System/Random.hs:69:1: Warning: Tab character System/Random.hs:70:1: Warning: Tab character System/Random.hs:71:1: Warning: Tab character System/Random.hs:73:1: Warning: Tab character System/Random.hs:74:1: Warning: Tab character System/Random.hs:76:1: Warning: Tab character System/Random.hs:90:22: Warning: Tab character System/Random.hs:91:17: Warning: Tab character System/Random.hs:94:17: Warning: Tab character System/Random.hs:102:15: Warning: Tab character System/Random.hs:240:1: Warning: Tab character System/Random.hs:241:1: Warning: Tab character System/Random.hs:249:1: Warning: Tab character System/Random.hs:269:1: Warning: Tab character System/Random.hs:270:1: Warning: Tab character System/Random.hs:271:1: Warning: Tab character System/Random.hs:272:1: Warning: Tab character System/Random.hs:273:1: Warning: Tab character System/Random.hs:326:11: Warning: Tab character System/Random.hs:343:11: Warning: Tab character System/Random.hs:384:11: Warning: Tab character System/Random.hs:395:1: Warning: Tab character System/Random.hs:396:1: Warning: Tab character System/Random.hs:396:20: Warning: Tab character System/Random.hs:397:1: Warning: Tab character System/Random.hs:397:20: Warning: Tab character System/Random.hs:399:11: Warning: Tab character System/Random.hs:406:1: Warning: Tab character System/Random.hs:415:1: Warning: Tab character System/Random.hs:428:1: Warning: Tab character System/Random.hs:429:1: Warning: Tab character System/Random.hs:430:1: Warning: Tab character System/Random.hs:440:3: Warning: Tab character System/Random.hs:502:1: Warning: Tab character System/Random.hs:503:1: Warning: Tab character System/Random.hs:504:1: Warning: Tab character System/Random.hs:506:1: Warning: Tab character System/Random.hs:507:1: Warning: Tab character System/Random.hs:508:1: Warning: Tab character System/Random.hs:519:1: Warning: Tab character System/Random.hs:519:14: Warning: Tab character System/Random.hs:520:1: Warning: Tab character System/Random.hs:522:1: Warning: Tab character System/Random.hs:523:1: Warning: Tab character System/Random.hs:524:1: Warning: Tab character System/Random.hs:526:1: Warning: Tab character System/Random.hs:527:1: Warning: Tab character System/Random.hs:528:1: Warning: Tab character Haddock coverage: Cannot find documentation for: $intro 100% ( 16 / 16) in 'System.Random' Documentation created: dist/doc/html/random/index.html, dist/doc/html/random/random.txt Creating package registration file: /tmp/pkgConf-random-116094169311031126087.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/random-1.1-1z8Ujelqc6aKgvPnbRUKkP Registering random-1.1... Installed random-1.1 Configuring stm-2.4.4... Building stm-2.4.4... Preprocessing library stm-2.4.4... [ 1 of 10] Compiling Control.Sequential.STM ( Control/Sequential/STM.hs, dist/build/Control/Sequential/STM.o ) [ 2 of 10] Compiling Control.Concurrent.STM.TBQueue ( Control/Concurrent/STM/TBQueue.hs, dist/build/Control/Concurrent/STM/TBQueue.o ) [ 3 of 10] Compiling Control.Concurrent.STM.TQueue ( Control/Concurrent/STM/TQueue.hs, dist/build/Control/Concurrent/STM/TQueue.o ) [ 4 of 10] Compiling Control.Concurrent.STM.TChan ( Control/Concurrent/STM/TChan.hs, dist/build/Control/Concurrent/STM/TChan.o ) [ 5 of 10] Compiling Control.Concurrent.STM.TMVar ( Control/Concurrent/STM/TMVar.hs, dist/build/Control/Concurrent/STM/TMVar.o ) [ 6 of 10] Compiling Control.Concurrent.STM.TVar ( Control/Concurrent/STM/TVar.hs, dist/build/Control/Concurrent/STM/TVar.o ) [ 7 of 10] Compiling Control.Concurrent.STM.TArray ( Control/Concurrent/STM/TArray.hs, dist/build/Control/Concurrent/STM/TArray.o ) [ 8 of 10] Compiling Control.Monad.STM ( Control/Monad/STM.hs, dist/build/Control/Monad/STM.o ) [ 9 of 10] Compiling Control.Concurrent.STM ( Control/Concurrent/STM.hs, dist/build/Control/Concurrent/STM.o ) [10 of 10] Compiling Control.Concurrent.STM.TSem ( Control/Concurrent/STM/TSem.hs, dist/build/Control/Concurrent/STM/TSem.o ) In-place registering stm-2.4.4... Running Haddock for stm-2.4.4... Running hscolour for stm-2.4.4... Preprocessing library stm-2.4.4... Preprocessing library stm-2.4.4... Haddock coverage: 0% ( 0 / 11) in 'Control.Sequential.STM' Missing documentation for: Module header STM (Control/Sequential/STM.hs:29) atomically (Control/Sequential/STM.hs:47) throwSTM (Control/Sequential/STM.hs:54) catchSTM (Control/Sequential/STM.hs:57) TVar (Control/Sequential/STM.hs:72) newTVar (Control/Sequential/STM.hs:75) newTVarIO (Control/Sequential/STM.hs:78) readTVar (Control/Sequential/STM.hs:83) readTVarIO (Control/Sequential/STM.hs:86) writeTVar (Control/Sequential/STM.hs:89) 100% ( 13 / 13) in 'Control.Concurrent.STM.TBQueue' 100% ( 12 / 12) in 'Control.Concurrent.STM.TQueue' 100% ( 18 / 18) in 'Control.Concurrent.STM.TChan' 100% ( 16 / 16) in 'Control.Concurrent.STM.TMVar' 100% ( 13 / 13) in 'Control.Concurrent.STM.TVar' 100% ( 2 / 2) in 'Control.Concurrent.STM.TArray' 90% ( 9 / 10) in 'Control.Monad.STM' Missing documentation for: check (Control/Monad/STM.hs:81) 100% ( 8 / 8) in 'Control.Concurrent.STM' 40% ( 2 / 5) in 'Control.Concurrent.STM.TSem' Missing documentation for: newTSem (Control/Concurrent/STM/TSem.hs:42) waitTSem (Control/Concurrent/STM/TSem.hs:45) signalTSem (Control/Concurrent/STM/TSem.hs:51) Documentation created: dist/doc/html/stm/index.html, dist/doc/html/stm/stm.txt Creating package registration file: /tmp/pkgConf-stm-2.414669424911688323172.4 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/stm-2.4.4-C1kFMnPqFjvDhFjgMZGUpr Registering stm-2.4.4... Installed stm-2.4.4 Configuring tagged-0.8.2... Building tagged-0.8.2... Preprocessing library tagged-0.8.2... [1 of 2] Compiling Data.Proxy.TH ( src/Data/Proxy/TH.hs, dist/build/Data/Proxy/TH.o ) [2 of 2] Compiling Data.Tagged ( src/Data/Tagged.hs, dist/build/Data/Tagged.o ) In-place registering tagged-0.8.2... Running Haddock for tagged-0.8.2... Running hscolour for tagged-0.8.2... Preprocessing library tagged-0.8.2... Preprocessing library tagged-0.8.2... Haddock coverage: 67% ( 2 / 3) in 'Data.Proxy.TH' Missing documentation for: Module header 93% ( 14 / 15) in 'Data.Tagged' Missing documentation for: witness (src/Data/Tagged.hs:308) Documentation created: dist/doc/html/tagged/index.html, dist/doc/html/tagged/tagged.txt Creating package registration file: /tmp/pkgConf-tagged-0.81124734562530406424.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/tagged-0.8.2-4zanMqQLQHpBO0ZYm7KGkc Registering tagged-0.8.2... Installed tagged-0.8.2 Configuring text-1.2.1.3... Building text-1.2.1.3... Preprocessing library text-1.2.1.3... [ 1 of 44] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o ) Data/Text/Internal/Read.hs:21: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() [ 2 of 44] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o ) [ 3 of 44] Compiling Data.Text.Internal.Builder.RealFloat.Functions ( Data/Text/Internal/Builder/RealFloat/Functions.hs, dist/build/Data/Text/Internal/Builder/RealFloat/Functions.o ) [ 4 of 44] Compiling Data.Text.Internal.Builder.Int.Digits ( Data/Text/Internal/Builder/Int/Digits.hs, dist/build/Data/Text/Internal/Builder/Int/Digits.o ) [ 5 of 44] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o ) Data/Text/Encoding/Error.hs:3:14: Warning: ‘Data.Text.Encoding.Error’ is marked as Trustworthy but has been inferred as safe! [ 6 of 44] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o ) [ 7 of 44] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o ) [ 8 of 44] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o ) [ 9 of 44] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o ) [10 of 44] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o ) [11 of 44] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o ) [12 of 44] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o ) [13 of 44] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o ) [14 of 44] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o ) [15 of 44] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o ) [16 of 44] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o ) [17 of 44] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o ) [18 of 44] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o ) [19 of 44] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o ) [20 of 44] Compiling Data.Text.Show ( Data/Text/Show.hs, dist/build/Data/Text/Show.o ) [21 of 44] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o ) [22 of 44] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o ) [23 of 44] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o ) [24 of 44] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o ) [25 of 44] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o ) [26 of 44] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o ) [27 of 44] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o ) [28 of 44] Compiling Data.Text ( Data/Text.hs, dist/build/Data/Text.o ) [29 of 44] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o ) [30 of 44] Compiling Data.Text.IO ( Data/Text/IO.hs, dist/build/Data/Text/IO.o ) [31 of 44] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o ) [32 of 44] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o ) [33 of 44] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o ) [34 of 44] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o ) [35 of 44] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o ) Data/Text/Lazy/Encoding.hs:65: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() [36 of 44] Compiling Data.Text.Lazy ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o ) [37 of 44] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o ) Data/Text/Internal/Builder.hs:61: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() [38 of 44] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o ) [39 of 44] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o ) Data/Text/Internal/Builder/Functions.hs:24: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() [40 of 44] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o ) Data/Text/Lazy/Builder/Int.hs:24: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() Data/Text/Lazy/Builder/Int.hs:30:1: Warning: The import of ‘Word’ from module ‘Data.Word’ is redundant Data/Text/Lazy/Builder/Int.hs:32:1: Warning: The import of ‘GHC.Num’ is redundant except perhaps to import instances from ‘GHC.Num’ To import instances alone, use: import GHC.Num() [41 of 44] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o ) [42 of 44] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o ) Data/Text/Lazy/Read.hs:3:14: Warning: ‘Data.Text.Lazy.Read’ is marked as Trustworthy but has been inferred as safe! Data/Text/Lazy/Read.hs:32:1: Warning: The import of ‘Word’ from module ‘Data.Word’ is redundant [43 of 44] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o ) [44 of 44] Compiling Data.Text.Read ( Data/Text/Read.hs, dist/build/Data/Text/Read.o ) Data/Text/Read.hs:33:1: Warning: The import of ‘Word’ from module ‘Data.Word’ is redundant In-place registering text-1.2.1.3... Running Haddock for text-1.2.1.3... Running hscolour for text-1.2.1.3... Preprocessing library text-1.2.1.3... Preprocessing library text-1.2.1.3... Data/Text/Internal/Read.hs:21: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() Data/Text/Encoding/Error.hs:3:14: Warning: ‘Data.Text.Encoding.Error’ is marked as Trustworthy but has been inferred as safe! Data/Text/Lazy/Encoding.hs:65: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() Data/Text/Internal/Builder.hs:61: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() Data/Text/Internal/Builder/Functions.hs:24: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() Data/Text/Lazy/Builder/Int.hs:24: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() Data/Text/Lazy/Builder/Int.hs:30:1: Warning: The import of ‘Word’ from module ‘Data.Word’ is redundant Data/Text/Lazy/Builder/Int.hs:32:1: Warning: The import of ‘GHC.Num’ is redundant except perhaps to import instances from ‘GHC.Num’ To import instances alone, use: import GHC.Num() Data/Text/Lazy/Read.hs:3:14: Warning: ‘Data.Text.Lazy.Read’ is marked as Trustworthy but has been inferred as safe! Data/Text/Lazy/Read.hs:32:1: Warning: The import of ‘Word’ from module ‘Data.Word’ is redundant Data/Text/Read.hs:33:1: Warning: The import of ‘Word’ from module ‘Data.Word’ is redundant Haddock coverage: 14% ( 1 / 7) in 'Data.Text.Internal.Read' Missing documentation for: IReader (Data/Text/Internal/Read.hs:26) IParser (Data/Text/Internal/Read.hs:28) T (Data/Text/Internal/Read.hs:48) digitToInt (Data/Text/Internal/Read.hs:61) hexDigitToInt (Data/Text/Internal/Read.hs:55) perhaps (Data/Text/Internal/Read.hs:50) 50% ( 1 / 2) in 'Data.Text.Internal.Encoding.Utf32' Missing documentation for: validate (Data/Text/Internal/Encoding/Utf32.hs:24) 50% ( 1 / 2) in 'Data.Text.Internal.Builder.RealFloat.Functions' Missing documentation for: roundTo (Data/Text/Internal/Builder/RealFloat/Functions.hs:17) 0% ( 0 / 2) in 'Data.Text.Internal.Builder.Int.Digits' Missing documentation for: Module header digits (Data/Text/Internal/Builder/Int/Digits.hs:21) 100% ( 12 / 12) in 'Data.Text.Encoding.Error' 100% ( 2 / 2) in 'Data.Text.Internal.Unsafe.Shift' 25% ( 1 / 4) in 'Data.Text.Internal.Encoding.Utf16' Missing documentation for: chr2 (Data/Text/Internal/Encoding/Utf16.hs:29) validate1 (Data/Text/Internal/Encoding/Utf16.hs:38) validate2 (Data/Text/Internal/Encoding/Utf16.hs:42) 100% ( 2 / 2) in 'Data.Text.Internal.Functions' 100% ( 3 / 3) in 'Data.Text.Internal.Unsafe' 100% ( 16 / 16) in 'Data.Text.Array' 33% ( 2 / 6) in 'Data.Text.Internal.Unsafe.Char' Missing documentation for: ord (Data/Text/Internal/Unsafe/Char.hs:39) unsafeChr (Data/Text/Internal/Unsafe/Char.hs:43) unsafeChr8 (Data/Text/Internal/Unsafe/Char.hs:47) unsafeChr32 (Data/Text/Internal/Unsafe/Char.hs:51) 95% ( 19 / 20) in 'Data.Text.Internal' Missing documentation for: textP (Data/Text/Internal.hs:97) 38% ( 5 / 13) in 'Data.Text.Internal.Fusion.Size' Missing documentation for: Size (Data/Text/Internal/Fusion/Size.hs:40) exactly (Data/Text/Internal/Fusion/Size.hs:44) exactSize (Data/Text/Internal/Fusion/Size.hs:49) maxSize (Data/Text/Internal/Fusion/Size.hs:57) betweenSize (Data/Text/Internal/Fusion/Size.hs:65) unknownSize (Data/Text/Internal/Fusion/Size.hs:74) compareSize (Data/Text/Internal/Fusion/Size.hs:143) isEmpty (Data/Text/Internal/Fusion/Size.hs:151) 88% ( 7 / 8) in 'Data.Text.Internal.Fusion.Types' Missing documentation for: Stream (Data/Text/Internal/Fusion/Types.hs:83) 0% ( 0 / 5) in 'Data.Text.Internal.Fusion.CaseMapping' Missing documentation for: Module header upperMapping (Data/Text/Internal/Fusion/CaseMapping.hs:13) lowerMapping (Data/Text/Internal/Fusion/CaseMapping.hs:220) titleMapping (Data/Text/Internal/Fusion/CaseMapping.hs:225) foldMapping (Data/Text/Internal/Fusion/CaseMapping.hs:324) 89% ( 63 / 71) in 'Data.Text.Internal.Fusion.Common' Missing documentation for: singleton (Data/Text/Internal/Fusion/Common.hs:119) streamList (Data/Text/Internal/Fusion/Common.hs:125) unstreamList (Data/Text/Internal/Fusion/Common.hs:131) intercalate (Data/Text/Internal/Fusion/Common.hs:577) justifyLeftI (Data/Text/Internal/Fusion/Common.hs:479) scanl (Data/Text/Internal/Fusion/Common.hs:656) replicateCharI (Data/Text/Internal/Fusion/Common.hs:671) replicateI (Data/Text/Internal/Fusion/Common.hs:682) 93% ( 13 / 14) in 'Data.Text.Unsafe' Missing documentation for: Iter (Data/Text/Unsafe.hs:62) 33% ( 1 / 3) in 'Data.Text.Internal.Private' Missing documentation for: runText (Data/Text/Internal/Private.hs:33) span_ (Data/Text/Internal/Private.hs:23) 91% ( 20 / 22) in 'Data.Text.Internal.Fusion' Missing documentation for: Stream (Data/Text/Internal/Fusion/Types.hs:83) length (Data/Text/Internal/Fusion.hs:127) 100% ( 4 / 4) in 'Data.Text.Show' 33% ( 2 / 6) in 'Data.Text.Internal.Encoding.Fusion.Common' Missing documentation for: restreamUtf16LE (Data/Text/Internal/Encoding/Fusion/Common.hs:63) restreamUtf16BE (Data/Text/Internal/Encoding/Fusion/Common.hs:39) restreamUtf32LE (Data/Text/Internal/Encoding/Fusion/Common.hs:106) restreamUtf32BE (Data/Text/Internal/Encoding/Fusion/Common.hs:87) 17% ( 2 / 12) in 'Data.Text.Internal.Encoding.Utf8' Missing documentation for: ord2 (Data/Text/Internal/Encoding/Utf8.hs:58) ord3 (Data/Text/Internal/Encoding/Utf8.hs:69) ord4 (Data/Text/Internal/Encoding/Utf8.hs:81) chr2 (Data/Text/Internal/Encoding/Utf8.hs:94) chr3 (Data/Text/Internal/Encoding/Utf8.hs:103) chr4 (Data/Text/Internal/Encoding/Utf8.hs:114) validate1 (Data/Text/Internal/Encoding/Utf8.hs:128) validate2 (Data/Text/Internal/Encoding/Utf8.hs:132) validate3 (Data/Text/Internal/Encoding/Utf8.hs:136) validate4 (Data/Text/Internal/Encoding/Utf8.hs:153) 91% ( 10 / 11) in 'Data.Text.Internal.Encoding.Fusion' Missing documentation for: streamASCII (Data/Text/Internal/Encoding/Fusion.hs:57) 100% ( 33 / 33) in 'Data.Text.Encoding' 100% ( 10 / 10) in 'Data.Text.Internal.Lazy.Encoding.Fusion' 100% ( 2 / 2) in 'Data.Text.Internal.Search' 100% ( 18 / 18) in 'Data.Text.Foreign' 100% (126 /126) in 'Data.Text' 100% ( 3 / 3) in 'Data.Text.Internal.IO' 100% ( 20 / 20) in 'Data.Text.IO' 93% ( 14 / 15) in 'Data.Text.Internal.Lazy' Missing documentation for: Text (Data/Text/Internal/Lazy.hs:47) 100% ( 8 / 8) in 'Data.Text.Internal.Lazy.Fusion' 100% ( 2 / 2) in 'Data.Text.Internal.Lazy.Search' 100% ( 2 / 2) in 'Data.Text.Lazy.Internal' 89% ( 24 / 27) in 'Data.Text.Lazy.Encoding' Missing documentation for: encodeUtf8 (Data/Text/Lazy/Encoding.hs:148) encodeUtf8Builder (Data/Text/Lazy/Encoding.hs:162) encodeUtf8BuilderEscaped (Data/Text/Lazy/Encoding.hs:167) 99% (127 /128) in 'Data.Text.Lazy' Missing documentation for: Text (Data/Text/Internal/Lazy.hs:47) 94% ( 16 / 17) in 'Data.Text.Internal.Builder' Missing documentation for: append' (Data/Text/Internal/Builder.hs:288) 100% ( 12 / 12) in 'Data.Text.Lazy.Builder' 100% ( 3 / 3) in 'Data.Text.Internal.Builder.Functions' 0% ( 0 / 3) in 'Data.Text.Lazy.Builder.Int' Missing documentation for: Module header decimal (Data/Text/Lazy/Builder/Int.hs:52) hexadecimal (Data/Text/Lazy/Builder/Int.hs:162) 100% ( 19 / 19) in 'Data.Text.Lazy.IO' 100% ( 7 / 7) in 'Data.Text.Lazy.Read' 75% ( 3 / 4) in 'Data.Text.Lazy.Builder.RealFloat' Missing documentation for: formatRealFloat (Data/Text/Lazy/Builder/RealFloat.hs:46) 100% ( 7 / 7) in 'Data.Text.Read' Warning: Data.Text.Internal.Fusion.Common: could not find link destinations for: findIndicesI Warning: Data.Text.Unsafe: could not find link destinations for: bracket Warning: Data.Text: could not find link destinations for: replicateChar countChar Warning: Data.Text.Internal.IO: could not find link destinations for: Handle__ Warning: Data.Text.Lazy: could not find link destinations for: replicateChar dropWords splitAtWord countChar Warning: Data.Text.Internal.Builder: could not find link destinations for: empty append Warning: Data.Text.Lazy.Builder.RealFloat: could not find link destinations for: floatToDigits Documentation created: dist/doc/html/text/index.html, dist/doc/html/text/text.txt Creating package registration file: /tmp/pkgConf-text-1.2.16571031241386510139.3 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/text-1.2.1.3-1l1AN4I48k37RaQ6fm6CEh Registering text-1.2.1.3... Installed text-1.2.1.3 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.01346941484628257755.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 data-default-instances-base-0.0.1... Building data-default-instances-base-0.0.1... Preprocessing library data-default-instances-base-0.0.1... [1 of 1] Compiling Data.Default.Instances.Base ( Data/Default/Instances/Base.hs, dist/build/Data/Default/Instances/Base.o ) In-place registering data-default-instances-base-0.0.1... Running Haddock for data-default-instances-base-0.0.1... Running hscolour for data-default-instances-base-0.0.1... Preprocessing library data-default-instances-base-0.0.1... Preprocessing library data-default-instances-base-0.0.1... Haddock coverage: 50% ( 1 / 2) in 'Data.Default.Instances.Base' Missing documentation for: Module header Documentation created: dist/doc/html/data-default-instances-base/index.html, dist/doc/html/data-default-instances-base/data-default-instances-base.txt Creating package registration file: /tmp/pkgConf-data-default-instances-base-0.016672507321788986238.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/data-default-instances-base-0.0.1-6bNp7ygtVUW3TbxeJU4Irf Registering data-default-instances-base-0.0.1... Installed data-default-instances-base-0.0.1 Configuring data-default-instances-containers-0.0.1... Building data-default-instances-containers-0.0.1... Preprocessing library data-default-instances-containers-0.0.1... [1 of 1] Compiling Data.Default.Instances.Containers ( Data/Default/Instances/Containers.hs, dist/build/Data/Default/Instances/Containers.o ) In-place registering data-default-instances-containers-0.0.1... Running Haddock for data-default-instances-containers-0.0.1... Running hscolour for data-default-instances-containers-0.0.1... Preprocessing library data-default-instances-containers-0.0.1... Preprocessing library data-default-instances-containers-0.0.1... Haddock coverage: 50% ( 1 / 2) in 'Data.Default.Instances.Containers' Missing documentation for: Module header Documentation created: dist/doc/html/data-default-instances-containers/index.html, dist/doc/html/data-default-instances-containers/data-default-instances-containers.txt Creating package registration file: /tmp/pkgConf-data-default-instances-containers-0.01470796522110341087.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/data-default-instances-containers-0.0.1-2eq6fuwf8Tk14CtKGZXhB5 Registering data-default-instances-containers-0.0.1... Installed data-default-instances-containers-0.0.1 Configuring data-default-instances-dlist-0.0.1... Building data-default-instances-dlist-0.0.1... Preprocessing library data-default-instances-dlist-0.0.1... [1 of 1] Compiling Data.Default.Instances.DList ( Data/Default/Instances/DList.hs, dist/build/Data/Default/Instances/DList.o ) In-place registering data-default-instances-dlist-0.0.1... Running Haddock for data-default-instances-dlist-0.0.1... Running hscolour for data-default-instances-dlist-0.0.1... Preprocessing library data-default-instances-dlist-0.0.1... Preprocessing library data-default-instances-dlist-0.0.1... Haddock coverage: 50% ( 1 / 2) in 'Data.Default.Instances.DList' Missing documentation for: Module header Documentation created: dist/doc/html/data-default-instances-dlist/index.html, dist/doc/html/data-default-instances-dlist/data-default-instances-dlist.txt Creating package registration file: /tmp/pkgConf-data-default-instances-dlist-0.04424827812074216439.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/data-default-instances-dlist-0.0.1-EXwD6nMCvj82LJzl8Xo6bb Registering data-default-instances-dlist-0.0.1... Installed data-default-instances-dlist-0.0.1 Configuring data-default-instances-old-locale-0.0.1... Building data-default-instances-old-locale-0.0.1... Preprocessing library data-default-instances-old-locale-0.0.1... [1 of 1] Compiling Data.Default.Instances.OldLocale ( Data/Default/Instances/OldLocale.hs, dist/build/Data/Default/Instances/OldLocale.o ) In-place registering data-default-instances-old-locale-0.0.1... Running Haddock for data-default-instances-old-locale-0.0.1... Running hscolour for data-default-instances-old-locale-0.0.1... Preprocessing library data-default-instances-old-locale-0.0.1... Preprocessing library data-default-instances-old-locale-0.0.1... Haddock coverage: 50% ( 1 / 2) in 'Data.Default.Instances.OldLocale' Missing documentation for: Module header Documentation created: dist/doc/html/data-default-instances-old-locale/index.html, dist/doc/html/data-default-instances-old-locale/data-default-instances-old-locale.txt Creating package registration file: /tmp/pkgConf-data-default-instances-old-locale-0.017604811351595154931.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/data-default-instances-old-locale-0.0.1-D3fIWe3ExBN6VISnKTEJV3 Registering data-default-instances-old-locale-0.0.1... Installed data-default-instances-old-locale-0.0.1 Configuring vector-0.11.0.0... Building vector-0.11.0.0... Preprocessing library vector-0.11.0.0... [ 1 of 21] Compiling Data.Vector.Storable.Internal ( Data/Vector/Storable/Internal.hs, dist/build/Data/Vector/Storable/Internal.o ) [ 2 of 21] Compiling Data.Vector.Generic.Mutable.Base ( Data/Vector/Generic/Mutable/Base.hs, dist/build/Data/Vector/Generic/Mutable/Base.o ) [ 3 of 21] Compiling Data.Vector.Generic.Base ( Data/Vector/Generic/Base.hs, dist/build/Data/Vector/Generic/Base.o ) [ 4 of 21] Compiling Data.Vector.Fusion.Util ( Data/Vector/Fusion/Util.hs, dist/build/Data/Vector/Fusion/Util.o ) Data/Vector/Fusion/Util.hs:19: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() [ 5 of 21] Compiling Data.Vector.Fusion.Bundle.Size ( Data/Vector/Fusion/Bundle/Size.hs, dist/build/Data/Vector/Fusion/Bundle/Size.o ) [ 6 of 21] Compiling Data.Vector.Internal.Check ( Data/Vector/Internal/Check.hs, dist/build/Data/Vector/Internal/Check.o ) [ 7 of 21] Compiling Data.Vector.Fusion.Stream.Monadic ( Data/Vector/Fusion/Stream/Monadic.hs, dist/build/Data/Vector/Fusion/Stream/Monadic.o ) Data/Vector/Fusion/Stream/Monadic.hs:93:1: Warning: The import of ‘Word’ from module ‘Data.Word’ is redundant [ 8 of 21] Compiling Data.Vector.Fusion.Bundle.Monadic ( Data/Vector/Fusion/Bundle/Monadic.hs, dist/build/Data/Vector/Fusion/Bundle/Monadic.o ) Data/Vector/Fusion/Bundle/Monadic.hs:105:1: Warning: The import of ‘Word’ from module ‘Data.Word’ is redundant [ 9 of 21] Compiling Data.Vector.Fusion.Bundle ( Data/Vector/Fusion/Bundle.hs, dist/build/Data/Vector/Fusion/Bundle.o ) Data/Vector/Fusion/Bundle.hs:114:1: Warning: Tab character [10 of 21] Compiling Data.Vector.Generic.Mutable ( Data/Vector/Generic/Mutable.hs, dist/build/Data/Vector/Generic/Mutable.o ) [11 of 21] Compiling Data.Vector.Generic.New ( Data/Vector/Generic/New.hs, dist/build/Data/Vector/Generic/New.o ) [12 of 21] Compiling Data.Vector.Generic ( Data/Vector/Generic.hs, dist/build/Data/Vector/Generic.o ) [13 of 21] Compiling Data.Vector.Primitive.Mutable ( Data/Vector/Primitive/Mutable.hs, dist/build/Data/Vector/Primitive/Mutable.o ) [14 of 21] Compiling Data.Vector.Primitive ( Data/Vector/Primitive.hs, dist/build/Data/Vector/Primitive.o ) Data/Vector/Primitive.hs:167: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() [15 of 21] Compiling Data.Vector.Storable.Mutable ( Data/Vector/Storable/Mutable.hs, dist/build/Data/Vector/Storable/Mutable.o ) [16 of 21] Compiling Data.Vector.Storable ( Data/Vector/Storable.hs, dist/build/Data/Vector/Storable.o ) Data/Vector/Storable.hs:172: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() [17 of 21] Compiling Data.Vector.Unboxed.Base ( Data/Vector/Unboxed/Base.hs, dist/build/Data/Vector/Unboxed/Base.o ) Data/Vector/Unboxed/Base.hs:33:1: Warning: The import of ‘Word’ from module ‘Data.Word’ is redundant [18 of 21] Compiling Data.Vector.Unboxed ( Data/Vector/Unboxed.hs, dist/build/Data/Vector/Unboxed.o ) Data/Vector/Unboxed.hs:189: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() [19 of 21] Compiling Data.Vector.Unboxed.Mutable ( Data/Vector/Unboxed/Mutable.hs, dist/build/Data/Vector/Unboxed/Mutable.o ) [20 of 21] Compiling Data.Vector.Mutable ( Data/Vector/Mutable.hs, dist/build/Data/Vector/Mutable.o ) [21 of 21] Compiling Data.Vector ( Data/Vector.hs, dist/build/Data/Vector.o ) Data/Vector.hs:190: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() In-place registering vector-0.11.0.0... Running Haddock for vector-0.11.0.0... Running hscolour for vector-0.11.0.0... Preprocessing library vector-0.11.0.0... Preprocessing library vector-0.11.0.0... Data/Vector/Fusion/Util.hs:19: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() Data/Vector/Fusion/Stream/Monadic.hs:93:1: Warning: The import of ‘Word’ from module ‘Data.Word’ is redundant Data/Vector/Fusion/Bundle/Monadic.hs:105:1: Warning: The import of ‘Word’ from module ‘Data.Word’ is redundant Data/Vector/Fusion/Bundle.hs:114:1: Warning: Tab character Haddock coverage: 25% ( 1 / 4) in 'Data.Vector.Storable.Internal' Missing documentation for: getPtr (Data/Vector/Storable/Internal.hs:22) setPtr (Data/Vector/Storable/Internal.hs:26) updPtr (Data/Vector/Storable/Internal.hs:30) 100% ( 2 / 2) in 'Data.Vector.Generic.Mutable.Base' 100% ( 3 / 3) in 'Data.Vector.Generic.Base' 100% ( 5 / 5) in 'Data.Vector.Fusion.Util' 100% ( 8 / 8) in 'Data.Vector.Fusion.Bundle.Size' 11% ( 1 / 9) in 'Data.Vector.Internal.Check' Missing documentation for: Checks (Data/Vector/Internal/Check.hs:51) doChecks (Data/Vector/Internal/Check.hs:75) error (Data/Vector/Internal/Check.hs:84) internalError (Data/Vector/Internal/Check.hs:89) check (Data/Vector/Internal/Check.hs:105) checkIndex (Data/Vector/Internal/Check.hs:119) checkLength (Data/Vector/Internal/Check.hs:133) checkSlice (Data/Vector/Internal/Check.hs:147) 82% (103 /125) in 'Data.Vector.Fusion.Stream.Monadic' Missing documentation for: generate (Data/Vector/Fusion/Stream/Monadic.hs:184) unbox (Data/Vector/Fusion/Stream/Monadic.hs:436) concatMap (Data/Vector/Fusion/Stream/Monadic.hs:996) zipWithM_ (Data/Vector/Fusion/Stream/Monadic.hs:512) zipWith3M (Data/Vector/Fusion/Stream/Monadic.hs:516) zipWith4M (Data/Vector/Fusion/Stream/Monadic.hs:544) zipWith5M (Data/Vector/Fusion/Stream/Monadic.hs:551) zipWith6M (Data/Vector/Fusion/Stream/Monadic.hs:558) zipWith (Data/Vector/Fusion/Stream/Monadic.hs:566) zipWith3 (Data/Vector/Fusion/Stream/Monadic.hs:570) zipWith4 (Data/Vector/Fusion/Stream/Monadic.hs:575) zipWith5 (Data/Vector/Fusion/Stream/Monadic.hs:581) zipWith6 (Data/Vector/Fusion/Stream/Monadic.hs:587) zip (Data/Vector/Fusion/Stream/Monadic.hs:593) zip3 (Data/Vector/Fusion/Stream/Monadic.hs:597) zip4 (Data/Vector/Fusion/Stream/Monadic.hs:601) zip5 (Data/Vector/Fusion/Stream/Monadic.hs:606) zip6 (Data/Vector/Fusion/Stream/Monadic.hs:611) and (Data/Vector/Fusion/Stream/Monadic.hs:970) or (Data/Vector/Fusion/Stream/Monadic.hs:983) concatMapM (Data/Vector/Fusion/Stream/Monadic.hs:1000) unfoldrN (Data/Vector/Fusion/Stream/Monadic.hs:1062) 79% (106 /135) in 'Data.Vector.Fusion.Bundle.Monadic' Missing documentation for: Chunk (Data/Vector/Fusion/Bundle/Monadic.hs:110) generate (Data/Vector/Fusion/Bundle/Monadic.hs:190) unbox (Data/Vector/Fusion/Bundle/Monadic.hs:301) concatMap (Data/Vector/Fusion/Bundle/Monadic.hs:595) zipWithM_ (Data/Vector/Fusion/Bundle/Monadic.hs:332) zipWith3M (Data/Vector/Fusion/Bundle/Monadic.hs:336) zipWith4M (Data/Vector/Fusion/Bundle/Monadic.hs:343) zipWith5M (Data/Vector/Fusion/Bundle/Monadic.hs:350) zipWith6M (Data/Vector/Fusion/Bundle/Monadic.hs:357) zipWith (Data/Vector/Fusion/Bundle/Monadic.hs:365) zipWith3 (Data/Vector/Fusion/Bundle/Monadic.hs:369) zipWith4 (Data/Vector/Fusion/Bundle/Monadic.hs:374) zipWith5 (Data/Vector/Fusion/Bundle/Monadic.hs:380) zipWith6 (Data/Vector/Fusion/Bundle/Monadic.hs:386) zip (Data/Vector/Fusion/Bundle/Monadic.hs:392) zip3 (Data/Vector/Fusion/Bundle/Monadic.hs:396) zip4 (Data/Vector/Fusion/Bundle/Monadic.hs:400) zip5 (Data/Vector/Fusion/Bundle/Monadic.hs:405) zip6 (Data/Vector/Fusion/Bundle/Monadic.hs:410) and (Data/Vector/Fusion/Bundle/Monadic.hs:587) or (Data/Vector/Fusion/Bundle/Monadic.hs:591) concatMapM (Data/Vector/Fusion/Bundle/Monadic.hs:599) fromVector (Data/Vector/Fusion/Bundle/Monadic.hs:1009) reVector (Data/Vector/Fusion/Bundle/Monadic.hs:1085) fromVectors (Data/Vector/Fusion/Bundle/Monadic.hs:1028) concatVectors (Data/Vector/Fusion/Bundle/Monadic.hs:1054) fromStream (Data/Vector/Fusion/Bundle/Monadic.hs:119) chunks (Data/Vector/Fusion/Bundle/Monadic.hs:126) elements (Data/Vector/Fusion/Bundle/Monadic.hs:130) 81% ( 88 /109) in 'Data.Vector.Fusion.Bundle' Missing documentation for: Chunk (Data/Vector/Fusion/Bundle/Monadic.hs:110) inplace (Data/Vector/Fusion/Bundle.hs:113) concatMap (Data/Vector/Fusion/Bundle.hs:265) unbox (Data/Vector/Fusion/Bundle.hs:261) zipWith4 (Data/Vector/Fusion/Bundle.hs:293) zipWith5 (Data/Vector/Fusion/Bundle.hs:299) zipWith6 (Data/Vector/Fusion/Bundle.hs:305) zip (Data/Vector/Fusion/Bundle.hs:311) zip3 (Data/Vector/Fusion/Bundle.hs:315) zip4 (Data/Vector/Fusion/Bundle.hs:319) zip5 (Data/Vector/Fusion/Bundle.hs:324) zip6 (Data/Vector/Fusion/Bundle.hs:329) and (Data/Vector/Fusion/Bundle.hs:415) or (Data/Vector/Fusion/Bundle.hs:419) unsafeFromList (Data/Vector/Fusion/Bundle.hs:609) fromVector (Data/Vector/Fusion/Bundle.hs:613) reVector (Data/Vector/Fusion/Bundle.hs:617) fromVectors (Data/Vector/Fusion/Bundle.hs:621) concatVectors (Data/Vector/Fusion/Bundle.hs:625) zipWithM (Data/Vector/Fusion/Bundle.hs:520) zipWithM_ (Data/Vector/Fusion/Bundle.hs:524) 66% ( 48 / 73) in 'Data.Vector.Generic.Mutable' Missing documentation for: init (Data/Vector/Generic/Mutable.hs:536) tail (Data/Vector/Generic/Mutable.hs:540) take (Data/Vector/Generic/Mutable.hs:515) drop (Data/Vector/Generic/Mutable.hs:519) splitAt (Data/Vector/Generic/Mutable.hs:527) unsafeInit (Data/Vector/Generic/Mutable.hs:554) unsafeTail (Data/Vector/Generic/Mutable.hs:558) unsafeTake (Data/Vector/Generic/Mutable.hs:562) unsafeDrop (Data/Vector/Generic/Mutable.hs:566) growFront (Data/Vector/Generic/Mutable.hs:626) unsafeGrowFront (Data/Vector/Generic/Mutable.hs:665) mstream (Data/Vector/Generic/Mutable.hs:244) mstreamR (Data/Vector/Generic/Mutable.hs:274) transform (Data/Vector/Generic/Mutable.hs:268) transformR (Data/Vector/Generic/Mutable.hs:303) fill (Data/Vector/Generic/Mutable.hs:255) fillR (Data/Vector/Generic/Mutable.hs:287) unsafeAccum (Data/Vector/Generic/Mutable.hs:848) accum (Data/Vector/Generic/Mutable.hs:824) unsafeUpdate (Data/Vector/Generic/Mutable.hs:861) update (Data/Vector/Generic/Mutable.hs:837) reverse (Data/Vector/Generic/Mutable.hs:872) unstablePartition (Data/Vector/Generic/Mutable.hs:881) unstablePartitionBundle (Data/Vector/Generic/Mutable.hs:910) partitionBundle (Data/Vector/Generic/Mutable.hs:938) 5% ( 1 / 20) in 'Data.Vector.Generic.New' Missing documentation for: New (Data/Vector/Generic/New.hs:40) create (Data/Vector/Generic/New.hs:42) run (Data/Vector/Generic/New.hs:46) runPrim (Data/Vector/Generic/New.hs:50) apply (Data/Vector/Generic/New.hs:54) modify (Data/Vector/Generic/New.hs:58) modifyWithBundle (Data/Vector/Generic/New.hs:62) unstream (Data/Vector/Generic/New.hs:67) transform (Data/Vector/Generic/New.hs:71) unstreamR (Data/Vector/Generic/New.hs:93) transformR (Data/Vector/Generic/New.hs:97) slice (Data/Vector/Generic/New.hs:119) init (Data/Vector/Generic/New.hs:123) tail (Data/Vector/Generic/New.hs:127) take (Data/Vector/Generic/New.hs:131) drop (Data/Vector/Generic/New.hs:135) unsafeSlice (Data/Vector/Generic/New.hs:139) unsafeInit (Data/Vector/Generic/New.hs:143) unsafeTail (Data/Vector/Generic/New.hs:147) 93% (223 /240) in 'Data.Vector.Generic' Missing documentation for: zipWith4 (Data/Vector/Generic.hs:1069) zipWith5 (Data/Vector/Generic.hs:1078) zipWith6 (Data/Vector/Generic.hs:1090) izipWith3 (Data/Vector/Generic.hs:1112) izipWith4 (Data/Vector/Generic.hs:1120) izipWith5 (Data/Vector/Generic.hs:1129) izipWith6 (Data/Vector/Generic.hs:1141) zip3 (Data/Vector/Generic.hs:1159) zip4 (Data/Vector/Generic.hs:1164) zip5 (Data/Vector/Generic.hs:1169) zip6 (Data/Vector/Generic.hs:1175) unzip3 (Data/Vector/Generic.hs:1225) unzip4 (Data/Vector/Generic.hs:1232) unzip5 (Data/Vector/Generic.hs:1241) unzip6 (Data/Vector/Generic.hs:1251) dataCast (Data/Vector/Generic.hs:2080) mkType (Data/Vector/Generic.hs:2075) 79% ( 41 / 52) in 'Data.Vector.Primitive.Mutable' Missing documen Data/Vector/Primitive.hs:167: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() Data/Vector/Storable.hs:172: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() Data/Vector/Unboxed/Base.hs:33:1: Warning: The import of ‘Word’ from module ‘Data.Word’ is redundant Data/Vector/Unboxed.hs:189: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() Data/Vector.hs:190: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() tation for: IOVector (Data/Vector/Primitive/Mutable.hs:76) STVector (Data/Vector/Primitive/Mutable.hs:77) init (Data/Vector/Primitive/Mutable.hs:164) tail (Data/Vector/Primitive/Mutable.hs:168) take (Data/Vector/Primitive/Mutable.hs:152) drop (Data/Vector/Primitive/Mutable.hs:156) splitAt (Data/Vector/Primitive/Mutable.hs:160) unsafeInit (Data/Vector/Primitive/Mutable.hs:190) unsafeTail (Data/Vector/Primitive/Mutable.hs:194) unsafeTake (Data/Vector/Primitive/Mutable.hs:182) unsafeDrop (Data/Vector/Primitive/Mutable.hs:186) 97% (185 /191) in 'Data.Vector.Primitive' Missing documentation for: zipWith4 (Data/Vector/Primitive.hs:802) zipWith5 (Data/Vector/Primitive.hs:808) zipWith6 (Data/Vector/Primitive.hs:816) izipWith4 (Data/Vector/Primitive.hs:838) izipWith5 (Data/Vector/Primitive.hs:844) izipWith6 (Data/Vector/Primitive.hs:852) 82% ( 49 / 60) in 'Data.Vector.Storable.Mutable' Missing documentation for: IOVector (Data/Vector/Storable/Mutable.hs:96) STVector (Data/Vector/Storable/Mutable.hs:97) init (Data/Vector/Storable/Mutable.hs:246) tail (Data/Vector/Storable/Mutable.hs:250) take (Data/Vector/Storable/Mutable.hs:234) drop (Data/Vector/Storable/Mutable.hs:238) splitAt (Data/Vector/Storable/Mutable.hs:242) unsafeInit (Data/Vector/Storable/Mutable.hs:272) unsafeTail (Data/Vector/Storable/Mutable.hs:276) unsafeTake (Data/Vector/Storable/Mutable.hs:264) unsafeDrop (Data/Vector/Storable/Mutable.hs:268) 97% (194 /200) in 'Data.Vector.Storable' Missing documentation for: zipWith4 (Data/Vector/Storable.hs:812) zipWith5 (Data/Vector/Storable.hs:818) zipWith6 (Data/Vector/Storable.hs:826) izipWith4 (Data/Vector/Storable.hs:848) izipWith5 (Data/Vector/Storable.hs:854) izipWith6 (Data/Vector/Storable.hs:862) 17% ( 1 / 6) in 'Data.Vector.Unboxed.Base' Missing documentation for: MVector (Data/Vector/Unboxed/Base.hs:55) IOVector (Data/Vector/Unboxed/Base.hs:58) STVector (Data/Vector/Unboxed/Base.hs:59) Vector (Data/Vector/Unboxed/Base.hs:56) Unbox (Data/Vector/Unboxed/Base.hs:63) 96% (209 /218) in 'Data.Vector.Unboxed' Missing documentation for: Vector (Data/Vector/Unboxed/Base.hs:56) MVector (Data/Vector/Unboxed/Base.hs:55) Unbox (Data/Vector/Unboxed/Base.hs:63) zipWith4 (Data/Vector/Unboxed.hs:849) zipWith5 (Data/Vector/Unboxed.hs:855) zipWith6 (Data/Vector/Unboxed.hs:862) izipWith4 (Data/Vector/Unboxed.hs:883) izipWith5 (Data/Vector/Unboxed.hs:889) izipWith6 (Data/Vector/Unboxed.hs:896) 79% ( 50 / 63) in 'Data.Vector.Unboxed.Mutable' Missing documentation for: MVector (Data/Vector/Unboxed/Base.hs:55) IOVector (Data/Vector/Unboxed/Base.hs:58) STVector (Data/Vector/Unboxed/Base.hs:59) Unbox (Data/Vector/Unboxed/Base.hs:63) init (Data/Vector/Unboxed/Mutable.hs:102) tail (Data/Vector/Unboxed/Mutable.hs:106) take (Data/Vector/Unboxed/Mutable.hs:90) drop (Data/Vector/Unboxed/Mutable.hs:94) splitAt (Data/Vector/Unboxed/Mutable.hs:98) unsafeInit (Data/Vector/Unboxed/Mutable.hs:128) unsafeTail (Data/Vector/Unboxed/Mutable.hs:132) unsafeTake (Data/Vector/Unboxed/Mutable.hs:120) unsafeDrop (Data/Vector/Unboxed/Mutable.hs:124) 78% ( 40 / 51) in 'Data.Vector.Mutable' Missing documentation for: IOVector (Data/Vector/Mutable.hs:70) STVector (Data/Vector/Mutable.hs:71) init (Data/Vector/Mutable.hs:222) tail (Data/Vector/Mutable.hs:226) take (Data/Vector/Mutable.hs:210) drop (Data/Vector/Mutable.hs:214) splitAt (Data/Vector/Mutable.hs:219) unsafeInit (Data/Vector/Mutable.hs:247) unsafeTail (Data/Vector/Mutable.hs:251) unsafeTake (Data/Vector/Mutable.hs:239) unsafeDrop (Data/Vector/Mutable.hs:243) 94% (207 /220) in 'Data.Vector' Missing documentation for: zipWith4 (Data/Vector.hs:944) zipWith5 (Data/Vector.hs:949) zipWith6 (Data/Vector.hs:955) izipWith4 (Data/Vector.hs:973) izipWith5 (Data/Vector.hs:978) izipWith6 (Data/Vector.hs:984) zip4 (Data/Vector.hs:1000) zip5 (Data/Vector.hs:1005) zip6 (Data/Vector.hs:1010) unzip3 (Data/Vector.hs:1023) unzip4 (Data/Vector.hs:1027) unzip5 (Data/Vector.hs:1031) unzip6 (Data/Vector.hs:1036) Warning: Data.Vector.Unboxed: could not find link destinations for: TFCo:R:VectorBool V_Bool TFCo:R:VectorChar V_Char TFCo:R:VectorDouble V_Double TFCo:R:VectorFloat V_Float TFCo:R:VectorInt V_Int TFCo:R:VectorInt8 V_Int8 TFCo:R:VectorInt16 V_Int16 TFCo:R:VectorInt32 V_Int32 TFCo:R:VectorInt64 V_Int64 TFCo:R:VectorWord V_Word TFCo:R:VectorWord8 V_Word8 TFCo:R:VectorWord16 V_Word16 TFCo:R:VectorWord32 V_Word32 TFCo:R:VectorWord64 V_Word64 TFCo:R:Vector() V_Unit TFCo:R:VectorComplex V_Complex TFCo:R:Vector(,) V_2 TFCo:R:Vector(,,) V_3 TFCo:R:Vector(,,,) V_4 TFCo:R:Vector(,,,,) V_5 TFCo:R:Vector(,,,,,) V_6 TFCo:R:MVectorsBool MV_Bool TFCo:R:MVectorsChar MV_Char TFCo:R:MVectorsDouble MV_Double TFCo:R:MVectorsFloat MV_Float TFCo:R:MVectorsWord64 MV_Word64 TFCo:R:MVectorsWord32 MV_Word32 TFCo:R:MVectorsWord16 MV_Word16 TFCo:R:MVectorsWord8 MV_Word8 TFCo:R:MVectorsWord MV_Word TFCo:R:MVectorsInt64 MV_Int64 TFCo:R:MVectorsInt32 MV_Int32 TFCo:R:MVectorsInt16 MV_Int16 TFCo:R:MVectorsInt8 MV_Int8 TFCo:R:MVectorsInt MV_Int TFCo:R:MVectors() MV_Unit TFCo:R:MVectorsComplex MV_Complex TFCo:R:MVectors(,) MV_2 TFCo:R:MVectors(,,) MV_3 TFCo:R:MVectors(,,,) MV_4 TFCo:R:MVectors(,,,,) MV_5 TFCo:R:MVectors(,,,,,) MV_6 Warning: Data.Vector.Unboxed.Mutable: could not find link destinations for: TFCo:R:MVectorsBool MV_Bool TFCo:R:MVectorsChar MV_Char TFCo:R:MVectorsDouble MV_Double TFCo:R:MVectorsFloat MV_Float TFCo:R:MVectorsWord64 MV_Word64 TFCo:R:MVectorsWord32 MV_Word32 TFCo:R:MVectorsWord16 MV_Word16 TFCo:R:MVectorsWord8 MV_Word8 TFCo:R:MVectorsWord MV_Word TFCo:R:MVectorsInt64 MV_Int64 TFCo:R:MVectorsInt32 MV_Int32 TFCo:R:MVectorsInt16 MV_Int16 TFCo:R:MVectorsInt8 MV_Int8 TFCo:R:MVectorsInt MV_Int TFCo:R:MVectors() MV_Unit TFCo:R:MVectorsComplex MV_Complex TFCo:R:MVectors(,) MV_2 TFCo:R:MVectors(,,) MV_3 TFCo:R:MVectors(,,,) MV_4 TFCo:R:MVectors(,,,,) MV_5 TFCo:R:MVectors(,,,,,) MV_6 Documentation created: dist/doc/html/vector/index.html, dist/doc/html/vector/vector.txt Creating package registration file: /tmp/pkgConf-vector-0.11.013622434281101709878.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/vector-0.11.0.0-A9qWf1eecPQGJD12EBZIxF Registering vector-0.11.0.0... Installed vector-0.11.0.0 Configuring copilot-core-2.2.0... Building copilot-core-2.2.0... Preprocessing library copilot-core-2.2.0... [ 1 of 24] Compiling Copilot.Core.Type.Equality ( src/Copilot/Core/Type/Equality.hs, dist/build/Copilot/Core/Type/Equality.o ) [ 2 of 24] Compiling Copilot.Core.Random.Weights ( src/Copilot/Core/Random/Weights.hs, dist/build/Copilot/Core/Random/Weights.o ) [ 3 of 24] Compiling Copilot.Core.Type.Dynamic ( src/Copilot/Core/Type/Dynamic.hs, dist/build/Copilot/Core/Type/Dynamic.o ) [ 4 of 24] Compiling Copilot.Core.Type ( src/Copilot/Core/Type.hs, dist/build/Copilot/Core/Type.o ) [ 5 of 24] Compiling Copilot.Core.Type.Uninitialized ( src/Copilot/Core/Type/Uninitialized.hs, dist/build/Copilot/Core/Type/Uninitialized.o ) [ 6 of 24] Compiling Copilot.Core.Type.Show ( src/Copilot/Core/Type/Show.hs, dist/build/Copilot/Core/Type/Show.o ) [ 7 of 24] Compiling Copilot.Core.Operators ( src/Copilot/Core/Operators.hs, dist/build/Copilot/Core/Operators.o ) [ 8 of 24] Compiling Copilot.Core.Expr ( src/Copilot/Core/Expr.hs, dist/build/Copilot/Core/Expr.o ) [ 9 of 24] Compiling Copilot.Core.Spec ( src/Copilot/Core/Spec.hs, dist/build/Copilot/Core/Spec.o ) [10 of 24] Compiling Copilot.Core.External ( src/Copilot/Core/External.hs, dist/build/Copilot/Core/External.o ) src/Copilot/Core/External.hs:71:9: Warning: Defined but not used: ‘t’ src/Copilot/Core/External.hs:71:11: Warning: Defined but not used: ‘s’ src/Copilot/Core/External.hs:98:9: Warning: Defined but not used: ‘t’ src/Copilot/Core/External.hs:98:11: Warning: Defined but not used: ‘s’ src/Copilot/Core/External.hs:124:9: Warning: Defined but not used: ‘t’ src/Copilot/Core/External.hs:124:11: Warning: Defined but not used: ‘s’ src/Copilot/Core/External.hs:151:9: Warning: Defined but not used: ‘t’ src/Copilot/Core/External.hs:151:11: Warning: Defined but not used: ‘s’ [11 of 24] Compiling Copilot.Core.MakeTags ( src/Copilot/Core/MakeTags.hs, dist/build/Copilot/Core/MakeTags.o ) src/Copilot/Core/MakeTags.hs:14:1: Warning: The import of ‘Data.Maybe’ is redundant except perhaps to import instances from ‘Data.Maybe’ To import instances alone, use: import Data.Maybe() [12 of 24] Compiling Copilot.Core.Error ( src/Copilot/Core/Error.hs, dist/build/Copilot/Core/Error.o ) [13 of 24] Compiling Copilot.Core.Random.Gen ( src/Copilot/Core/Random/Gen.hs, dist/build/Copilot/Core/Random/Gen.o ) src/Copilot/Core/Random/Gen.hs:26: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() [14 of 24] Compiling Copilot.Core.Type.Eq ( src/Copilot/Core/Type/Eq.hs, dist/build/Copilot/Core/Type/Eq.o ) [15 of 24] Compiling Copilot.Core.Type.Read ( src/Copilot/Core/Type/Read.hs, dist/build/Copilot/Core/Type/Read.o ) [16 of 24] Compiling Copilot.Core ( src/Copilot/Core.hs, dist/build/Copilot/Core.o ) src/Copilot/Core.hs:25:14: Warning: ‘Copilot.Core’ is marked as Trustworthy but has been inferred as safe! [17 of 24] Compiling Copilot.Core.Interpret.Eval ( src/Copilot/Core/Interpret/Eval.hs, dist/build/Copilot/Core/Interpret/Eval.o ) src/Copilot/Core/Interpret/Eval.hs:7:14: Warning: ‘Copilot.Core.Interpret.Eval’ is marked as Trustworthy but has been inferred as safe! src/Copilot/Core/Interpret/Eval.hs:193:9: Warning: Defined but not used: ‘t’ src/Copilot/Core/Interpret/Eval.hs:193:11: Warning: Defined but not used: ‘s’ [18 of 24] Compiling Copilot.Core.Interpret.Render ( src/Copilot/Core/Interpret/Render.hs, dist/build/Copilot/Core/Interpret/Render.o ) src/Copilot/Core/Interpret/Render.hs:7:14: Warning: ‘Copilot.Core.Interpret.Render’ is marked as Trustworthy but has been inferred as safe! [19 of 24] Compiling Copilot.Core.Interpret ( src/Copilot/Core/Interpret.hs, dist/build/Copilot/Core/Interpret.o ) src/Copilot/Core/Interpret.hs:7:14: Warning: ‘Copilot.Core.Interpret’ is marked as Trustworthy but has been inferred as safe! [20 of 24] Compiling Copilot.Core.Locals ( src/Copilot/Core/Locals.hs, dist/build/Copilot/Core/Locals.o ) src/Copilot/Core/Locals.hs:72:15: Warning: Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: Label _ _ _ [21 of 24] Compiling Copilot.Core.Random ( src/Copilot/Core/Random.hs, dist/build/Copilot/Core/Random.o ) [22 of 24] Compiling Copilot.Core.PrettyPrint ( src/Copilot/Core/PrettyPrint.hs, dist/build/Copilot/Core/PrettyPrint.o ) src/Copilot/Core/PrettyPrint.hs:50:9: Warning: Defined but not used: ‘t’ [23 of 24] Compiling Copilot.Core.PrettyDot ( src/Copilot/Core/PrettyDot.hs, dist/build/Copilot/Core/PrettyDot.o ) src/Copilot/Core/PrettyDot.hs:25:1: Warning: Defined but not used: ‘mkVar’ src/Copilot/Core/PrettyDot.hs:28:1: Warning: Defined but not used: ‘mkTmpStVar’ src/Copilot/Core/PrettyDot.hs:31:1: Warning: Defined but not used: ‘mkUpdateStFn’ src/Copilot/Core/PrettyDot.hs:34:1: Warning: Defined but not used: ‘mkQueueVar’ src/Copilot/Core/PrettyDot.hs:37:1: Warning: Defined but not used: ‘mkQueuePtrVar’ src/Copilot/Core/PrettyDot.hs:46:1: Warning: Defined but not used: ‘mkExtArrFn’ src/Copilot/Core/PrettyDot.hs:49:1: Warning: Defined but not used: ‘mkExtFunArgFn’ src/Copilot/Core/PrettyDot.hs:53:1: Warning: Defined but not used: ‘mkObserverFn’ src/Copilot/Core/PrettyDot.hs:56:1: Warning: Defined but not used: ‘mkTriggerGuardFn’ src/Copilot/Core/PrettyDot.hs:59:1: Warning: Defined but not used: ‘mkTriggerArgFn’ src/Copilot/Core/PrettyDot.hs:62:1: Warning: Defined but not used: ‘mkArgIdx’ src/Copilot/Core/PrettyDot.hs:130:9: Warning: Defined but not used: ‘t’ src/Copilot/Core/PrettyDot.hs:231:12: Warning: Defined but not used: ‘pere’ src/Copilot/Core/PrettyDot.hs:231:17: Warning: Defined but not used: ‘bb’ src/Copilot/Core/PrettyDot.hs:327:9: Warning: Defined but not used: ‘i1’ src/Copilot/Core/PrettyDot.hs:328:130: Warning: Defaulting the following constraint(s) to type ‘Integer’ (Num a0) arising from the literal ‘0’ at src/Copilot/Core/PrettyDot.hs:328:130 (Show a0) arising from a use of ‘show’ at src/Copilot/Core/PrettyDot.hs:328:125-128 In the first argument of ‘show’, namely ‘0’ In the second argument of ‘printf’, namely ‘(show 0)’ In the first argument of ‘text’, namely ‘(printf "%s [label=\"file: \n\ \?????\",color=red, style=filled]\n" (show 0))’ src/Copilot/Core/PrettyDot.hs:333:13: Warning: Defined but not used: ‘i1’ [24 of 24] Compiling Copilot.Compile.Header.C99 ( src/Copilot/Compile/Header/C99.hs, dist/build/Copilot/Compile/Header/C99.o ) src/Copilot/Compile/Header/C99.hs:227:25: Warning: Defined but not used: ‘tag’ src/Copilot/Compile/Header/C99.hs:238:18: Warning: This binding for ‘name’ shadows the existing binding bound at src/Copilot/Compile/Header/C99.hs:225:25 src/Copilot/Compile/Header/C99.hs:238:60: Warning: Defined but not used: ‘e1’ In-place registering copilot-core-2.2.0... Running Haddock for copilot-core-2.2.0... Running hscolour for copilot-core-2.2.0... Preprocessing library copilot-core-2.2.0... Preprocessing library copilot-core-2.2.0... src/Copilot/Core/External.hs:71:9: Warning: Defined but not used: ‘t’ src/Copilot/Core/External.hs:71:11: Warning: Defined but not used: ‘s’ src/Copilot/Core/External.hs:98:9: Warning: Defined but not used: ‘t’ src/Copilot/Core/External.hs:98:11: Warning: Defined but not used: ‘s’ src/Copilot/Core/External.hs:124:9: Warning: Defined but not used: ‘t’ src/Copilot/Core/External.hs:124:11: Warning: Defined but not used: ‘s’ src/Copilot/Core/External.hs:151:9: Warning: Defined but not used: ‘t’ src/Copilot/Core/External.hs:151:11: Warning: Defined but not used: ‘s’ src/Copilot/Core/MakeTags.hs:14:1: Warning: The import of ‘Data.Maybe’ is redundant except perhaps to import instances from ‘Data.Maybe’ To import instances alone, use: import Data.Maybe() src/Copilot/Core/Random/Gen.hs:26: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() src/Copilot/Core.hs:25:14: Warning: ‘Copilot.Core’ is marked as Trustworthy but has been inferred as safe! src/Copilot/Core/Interpret/Eval.hs:7:14: Warning: ‘Copilot.Core.Interpret.Eval’ is marked as Trustworthy but has been inferred as safe! src/Copilot/Core/Interpret/Eval.hs:193:9: Warning: Defined but not used: ‘t’ src/Copilot/Core/Interpret/Eval.hs:193:11: Warning: Defined but not used: ‘s’ src/Copilot/Core/Interpret/Render.hs:7:14: Warning: ‘Copilot.Core.Interpret.Render’ is marked as Trustworthy but has been inferred as safe! src/Copilot/Core/Interpret.hs:7:14: Warning: ‘Copilot.Core.Interpret’ is marked as Trustworthy but has been inferred as safe! src/Copilot/Core/PrettyPrint.hs:50:9: Warning: Defined but not used: ‘t’ src/Copilot/Core/PrettyDot.hs:25:1: Warning: Defined but not used: ‘mkVar’ src/Copilot/Core/PrettyDot.hs:28:1: Warning: Defined but not used: ‘mkTmpStVar’ src/Copilot/Core/PrettyDot.hs:31:1: Warning: Defined but not used: ‘mkUpdateStFn’ src/Copilot/Core/PrettyDot.hs:34:1: Warning: Defined but not used: ‘mkQueueVar’ src/Copilot/Core/PrettyDot.hs:37:1: Warning: Defined but not used: ‘mkQueuePtrVar’ src/Copilot/Core/PrettyDot.hs:46:1: Warning: Defined but not used: ‘mkExtArrFn’ src/Copilot/Core/PrettyDot.hs:49:1: Warning: Defined but not used: ‘mkExtFunArgFn’ src/Copilot/Core/PrettyDot.hs:53:1: Warning: Defined but not used: ‘mkObserverFn’ src/Copilot/Core/PrettyDot.hs:56:1: Warning: Defined but not used: ‘mkTriggerGuardFn’ src/Copilot/Core/PrettyDot.hs:59:1: Warning: Defined but not used: ‘mkTriggerArgFn’ src/Copilot/Core/PrettyDot.hs:62:1: Warning: Defined but not used: ‘mkArgIdx’ src/Copilot/Core/PrettyDot.hs:130:9: Warning: Defined but not used: ‘t’ src/Copilot/Core/PrettyDot.hs:231:12: Warning: Defined but not used: ‘pere’ src/Copilot/Core/PrettyDot.hs:231:17: Warning: Defined but not used: ‘bb’ src/Copilot/Core/PrettyDot.hs:327:9: Warning: Defined but not used: ‘i1’ src/Copilot/Core/PrettyDot.hs:328:130: Warning: Defaulting the following constraint(s) to type ‘Integer’ (Num a0) arising from the literal ‘0’ at src/Copilot/Core/PrettyDot.hs:328:130 (Show a0) arising from a use of ‘show’ at src/Copilot/Core/PrettyDot.hs:328:125-128 In the first argument of ‘show’, namely ‘0’ In the second argument of ‘printf’, namely ‘(show 0)’ In the first argument of ‘text’, namely ‘(printf "%s [label=\"file: \n\ \?????\",color=red, style=filled]\n" (show 0))’ src/Copilot/Core/PrettyDot.hs:333:13: Warning: Defined but not used: ‘i1’ src/Copilot/Compile/Header/C99.hs:227:25: Warning: Defined but not used: ‘tag’ src/Copilot/Compile/Header/C99.hs:238:18: Warning: This binding for ‘name’ shadows the existing binding bound at src/Copilot/Compile/Header/C99.hs:225:25 src/Copilot/Compile/Header/C99.hs:238:60: Warning: Defined but not used: ‘e1’ Haddock coverage: 0% ( 0 / 8) in 'Copilot.Core.Type.Equality' Missing documentation for: Module header Equal (src/Copilot/Core/Type/Equality.hs:18) EqualType (src/Copilot/Core/Type/Equality.hs:21) coerce (src/Copilot/Core/Type/Equality.hs:24) refl (src/Copilot/Core/Type/Equality.hs:27) trans (src/Copilot/Core/Type/Equality.hs:33) symm (src/Copilot/Core/Type/Equality.hs:30) cong (src/Copilot/Core/Type/Equality.hs:36) 0% ( 0 / 4) in 'Copilot.Core.Random.Weights' Missing documentation for: Module header Depth (src/Copilot/Core/Random/Weights.hs:12) Weights (src/Copilot/Core/Random/Weights.hs:14) simpleWeights (src/Copilot/Core/Random/Weights.hs:45) 14% ( 1 / 7) in 'Copilot.Core.Type.Dynamic' Missing documentation for: Dynamic (src/Copilot/Core/Type/Dynamic.hs:31) DynamicF (src/Copilot/Core/Type/Dynamic.hs:34) toDyn (src/Copilot/Core/Type/Dynamic.hs:37) fromDyn (src/Copilot/Core/Type/Dynamic.hs:40) toDynF (src/Copilot/Core/Type/Dynamic.hs:46) fromDynF (src/Copilot/Core/Type/Dynamic.hs:49) 40% ( 2 / 5) in 'Copilot.Core.Type' Missing documentation for: Type (src/Copilot/Core/Type.hs:21) Typed (src/Copilot/Core/Type.hs:65) SimpleType (src/Copilot/Core/Type.hs:50) 50% ( 1 / 2) in 'Copilot.Core.Type.Uninitialized' Missing documentation for: uninitialized (src/Copilot/Core/Type/Uninitialized.hs:18) 0% ( 0 / 6) in 'Copilot.Core.Type.Show' Missing documentation for: Module header ShowWit (src/Copilot/Core/Type/Show.hs:20) showWit (src/Copilot/Core/Type/Show.hs:24) showWithType (src/Copilot/Core/Type/Show.hs:64) ShowType (src/Copilot/Core/Type/Show.hs:60) showType (src/Copilot/Core/Type/Show.hs:41) 50% ( 2 / 4) in 'Copilot.Core.Operators' Missing documentation for: Module header Op1 (src/Copilot/Core/Operators.hs:20) 75% ( 6 / 8) in 'Copilot.Core.Expr' Missing documentation for: Module header Expr (src/Copilot/Core/Expr.hs:44) 86% ( 6 / 7) in 'Copilot.Core.Spec' Missing documentation for: Module header 0% ( 0 / 9) in 'Copilot.Core.External' Missing documentation for: Module header ExtVar (src/Copilot/Core/External.hs:23) ExtArray (src/Copilot/Core/External.hs:27) ExtFun (src/Copilot/Core/External.hs:35) ExtStruct (src/Copilot/Core/External.hs:41) externVars (src/Copilot/Core/External.hs:48) externArrays (src/Copilot/Core/External.hs:78) externFuns (src/Copilot/Core/External.hs:105) externStructs (src/Copilot/Core/External.hs:132) 50% ( 1 / 2) in 'Copilot.Core.MakeTags' Missing documentation for: makeTags (src/Copilot/Core/MakeTags.hs:23) 0% ( 0 / 3) in 'Copilot.Core.Error' Missing documentation for: Module header impossible (src/Copilot/Core/Error.hs:11) badUsage (src/Copilot/Core/Error.hs:18) 17% ( 2 / 12) in 'Copilot.Core.Random.Gen' Missing documentation for: Module header runGen (src/Copilot/Core/Random/Gen.hs:34) randomFromType (src/Copilot/Core/Random/Gen.hs:66) oneOf (src/Copilot/Core/Random/Gen.hs:114) choose (src/Copilot/Core/Random/Gen.hs:109) elements (src/Copilot/Core/Random/Gen.hs:132) depth (src/Copilot/Core/Random/Gen.hs:55) weights (src/Copilot/Core/Random/Gen.hs:58) incDepth (src/Copilot/Core/Random/Gen.hs:61) randomReplicate (src/Copilot/Core/Random/Gen.hs:104) 0% ( 0 / 4) in 'Copilot.Core.Type.Eq' Missing documentation for: Module header EqWit (src/Copilot/Core/Type/Eq.hs:20) eqWit (src/Copilot/Core/Type/Eq.hs:24) UVal (src/Copilot/Core/Type/Eq.hs:41) 0% ( 0 / 4) in 'Copilot.Core.Type.Read' Missing documentation for: Module header ReadWit (src/Copilot/Core/Type/Read.hs:19) readWit (src/Copilot/Core/Type/Read.hs:23) readWithType (src/Copilot/Core/Type/Read.hs:40) 100% ( 11 / 11) in 'Copilot.Core' 20% ( 1 / 5) in 'Copilot.Core.Interpret.Eval' Missing documentation for: Env (src/Copilot/Core/Interpret/Eval.hs:87) Output (src/Copilot/Core/Interpret/Eval.hs:100) ExecTrace (src/Copilot/Core/Interpret/Eval.hs:102) eval (src/Copilot/Core/Interpret/Eval.hs:133) 33% ( 1 / 3) in 'Copilot.Core.Interpret.Render' Missing documentation for: renderAsTable (src/Copilot/Core/Interpret/Render.hs:23) renderAsCSV (src/Copilot/Core/Interpret/Render.hs:55) 67% ( 2 / 3) in 'Copilot.Core.Interpret' Missing documentation for: Format (src/Copilot/Core/Interpret.hs:20) 33% ( 1 / 3) in 'Copilot.Core.Locals' Missing documentation for: Loc (src/Copilot/Core/Locals.hs:22) locals (src/Copilot/Core/Locals.hs:31) 50% ( 1 / 2) in 'Copilot.Core.Random' Missing documentation for: randomSpec (src/Copilot/Core/Random.hs:29) 67% ( 2 / 3) in 'Copilot.Core.PrettyPrint' Missing documentation for: ppExpr (src/Copilot/Core/PrettyPrint.hs:28) 100% ( 3 / 3) in 'Copilot.Core.PrettyDot' 33% ( 1 / 3) in 'Copilot.Compile.Header.C99' Missing documentation for: genC99Header (src/Copilot/Compile/Header/C99.hs:24) c99HeaderName (src/Copilot/Compile/Header/C99.hs:34) Documentation created: dist/doc/html/copilot-core/index.html, dist/doc/html/copilot-core/copilot-core.txt Creating package registration file: /tmp/pkgConf-copilot-core-2.2193088109682900658.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/copilot-core-2.2.0-DMcHz2ZOtzzDTidqFQAj2v Registering copilot-core-2.2.0... Installed copilot-core-2.2.0 Configuring blaze-builder-0.4.0.1... Building blaze-builder-0.4.0.1... Preprocessing library blaze-builder-0.4.0.1... Blaze/ByteString/Builder/HTTP.hs:1:63: Warning: -XMonoPatBinds is deprecated: Experimental feature now removed; has no effect Blaze/ByteString/Builder/Internal/Write.hs:1:33: Warning: -XMonoPatBinds is deprecated: Experimental feature now removed; has no effect [ 1 of 10] Compiling Blaze.ByteString.Builder.Internal.Write ( Blaze/ByteString/Builder/Internal/Write.hs, dist/build/Blaze/ByteString/Builder/Internal/Write.o ) Blaze/ByteString/Builder/Internal/Write.hs:52: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() [ 2 of 10] Compiling Blaze.ByteString.Builder.Compat.Write ( Blaze/ByteString/Builder/Compat/Write.hs, dist/build/Blaze/ByteString/Builder/Compat/Write.o ) Blaze/ByteString/Builder/Compat/Write.hs:19:1: Warning: The import of ‘Foreign’ is redundant except perhaps to import instances from ‘Foreign’ To import instances alone, use: import Foreign() [ 3 of 10] Compiling Blaze.ByteString.Builder.Char.Utf8 ( Blaze/ByteString/Builder/Char/Utf8.hs, dist/build/Blaze/ByteString/Builder/Char/Utf8.o ) [ 4 of 10] Compiling Blaze.ByteString.Builder.Char8 ( Blaze/ByteString/Builder/Char8.hs, dist/build/Blaze/ByteString/Builder/Char8.o ) [ 5 of 10] Compiling Blaze.ByteString.Builder.Html.Utf8 ( Blaze/ByteString/Builder/Html/Utf8.hs, dist/build/Blaze/ByteString/Builder/Html/Utf8.o ) [ 6 of 10] Compiling Blaze.ByteString.Builder.ByteString ( Blaze/ByteString/Builder/ByteString.hs, dist/build/Blaze/ByteString/Builder/ByteString.o ) [ 7 of 10] Compiling Blaze.ByteString.Builder.HTTP ( Blaze/ByteString/Builder/HTTP.hs, dist/build/Blaze/ByteString/Builder/HTTP.o ) Blaze/ByteString/Builder/HTTP.hs:33: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 10] Compiling Blaze.ByteString.Builder.Word ( Blaze/ByteString/Builder/Word.hs, dist/build/Blaze/ByteString/Builder/Word.o ) [ 9 of 10] Compiling Blaze.ByteString.Builder.Int ( Blaze/ByteString/Builder/Int.hs, dist/build/Blaze/ByteString/Builder/Int.o ) [10 of 10] Compiling Blaze.ByteString.Builder ( Blaze/ByteString/Builder.hs, dist/build/Blaze/ByteString/Builder.o ) In-place registering blaze-builder-0.4.0.1... Running Haddock for blaze-builder-0.4.0.1... Running hscolour for blaze-builder-0.4.0.1... Preprocessing library blaze-builder-0.4.0.1... Preprocessing library blaze-builder-0.4.0.1... Blaze/ByteString/Builder/HTTP.hs:1:63: Warning: -XMonoPatBinds is deprecated: Experimental feature now removed; has no effect Blaze/ByteString/Builder/Internal/Write.hs:1:33: Warning: -XMonoPatBinds is deprecated: Experimental feature now removed; has no effect Blaze/ByteString/Builder/Internal/Write.hs:52: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() Blaze/ByteString/Builder/Compat/Write.hs:19:1: Warning: The import of ‘Foreign’ is redundant except perhaps to import instances from ‘Foreign’ To import instances alone, use: import Foreign() Blaze/ByteString/Builder/HTTP.hs:33: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: 96% ( 24 / 25) in 'Blaze.ByteString.Builder.Internal.Write' Missing documentation for: fromWriteSingleton (Blaze/ByteString/Builder/Internal/Write.hs:227) 50% ( 2 / 4) in 'Blaze.ByteString.Builder.Compat.Write' Missing documentation for: writePrimFixed (Blaze/ByteString/Builder/Compat/Write.hs:23) writePrimBounded (Blaze/ByteString/Builder/Compat/Write.hs:27) 100% ( 9 / 9) in 'Blaze.ByteString.Builder.Char.Utf8' 100% ( 9 / 9) in 'Blaze.ByteString.Builder.Char8' 100% ( 10 / 10) in 'Blaze.ByteString.Builder.Html.Utf8' 100% ( 12 / 12) in 'Blaze.ByteString.Builder.ByteString' 100% ( 4 / 4) in 'Blaze.ByteString.Builder.HTTP' 100% ( 43 / 43) in 'Blaze.ByteString.Builder.Word' 100% ( 43 / 43) in 'Blaze.ByteString.Builder.Int' 92% ( 22 / 24) in 'Blaze.ByteString.Builder' Missing documentation for: toByteStringIOWith (Blaze/ByteString/Builder.hs:175) fromWriteSingleton (Blaze/ByteString/Builder/Internal/Write.hs:227) Documentation created: dist/doc/html/blaze-builder/index.html, dist/doc/html/blaze-builder/blaze-builder.txt Creating package registration file: /tmp/pkgConf-blaze-builder-0.4.0777134495660343702.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/blaze-builder-0.4.0.1-6BKEupqZliOD9r4rLG9ckJ Registering blaze-builder-0.4.0.1... Installed blaze-builder-0.4.0.1 Configuring hashable-1.2.3.3... Building hashable-1.2.3.3... Preprocessing library hashable-1.2.3.3... [1 of 3] Compiling Data.Hashable.Class ( Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o ) Data/Hashable/Class.hs:54:1: Warning: The import of ‘Word’ from module ‘Data.Word’ is redundant Data/Hashable/Class.hs:218:11: Warning: In the use of ‘bitSize’ (imported from Data.Bits): Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead" Data/Hashable/Class.hs:241:11: Warning: In the use of ‘bitSize’ (imported from Data.Bits): Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead" Data/Hashable/Class.hs:420:28: Warning: In the use of ‘B.inlinePerformIO’ (imported from Data.ByteString.Internal): Deprecated: "If you think you know what you are doing, use 'unsafePerformIO'. If you are sure you know what you are doing, use 'unsafeDupablePerformIO'. If you enjoy sharing an address space with a malevolent agent of chaos, try 'accursedUnutterablePerformIO'." [2 of 3] Compiling Data.Hashable.Generic ( Data/Hashable/Generic.hs, dist/build/Data/Hashable/Generic.o ) Data/Hashable/Generic.hs:20:1: Warning: The import of ‘Bits’ from module ‘Data.Bits’ is redundant [3 of 3] Compiling Data.Hashable ( Data/Hashable.hs, dist/build/Data/Hashable.o ) In-place registering hashable-1.2.3.3... Running Haddock for hashable-1.2.3.3... Running hscolour for hashable-1.2.3.3... Preprocessing library hashable-1.2.3.3... Preprocessing library hashable-1.2.3.3... Data/Hashable/Class.hs:54:1: Warning: The import of ‘Word’ from module ‘Data.Word’ is redundant Data/Hashable/Class.hs:218:11: Warning: In the use of ‘bitSize’ (imported from Data.Bits): Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead" Data/Hashable/Class.hs:241:11: Warning: In the use of ‘bitSize’ (imported from Data.Bits): Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead" Data/Hashable/Class.hs:420:28: Warning: In the use of ‘B.inlinePerformIO’ (imported from Data.ByteString.Internal): Deprecated: "If you think you know what you are doing, use 'unsafePerformIO'. If you are sure you know what you are doing, use 'unsafeDupablePerformIO'. If you enjoy sharing an address space with a malevolent agent of chaos, try 'accursedUnutterablePerformIO'." Data/Hashable/Generic.hs:20:1: Warning: The import of ‘Bits’ from module ‘Data.Bits’ is redundant Haddock coverage: 100% ( 11 / 11) in 'Data.Hashable.Class' 100% ( 1 / 1) in 'Data.Hashable.Generic' 100% ( 22 / 22) in 'Data.Hashable' Warning: Data.Hashable: could not find link destinations for: GHashable Documentation created: dist/doc/html/hashable/index.html, dist/doc/html/hashable/hashable.txt Creating package registration file: /tmp/pkgConf-hashable-1.2.31784051571692842292.3 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/hashable-1.2.3.3-2GTZqecVp8NJZrNuKzGxfy Registering hashable-1.2.3.3... Installed hashable-1.2.3.3 Configuring parsec-3.1.9... Building parsec-3.1.9... Preprocessing library parsec-3.1.9... [ 1 of 25] Compiling Text.Parsec.Pos ( Text/Parsec/Pos.hs, dist/build/Text/Parsec/Pos.o ) [ 2 of 25] Compiling Text.Parsec.Error ( Text/Parsec/Error.hs, dist/build/Text/Parsec/Error.o ) [ 3 of 25] Compiling Text.ParserCombinators.Parsec.Error ( Text/ParserCombinators/Parsec/Error.hs, dist/build/Text/ParserCombinators/Parsec/Error.o ) [ 4 of 25] Compiling Text.Parsec.Prim ( Text/Parsec/Prim.hs, dist/build/Text/Parsec/Prim.o ) [ 5 of 25] Compiling Text.Parsec.Combinator ( Text/Parsec/Combinator.hs, dist/build/Text/Parsec/Combinator.o ) [ 6 of 25] Compiling Text.ParserCombinators.Parsec.Combinator ( Text/ParserCombinators/Parsec/Combinator.hs, dist/build/Text/ParserCombinators/Parsec/Combinator.o ) [ 7 of 25] Compiling Text.Parsec.String ( Text/Parsec/String.hs, dist/build/Text/Parsec/String.o ) [ 8 of 25] Compiling Text.Parsec.ByteString ( Text/Parsec/ByteString.hs, dist/build/Text/Parsec/ByteString.o ) [ 9 of 25] Compiling Text.Parsec.ByteString.Lazy ( Text/Parsec/ByteString/Lazy.hs, dist/build/Text/Parsec/ByteString/Lazy.o ) [10 of 25] Compiling Text.Parsec.Text ( Text/Parsec/Text.hs, dist/build/Text/Parsec/Text.o ) [11 of 25] Compiling Text.Parsec.Text.Lazy ( Text/Parsec/Text/Lazy.hs, dist/build/Text/Parsec/Text/Lazy.o ) [12 of 25] Compiling Text.Parsec.Expr ( Text/Parsec/Expr.hs, dist/build/Text/Parsec/Expr.o ) [13 of 25] Compiling Text.ParserCombinators.Parsec.Prim ( Text/ParserCombinators/Parsec/Prim.hs, dist/build/Text/ParserCombinators/Parsec/Prim.o ) [14 of 25] Compiling Text.ParserCombinators.Parsec.Pos ( Text/ParserCombinators/Parsec/Pos.hs, dist/build/Text/ParserCombinators/Parsec/Pos.o ) [15 of 25] Compiling Text.Parsec.Char ( Text/Parsec/Char.hs, dist/build/Text/Parsec/Char.o ) [16 of 25] Compiling Text.Parsec.Token ( Text/Parsec/Token.hs, dist/build/Text/Parsec/Token.o ) [17 of 25] Compiling Text.ParserCombinators.Parsec.Token ( Text/ParserCombinators/Parsec/Token.hs, dist/build/Text/ParserCombinators/Parsec/Token.o ) [18 of 25] Compiling Text.ParserCombinators.Parsec.Char ( Text/ParserCombinators/Parsec/Char.hs, dist/build/Text/ParserCombinators/Parsec/Char.o ) [19 of 25] Compiling Text.ParserCombinators.Parsec ( Text/ParserCombinators/Parsec.hs, dist/build/Text/ParserCombinators/Parsec.o ) [20 of 25] Compiling Text.ParserCombinators.Parsec.Expr ( Text/ParserCombinators/Parsec/Expr.hs, dist/build/Text/ParserCombinators/Parsec/Expr.o ) [21 of 25] Compiling Text.Parsec ( Text/Parsec.hs, dist/build/Text/Parsec.o ) [22 of 25] Compiling Text.Parsec.Language ( Text/Parsec/Language.hs, dist/build/Text/Parsec/Language.o ) Text/Parsec/Language.hs:44:30: Warning: Tab character Text/Parsec/Language.hs:45:26: Warning: Tab character Text/Parsec/Language.hs:46:27: Warning: Tab character Text/Parsec/Language.hs:58:1: Warning: Tab character Text/Parsec/Language.hs:58:31: Warning: Tab character Text/Parsec/Language.hs:59:1: Warning: Tab character Text/Parsec/Language.hs:59:29: Warning: Tab character Text/Parsec/Language.hs:60:1: Warning: Tab character Text/Parsec/Language.hs:60:30: Warning: Tab character Text/Parsec/Language.hs:61:1: Warning: Tab character Text/Parsec/Language.hs:62:1: Warning: Tab character Text/Parsec/Language.hs:62:29: Warning: Tab character Text/Parsec/Language.hs:63:1: Warning: Tab character Text/Parsec/Language.hs:63:30: Warning: Tab character Text/Parsec/Language.hs:64:1: Warning: Tab character Text/Parsec/Language.hs:65:1: Warning: Tab character Text/Parsec/Language.hs:67:1: Warning: Tab character Text/Parsec/Language.hs:109:1: Warning: Tab character Text/Parsec/Language.hs:109:30: Warning: Tab character Text/Parsec/Language.hs:110:1: Warning: Tab character Text/Parsec/Language.hs:110:32: Warning: Tab character Text/Parsec/Language.hs:111:5: Warning: Tab character Text/Parsec/Language.hs:112:5: Warning: Tab character Text/Parsec/Language.hs:113:5: Warning: Tab character Text/Parsec/Language.hs:114:5: Warning: Tab character Text/Parsec/Language.hs:146:1: Warning: Tab character Text/Parsec/Language.hs:147:1: Warning: Tab character Text/Parsec/Language.hs:148:1: Warning: Tab character Text/Parsec/Language.hs:150:1: Warning: Tab character [23 of 25] Compiling Text.ParserCombinators.Parsec.Language ( Text/ParserCombinators/Parsec/Language.hs, dist/build/Text/ParserCombinators/Parsec/Language.o ) [24 of 25] Compiling Text.Parsec.Perm ( Text/Parsec/Perm.hs, dist/build/Text/Parsec/Perm.o ) [25 of 25] Compiling Text.ParserCombinators.Parsec.Perm ( Text/ParserCombinators/Parsec/Perm.hs, dist/build/Text/ParserCombinators/Parsec/Perm.o ) In-place registering parsec-3.1.9... Running Haddock for parsec-3.1.9... Running hscolour for parsec-3.1.9... Preprocessing library parsec-3.1.9... Preprocessing library parsec-3.1.9... Text/Parsec/Language.hs:44:30: Warning: Tab character Text/Parsec/Language.hs:45:26: Warning: Tab character Text/Parsec/Language.hs:46:27: Warning: Tab character Text/Parsec/Language.hs:58:1: Warning: Tab character Text/Parsec/Language.hs:58:31: Warning: Tab character Text/Parsec/Language.hs:59:1: Warning: Tab character Text/Parsec/Language.hs:59:29: Warning: Tab character Text/Parsec/Language.hs:60:1: Warning: Tab character Text/Parsec/Language.hs:60:30: Warning: Tab character Text/Parsec/Language.hs:61:1: Warning: Tab character Text/Parsec/Language.hs:62:1: Warning: Tab character Text/Parsec/Language.hs:62:29: Warning: Tab character Text/Parsec/Language.hs:63:1: Warning: Tab character Text/Parsec/Language.hs:63:30: Warning: Tab character Text/Parsec/Language.hs:64:1: Warning: Tab character Text/Parsec/Language.hs:65:1: Warning: Tab character Text/Parsec/Language.hs:67:1: Warning: Tab character Text/Parsec/Language.hs:109:1: Warning: Tab character Text/Parsec/Language.hs:109:30: Warning: Tab character Text/Parsec/Language.hs:110:1: Warning: Tab character Text/Parsec/Language.hs:110:32: Warning: Tab character Text/Parsec/Language.hs:111:5: Warning: Tab character Text/Parsec/Language.hs:112:5: Warning: Tab character Text/Parsec/Language.hs:113:5: Warning: Tab character Text/Parsec/Language.hs:114:5: Warning: Tab character Text/Parsec/Language.hs:146:1: Warning: Tab character Text/Parsec/Language.hs:147:1: Warning: Tab character Text/Parsec/Language.hs:148:1: Warning: Tab character Text/Parsec/Language.hs:150:1: Warning: Tab character Haddock coverage: 82% ( 14 / 17) in 'Text.Parsec.Pos' Missing documentation for: SourceName (Text/Parsec/Pos.hs:35) Line (Text/Parsec/Pos.hs:36) Column (Text/Parsec/Pos.hs:37) 43% ( 6 / 14) in 'Text.Parsec.Error' Missing documentation for: errorIsUnknown (Text/Parsec/Error.hs:110) showErrorMessages (Text/Parsec/Error.hs:173) newErrorMessage (Text/Parsec/Error.hs:120) newErrorUnknown (Text/Parsec/Error.hs:116) addErrorMessage (Text/Parsec/Error.hs:124) setErrorPos (Text/Parsec/Error.hs:128) setErrorMessage (Text/Parsec/Error.hs:132) mergeError (Text/Parsec/Error.hs:136) 38% ( 6 / 16) in 'Text.ParserCombinators.Parsec.Error' Missing documentation for: messageCompare (Text/ParserCombinators/Parsec/Error.hs:36) messageEq (Text/ParserCombinators/Parsec/Error.hs:39) errorIsUnknown (Text/Parsec/Error.hs:110) showErrorMessages (Text/Parsec/Error.hs:173) newErrorMessage (Text/Parsec/Error.hs:120) newErrorUnknown (Text/Parsec/Error.hs:116) addErrorMessage (Text/Parsec/Error.hs:124) setErrorPos (Text/Parsec/Error.hs:128) setErrorMessage (Text/Parsec/Error.hs:132) mergeError (Text/Parsec/Error.hs:136) 64% ( 32 / 50) in 'Text.Parsec.Prim' Missing documentation for: unknownError (Text/Parsec/Prim.hs:91) sysUnExpectError (Text/Parsec/Prim.hs:94) Parsec (Text/Parsec/Prim.hs:152) Consumed (Text/Parsec/Prim.hs:154) Reply (Text/Parsec/Prim.hs:157) State (Text/Parsec/Prim.hs:160) parsecMap (Text/Parsec/Prim.hs:177) parserReturn (Text/Parsec/Prim.hs:221) parserBind (Text/Parsec/Prim.hs:226) mergeErrorReply (Text/Parsec/Prim.hs:266) parserFail (Text/Parsec/Prim.hs:272) parserPlus (Text/Parsec/Prim.hs:290) labels (Text/Parsec/Prim.hs:345) tokens (Text/Parsec/Prim.hs:396) tokenPrimEx (Text/Parsec/Prim.hs:533) manyAccum (Text/Parsec/Prim.hs:592) runPT (Text/Parsec/Prim.hs:610) runP (Text/Parsec/Prim.hs:624) 100% ( 24 / 24) in 'Text.Parsec.Combinator' 100% ( 24 / 24) in 'Text.ParserCombinators.Parsec.Combinator' 50% ( 2 / 4) in 'Text.Parsec.String' Missing documentation for: Parser (Text/Parsec/String.hs:22) GenParser (Text/Parsec/String.hs:23) 50% ( 2 / 4) in 'Text.Parsec.ByteString' Missing documentation for: Parser (Text/Parsec/ByteString.hs:24) GenParser (Text/Parsec/ByteString.hs:25) 50% ( 2 / 4) in 'Text.Parsec.ByteString.Lazy' Missing documentation for: Parser (Text/Parsec/ByteString/Lazy.hs:24) GenParser (Text/Parsec/ByteString/Lazy.hs:25) 33% ( 1 / 3) in 'Text.Parsec.Text' Missing documentation for: Parser (Text/Parsec/Text.hs:23) GenParser (Text/Parsec/Text.hs:24) 33% ( 1 / 3) in 'Text.Parsec.Text.Lazy' Missing documentation for: Parser (Text/Parsec/Text/Lazy.hs:23) GenParser (Text/Parsec/Text/Lazy.hs:24) 100% ( 5 / 5) in 'Text.Parsec.Expr' 70% ( 21 / 30) in 'Text.ParserCombinators.Parsec.Prim' Missing documentation for: Parser (Text/Parsec/String.hs:22) GenParser (Text/Parsec/String.hs:23) runParser (Text/ParserCombinators/Parsec/Prim.hs:57) tokens (Text/Parsec/Prim.hs:396) tokenPrimEx (Text/Parsec/Prim.hs:533) try (Text/ParserCombinators/Parsec/Prim.hs:64) labels (Text/Parsec/Prim.hs:345) pzero (Text/ParserCombinators/Parsec/Prim.hs:54) State (Text/Parsec/Prim.hs:160) 82% ( 14 / 17) in 'Text.ParserCombinators.Parsec.Pos' Missing documentation for: SourceName (Text/Parsec/Pos.hs:35) Line (Text/Parsec/Pos.hs:36) Column (Text/Parsec/Pos.hs:37) 100% ( 20 / 20) in 'Text.Parsec.Char' 67% ( 4 / 6) in 'Text.Parsec.Token' Missing documentation for: LanguageDef (Text/Parsec/Token.hs:38) TokenParser (Text/Parsec/Token.hs:106) 67% ( 4 / 6) in 'Text.ParserCombinators.Parsec.Token' Missing documentation for: LanguageDef (Text/Parsec/Token.hs:38) TokenParser (Text/Parsec/Token.hs:106) 95% ( 18 / 19) in 'Text.ParserCombinators.Parsec.Char' Missing documentation for: CharParser (Text/ParserCombinators/Parsec/Char.hs:40) 83% ( 15 / 18) in 'Text.ParserCombinators.Parsec' Missing documentation for: SourceName (Text/Parsec/Pos.hs:35) Line (Text/Parsec/Pos.hs:36) Column (Text/Parsec/Pos.hs:37) 40% ( 2 / 5) in 'Text.ParserCombinators.Parsec.Expr' Missing documentation for: Operator (Text/ParserCombinators/Parsec/Expr.hs:28) OperatorTable (Text/ParserCombinators/Parsec/Expr.hs:32) buildExpressionParser (Text/ParserCombinators/Parsec/Expr.hs:39) 78% ( 73 / 94) in 'Text.Parsec' Missing documentation for: Parsec (Text/Parsec/Prim.hs:152) tokens (Text/Parsec/Prim.hs:396) labels (Text/Parsec/Prim.hs:345) SourceName (Text/Parsec/Pos.hs:35) Line (Text/Parsec/Pos.hs:36) Column (Text/Parsec/Pos.hs:37) manyAccum (Text/Parsec/Prim.hs:592) tokenPrimEx (Text/Parsec/Prim.hs:533) runPT (Text/Parsec/Prim.hs:610) unknownError (Text/Parsec/Prim.hs:91) sysUnExpectError (Text/Parsec/Prim.hs:94) mergeErrorReply (Text/Parsec/Prim.hs:266) runP (Text/Parsec/Prim.hs:624) Consumed (Text/Parsec/Prim.hs:154) Reply (Text/Parsec/Prim.hs:157) State (Text/Parsec/Prim.hs:160) parsecMap (Text/Parsec/Prim.hs:177) parserReturn (Text/Parsec/Prim.hs:221) parserBind (Text/Parsec/Prim.hs:226) parserFail (Text/Parsec/Prim.hs:272) parserPlus (Text/Parsec/Prim.hs:290) 80% ( 8 / 10) in 'Text.Parsec.Language' Missing documentation for: emptyDef (Text/Parsec/Language.hs:79) LanguageDef (Text/Parsec/Token.hs:38) 80% ( 8 / 10) in 'Text.ParserCombinators.Parsec.Language' Missing documentation for: emptyDef (Text/Parsec/Language.hs:79) LanguageDef (Text/Parsec/Token.hs:38) 100% ( 8 / 8) in 'Text.Parsec.Perm' 100% ( 7 / 7) in 'Text.ParserCombinators.Parsec.Perm' Documentation created: dist/doc/html/parsec/index.html, dist/doc/html/parsec/parsec.txt Creating package registration file: /tmp/pkgConf-parsec-3.112429075711149677717.9 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/parsec-3.1.9-8fSmqig53hOL2SEu1k9Tv0 Registering parsec-3.1.9... Installed parsec-3.1.9 Configuring xml-1.3.14... Building xml-1.3.14... Preprocessing library xml-1.3.14... [1 of 7] Compiling Text.XML.Light.Types ( Text/XML/Light/Types.hs, dist/build/Text/XML/Light/Types.o ) [2 of 7] Compiling Text.XML.Light.Proc ( Text/XML/Light/Proc.hs, dist/build/Text/XML/Light/Proc.o ) [3 of 7] Compiling Text.XML.Light.Output ( Text/XML/Light/Output.hs, dist/build/Text/XML/Light/Output.o ) [4 of 7] Compiling Text.XML.Light.Lexer ( Text/XML/Light/Lexer.hs, dist/build/Text/XML/Light/Lexer.o ) Text/XML/Light/Lexer.hs:119:1: Warning: Tab character Text/XML/Light/Lexer.hs:121:1: Warning: Tab character [5 of 7] Compiling Text.XML.Light.Input ( Text/XML/Light/Input.hs, dist/build/Text/XML/Light/Input.o ) [6 of 7] Compiling Text.XML.Light.Cursor ( Text/XML/Light/Cursor.hs, dist/build/Text/XML/Light/Cursor.o ) [7 of 7] Compiling Text.XML.Light ( Text/XML/Light.hs, dist/build/Text/XML/Light.o ) In-place registering xml-1.3.14... Running Haddock for xml-1.3.14... Running hscolour for xml-1.3.14... Preprocessing library xml-1.3.14... Preprocessing library xml-1.3.14... Text/XML/Light/Lexer.hs:119:1: Warning: Tab character Text/XML/Light/Lexer.hs:121:1: Warning: Tab character Haddock coverage: 77% ( 10 / 13) in 'Text.XML.Light.Types' Missing documentation for: CDataKind (Text/XML/Light/Types.hs:50) (Text/XML/Light/Types.hs:64) (Text/XML/Light/Types.hs:67) 100% ( 21 / 21) in 'Text.XML.Light.Proc' 65% ( 13 / 20) in 'Text.XML.Light.Output' Missing documentation for: showContent (Text/XML/Light/Output.hs:140) showElement (Text/XML/Light/Output.hs:143) showCData (Text/XML/Light/Output.hs:146) showQName (Text/XML/Light/Output.hs:198) showAttr (Text/XML/Light/Output.hs:195) ConfigPP (Text/XML/Light/Output.hs:34) tagEnd (Text/XML/Light/Output.hs:188) 9% ( 3 / 32) in 'Text.XML.Light.Lexer' Missing documentation for: Module header XmlSource (Text/XML/Light/Lexer.hs:15) (Text/XML/Light/Lexer.hs:18) (Text/XML/Light/Lexer.hs:22) (Text/XML/Light/Lexer.hs:26) (Text/XML/Light/Lexer.hs:30) (Text/XML/Light/Lexer.hs:33) linenumber (Text/XML/Light/Lexer.hs:36) (Text/XML/Light/Lexer.hs:57) LChar (Text/XML/Light/Lexer.hs:64) LString (Text/XML/Light/Lexer.hs:65) Token (Text/XML/Light/Lexer.hs:66) tokens (Text/XML/Light/Lexer.hs:72) tokens' (Text/XML/Light/Lexer.hs:75) special (Text/XML/Light/Lexer.hs:96) qualName (Text/XML/Light/Lexer.hs:128) tag (Text/XML/Light/Lexer.hs:140) attribs (Text/XML/Light/Lexer.hs:151) attrib (Text/XML/Light/Lexer.hs:169) attr_val (Text/XML/Light/Lexer.hs:174) dropSpace (Text/XML/Light/Lexer.hs:179) break' (Text/XML/Light/Lexer.hs:195) breakn (Text/XML/Light/Lexer.hs:201) decode_attr (Text/XML/Light/Lexer.hs:206) Txt (Text/XML/Light/Lexer.hs:213) decode_text (Text/XML/Light/Lexer.hs:215) cref_to_char (Text/XML/Light/Lexer.hs:223) num_esc (Text/XML/Light/Lexer.hs:233) cvt_char (Text/XML/Light/Lexer.hs:241) 100% ( 3 / 3) in 'Text.XML.Light.Input' 90% ( 45 / 50) in 'Text.XML.Light.Cursor' Missing documentation for: Tag (Text/XML/Light/Cursor.hs:76) getTag (Text/XML/Light/Cursor.hs:81) setTag (Text/XML/Light/Cursor.hs:87) fromTag (Text/XML/Light/Cursor.hs:90) Path (Text/XML/Light/Cursor.hs:97) 32% ( 10 / 31) in 'Text.XML.Light' Missing documentation for: (Text/XML/Light.hs:57) (Text/XML/Light.hs:63) (Text/XML/Light.hs:64) (Text/XML/Light.hs:65) (Text/XML/Light.hs:67) (Text/XML/Light.hs:68) (Text/XML/Light.hs:69) (Text/XML/Light.hs:70) (Text/XML/Light.hs:72) (Text/XML/Light.hs:75) (Text/XML/Light.hs:76) (Text/XML/Light.hs:77) (Text/XML/Light.hs:78) (Text/XML/Light.hs:80) (Text/XML/Light.hs:83) (Text/XML/Light.hs:84) (Text/XML/Light.hs:85) (Text/XML/Light.hs:86) (Text/XML/Light.hs:88) (Text/XML/Light.hs:91) (Text/XML/Light.hs:92) Documentation created: dist/doc/html/xml/index.html, dist/doc/html/xml/xml.txt Creating package registration file: /tmp/pkgConf-xml-1.3176356569507906577.14 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/xml-1.3.14-A51W7Krf6npGWsiTbJ1zZV Registering xml-1.3.14... Installed xml-1.3.14 Configuring exceptions-0.8.0.2... Building exceptions-0.8.0.2... Preprocessing library exceptions-0.8.0.2... [1 of 2] Compiling Control.Monad.Catch ( src/Control/Monad/Catch.hs, dist/build/Control/Monad/Catch.o ) [2 of 2] Compiling Control.Monad.Catch.Pure ( src/Control/Monad/Catch/Pure.hs, dist/build/Control/Monad/Catch/Pure.o ) In-place registering exceptions-0.8.0.2... Running Haddock for exceptions-0.8.0.2... Running hscolour for exceptions-0.8.0.2... Preprocessing library exceptions-0.8.0.2... Preprocessing library exceptions-0.8.0.2... Haddock coverage: 100% ( 31 / 31) in 'Control.Monad.Catch' 80% ( 8 / 10) in 'Control.Monad.Catch.Pure' Missing documentation for: Catch (src/Control/Monad/Catch/Pure.hs:95) runCatch (src/Control/Monad/Catch/Pure.hs:97) Documentation created: dist/doc/html/exceptions/index.html, dist/doc/html/exceptions/exceptions.txt Creating package registration file: /tmp/pkgConf-exceptions-0.8.016227824931993077304.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/exceptions-0.8.0.2-8GsEeHgaIks3pVGk6GaELJ Registering exceptions-0.8.0.2... Installed exceptions-0.8.0.2 Configuring data-default-0.5.3... Building data-default-0.5.3... Preprocessing library data-default-0.5.3... [1 of 1] Compiling Data.Default ( Data/Default.hs, dist/build/Data/Default.o ) In-place registering data-default-0.5.3... Running Haddock for data-default-0.5.3... Running hscolour for data-default-0.5.3... Preprocessing library data-default-0.5.3... Preprocessing library data-default-0.5.3... Haddock coverage: 67% ( 2 / 3) in 'Data.Default' Missing documentation for: Module header Documentation created: dist/doc/html/data-default/index.html, dist/doc/html/data-default/data-default.txt Creating package registration file: /tmp/pkgConf-data-default-0.518270920612023334271.3 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/data-default-0.5.3-5ESg1VNmkW3BMxo7EwKQrK Registering data-default-0.5.3... Installed data-default-0.5.3 Configuring blaze-textual-0.2.1.0... Building blaze-textual-0.2.1.0... Preprocessing library blaze-textual-0.2.1.0... [1 of 4] Compiling Blaze.Text.Int ( Blaze/Text/Int.hs, dist/build/Blaze/Text/Int.o ) Blaze/Text/Int.hs:23: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() Blaze/Text/Int.hs:24:1: Warning: The import of ‘Word’ from module ‘Data.Word’ is redundant Blaze/Text/Int.hs:26:1: Warning: The import of ‘GHC.Num’ is redundant except perhaps to import instances from ‘GHC.Num’ To import instances alone, use: import GHC.Num() [2 of 4] Compiling Blaze.Text.Double.Native ( Blaze/Text/Double/Native.hs, dist/build/Blaze/Text/Double/Native.o ) Blaze/Text/Double/Native.hs:22: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 4] Compiling Blaze.Text.Double ( Blaze/Text/Double.hs, dist/build/Blaze/Text/Double.o ) [4 of 4] Compiling Blaze.Text ( Blaze/Text.hs, dist/build/Blaze/Text.o ) In-place registering blaze-textual-0.2.1.0... Running Haddock for blaze-textual-0.2.1.0... Running hscolour for blaze-textual-0.2.1.0... Preprocessing library blaze-textual-0.2.1.0... Preprocessing library blaze-textual-0.2.1.0... Blaze/Text/Int.hs:23: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() Blaze/Text/Int.hs:24:1: Warning: The import of ‘Word’ from module ‘Data.Word’ is redundant Blaze/Text/Int.hs:26:1: Warning: The import of ‘GHC.Num’ is redundant except perhaps to import instances from ‘GHC.Num’ To import instances alone, use: import GHC.Num() Blaze/Text/Double/Native.hs:22: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: 0% ( 0 / 4) in 'Blaze.Text.Int' Missing documentation for: Module header digit (Blaze/Text/Int.hs:91) integral (Blaze/Text/Int.hs:37) minus (Blaze/Text/Int.hs:95) 0% ( 0 / 3) in 'Blaze.Text.Double.Native' Missing documentation for: Module header float (Blaze/Text/Double/Native.hs:30) double (Blaze/Text/Double/Native.hs:33) 0% ( 0 / 3) in 'Blaze.Text.Double' Missing documentation for: Module header float (Blaze/Text/Double/Native.hs:30) double (Blaze/Text/Double/Native.hs:33) 0% ( 0 / 4) in 'Blaze.Text' Missing documentation for: Module header float (Blaze/Text/Double/Native.hs:30) double (Blaze/Text/Double/Native.hs:33) integral (Blaze/Text/Int.hs:37) Documentation created: dist/doc/html/blaze-textual/index.html, dist/doc/html/blaze-textual/blaze-textual.txt Creating package registration file: /tmp/pkgConf-blaze-textual-0.2.114515164991107713080.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/blaze-textual-0.2.1.0-GupgHWTkuyaBVBbqqjT12z Registering blaze-textual-0.2.1.0... Installed blaze-textual-0.2.1.0 Configuring constraints-0.6... Building constraints-0.6... Preprocessing library constraints-0.6... [1 of 5] Compiling Data.Constraint ( src/Data/Constraint.hs, dist/build/Data/Constraint.o ) [2 of 5] Compiling Data.Constraint.Deferrable ( src/Data/Constraint/Deferrable.hs, dist/build/Data/Constraint/Deferrable.o ) [3 of 5] Compiling Data.Constraint.Lifting ( src/Data/Constraint/Lifting.hs, dist/build/Data/Constraint/Lifting.o ) [4 of 5] Compiling Data.Constraint.Unsafe ( src/Data/Constraint/Unsafe.hs, dist/build/Data/Constraint/Unsafe.o ) [5 of 5] Compiling Data.Constraint.Forall ( src/Data/Constraint/Forall.hs, dist/build/Data/Constraint/Forall.o ) In-place registering constraints-0.6... Running Haddock for constraints-0.6... Running hscolour for constraints-0.6... Preprocessing library constraints-0.6... Preprocessing library constraints-0.6... Haddock coverage: 96% ( 22 / 23) in 'Data.Constraint' Missing documentation for: Constraint 60% ( 3 / 5) in 'Data.Constraint.Deferrable' Missing documentation for: UnsatisfiedConstraint (src/Data/Constraint/Deferrable.hs:35) deferred (src/Data/Constraint/Deferrable.hs:49) 0% ( 0 / 3) in 'Data.Constraint.Lifting' Missing documentation for: Module header Lifting (src/Data/Constraint/Lifting.hs:62) Lifting2 (src/Data/Constraint/Lifting.hs:407) 100% ( 8 / 8) in 'Data.Constraint.Unsafe' 89% ( 8 / 9) in 'Data.Constraint.Forall' Missing documentation for: Forall1 (src/Data/Constraint/Forall.hs:109) Warning: Data.Constraint.Forall: could not find link destinations for: Forall_ ForallF_ ForallT_ Documentation created: dist/doc/html/constraints/index.html, dist/doc/html/constraints/constraints.txt Creating package registration file: /tmp/pkgConf-constraints-018474721011720273398.6 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/constraints-0.6-BbQ8QtIow526LwixdaWUyX Registering constraints-0.6... Installed constraints-0.6 Configuring scientific-0.3.4.2... Building scientific-0.3.4.2... Preprocessing library scientific-0.3.4.2... [1 of 6] Compiling GHC.Integer.Logarithms.Compat ( src/GHC/Integer/Logarithms/Compat.hs, dist/build/GHC/Integer/Logarithms/Compat.o ) [2 of 6] Compiling Utils ( src/Utils.hs, dist/build/Utils.o ) [3 of 6] Compiling Math.NumberTheory.Logarithms ( src/Math/NumberTheory/Logarithms.hs, dist/build/Math/NumberTheory/Logarithms.o ) [4 of 6] Compiling Data.Scientific ( src/Data/Scientific.hs, dist/build/Data/Scientific.o ) [5 of 6] Compiling Data.Text.Lazy.Builder.Scientific ( src/Data/Text/Lazy/Builder/Scientific.hs, dist/build/Data/Text/Lazy/Builder/Scientific.o ) [6 of 6] Compiling Data.ByteString.Builder.Scientific ( src/Data/ByteString/Builder/Scientific.hs, dist/build/Data/ByteString/Builder/Scientific.o ) In-place registering scientific-0.3.4.2... Running Haddock for scientific-0.3.4.2... Running hscolour for scientific-0.3.4.2... Preprocessing library scientific-0.3.4.2... Preprocessing library scientific-0.3.4.2... Haddock coverage: 67% ( 2 / 3) in 'GHC.Integer.Logarithms.Compat' Missing documentation for: Module header 33% ( 1 / 3) in 'Utils' Missing documentation for: Module header roundTo (src/Utils.hs:12) 100% ( 2 / 2) in 'Math.NumberTheory.Logarithms' 100% ( 24 / 24) in 'Data.Scientific' 75% ( 3 / 4) in 'Data.Text.Lazy.Builder.Scientific' Missing documentation for: Module header 75% ( 3 / 4) in 'Data.ByteString.Builder.Scientific' Missing documentation for: Module header Warning: Data.Scientific: could not find link destinations for: whenFloating Documentation created: dist/doc/html/scientific/index.html, dist/doc/html/scientific/scientific.txt Creating package registration file: /tmp/pkgConf-scientific-0.3.41384724137123043725.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/scientific-0.3.4.2-1UL7hJs0dy8BYuo3rFsz84 Registering scientific-0.3.4.2... Installed scientific-0.3.4.2 Configuring bimap-0.3.1... Building bimap-0.3.1... Preprocessing library bimap-0.3.1... [1 of 1] Compiling Data.Bimap ( Data/Bimap.hs, dist/build/Data/Bimap.o ) In-place registering bimap-0.3.1... Running Haddock for bimap-0.3.1... Running hscolour for bimap-0.3.1... Preprocessing library bimap-0.3.1... Preprocessing library bimap-0.3.1... Haddock coverage: 100% ( 71 / 71) in 'Data.Bimap' Documentation created: dist/doc/html/bimap/index.html, dist/doc/html/bimap/bimap.txt Creating package registration file: /tmp/pkgConf-bimap-0.312997075401262129793.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/bimap-0.3.1-1nunJygbW1q1fWL2mnBffF Registering bimap-0.3.1... Installed bimap-0.3.1 Configuring attoparsec-0.12.1.6... Building attoparsec-0.12.1.6... Preprocessing library attoparsec-0.12.1.6... [ 1 of 21] Compiling Data.Attoparsec.Text.FastSet ( Data/Attoparsec/Text/FastSet.hs, dist/build/Data/Attoparsec/Text/FastSet.o ) [ 2 of 21] Compiling Data.Attoparsec.Internal.Fhthagn ( Data/Attoparsec/Internal/Fhthagn.hs, dist/build/Data/Attoparsec/Internal/Fhthagn.o ) [ 3 of 21] Compiling Data.Attoparsec.Text.Buffer ( Data/Attoparsec/Text/Buffer.hs, dist/build/Data/Attoparsec/Text/Buffer.o ) [ 4 of 21] Compiling Data.Attoparsec.ByteString.Buffer ( Data/Attoparsec/ByteString/Buffer.hs, dist/build/Data/Attoparsec/ByteString/Buffer.o ) [ 5 of 21] Compiling Data.Attoparsec.Zepto ( Data/Attoparsec/Zepto.hs, dist/build/Data/Attoparsec/Zepto.o ) [ 6 of 21] Compiling Data.Attoparsec.Number ( Data/Attoparsec/Number.hs, dist/build/Data/Attoparsec/Number.o ) [ 7 of 21] Compiling Data.Attoparsec.ByteString.FastSet ( Data/Attoparsec/ByteString/FastSet.hs, dist/build/Data/Attoparsec/ByteString/FastSet.o ) [ 8 of 21] Compiling Data.Attoparsec.Internal.Types ( Data/Attoparsec/Internal/Types.hs, dist/build/Data/Attoparsec/Internal/Types.o ) [ 9 of 21] Compiling Data.Attoparsec.Types ( Data/Attoparsec/Types.hs, dist/build/Data/Attoparsec/Types.o ) [10 of 21] Compiling Data.Attoparsec.Internal ( Data/Attoparsec/Internal.hs, dist/build/Data/Attoparsec/Internal.o ) [11 of 21] Compiling Data.Attoparsec.Combinator ( Data/Attoparsec/Combinator.hs, dist/build/Data/Attoparsec/Combinator.o ) [12 of 21] Compiling Data.Attoparsec.ByteString.Internal ( Data/Attoparsec/ByteString/Internal.hs, dist/build/Data/Attoparsec/ByteString/Internal.o ) [13 of 21] Compiling Data.Attoparsec.Text.Internal ( Data/Attoparsec/Text/Internal.hs, dist/build/Data/Attoparsec/Text/Internal.o ) [14 of 21] Compiling Data.Attoparsec.Text ( Data/Attoparsec/Text.hs, dist/build/Data/Attoparsec/Text.o ) [15 of 21] Compiling Data.Attoparsec.Text.Lazy ( Data/Attoparsec/Text/Lazy.hs, dist/build/Data/Attoparsec/Text/Lazy.o ) [16 of 21] Compiling Data.Attoparsec.ByteString ( Data/Attoparsec/ByteString.hs, dist/build/Data/Attoparsec/ByteString.o ) [17 of 21] Compiling Data.Attoparsec.ByteString.Char8 ( Data/Attoparsec/ByteString/Char8.hs, dist/build/Data/Attoparsec/ByteString/Char8.o ) [18 of 21] Compiling Data.Attoparsec.Char8 ( Data/Attoparsec/Char8.hs, dist/build/Data/Attoparsec/Char8.o ) [19 of 21] Compiling Data.Attoparsec.ByteString.Lazy ( Data/Attoparsec/ByteString/Lazy.hs, dist/build/Data/Attoparsec/ByteString/Lazy.o ) [20 of 21] Compiling Data.Attoparsec.Lazy ( Data/Attoparsec/Lazy.hs, dist/build/Data/Attoparsec/Lazy.o ) [21 of 21] Compiling Data.Attoparsec ( Data/Attoparsec.hs, dist/build/Data/Attoparsec.o ) In-place registering attoparsec-0.12.1.6... Running Haddock for attoparsec-0.12.1.6... Running hscolour for attoparsec-0.12.1.6... Preprocessing library attoparsec-0.12.1.6... Preprocessing library attoparsec-0.12.1.6... Haddock coverage: 60% ( 6 / 10) in 'Data.Attoparsec.Text.FastSet' Missing documentation for: FastSet (Data/Attoparsec/Text/FastSet.hs:40) fromList (Data/Attoparsec/Text/FastSet.hs:80) set (Data/Attoparsec/Text/FastSet.hs:102) charClass (Data/Attoparsec/Text/FastSet.hs:115) 50% ( 1 / 2) in 'Data.Attoparsec.Internal.Fhthagn' Missing documentation for: Module header 36% ( 4 / 11) in 'Data.Attoparsec.Text.Buffer' Missing documentation for: Buffer (Data/Attoparsec/Text/Buffer.hs:58) unbuffer (Data/Attoparsec/Text/Buffer.hs:75) unbufferAt (Data/Attoparsec/Text/Buffer.hs:78) length (Data/Attoparsec/Text/Buffer.hs:120) pappend (Data/Attoparsec/Text/Buffer.hs:93) substring (Data/Attoparsec/Text/Buffer.hs:124) dropWord16 (Data/Attoparsec/Text/Buffer.hs:131) 22% ( 2 / 9) in 'Data.Attoparsec.ByteString.Buffer' Missing documentation for: Buffer (Data/Attoparsec/ByteString/Buffer.hs:71) unbuffer (Data/Attoparsec/ByteString/Buffer.hs:88) pappend (Data/Attoparsec/ByteString/Buffer.hs:101) length (Data/Attoparsec/ByteString/Buffer.hs:134) unsafeIndex (Data/Attoparsec/ByteString/Buffer.hs:138) substring (Data/Attoparsec/ByteString/Buffer.hs:143) unsafeDrop (Data/Attoparsec/ByteString/Buffer.hs:150) 100% ( 7 / 7) in 'Data.Attoparsec.Zepto' 100% ( 2 / 2) in 'Data.Attoparsec.Number' 69% ( 9 / 13) in 'Data.Attoparsec.ByteString.FastSet' Missing documentation for: FastSet (Data/Attoparsec/ByteString/FastSet.hs:44) fromList (Data/Attoparsec/ByteString/FastSet.hs:62) fromSet (Data/Attoparsec/ByteString/FastSet.hs:44) charClass (Data/Attoparsec/ByteString/FastSet.hs:111) 50% ( 5 / 10) in 'Data.Attoparsec.Internal.Types' Missing documentation for: State (Data/Attoparsec/Internal/Types.hs:118) Failure (Data/Attoparsec/Internal/Types.hs:122) Success (Data/Attoparsec/Internal/Types.hs:124) Pos (Data/Attoparsec/Internal/Types.hs:46) <> (Data/Attoparsec/Internal/Types.hs:209) 100% ( 4 / 4) in 'Data.Attoparsec.Types' 100% ( 9 / 9) in 'Data.Attoparsec.Internal' 100% ( 24 / 24) in 'Data.Attoparsec.Combinator' 93% ( 39 / 42) in 'Data.Attoparsec.ByteString.Internal' Missing documentation for: Parser (Data/Attoparsec/ByteString/Internal.hs:95) Result (Data/Attoparsec/ByteString/Internal.hs:96) storable (Data/Attoparsec/ByteString/Internal.hs:138) 95% ( 39 / 41) in 'Data.Attoparsec.Text.Internal' Missing documentation for: Parser (Data/Attoparsec/Text/Internal.hs:89) Result (Data/Attoparsec/Text/Internal.hs:90) 98% ( 89 / 91) in 'Data.Attoparsec.Text' Missing documentation for: Parser (Data/Attoparsec/Text/Internal.hs:89) Result (Data/Attoparsec/Text/Internal.hs:90) 100% ( 9 / 9) in 'Data.Attoparsec.Text.Lazy' 97% ( 65 / 67) in 'Data.Attoparsec.ByteString' Missing documentation for: Parser (Data/Attoparsec/ByteString/Internal.hs:95) Result (Data/Attoparsec/ByteString/Internal.hs:96) 98% ( 91 / 93) in 'Data.Attoparsec.ByteString.Char8' Missing documentation for: Parser (Data/Attoparsec/ByteString/Internal.hs:95) Result (Data/Attoparsec/ByteString/Internal.hs:96) 100% ( 2 / 2) in 'Data.Attoparsec.Char8' 100% ( 9 / 9) in 'Data.Attoparsec.ByteString.Lazy' 100% ( 2 / 2) in 'Data.Attoparsec.Lazy' 100% ( 2 / 2) in 'Data.Attoparsec' Documentation created: dist/doc/html/attoparsec/index.html, dist/doc/html/attoparsec/attoparsec.txt Creating package registration file: /tmp/pkgConf-attoparsec-0.12.1979577822534186872.6 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/attoparsec-0.12.1.6-HHODeyXiTSxAqiYMeqbQLo Registering attoparsec-0.12.1.6... Installed attoparsec-0.12.1.6 Configuring atto-lisp-0.2.2.1... Building atto-lisp-0.2.2.1... Preprocessing library atto-lisp-0.2.2.1... Data/AttoLisp.hs:4:57: Warning: -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS [1 of 1] Compiling Data.AttoLisp ( Data/AttoLisp.hs, dist/build/Data/AttoLisp.o ) Data/AttoLisp.hs:37:1: Warning: Module ‘Data.Attoparsec.Number’ is deprecated: This module will be removed in the next major release. Data/AttoLisp.hs:42: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() Data/AttoLisp.hs:44:1: Warning: The import of ‘Word’ from module ‘Data.Word’ is redundant Data/AttoLisp.hs:68:12: Warning: In the use of type constructor or class ‘Number’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:467:21: Warning: In the use of data constructor ‘D’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:473:7: Warning: In the use of data constructor ‘D’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:474:7: Warning: In the use of data constructor ‘I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:486:7: Warning: In the use of data constructor ‘D’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:487:7: Warning: In the use of data constructor ‘I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:492:17: Warning: In the use of type constructor or class ‘Number’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:496:19: Warning: In the use of type constructor or class ‘Number’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:498:34: Warning: In the use of data constructor ‘D’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:509:7: Warning: In the use of data constructor ‘D’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:510:7: Warning: In the use of data constructor ‘I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:663:20: Warning: In the use of ‘AC.number’ (imported from Data.Attoparsec.ByteString.Char8): Deprecated: "Use 'scientific' instead." Data/AttoLisp.hs:841:15: Warning: In the use of type constructor or class ‘Number’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:842:13: Warning: In the use of data constructor ‘I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:843:13: Warning: In the use of data constructor ‘D’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." In-place registering atto-lisp-0.2.2.1... Running Haddock for atto-lisp-0.2.2.1... Running hscolour for atto-lisp-0.2.2.1... Preprocessing library atto-lisp-0.2.2.1... Preprocessing library atto-lisp-0.2.2.1... Data/AttoLisp.hs:4:57: Warning: -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS Data/AttoLisp.hs:37:1: Warning: Module ‘Data.Attoparsec.Number’ is deprecated: This module will be removed in the next major release. Data/AttoLisp.hs:42: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() Data/AttoLisp.hs:44:1: Warning: The import of ‘Word’ from module ‘Data.Word’ is redundant Data/AttoLisp.hs:68:12: Warning: In the use of type constructor or class ‘Number’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:467:21: Warning: In the use of data constructor ‘D’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:473:7: Warning: In the use of data constructor ‘D’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:474:7: Warning: In the use of data constructor ‘I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:486:7: Warning: In the use of data constructor ‘D’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:487:7: Warning: In the use of data constructor ‘I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:492:17: Warning: In the use of type constructor or class ‘Number’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:496:19: Warning: In the use of type constructor or class ‘Number’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:498:34: Warning: In the use of data constructor ‘D’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:509:7: Warning: In the use of data constructor ‘D’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:510:7: Warning: In the use of data constructor ‘I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:663:20: Warning: In the use of ‘AC.number’ (imported from Data.Attoparsec.ByteString.Char8): Deprecated: "Use 'scientific' instead." Data/AttoLisp.hs:841:15: Warning: In the use of type constructor or class ‘Number’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:842:13: Warning: In the use of data constructor ‘I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Data/AttoLisp.hs:843:13: Warning: In the use of data constructor ‘D’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Haddock coverage: 88% ( 22 / 25) in 'Data.AttoLisp' Missing documentation for: fromLisp (Data/AttoLisp.hs:286) encode (Data/AttoLisp.hs:845) fromLispExpr (Data/AttoLisp.hs:810) Warning: Data.AttoLisp: could not find link destinations for: ParseList Documentation created: dist/doc/html/atto-lisp/index.html, dist/doc/html/atto-lisp/atto-lisp.txt Creating package registration file: /tmp/pkgConf-atto-lisp-0.2.244499515419494010.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/atto-lisp-0.2.2.1-FuXqj5EvD6gGaIMDxlT5Y4 Registering atto-lisp-0.2.2.1... Installed atto-lisp-0.2.2.1 Configuring smtlib2-0.3... Building smtlib2-0.3... Preprocessing library smtlib2-0.3... [ 1 of 11] Compiling Data.Unit ( Data/Unit.hs, dist/build/Data/Unit.o ) [ 2 of 11] Compiling Language.SMTLib2.Internals.Operators ( Language/SMTLib2/Internals/Operators.hs, dist/build/Language/SMTLib2/Internals/Operators.o ) [ 3 of 11] Compiling Language.SMTLib2.Strategy ( Language/SMTLib2/Strategy.hs, dist/build/Language/SMTLib2/Strategy.o ) [ 4 of 11] Compiling Language.SMTLib2.Internals ( Language/SMTLib2/Internals.hs, dist/build/Language/SMTLib2/Internals.o ) Language/SMTLib2/Internals.hs:10:1: Warning: The import of ‘Data.Proxy’ is redundant except perhaps to import instances from ‘Data.Proxy’ To import instances alone, use: import Data.Proxy() Language/SMTLib2/Internals.hs:27: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() [ 5 of 11] Compiling Language.SMTLib2.Internals.Instances ( Language/SMTLib2/Internals/Instances.hs, dist/build/Language/SMTLib2/Internals/Instances.o ) Language/SMTLib2/Internals/Instances.hs:13:1: Warning: The import of ‘Data.Proxy’ is redundant except perhaps to import instances from ‘Data.Proxy’ To import instances alone, use: import Data.Proxy() Language/SMTLib2/Internals/Instances.hs:1510:1: Warning: Pattern match(es) are overlapped In an equation for ‘compareExprs’: compareExprs (InternalObj _ _) _ = ... compareExprs _ (InternalObj _ _) = ... [ 6 of 11] Compiling Language.SMTLib2.Internals.Optimize ( Language/SMTLib2/Internals/Optimize.hs, dist/build/Language/SMTLib2/Internals/Optimize.o ) [ 7 of 11] Compiling Language.SMTLib2.Internals.Interface ( Language/SMTLib2/Internals/Interface.hs, dist/build/Language/SMTLib2/Internals/Interface.o ) Language/SMTLib2/Internals/Interface.hs:15:1: Warning: The import of ‘Data.Proxy’ is redundant except perhaps to import instances from ‘Data.Proxy’ To import instances alone, use: import Data.Proxy() [ 8 of 11] Compiling Language.SMTLib2.Pipe ( Language/SMTLib2/Pipe.hs, dist/build/Language/SMTLib2/Pipe.o ) Language/SMTLib2/Pipe.hs:26: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() Language/SMTLib2/Pipe.hs:28:1: Warning: Module ‘Data.Attoparsec.Number’ is deprecated: This module will be removed in the next major release. Language/SMTLib2/Pipe.hs:29:1: Warning: Module ‘Data.Attoparsec’ is deprecated: This module will be removed in the next major release. Language/SMTLib2/Pipe.hs:40:1: Warning: The import of ‘Data.Proxy’ is redundant except perhaps to import instances from ‘Data.Proxy’ To import instances alone, use: import Data.Proxy() Language/SMTLib2/Pipe.hs:136:48: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:140:48: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:520:31: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:749:24: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:750:24: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:757:95: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:850:31: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:862:31: Warning: In the use of data constructor ‘L.D’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:895:65: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:962:54: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:963:46: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:966:34: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:967:34: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:978:24: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:1532:26: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:1533:26: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:1576:60: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:1677:48: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:1692:49: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:1693:52: Warning: In the use of data constructor ‘L.D’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:1700:16: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." [ 9 of 11] Compiling Language.SMTLib2.Connection ( Language/SMTLib2/Connection.hs, dist/build/Language/SMTLib2/Connection.o ) [10 of 11] Compiling Language.SMTLib2 ( Language/SMTLib2.hs, dist/build/Language/SMTLib2.o ) [11 of 11] Compiling Language.SMTLib2.Solver ( Language/SMTLib2/Solver.hs, dist/build/Language/SMTLib2/Solver.o ) In-place registering smtlib2-0.3... Running Haddock for smtlib2-0.3... Running hscolour for smtlib2-0.3... Preprocessing library smtlib2-0.3... Preprocessing library smtlib2-0.3... Language/SMTLib2/Internals.hs:10:1: Warning: The import of ‘Data.Proxy’ is redundant except perhaps to import instances from ‘Data.Proxy’ To import instances alone, use: import Data.Proxy() Language/SMTLib2/Internals.hs:27: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() Haddock coverage: 25% ( 2 / 8) in 'Data.Unit' Missing documentation for: (Data/Unit.hs:13) (Data/Unit.hs:16) (Data/Unit.hs:19) (Data/Unit.hs:22) (Data/Unit.hs:25) (Data/Unit.hs:28) 0% ( 0 / 8) in 'Language.SMTLib2.Internals.Operators' Missing documentation for: Module header SMTOrdOp (Language/SMTLib2/Internals/Operators.hs:5) SMTArithOp (Language/SMTLib2/Internals/Operators.hs:12) SMTIntArithOp (Language/SMTLib2/Internals/Operators.hs:17) SMTLogicOp (Language/SMTLib2/Internals/Operators.hs:22) SMTBVCompOp (Language/SMTLib2/Internals/Operators.hs:28) SMTBVBinOp (Language/SMTLib2/Internals/Operators.hs:39) SMTBVUnOp (Language/SMTLib2/Internals/Operators.hs:55) 0% ( 0 / 9) in 'Language.SMTLib2.Strategy' Missing documentation for: Module header Tactic (Language/SMTLib2/Strategy.hs:5) Probe (Language/SMTLib2/Strategy.hs:16) AnyPar (Language/SMTLib2/Strategy.hs:54) BuiltInTactic (Language/SMTLib2/Strategy.hs:59) QFLRATacticP (Language/SMTLib2/Strategy.hs:63) (Language/SMTLib2/Strategy.hs:67) (Language/SMTLib2/Strategy.hs:97) (Language/SMTLib2/Strategy.hs:101) 8% ( 16 /194) in 'Language.SMTLib2.Internals' Missing documentation for: Module header SMTRequest (Language/SMTLib2/Internals.hs:32) SMTModel (Language/SMTLib2/Internals.hs:60) SMTBackend (Language/SMTLib2/Internals.hs:75) ArgumentSort' (Language/SMTLib2/Internals.hs:96) ArgumentSort (Language/SMTLib2/Internals.hs:99) Unmangling (Language/SMTLib2/Internals.hs:101) Mangling (Language/SMTLib2/Internals.hs:104) FunInfo (Language/SMTLib2/Internals.hs:127) AnyBackend (Language/SMTLib2/Internals.hs:133) SMT (Language/SMTLib2/Internals.hs:138) (Language/SMTLib2/Internals.hs:140) (Language/SMTLib2/Internals.hs:143) (Language/SMTLib2/Internals.hs:150) (Language/SMTLib2/Internals.hs:155) (Language/SMTLib2/Internals.hs:159) smtBackend (Language/SMTLib2/Internals.hs:163) (Language/SMTLib2/Internals.hs:166) Untyped (Language/SMTLib2/Internals.hs:171) UntypedValue (Language/SMTLib2/Internals.hs:173) (Language/SMTLib2/Internals.hs:175) (Language/SMTLib2/Internals.hs:180) (Language/SMTLib2/Internals.hs:186) (Language/SMTLib2/Internals.hs:191) (Language/SMTLib2/Internals.hs:197) Sort' (Language/SMTLib2/Internals.hs:218) Sort (Language/SMTLib2/Internals.hs:227) Value (Language/SMTLib2/Internals.hs:229) SMTFunction (Language/SMTLib2/Internals.hs:237) IsBitVector (Language/SMTLib2/Internals.hs:271) Concatable (Language/SMTLib2/Internals.hs:274) Extractable (Language/SMTLib2/Internals.hs:282) InterpolationGroup (Language/SMTLib2/Internals.hs:293) SMTInfo (Language/SMTLib2/Internals.hs:307) getSorts (Language/SMTLib2/Internals.hs:335) (Language/SMTLib2/Internals.hs:338) foldExprsId (Language/SMTLib2/Internals.hs:348) foldsExprsId (Language/SMTLib2/Internals.hs:352) Liftable (Language/SMTLib2/Internals.hs:357) argSorts (Language/SMTLib2/Internals.hs:365) unpackArgs (Language/SMTLib2/Internals.hs:370) firstJust (Language/SMTLib2/Internals.hs:383) getUndef (Language/SMTLib2/Internals.hs:388) getFunUndef (Language/SMTLib2/Internals.hs:391) getArrayUndef (Language/SMTLib2/Internals.hs:395) withSMTBackendExitCleanly (Language/SMTLib2/Internals.hs:398) withSMTBackend (Language/SMTLib2/Internals.hs:405) withSMTBackend' (Language/SMTLib2/Internals.hs:408) funInfoSort (Language/SMTLib2/Internals.hs:414) funInfoArgSorts (Language/SMTLib2/Internals.hs:419) argsSignature (Language/SMTLib2/Internals.hs:489) argumentSortToSort (Language/SMTLib2/Internals.hs:512) sortToArgumentSort (Language/SMTLib2/Internals.hs:518) declareType (Language/SMTLib2/Internals.hs:521) DataTypeInfo (Language/SMTLib2/Internals.hs:533) TypeCollection (Language/SMTLib2/Internals.hs:539) ProxyArg (Language/SMTLib2/Internals.hs:543) ProxyArgValue (Language/SMTLib2/Internals.hs:545) withProxyArg (Language/SMTLib2/Internals.hs:547) withProxyArgValue (Language/SMTLib2/Internals.hs:550) (Language/SMTLib2/Internals.hs:553) (Language/SMTLib2/Internals.hs:560) (Language/SMTLib2/Internals.hs:565) (Language/SMTLib2/Internals.hs:571) (Language/SMTLib2/Internals.hs:578) (Language/SMTLib2/Internals.hs:583) AnyValue (Language/SMTLib2/Internals.hs:589) withAnyValue (Language/SMTLib2/Internals.hs:591) castAnyValue (Language/SMTLib2/Internals.hs:594) DataType (Language/SMTLib2/Internals.hs:597) Constr (Language/SMTLib2/Internals.hs:605) DataField (Language/SMTLib2/Internals.hs:614) emptyDataTypeInfo (Language/SMTLib2/Internals.hs:621) containsTypeCollection (Language/SMTLib2/Internals.hs:627) addDataTypeStructure (Language/SMTLib2/Internals.hs:632) asNamedSort (Language/SMTLib2/Internals.hs:685) escapeName (Language/SMTLib2/Internals.hs:689) escapeName' (Language/SMTLib2/Internals.hs:702) unescapeName (Language/SMTLib2/Internals.hs:707) unescapeName' (Language/SMTLib2/Internals.hs:716) SMTState (Language/SMTLib2/Internals.hs:733) emptySMTState (Language/SMTLib2/Internals.hs:741) smtStateAddFun (Language/SMTLib2/Internals.hs:751) Z (Language/SMTLib2/Internals.hs:869) S (Language/SMTLib2/Internals.hs:870) TypeableNat (Language/SMTLib2/Internals.hs:872) (Language/SMTLib2/Internals.hs:875) (Language/SMTLib2/Internals.hs:878) Add (Language/SMTLib2/Internals.hs:881) BVUntyped (Language/SMTLib2/Internals.hs:885) BVTyped (Language/SMTLib2/Internals.hs:886) reifyNat (Language/SMTLib2/Internals.hs:888) reifySum (Language/SMTLib2/Internals.hs:900) reifyExtract (Language/SMTLib2/Internals.hs:914) BitVector (Language/SMTLib2/Internals.hs:936) (Language/SMTLib2/Internals.hs:939) (Language/SMTLib2/Internals.hs:942) N0 (Language/SMTLib2/Internals.hs:955) N1 (Language/SMTLib2/Internals.hs:956) N2 (Language/SMTLib2/Internals.hs:957) N3 (Language/SMTLib2/Internals.hs:958) N4 (Language/SMTLib2/Internals.hs:959) N5 (Language/SMTLib2/Internals.hs:960) N6 (Language/SMTLib2/Internals.hs:961) N7 (Language/SMTLib2/Internals.hs:962) N8 (Language/SMTLib2/Internals.hs:963) N9 (Language/SMTLib2/Internals.hs:964) N10 (Language/SMTLib2/Internals.hs:965) N11 (Language/SMTLib2/Internals.hs:966) N12 (Language/SMTLib2/Internals.hs:967) N13 (Language/SMTLib2/Internals.hs:968) N14 (Language/SMTLib2/Internals.hs:969) N15 (Language/SMTLib2/Internals.hs:970) N16 (Language/SMTLib2/Internals.hs:971) N17 (Language/SMTLib2/Internals.hs:972) N18 (Language/SMTLib2/Internals.hs:973) N19 (Language/SMTLib2/Internals.hs:974) N20 (Language/SMTLib2/Internals.hs:975) N21 (Language/SMTLib2/Internals.hs:976) N22 (Language/SMTLib2/Internals.hs:977) N23 (Language/SMTLib2/Internals.hs:978) N24 (Language/SMTLib2/Internals.hs:979) N25 (Language/SMTLib2/Internals.hs:980) N26 (Language/SMTLib2/Internals.hs:981) N27 (Language/SMTLib2/Internals.hs:982) N28 (Language/SMTLib2/Internals.hs:983) N29 (Language/SMTLib2/Internals.hs:984) N30 (Language/SMTLib2/Internals.hs:985) N31 (Language/SMTLib2/Internals.hs:986) N32 (Language/SMTLib2/Internals.hs:987) N33 (Language/SMTLib2/Internals.hs:988) N34 (Language/SMTLib2/Internals.hs:989) N35 (Language/SMTLib2/Internals.hs:990) N36 (Language/SMTLib2/Internals.hs:991) N37 (Language/SMTLib2/Internals.hs:992) N38 (Language/SMTLib2/Internals.hs:993) N39 (Language/SMTLib2/Internals.hs:994) N40 (Language/SMTLib2/Internals.hs:995) N41 (Language/SMTLib2/Internals.hs:996) N42 (Language/SMTLib2/Internals.hs:997) N43 (Language/SMTLib2/Internals.hs:998) N44 (Language/SMTLib2/Internals.hs:999) N45 (Language/SMTLib2/Internals.hs:1000) N46 (Language/SMTLib2/Internals.hs:1001) N47 (Language/SMTLib2/ Language/SMTLib2/Internals/Instances.hs:13:1: Warning: The import of ‘Data.Proxy’ is redundant except perhaps to import instances from ‘Data.Proxy’ To import instances alone, use: import Data.Proxy() Language/SMTLib2/Internals/Interface.hs:15:1: Warning: The import of ‘Data.Proxy’ is redundant except perhaps to import instances from ‘Data.Proxy’ To import instances alone, use: import Data.Proxy() Internals.hs:1002) N48 (Language/SMTLib2/Internals.hs:1003) N49 (Language/SMTLib2/Internals.hs:1004) N50 (Language/SMTLib2/Internals.hs:1005) N51 (Language/SMTLib2/Internals.hs:1006) N52 (Language/SMTLib2/Internals.hs:1007) N53 (Language/SMTLib2/Internals.hs:1008) N54 (Language/SMTLib2/Internals.hs:1009) N55 (Language/SMTLib2/Internals.hs:1010) N56 (Language/SMTLib2/Internals.hs:1011) N57 (Language/SMTLib2/Internals.hs:1012) N58 (Language/SMTLib2/Internals.hs:1013) N59 (Language/SMTLib2/Internals.hs:1014) N60 (Language/SMTLib2/Internals.hs:1015) N61 (Language/SMTLib2/Internals.hs:1016) N62 (Language/SMTLib2/Internals.hs:1017) N63 (Language/SMTLib2/Internals.hs:1018) N64 (Language/SMTLib2/Internals.hs:1019) BV8 (Language/SMTLib2/Internals.hs:1021) BV16 (Language/SMTLib2/Internals.hs:1022) BV32 (Language/SMTLib2/Internals.hs:1023) BV64 (Language/SMTLib2/Internals.hs:1024) (Language/SMTLib2/Internals.hs:1026) (Language/SMTLib2/Internals.hs:1033) Bound (Language/SMTLib2/Internals.hs:1036) showExpr (Language/SMTLib2/Internals.hs:1038) (Language/SMTLib2/Internals.hs:1098) (Language/SMTLib2/Internals.hs:1151) (Language/SMTLib2/Internals.hs:1156) noLimits (Language/SMTLib2/Internals.hs:1161) Quantified (Language/SMTLib2/Internals.hs:1165) quantificationLevel (Language/SMTLib2/Internals.hs:1167) inferSorts (Language/SMTLib2/Internals.hs:1178) valueSort (Language/SMTLib2/Internals.hs:1188) 6% ( 7 /115) in 'Language.SMTLib2.Internals.Instances' Missing documentation for: valueToHaskell (Language/SMTLib2/Internals/Instances.hs:25) inferResAnnotation (Language/SMTLib2/Internals/Instances.hs:74) entype (Language/SMTLib2/Internals/Instances.hs:126) entypeValue (Language/SMTLib2/Internals/Instances.hs:138) castUntypedExpr (Language/SMTLib2/Internals/Instances.hs:160) castUntypedExprValue (Language/SMTLib2/Internals/Instances.hs:165) (Language/SMTLib2/Internals/Instances.hs:171) (Language/SMTLib2/Internals/Instances.hs:184) (Language/SMTLib2/Internals/Instances.hs:202) (Language/SMTLib2/Internals/Instances.hs:217) (Language/SMTLib2/Internals/Instances.hs:224) (Language/SMTLib2/Internals/Instances.hs:232) (Language/SMTLib2/Internals/Instances.hs:239) (Language/SMTLib2/Internals/Instances.hs:245) (Language/SMTLib2/Internals/Instances.hs:247) (Language/SMTLib2/Internals/Instances.hs:256) (Language/SMTLib2/Internals/Instances.hs:262) (Language/SMTLib2/Internals/Instances.hs:282) (Language/SMTLib2/Internals/Instances.hs:289) (Language/SMTLib2/Internals/Instances.hs:295) (Language/SMTLib2/Internals/Instances.hs:297) (Language/SMTLib2/Internals/Instances.hs:306) (Language/SMTLib2/Internals/Instances.hs:310) (Language/SMTLib2/Internals/Instances.hs:318) (Language/SMTLib2/Internals/Instances.hs:336) (Language/SMTLib2/Internals/Instances.hs:344) (Language/SMTLib2/Internals/Instances.hs:352) (Language/SMTLib2/Internals/Instances.hs:366) (Language/SMTLib2/Internals/Instances.hs:385) (Language/SMTLib2/Internals/Instances.hs:407) (Language/SMTLib2/Internals/Instances.hs:432) (Language/SMTLib2/Internals/Instances.hs:460) (Language/SMTLib2/Internals/Instances.hs:465) (Language/SMTLib2/Internals/Instances.hs:470) (Language/SMTLib2/Internals/Instances.hs:475) (Language/SMTLib2/Internals/Instances.hs:481) (Language/SMTLib2/Internals/Instances.hs:495) (Language/SMTLib2/Internals/Instances.hs:518) (Language/SMTLib2/Internals/Instances.hs:523) (Language/SMTLib2/Internals/Instances.hs:531) (Language/SMTLib2/Internals/Instances.hs:562) (Language/SMTLib2/Internals/Instances.hs:571) (Language/SMTLib2/Internals/Instances.hs:613) (Language/SMTLib2/Internals/Instances.hs:623) (Language/SMTLib2/Internals/Instances.hs:672) (Language/SMTLib2/Internals/Instances.hs:683) (Language/SMTLib2/Internals/Instances.hs:739) (Language/SMTLib2/Internals/Instances.hs:752) (Language/SMTLib2/Internals/Instances.hs:784) (Language/SMTLib2/Internals/Instances.hs:818) (Language/SMTLib2/Internals/Instances.hs:848) (Language/SMTLib2/Internals/Instances.hs:870) (Language/SMTLib2/Internals/Instances.hs:880) (Language/SMTLib2/Internals/Instances.hs:885) (Language/SMTLib2/Internals/Instances.hs:896) (Language/SMTLib2/Internals/Instances.hs:905) dtMaybe (Language/SMTLib2/Internals/Instances.hs:922) conNothing (Language/SMTLib2/Internals/Instances.hs:931) conJust (Language/SMTLib2/Internals/Instances.hs:946) nothing' (Language/SMTLib2/Internals/Instances.hs:965) just' (Language/SMTLib2/Internals/Instances.hs:972) fieldFromJust (Language/SMTLib2/Internals/Instances.hs:979) (Language/SMTLib2/Internals/Instances.hs:990) (Language/SMTLib2/Internals/Instances.hs:1034) dtList (Language/SMTLib2/Internals/Instances.hs:1046) conNil (Language/SMTLib2/Internals/Instances.hs:1053) conInsert (Language/SMTLib2/Internals/Instances.hs:1067) insert' (Language/SMTLib2/Internals/Instances.hs:1087) nil' (Language/SMTLib2/Internals/Instances.hs:1094) fieldHead (Language/SMTLib2/Internals/Instances.hs:1101) fieldTail (Language/SMTLib2/Internals/Instances.hs:1111) (Language/SMTLib2/Internals/Instances.hs:1121) (Language/SMTLib2/Internals/Instances.hs:1171) (Language/SMTLib2/Internals/Instances.hs:1178) (Language/SMTLib2/Internals/Instances.hs:1181) (Language/SMTLib2/Internals/Instances.hs:1189) (Language/SMTLib2/Internals/Instances.hs:1196) (Language/SMTLib2/Internals/Instances.hs:1199) bvUnsigned (Language/SMTLib2/Internals/Instances.hs:1209) bvSigned (Language/SMTLib2/Internals/Instances.hs:1212) bvRestrict (Language/SMTLib2/Internals/Instances.hs:1219) (Language/SMTLib2/Internals/Instances.hs:1224) (Language/SMTLib2/Internals/Instances.hs:1233) (Language/SMTLib2/Internals/Instances.hs:1242) (Language/SMTLib2/Internals/Instances.hs:1246) (Language/SMTLib2/Internals/Instances.hs:1250) (Language/SMTLib2/Internals/Instances.hs:1254) withSort (Language/SMTLib2/Internals/Instances.hs:1258) withNumSort (Language/SMTLib2/Internals/Instances.hs:1277) withSorts (Language/SMTLib2/Internals/Instances.hs:1282) withArraySort (Language/SMTLib2/Internals/Instances.hs:1297) foldExprMux (Language/SMTLib2/Internals/Instances.hs:1374) foldArgsMux (Language/SMTLib2/Internals/Instances.hs:1387) (Language/SMTLib2/Internals/Instances.hs:1391) (Language/SMTLib2/Internals/Instances.hs:1394) compareFun (Language/SMTLib2/Internals/Instances.hs:1397) compareConstructor (Language/SMTLib2/Internals/Instances.hs:1488) compareField (Language/SMTLib2/Internals/Instances.hs:1496) compareArgs (Language/SMTLib2/Internals/Instances.hs:1506) compareExprs (Language/SMTLib2/Internals/Instances.hs:1509) (Language/SMTLib2/Internals/Instances.hs:1574) (Language/SMTLib2/Internals/Instances.hs:1579) eqExpr (Language/SMTLib2/Internals/Instances.hs:1582) (Language/SMTLib2/Internals/Instances.hs:1628) (Language/SMTLib2/Internals/Instances.hs:1634) (Language/SMTLib2/Internals/Instances.hs:1637) (Language/SMTLib2/Internals/Instances.hs:1644) valueToConst (Language/SMTLib2/Internals/Instances.hs:1647) 0% ( 0 / 3) in 'Language.SMTLib2.Internals.Optimize' Missing documentation for: Module header optimizeBackend (Language/SMTLib2/Internals/Optimize.hs:11) optimizeExpr (Language/SMTLib2/Internals/Optimize.hs:62) 86% (115 /134) in 'Language.SMTLib2.Internals.Interface' Missing documentation for: isSat (Language/SMTLib2/Internals/Interface.hs:29) argVarsAnnNamed' (Language/SMTLib2/Internals/Interface.hs:102) getValue (Language/SMTLib2/Internals/Interface.hs:131) getValues (Language/SMTLib2/Internals/Interface.hs:134) Language/SMTLib2/Pipe.hs:26: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() Language/SMTLib2/Pipe.hs:28:1: Warning: Module ‘Data.Attoparsec.Number’ is deprecated: This module will be removed in the next major release. Language/SMTLib2/Pipe.hs:29:1: Warning: Module ‘Data.Attoparsec’ is deprecated: This module will be removed in the next major release. Language/SMTLib2/Pipe.hs:40:1: Warning: The import of ‘Data.Proxy’ is redundant except perhaps to import instances from ‘Data.Proxy’ To import instances alone, use: import Data.Proxy() Language/SMTLib2/Pipe.hs:136:48: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:140:48: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:520:31: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:749:24: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:750:24: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:757:95: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:850:31: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:862:31: Warning: In the use of data constructor ‘L.D’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:895:65: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:962:54: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:963:46: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:966:34: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:967:34: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:978:24: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:1532:26: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:1533:26: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:1576:60: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:1677:48: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:1692:49: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:1693:52: Warning: In the use of data constructor ‘L.D’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." Language/SMTLib2/Pipe.hs:1700:16: Warning: In the use of data constructor ‘L.I’ (imported from Data.Attoparsec.Number): Deprecated: "This module will be removed in the next major release." defConstNamed' (Language/SMTLib2/Internals/Interface.hs:165) defFunAnnNamed' (Language/SMTLib2/Internals/Interface.hs:175) .&&. (Language/SMTLib2/Internals/Interface.hs:193) .||. (Language/SMTLib2/Internals/Interface.hs:200) getInterpolant (Language/SMTLib2/Internals/Interface.hs:231) interpolate (Language/SMTLib2/Internals/Interface.hs:234) funAnnNamed' (Language/SMTLib2/Internals/Interface.hs:255) div'' (Language/SMTLib2/Internals/Interface.hs:331) mod'' (Language/SMTLib2/Internals/Interface.hs:338) rem'' (Language/SMTLib2/Internals/Interface.hs:345) divide' (Language/SMTLib2/Internals/Interface.hs:352) not'' (Language/SMTLib2/Internals/Interface.hs:388) bvextract' (Language/SMTLib2/Internals/Interface.hs:516) mkQuantified (Language/SMTLib2/Internals/Interface.hs:560) optimizeExpr' (Language/SMTLib2/Internals/Interface.hs:674) 32% ( 6 / 19) in 'Language.SMTLib2.Pipe' Missing documentation for: Module header FunctionParser (Language/SMTLib2/Pipe.hs:804) withPipe (Language/SMTLib2/Pipe.hs:1662) exprToLisp (Language/SMTLib2/Pipe.hs:570) exprToLispWith (Language/SMTLib2/Pipe.hs:576) lispToExprWith (Language/SMTLib2/Pipe.hs:1005) sortToLisp (Language/SMTLib2/Pipe.hs:491) renderExpr (Language/SMTLib2/Pipe.hs:58) renderExpr' (Language/SMTLib2/Pipe.hs:64) renderSMTRequest (Language/SMTLib2/Pipe.hs:105) renderSMTResponse (Language/SMTLib2/Pipe.hs:435) simpleParser (Language/SMTLib2/Pipe.hs:1197) FunctionParser' (Language/SMTLib2/Pipe.hs:815) 71% ( 5 / 7) in 'Language.SMTLib2.Connection' Missing documentation for: withConnection (Language/SMTLib2/Connection.hs:39) performSMTExitCleanly (Language/SMTLib2/Connection.hs:53) 60% (148 /246) in 'Language.SMTLib2' Missing documentation for: SMT (Language/SMTLib2/Internals.hs:138) SMTBackend (Language/SMTLib2/Internals.hs:75) AnyBackend (Language/SMTLib2/Internals.hs:133) SMTFunction (Language/SMTLib2/Internals.hs:237) withSMTBackend (Language/SMTLib2/Internals.hs:405) withSMTBackendExitCleanly (Language/SMTLib2/Internals.hs:398) SMTInfo (Language/SMTLib2/Internals.hs:307) noLimits (Language/SMTLib2/Internals.hs:1161) getValue (Language/SMTLib2/Internals/Interface.hs:131) getValues (Language/SMTLib2/Internals/Interface.hs:134) InterpolationGroup (Language/SMTLib2/Internals.hs:293) getInterpolant (Language/SMTLib2/Internals/Interface.hs:231) interpolate (Language/SMTLib2/Internals/Interface.hs:234) optimizeExpr (Language/SMTLib2/Internals/Optimize.hs:62) optimizeExpr' (Language/SMTLib2/Internals/Interface.hs:674) .&&. (Language/SMTLib2/Internals/Interface.hs:193) .||. (Language/SMTLib2/Internals/Interface.hs:200) not'' (Language/SMTLib2/Internals/Interface.hs:388) BitVector (Language/SMTLib2/Internals.hs:936) BVTyped (Language/SMTLib2/Internals.hs:886) BVUntyped (Language/SMTLib2/Internals.hs:885) BV8 (Language/SMTLib2/Internals.hs:1021) BV16 (Language/SMTLib2/Internals.hs:1022) BV32 (Language/SMTLib2/Internals.hs:1023) BV64 (Language/SMTLib2/Internals.hs:1024) N0 (Language/SMTLib2/Internals.hs:955) N1 (Language/SMTLib2/Internals.hs:956) N2 (Language/SMTLib2/Internals.hs:957) N3 (Language/SMTLib2/Internals.hs:958) N4 (Language/SMTLib2/Internals.hs:959) N5 (Language/SMTLib2/Internals.hs:960) N6 (Language/SMTLib2/Internals.hs:961) N7 (Language/SMTLib2/Internals.hs:962) N8 (Language/SMTLib2/Internals.hs:963) N9 (Language/SMTLib2/Internals.hs:964) N10 (Language/SMTLib2/Internals.hs:965) N11 (Language/SMTLib2/Internals.hs:966) N12 (Language/SMTLib2/Internals.hs:967) N13 (Language/SMTLib2/Internals.hs:968) N14 (Language/SMTLib2/Internals.hs:969) N15 (Language/SMTLib2/Internals.hs:970) N16 (Language/SMTLib2/Internals.hs:971) N17 (Language/SMTLib2/Internals.hs:972) N18 (Language/SMTLib2/Internals.hs:973) N19 (Language/SMTLib2/Internals.hs:974) N20 (Language/SMTLib2/Internals.hs:975) N21 (Language/SMTLib2/Internals.hs:976) N22 (Language/SMTLib2/Internals.hs:977) N23 (Language/SMTLib2/Internals.hs:978) N24 (Language/SMTLib2/Internals.hs:979) N25 (Language/SMTLib2/Internals.hs:980) N26 (Language/SMTLib2/Internals.hs:981) N27 (Language/SMTLib2/Internals.hs:982) N28 (Language/SMTLib2/Internals.hs:983) N29 (Language/SMTLib2/Internals.hs:984) N30 (Language/SMTLib2/Internals.hs:985) N31 (Language/SMTLib2/Internals.hs:986) N32 (Language/SMTLib2/Internals.hs:987) N33 (Language/SMTLib2/Internals.hs:988) N34 (Language/SMTLib2/Internals.hs:989) N35 (Language/SMTLib2/Internals.hs:990) N36 (Language/SMTLib2/Internals.hs:991) N37 (Language/SMTLib2/Internals.hs:992) N38 (Language/SMTLib2/Internals.hs:993) N39 (Language/SMTLib2/Internals.hs:994) N40 (Language/SMTLib2/Internals.hs:995) N41 (Language/SMTLib2/Internals.hs:996) N42 (Language/SMTLib2/Internals.hs:997) N43 (Language/SMTLib2/Internals.hs:998) N44 (Language/SMTLib2/Internals.hs:999) N45 (Language/SMTLib2/Internals.hs:1000) N46 (Language/SMTLib2/Internals.hs:1001) N47 (Language/SMTLib2/Internals.hs:1002) N48 (Language/SMTLib2/Internals.hs:1003) N49 (Language/SMTLib2/Internals.hs:1004) N50 (Language/SMTLib2/Internals.hs:1005) N51 (Language/SMTLib2/Internals.hs:1006) N52 (Language/SMTLib2/Internals.hs:1007) N53 (Language/SMTLib2/Internals.hs:1008) N54 (Language/SMTLib2/Internals.hs:1009) N55 (Language/SMTLib2/Internals.hs:1010) N56 (Language/SMTLib2/Internals.hs:1011) N57 (Language/SMTLib2/Internals.hs:1012) N58 (Language/SMTLib2/Internals.hs:1013) N59 (Language/SMTLib2/Internals.hs:1014) N60 (Language/SMTLib2/Internals.hs:1015) N61 (Language/SMTLib2/Internals.hs:1016) N62 (Language/SMTLib2/Internals.hs:1017) N63 (Language/SMTLib2/Internals.hs:1018) N64 (Language/SMTLib2/Internals.hs:1019) bvextract' (Language/SMTLib2/Internals/Interface.hs:516) insert' (Language/SMTLib2/Internals/Instances.hs:1087) Untyped (Language/SMTLib2/Internals.hs:171) UntypedValue (Language/SMTLib2/Internals.hs:173) entype (Language/SMTLib2/Internals/Instances.hs:126) entypeValue (Language/SMTLib2/Internals/Instances.hs:138) castUntypedExpr (Language/SMTLib2/Internals/Instances.hs:160) castUntypedExprValue (Language/SMTLib2/Internals/Instances.hs:165) 100% ( 5 / 5) in 'Language.SMTLib2.Solver' Warning: Language.SMTLib2.Internals.Optimize: could not find link destinations for: OptimizeBackend Documentation created: dist/doc/html/smtlib2/index.html, dist/doc/html/smtlib2/smtlib2.txt Creating package registration file: /tmp/pkgConf-smtlib2-021327644421333016204.3 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/smtlib2-0.3-H7KwTsU0A1EAd335Vz1RGB Registering smtlib2-0.3... Installed smtlib2-0.3 Downloading copilot-theorem-2.2.0... Configuring copilot-theorem-2.2.0... Building copilot-theorem-2.2.0... Preprocessing library copilot-theorem-2.2.0... [ 1 of 33] Compiling Copilot.Theorem.TransSys.Invariants ( src/Copilot/Theorem/TransSys/Invariants.hs, dist/build/Copilot/Theorem/TransSys/Invariants.o ) [ 2 of 33] Compiling Copilot.Theorem.TransSys.Type ( src/Copilot/Theorem/TransSys/Type.hs, dist/build/Copilot/Theorem/TransSys/Type.o ) [ 3 of 33] Compiling Copilot.Theorem.TransSys.Cast ( src/Copilot/Theorem/TransSys/Cast.hs, dist/build/Copilot/Theorem/TransSys/Cast.o ) [ 4 of 33] Compiling Copilot.Theorem.Misc.SExpr ( src/Copilot/Theorem/Misc/SExpr.hs, dist/build/Copilot/Theorem/Misc/SExpr.o ) src/Copilot/Theorem/Misc/SExpr.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() [ 5 of 33] Compiling Copilot.Theorem.Misc.Error ( src/Copilot/Theorem/Misc/Error.hs, dist/build/Copilot/Theorem/Misc/Error.o ) [ 6 of 33] Compiling Copilot.Theorem.TransSys.Operators ( src/Copilot/Theorem/TransSys/Operators.hs, dist/build/Copilot/Theorem/TransSys/Operators.o ) src/Copilot/Theorem/TransSys/Operators.hs:14: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 33] Compiling Copilot.Theorem.IL.Spec ( src/Copilot/Theorem/IL/Spec.hs, dist/build/Copilot/Theorem/IL/Spec.o ) [ 8 of 33] Compiling Copilot.Theorem.IL.Transform ( src/Copilot/Theorem/IL/Transform.hs, dist/build/Copilot/Theorem/IL/Transform.o ) [ 9 of 33] Compiling Copilot.Theorem.IL.PrettyPrint ( src/Copilot/Theorem/IL/PrettyPrint.hs, dist/build/Copilot/Theorem/IL/PrettyPrint.o ) [10 of 33] Compiling Copilot.Theorem.Misc.Utils ( src/Copilot/Theorem/Misc/Utils.hs, dist/build/Copilot/Theorem/Misc/Utils.o ) src/Copilot/Theorem/Misc/Utils.hs:13: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() [11 of 33] Compiling Copilot.Theorem.TransSys.Spec ( src/Copilot/Theorem/TransSys/Spec.hs, dist/build/Copilot/Theorem/TransSys/Spec.o ) src/Copilot/Theorem/TransSys/Spec.hs:35:1: Warning: The import of ‘mempty, mconcat, Monoid’ from module ‘Data.Monoid’ is redundant [12 of 33] Compiling Copilot.Theorem.TransSys.PrettyPrint ( src/Copilot/Theorem/TransSys/PrettyPrint.hs, dist/build/Copilot/Theorem/TransSys/PrettyPrint.o ) [13 of 33] Compiling Copilot.Theorem.TransSys.Renaming ( src/Copilot/Theorem/TransSys/Renaming.hs, dist/build/Copilot/Theorem/TransSys/Renaming.o ) src/Copilot/Theorem/TransSys/Renaming.hs:17: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() [14 of 33] Compiling Copilot.Theorem.TransSys.Translate ( src/Copilot/Theorem/TransSys/Translate.hs, dist/build/Copilot/Theorem/TransSys/Translate.o ) src/Copilot/Theorem/TransSys/Translate.hs:12: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() src/Copilot/Theorem/TransSys/Translate.hs:153:1: Warning: Pattern match(es) are non-exhaustive In an equation for ‘expr’: Patterns not matched: _ (C.ExternStruct _ _ _ _) _ (C.GetField _ _ _ _) [15 of 33] Compiling Copilot.Theorem.TransSys.Transform ( src/Copilot/Theorem/TransSys/Transform.hs, dist/build/Copilot/Theorem/TransSys/Transform.o ) [16 of 33] Compiling Copilot.Theorem.TransSys ( src/Copilot/Theorem/TransSys.hs, dist/build/Copilot/Theorem/TransSys.o ) [17 of 33] Compiling Copilot.Theorem.IL.Translate ( src/Copilot/Theorem/IL/Translate.hs, dist/build/Copilot/Theorem/IL/Translate.o ) src/Copilot/Theorem/IL/Translate.hs:14: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() src/Copilot/Theorem/IL/Translate.hs:248:8: Warning: Defined but not used: ‘t’ src/Copilot/Theorem/IL/Translate.hs:113:1: Warning: Pattern match(es) are non-exhaustive In an equation for ‘expr’: Patterns not matched: C.ExternStruct _ _ _ _ C.GetField _ _ _ _ [18 of 33] Compiling Copilot.Theorem.IL ( src/Copilot/Theorem/IL.hs, dist/build/Copilot/Theorem/IL.o ) [19 of 33] Compiling Copilot.Theorem.Prover.Backend ( src/Copilot/Theorem/Prover/Backend.hs, dist/build/Copilot/Theorem/Prover/Backend.o ) [20 of 33] Compiling Copilot.Theorem.Prover.SMTIO ( src/Copilot/Theorem/Prover/SMTIO.hs, dist/build/Copilot/Theorem/Prover/SMTIO.o ) src/Copilot/Theorem/Prover/SMTIO.hs:18: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() [21 of 33] Compiling Copilot.Theorem.Prover.SMTLib ( src/Copilot/Theorem/Prover/SMTLib.hs, dist/build/Copilot/Theorem/Prover/SMTLib.o ) [22 of 33] Compiling Copilot.Theorem.Prover.TPTP ( src/Copilot/Theorem/Prover/TPTP.hs, dist/build/Copilot/Theorem/Prover/TPTP.o ) [23 of 33] Compiling Copilot.Theorem.Kind2.AST ( src/Copilot/Theorem/Kind2/AST.hs, dist/build/Copilot/Theorem/Kind2/AST.o ) [24 of 33] Compiling Copilot.Theorem.Kind2.Translate ( src/Copilot/Theorem/Kind2/Translate.hs, dist/build/Copilot/Theorem/Kind2/Translate.o ) [25 of 33] Compiling Copilot.Theorem.Kind2.PrettyPrint ( src/Copilot/Theorem/Kind2/PrettyPrint.hs, dist/build/Copilot/Theorem/Kind2/PrettyPrint.o ) [26 of 33] Compiling Copilot.Theorem.Prove ( src/Copilot/Theorem/Prove.hs, dist/build/Copilot/Theorem/Prove.o ) src/Copilot/Theorem/Prove.hs:20:1: Warning: The import of ‘Applicative’ from module ‘Control.Applicative’ is redundant src/Copilot/Theorem/Prove.hs:21:1: Warning: The import of ‘Control.Monad’ is redundant except perhaps to import instances from ‘Control.Monad’ To import instances alone, use: import Control.Monad() [27 of 33] Compiling Copilot.Theorem.Prover.SMT ( src/Copilot/Theorem/Prover/SMT.hs, dist/build/Copilot/Theorem/Prover/SMT.o ) src/Copilot/Theorem/Prover/SMT.hs:27: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() [28 of 33] Compiling Copilot.Theorem.Prover.Z3 ( src/Copilot/Theorem/Prover/Z3.hs, dist/build/Copilot/Theorem/Prover/Z3.o ) src/Copilot/Theorem/Prover/Z3.hs:18: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() [29 of 33] Compiling Copilot.Theorem.Kind2.Output ( src/Copilot/Theorem/Kind2/Output.hs, dist/build/Copilot/Theorem/Kind2/Output.o ) [30 of 33] Compiling Copilot.Theorem.Kind2.Prover ( src/Copilot/Theorem/Kind2/Prover.hs, dist/build/Copilot/Theorem/Kind2/Prover.o ) [31 of 33] Compiling Copilot.Theorem.Kind2 ( src/Copilot/Theorem/Kind2.hs, dist/build/Copilot/Theorem/Kind2.o ) [32 of 33] Compiling Copilot.Theorem.Tactics ( src/Copilot/Theorem/Tactics.hs, dist/build/Copilot/Theorem/Tactics.o ) src/Copilot/Theorem/Tactics.hs:7:1: Warning: The import of ‘Data.Word’ is redundant except perhaps to import instances from ‘Data.Word’ To import instances alone, use: import Data.Word() [33 of 33] Compiling Copilot.Theorem ( src/Copilot/Theorem.hs, dist/build/Copilot/Theorem.o ) In-place registering copilot-theorem-2.2.0... Running Haddock for copilot-theorem-2.2.0... Running hscolour for copilot-theorem-2.2.0... Preprocessing library copilot-theorem-2.2.0... Preprocessing library copilot-theorem-2.2.0... src/Copilot/Theorem/Misc/SExpr.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() src/Copilot/Theorem/TransSys/Operators.hs:14: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() src/Copilot/Theorem/Misc/Utils.hs:13: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() src/Copilot/Theorem/TransSys/Spec.hs:35:1: Warning: The import of ‘mconcat, mempty, Monoid’ from module ‘Data.Monoid’ is redundant src/Copilot/Theorem/TransSys/Renaming.hs:17: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() src/Copilot/Theorem/TransSys/Translate.hs:12: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() src/Copilot/Theorem/IL/Translate.hs:14: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() src/Copilot/Theorem/IL/Translate.hs:248:8: Warning: Defined but not used: ‘t’ src/Copilot/Theorem/Prover/SMTIO.hs:18: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() Haddock coverage: 0% ( 0 / 3) in 'Copilot.Theorem.TransSys.Invariants' Missing documentation for: Module header HasInvariants (src/Copilot/Theorem/TransSys/Invariants.hs:8) prop (src/Copilot/Theorem/TransSys/Invariants.hs:15) 0% ( 0 / 4) in 'Copilot.Theorem.TransSys.Type' Missing documentation for: Module header Type (src/Copilot/Theorem/TransSys/Type.hs:15) U (src/Copilot/Theorem/TransSys/Type.hs:30) U2 (src/Copilot/Theorem/TransSys/Type.hs:31) 0% ( 0 / 6) in 'Copilot.Theorem.TransSys.Cast' Missing documentation for: Module header Dyn (src/Copilot/Theorem/TransSys/Cast.hs:25) toDyn cast (src/Copilot/Theorem/TransSys/Cast.hs:41) castedType (src/Copilot/Theorem/TransSys/Cast.hs:27) casting (src/Copilot/Theorem/TransSys/Cast.hs:48) 0% ( 0 / 14) in 'Copilot.Theorem.Misc.SExpr' Missing documentation for: Module header SExpr (src/Copilot/Theorem/Misc/SExpr.hs:15) blank (src/Copilot/Theorem/Misc/SExpr.hs:18) atom (src/Copilot/Theorem/Misc/SExpr.hs:19) unit (src/Copilot/Theorem/Misc/SExpr.hs:20) singleton (src/Copilot/Theorem/Misc/SExpr.hs:21) list (src/Copilot/Theorem/Misc/SExpr.hs:22) node (src/Copilot/Theorem/Misc/SExpr.hs:23) (src/Copilot/Theorem/Misc/SExpr.hs:29) indent (src/Copilot/Theorem/Misc/SExpr.hs:38) toString (src/Copilot/Theorem/Misc/SExpr.hs:40) toDoc (src/Copilot/Theorem/Misc/SExpr.hs:44) parser (src/Copilot/Theorem/Misc/SExpr.hs:57) parseSExpr (src/Copilot/Theorem/Misc/SExpr.hs:76) 0% ( 0 / 6) in 'Copilot.Theorem.Misc.Error' Missing documentation for: Module header badUse (src/Copilot/Theorem/Misc/Error.hs:16) impossible (src/Copilot/Theorem/Misc/Error.hs:19) impossible_ (src/Copilot/Theorem/Misc/Error.hs:22) notHandled (src/Copilot/Theorem/Misc/Error.hs:25) fatal (src/Copilot/Theorem/Misc/Error.hs:28) 10% ( 1 / 10) in 'Copilot.Theorem.TransSys.Operators' Missing documentation for: Module header Op1 (src/Copilot/Theorem/TransSys/Operators.hs:18) Op2 (src/Copilot/Theorem/TransSys/Operators.hs:38) (src/Copilot/Theorem/TransSys/Operators.hs:58) (src/Copilot/Theorem/TransSys/Operators.hs:79) UnhandledOp2 (src/Copilot/Theorem/TransSys/Operators.hs:107) handleOp1 (src/Copilot/Theorem/TransSys/Operators.hs:110) handleOp2 (src/Copilot/Theorem/TransSys/Operators.hs:186) typeErrMsg (src/Copilot/Theorem/TransSys/Operators.hs:298) 0% ( 0 / 15) in 'Copilot.Theorem.IL.Spec' Missing documentation for: Module header Type (src/Copilot/Theorem/IL/Spec.hs:32) Op1 (src/Copilot/Theorem/IL/Spec.hs:93) Op2 (src/Copilot/Theorem/IL/Spec.hs:97) SeqId (src/Copilot/Theorem/IL/Spec.hs:27) SeqIndex (src/Copilot/Theorem/IL/Spec.hs:29) SeqDescr (src/Copilot/Theorem/IL/Spec.hs:79) VarDescr (src/Copilot/Theorem/IL/Spec.hs:63) Expr (src/Copilot/Theorem/IL/Spec.hs:50) IL (src/Copilot/Theorem/IL/Spec.hs:84) PropId (src/Copilot/Theorem/IL/Spec.hs:77) typeOf (src/Copilot/Theorem/IL/Spec.hs:147) _n_ (src/Copilot/Theorem/IL/Spec.hs:158) _n_plus (src/Copilot/Theorem/IL/Spec.hs:161) evalAt (src/Copilot/Theorem/IL/Spec.hs:164) 50% ( 1 / 2) in 'Copilot.Theorem.IL.Transform' Missing documentation for: Module header 0% ( 0 / 3) in 'Copilot.Theorem.IL.PrettyPrint' Missing documentation for: Module header prettyPrint (src/Copilot/Theorem/IL/PrettyPrint.hs:13) printConstraint (src/Copilot/Theorem/IL/PrettyPrint.hs:16) 0% ( 0 / 6) in 'Copilot.Theorem.Misc.Utils' Missing documentation for: Module header isSublistOf (src/Copilot/Theorem/Misc/Utils.hs:24) nub' (src/Copilot/Theorem/Misc/Utils.hs:31) nubBy' (src/Copilot/Theorem/Misc/Utils.hs:34) nubEq (src/Copilot/Theorem/Misc/Utils.hs:27) openTempFile (src/Copilot/Theorem/Misc/Utils.hs:39) 3% ( 1 / 30) in 'Copilot.Theorem.TransSys.Spec' Missing documentation for: Module header Op1 (src/Copilot/Theorem/TransSys/Operators.hs:18) Op2 (src/Copilot/Theorem/TransSys/Operators.hs:38) (src/Copilot/Theorem/TransSys/Operators.hs:58) (src/Copilot/Theorem/TransSys/Operators.hs:79) UnhandledOp2 (src/Copilot/Theorem/TransSys/Operators.hs:107) handleOp1 (src/Copilot/Theorem/TransSys/Operators.hs:110) handleOp2 (src/Copilot/Theorem/TransSys/Operators.hs:186) typeErrMsg (src/Copilot/Theorem/TransSys/Operators.hs:298) Type (src/Copilot/Theorem/TransSys/Type.hs:15) U (src/Copilot/Theorem/TransSys/Type.hs:30) U2 (src/Copilot/Theorem/TransSys/Type.hs:31) HasInvariants (src/Copilot/Theorem/TransSys/Invariants.hs:8) prop (src/Copilot/Theorem/TransSys/Invariants.hs:15) TransSys (src/Copilot/Theorem/TransSys/Spec.hs:50) Node (src/Copilot/Theorem/TransSys/Spec.hs:56) PropId (src/Copilot/Theorem/TransSys/Spec.hs:48) NodeId (src/Copilot/Theorem/TransSys/Spec.hs:47) Var (src/Copilot/Theorem/TransSys/Spec.hs:64) ExtVar (src/Copilot/Theorem/TransSys/Spec.hs:67) VarDef (src/Copilot/Theorem/TransSys/Spec.hs:74) VarDescr (src/Copilot/Theorem/TransSys/Spec.hs:70) Expr (src/Copilot/Theorem/TransSys/Spec.hs:76) mkExtVar (src/Copilot/Theorem/TransSys/Spec.hs:85) transformExpr (src/Copilot/Theorem/TransSys/Spec.hs:99) isTopologicallySorted (src/Copilot/Theorem/TransSys/Spec.hs:185) nodeVarsSet (src/Copilot/Theorem/TransSys/Spec.hs:110) specDependenciesGraph (src/Copilot/Theorem/TransSys/Spec.hs:159) specTopNode (src/Copilot/Theorem/TransSys/Spec.hs:163) 0% ( 0 / 2) in 'Copilot.Theorem.TransSys.PrettyPrint' Missing documentation for: Module header prettyPrint (src/Copilot/Theorem/TransSys/PrettyPrint.hs:19) 0% ( 0 / 7) in 'Copilot.Theorem.TransSys.Renaming' Missing documentation for: Module header Renaming (src/Copilot/Theorem/TransSys/Renaming.hs:29) addReservedName (src/Copilot/Theorem/TransSys/Renaming.hs:38) rename (src/Copilot/Theorem/TransSys/Renaming.hs:55) getFreshName (src/Copilot/Theorem/TransSys/Renaming.hs:44) runRenaming (src/Copilot/Theorem/TransSys/Renaming.hs:65) getRenamingF (src/Copilot/Theorem/TransSys/Renaming.hs:60) 0% ( 0 / 2) in 'Copilot.Theorem.TransSys.Translate' Missing documentation for: Module header translate (src/Copilot/Theorem/TransSys/Translate.hs:52) 20% ( 1 / 5) in 'Copilot.Theorem.TransSys.Transform' Missing documentation for: Module header mergeNodes (src/Copilot/Theorem/TransSys/Transform.hs:41) inline (src/Copilot/Theorem/TransSys/Transform.hs:184) removeCycles (src/Copilot/Theorem/TransSys/Transform.hs:187) Warning: Copilot.Theorem.TransSys: Could not find documentation for exported module: X 0% ( 0 / 1) in 'Copilot.Theorem.TransSys' Missing documentation for: Module header 50% ( 1 / 2) in 'Copilot.Theorem.IL.Translate' Missing documentation for: Module header Warning: Copilot.Theorem.IL: Could not find documentation for exported module: X 0% ( 0 / 1) in 'Copilot.Theorem.IL' Missing documentation for: Module header 0% ( 0 / 4) in 'Copilot.Theorem.Prover.Backend' Missing documentation for: Module header SmtFormat (src/Copilot/Theorem/Prover/Backend.hs:9) Backend (src/Copilot/Theorem/Prover/Backend.hs:17) SatResult (src/Copilot/Theorem/Prover/Backend.hs:27) 0% ( 0 / 7) in 'Copilot.Theorem.Prover.SMTIO' Missing documentation for: Module header Solver (src/Copilot/Theorem/Prover/SMTIO.hs:24) startNewSolver (src/Copilot/Theorem/Prover/SMTIO.hs:63) assume (src/Copilot/Theorem/Prover/SMTIO.hs:79) entailed (src/Copilot/Theorem/Prover/SMTIO.hs:88) stop (src/Copilot/Theorem/Prover/SMTIO.hs:71) declVars (src/Copilot/Theorem/Prover/SMTIO.hs:100) 0% ( 0 / 3) in 'Copilot.Theorem.Prover.SMTLib' Missing documentation for: Module header SmtLib (src/Copilot/Theorem/Prover/SMTLib.hs:16) interpret (src/Copilot/Theorem/Prover/SMTLib.hs:38) 0% ( 0 / 3) in 'Copilot.Theorem.Prover.TPTP' Missing documentation f src/Copilot/Theorem/Prove.hs:20:1: Warning: The import of ‘Applicative’ from module ‘Control.Applicative’ is redundant src/Copilot/Theorem/Prove.hs:21:1: Warning: The import of ‘Control.Monad’ is redundant except perhaps to import instances from ‘Control.Monad’ To import instances alone, use: import Control.Monad() src/Copilot/Theorem/Prover/SMT.hs:27: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() src/Copilot/Theorem/Prover/Z3.hs:18: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() src/Copilot/Theorem/Tactics.hs:7:1: Warning: The import of ‘Data.Word’ is redundant except perhaps to import instances from ‘Data.Word’ To import instances alone, use: import Data.Word() or: Module header Tptp (src/Copilot/Theorem/Prover/TPTP.hs:14) interpret (src/Copilot/Theorem/Prover/TPTP.hs:39) 0% ( 0 / 9) in 'Copilot.Theorem.Kind2.AST' Missing documentation for: Module header File (src/Copilot/Theorem/Kind2/AST.hs:7) Prop (src/Copilot/Theorem/Kind2/AST.hs:11) PredDef (src/Copilot/Theorem/Kind2/AST.hs:15) StateVarDef (src/Copilot/Theorem/Kind2/AST.hs:21) Type (src/Copilot/Theorem/Kind2/AST.hs:26) StateVarFlag (src/Copilot/Theorem/Kind2/AST.hs:28) PredType (src/Copilot/Theorem/Kind2/AST.hs:30) Term (src/Copilot/Theorem/Kind2/AST.hs:32) 0% ( 0 / 3) in 'Copilot.Theorem.Kind2.Translate' Missing documentation for: Module header toKind2 (src/Copilot/Theorem/Kind2/Translate.hs:40) Style (src/Copilot/Theorem/Kind2/Translate.hs:38) 0% ( 0 / 2) in 'Copilot.Theorem.Kind2.PrettyPrint' Missing documentation for: Module header prettyPrint (src/Copilot/Theorem/Kind2/PrettyPrint.hs:19) 0% ( 0 / 14) in 'Copilot.Theorem.Prove' Missing documentation for: Module header Output (src/Copilot/Theorem/Prove.hs:26) Status (src/Copilot/Theorem/Prove.hs:28) Prover (src/Copilot/Theorem/Prove.hs:37) PropId (src/Copilot/Theorem/Prove.hs:44) PropRef (src/Copilot/Theorem/Prove.hs:46) Proof (src/Copilot/Theorem/Prove.hs:52) UProof (src/Copilot/Theorem/Prove.hs:54) ProofScheme (src/Copilot/Theorem/Prove.hs:56) Action (src/Copilot/Theorem/Prove.hs:70) Universal (src/Copilot/Theorem/Prove.hs:49) Existential (src/Copilot/Theorem/Prove.hs:50) check (src/Copilot/Theorem/Prove.hs:77) prove (src/Copilot/Theorem/Prove.hs:80) 17% ( 3 / 18) in 'Copilot.Theorem.Prover.SMT' Missing documentation for: Module header induction (src/Copilot/Theorem/Prover/SMT.hs:81) kInduction (src/Copilot/Theorem/Prover/SMT.hs:89) onlySat (src/Copilot/Theorem/Prover/SMT.hs:65) onlyValidity (src/Copilot/Theorem/Prover/SMT.hs:73) dReal (src/Copilot/Theorem/Prover/SMT.hs:145) altErgo (src/Copilot/Theorem/Prover/SMT.hs:123) metit (src/Copilot/Theorem/Prover/SMT.hs:169) z3 (src/Copilot/Theorem/Prover/SMT.hs:134) cvc4 (src/Copilot/Theorem/Prover/SMT.hs:112) mathsat (src/Copilot/Theorem/Prover/SMT.hs:156) Backend (src/Copilot/Theorem/Prover/Backend.hs:17) SmtFormat (src/Copilot/Theorem/Prover/Backend.hs:9) SmtLib (src/Copilot/Theorem/Prover/SMTLib.hs:16) Tptp (src/Copilot/Theorem/Prover/TPTP.hs:14) 29% ( 2 / 7) in 'Copilot.Theorem.Prover.Z3' Missing documentation for: Module header induction (src/Copilot/Theorem/Prover/Z3.hs:85) kInduction (src/Copilot/Theorem/Prover/Z3.hs:93) onlySat (src/Copilot/Theorem/Prover/Z3.hs:69) onlyValidity (src/Copilot/Theorem/Prover/Z3.hs:77) 0% ( 0 / 2) in 'Copilot.Theorem.Kind2.Output' Missing documentation for: Module header parseOutput (src/Copilot/Theorem/Kind2/Output.hs:17) 25% ( 1 / 4) in 'Copilot.Theorem.Kind2.Prover' Missing documentation for: Module header Options (src/Copilot/Theorem/Kind2/Prover.hs:29) kind2Prover (src/Copilot/Theorem/Kind2/Prover.hs:39) Warning: Copilot.Theorem.Kind2: Could not find documentation for exported module: X 0% ( 0 / 1) in 'Copilot.Theorem.Kind2' Missing documentation for: Module header 0% ( 0 / 4) in 'Copilot.Theorem.Tactics' Missing documentation for: Module header instantiate (src/Copilot/Theorem/Tactics.hs:10) assume (src/Copilot/Theorem/Tactics.hs:13) admit (src/Copilot/Theorem/Tactics.hs:16) Warning: Copilot.Theorem: Could not find documentation for exported module: X 0% ( 0 / 6) in 'Copilot.Theorem' Missing documentation for: Module header Proof (src/Copilot/Theorem/Prove.hs:52) PropId (src/Copilot/Theorem/Prove.hs:44) PropRef (src/Copilot/Theorem/Prove.hs:46) Universal (src/Copilot/Theorem/Prove.hs:49) Existential (src/Copilot/Theorem/Prove.hs:50) Warning: Copilot.Theorem.Prover.SMT: could not find link destinations for: push pop checkSat setLogic declFun assert Documentation created: dist/doc/html/copilot-theorem/index.html, dist/doc/html/copilot-theorem/copilot-theorem.txt Creating package registration file: /tmp/pkgConf-copilot-theorem-2.2954222218234313225.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/copilot-theorem-2.2.0-7iMPABxasMtBU2sYjp9U9G Registering copilot-theorem-2.2.0... Installed copilot-theorem-2.2.0 Downloading copilot-language-2.2.0... Configuring copilot-language-2.2.0... Building copilot-language-2.2.0... Preprocessing library copilot-language-2.2.0... [ 1 of 24] Compiling System.Mem.StableName.Dynamic ( src/System/Mem/StableName/Dynamic.hs, dist/build/System/Mem/StableName/Dynamic.o ) [ 2 of 24] Compiling System.Mem.StableName.Map ( src/System/Mem/StableName/Map.hs, dist/build/System/Mem/StableName/Map.o ) [ 3 of 24] Compiling Copilot.Language.Prelude ( src/Copilot/Language/Prelude.hs, dist/build/Copilot/Language/Prelude.o ) [ 4 of 24] Compiling Copilot.Language.Stream ( src/Copilot/Language/Stream.hs, dist/build/Copilot/Language/Stream.o ) [ 5 of 24] Compiling Copilot.Language.Spec ( src/Copilot/Language/Spec.hs, dist/build/Copilot/Language/Spec.o ) [ 6 of 24] Compiling Copilot.Language.Operators.BitWise ( src/Copilot/Language/Operators/BitWise.hs, dist/build/Copilot/Language/Operators/BitWise.o ) src/Copilot/Language/Operators/BitWise.hs:23:10: Warning: No explicit implementation for ‘bitSizeMaybe’, ‘testBit’, ‘bit’, and ‘popCount’ In the instance declaration for ‘Bits (Stream a)’ [ 7 of 24] Compiling Copilot.Language.Operators.Temporal ( src/Copilot/Language/Operators/Temporal.hs, dist/build/Copilot/Language/Operators/Temporal.o ) [ 8 of 24] Compiling Copilot.Language.Operators.Ord ( src/Copilot/Language/Operators/Ord.hs, dist/build/Copilot/Language/Operators/Ord.o ) [ 9 of 24] Compiling Copilot.Language.Operators.Mux ( src/Copilot/Language/Operators/Mux.hs, dist/build/Copilot/Language/Operators/Mux.o ) [10 of 24] Compiling Copilot.Language.Operators.Integral ( src/Copilot/Language/Operators/Integral.hs, dist/build/Copilot/Language/Operators/Integral.o ) [11 of 24] Compiling Copilot.Language.Operators.Label ( src/Copilot/Language/Operators/Label.hs, dist/build/Copilot/Language/Operators/Label.o ) [12 of 24] Compiling Copilot.Language.Operators.Local ( src/Copilot/Language/Operators/Local.hs, dist/build/Copilot/Language/Operators/Local.o ) [13 of 24] Compiling Copilot.Language.Operators.Extern ( src/Copilot/Language/Operators/Extern.hs, dist/build/Copilot/Language/Operators/Extern.o ) [14 of 24] Compiling Copilot.Language.Operators.Eq ( src/Copilot/Language/Operators/Eq.hs, dist/build/Copilot/Language/Operators/Eq.o ) [15 of 24] Compiling Copilot.Language.Operators.Constant ( src/Copilot/Language/Operators/Constant.hs, dist/build/Copilot/Language/Operators/Constant.o ) [16 of 24] Compiling Copilot.Language.Operators.Cast ( src/Copilot/Language/Operators/Cast.hs, dist/build/Copilot/Language/Operators/Cast.o ) src/Copilot/Language/Operators/Cast.hs:7:14: Warning: ‘Copilot.Language.Operators.Cast’ is marked as Trustworthy but has been inferred as safe! [17 of 24] Compiling Copilot.Language.Operators.Boolean ( src/Copilot/Language/Operators/Boolean.hs, dist/build/Copilot/Language/Operators/Boolean.o ) [18 of 24] Compiling Copilot.Language.Operators.Propositional ( src/Copilot/Language/Operators/Propositional.hs, dist/build/Copilot/Language/Operators/Propositional.o ) src/Copilot/Language/Operators/Propositional.hs:5:14: Warning: ‘Copilot.Language.Operators.Propositional’ is marked as Trustworthy but has been inferred as safe! [19 of 24] Compiling Copilot.Language.Error ( src/Copilot/Language/Error.hs, dist/build/Copilot/Language/Error.o ) [20 of 24] Compiling Copilot.Language.Analyze ( src/Copilot/Language/Analyze.hs, dist/build/Copilot/Language/Analyze.o ) [21 of 24] Compiling Copilot.Language.Reify ( src/Copilot/Language/Reify.hs, dist/build/Copilot/Language/Reify.o ) [22 of 24] Compiling Copilot.Language.Interpret ( src/Copilot/Language/Interpret.hs, dist/build/Copilot/Language/Interpret.o ) [23 of 24] Compiling Copilot.Language ( src/Copilot/Language.hs, dist/build/Copilot/Language.o ) [24 of 24] Compiling Copilot ( src/Copilot.hs, dist/build/Copilot.o ) In-place registering copilot-language-2.2.0... Running Haddock for copilot-language-2.2.0... Running hscolour for copilot-language-2.2.0... Preprocessing library copilot-language-2.2.0... Preprocessing library copilot-language-2.2.0... src/Copilot/Language/Operators/BitWise.hs:23:10: Warning: No explicit implementation for ‘bitSizeMaybe’, ‘testBit’, ‘bit’, and ‘popCount’ In the instance declaration for ‘Bits (Stream a)’ src/Copilot/Language/Operators/Cast.hs:7:14: Warning: ‘Copilot.Language.Operators.Cast’ is marked as Trustworthy but has been inferred as safe! src/Copilot/Language/Operators/Propositional.hs:5:14: Warning: ‘Copilot.Language.Operators.Propositional’ is marked as Trustworthy but has been inferred as safe! Haddock coverage: 0% ( 0 / 4) in 'System.Mem.StableName.Dynamic' Missing documentation for: Module header DynStableName (src/System/Mem/StableName/Dynamic.hs:16) hashDynStableName (src/System/Mem/StableName/Dynamic.hs:24) makeDynStableName (src/System/Mem/StableName/Dynamic.hs:18) 31% ( 4 / 13) in 'System.Mem.StableName.Map' Missing documentation for: Module header Map (src/System/Mem/StableName/Map.hs:30) empty (src/System/Mem/StableName/Map.hs:33) null (src/System/Mem/StableName/Map.hs:36) singleton (src/System/Mem/StableName/Map.hs:39) member (src/System/Mem/StableName/Map.hs:43) notMember (src/System/Mem/StableName/Map.hs:48) insert (src/System/Mem/StableName/Map.hs:51) find (src/System/Mem/StableName/Map.hs:94) 100% ( 2 / 2) in 'Copilot.Language.Prelude' 25% ( 1 / 4) in 'Copilot.Language.Stream' Missing documentation for: Stream (src/Copilot/Language/Stream.hs:26) Arg (src/Copilot/Language/Stream.hs:56) StructArg (src/Copilot/Language/Stream.hs:59) 4% ( 1 / 23) in 'Copilot.Language.Spec' Missing documentation for: Spec (src/Copilot/Language/Spec.hs:45) Spec' (src/Copilot/Language/Spec.hs:46) runSpec (src/Copilot/Language/Spec.hs:50) SpecItem (src/Copilot/Language/Spec.hs:93) Observer (src/Copilot/Language/Spec.hs:101) observer (src/Copilot/Language/Spec.hs:106) observers (src/Copilot/Language/Spec.hs:55) Trigger (src/Copilot/Language/Spec.hs:111) trigger (src/Copilot/Language/Spec.hs:116) triggers (src/Copilot/Language/Spec.hs:64) arg (src/Copilot/Language/Spec.hs:154) Property (src/Copilot/Language/Spec.hs:121) Prop (src/Copilot/Language/Spec.hs:126) prop (src/Copilot/Language/Spec.hs:142) properties (src/Copilot/Language/Spec.hs:73) theorem (src/Copilot/Language/Spec.hs:148) theorems (src/Copilot/Language/Spec.hs:82) forall (src/Copilot/Language/Spec.hs:130) exists (src/Copilot/Language/Spec.hs:133) extractProp (src/Copilot/Language/Spec.hs:136) Universal Existential 40% ( 2 / 5) in 'Copilot.Language.Operators.BitWise' Missing documentation for: .^. (src/Copilot/Language/Operators/BitWise.hs:35) .<<. (src/Copilot/Language/Operators/BitWise.hs:38) .>>. (src/Copilot/Language/Operators/BitWise.hs:38) 25% ( 1 / 4) in 'Copilot.Language.Operators.Temporal' Missing documentation for: ++ (src/Copilot/Language/Operators/Temporal.hs:24) drop (src/Copilot/Language/Operators/Temporal.hs:27) # (src/Copilot/Language/Operators/Temporal.hs:33) 20% ( 1 / 5) in 'Copilot.Language.Operators.Ord' Missing documentation for: <= (src/Copilot/Language/Operators/Ord.hs:24) >= (src/Copilot/Language/Operators/Ord.hs:28) < (src/Copilot/Language/Operators/Ord.hs:32) > (src/Copilot/Language/Operators/Ord.hs:36) 33% ( 1 / 3) in 'Copilot.Language.Operators.Mux' Missing documentation for: mux (src/Copilot/Language/Operators/Mux.hs:22) ifThenElse (src/Copilot/Language/Operators/Mux.hs:29) 25% ( 1 / 4) in 'Copilot.Language.Operators.Integral' Missing documentation for: div (src/Copilot/Language/Operators/Integral.hs:26) mod (src/Copilot/Language/Operators/Integral.hs:32) ^ (src/Copilot/Language/Operators/Integral.hs:38) 50% ( 1 / 2) in 'Copilot.Language.Operators.Label' Missing documentation for: label (src/Copilot/Language/Operators/Label.hs:18) 50% ( 1 / 2) in 'Copilot.Language.Operators.Local' Missing documentation for: local (src/Copilot/Language/Operators/Local.hs:18) 10% ( 3 / 29) in 'Copilot.Language.Operators.Extern' Missing documentation for: extern (src/Copilot/Language/Operators/Extern.hs:48) externB (src/Copilot/Language/Operators/Extern.hs:78) externW8 (src/Copilot/Language/Operators/Extern.hs:80) externW16 (src/Copilot/Language/Operators/Extern.hs:82) externW32 (src/Copilot/Language/Operators/Extern.hs:84) externW64 (src/Copilot/Language/Operators/Extern.hs:86) externI8 (src/Copilot/Language/Operators/Extern.hs:88) externI16 (src/Copilot/Language/Operators/Extern.hs:90) externI32 (src/Copilot/Language/Operators/Extern.hs:92) externI64 (src/Copilot/Language/Operators/Extern.hs:94) externF (src/Copilot/Language/Operators/Extern.hs:96) externD (src/Copilot/Language/Operators/Extern.hs:98) externFun (src/Copilot/Language/Operators/Extern.hs:51) externArray (src/Copilot/Language/Operators/Extern.hs:54) externArrayB (src/Copilot/Language/Operators/Extern.hs:103) externArrayW8 (src/Copilot/Language/Operators/Extern.hs:107) externArrayW16 (src/Copilot/Language/Operators/Extern.hs:111) externArrayW32 (src/Copilot/Language/Operators/Extern.hs:115) externArrayW64 (src/Copilot/Language/Operators/Extern.hs:119) externArrayI8 (src/Copilot/Language/Operators/Extern.hs:123) externArrayI16 (src/Copilot/Language/Operators/Extern.hs:127) externArrayI32 (src/Copilot/Language/Operators/Extern.hs:131) externArrayI64 (src/Copilot/Language/Operators/Extern.hs:135) externArrayF (src/Copilot/Language/Operators/Extern.hs:139) externArrayD (src/Copilot/Language/Operators/Extern.hs:143) externStruct (src/Copilot/Language/Operators/Extern.hs:62) 33% ( 1 / 3) in 'Copilot.Language.Operators.Eq' Missing documentation for: == (src/Copilot/Language/Operators/Eq.hs:22) /= (src/Copilot/Language/Operators/Eq.hs:26) 8% ( 1 / 13) in 'Copilot.Language.Operators.Constant' Missing documentation for: constant (src/Copilot/Language/Operators/Constant.hs:32) constB (src/Copilot/Language/Operators/Constant.hs:37) constW8 (src/Copilot/Language/Operators/Constant.hs:39) constW16 (src/Copilot/Language/Operators/Constant.hs:41) constW32 (src/Copilot/Language/Operators/Constant.hs:43) constW64 (src/Copilot/Language/Operators/Constant.hs:45) constI8 (src/Copilot/Language/Operators/Constant.hs:47) constI16 (src/Copilot/Language/Operators/Constant.hs:49) constI32 (src/Copilot/Language/Operators/Constant.hs:51) constI64 (src/Copilot/Language/Operators/Constant.hs:53) constF (src/Copilot/Language/Operators/Constant.hs:55) constD (src/Copilot/Language/Operators/Constant.hs:57) 33% ( 1 / 3) in 'Copilot.Language.Operators.Cast' Missing documentation for: cast (src/Copilot/Language/Operators/Cast.hs:23) unsafeCast (src/Copilot/Language/Operators/Cast.hs:26) 12% ( 1 / 8) in 'Copilot.Language.Operators.Boolean' Missing documentation for: && (src/Copilot/Language/Operators/Boolean.hs:35) || (src/Copilot/Language/Operators/Boolean.hs:44) not (src/Copilot/Language/Operators/Boolean.hs:51) true (src/Copilot/Language/Operators/Boolean.hs:27) false (src/Copilot/Language/Operators/Boolean.hs:30) xor (src/Copilot/Language/Operators/Boolean.hs:55) ==> (src/Copilot/Language/Operators/Boolean.hs:58) 0% ( 0 / 2) in 'Copilot.Language.Operators.Propositional' Missing documentation for: Module header not (src/Copilot/Language/Operators/Propositional.hs:19) 0% ( 0 / 3) in 'Copilot.Language.Error' Missing documentation for: Module header impossible (src/Copilot/Language/Error.hs:11) badUsage (src/Copilot/Language/Error.hs:17) 33% ( 1 / 3) in 'Copilot.Language.Analyze' Missing documentation for: AnalyzeException (src/Copilot/Language/Analyze.hs:34) analyze (src/Copilot/Language/Analyze.hs:83) 50% ( 1 / 2) in 'Copilot.Language.Reify' Missing documentation for: reify (src/Copilot/Language/Reify.hs:33) 67% ( 2 / 3) in 'Copilot.Language.Interpret' Missing documentation for: csv (src/Copilot/Language/Interpret.hs:48) 58% ( 18 / 31) in 'Copilot.Language' Missing documentation for: impossible (src/Copilot/Language/Error.hs:11) badUsage (src/Copilot/Language/Error.hs:17) csv (src/Copilot/Language/Interpret.hs:48) Spec (src/Copilot/Language/Spec.hs:45) Stream (src/Copilot/Language/Stream.hs:26) observer (src/Copilot/Language/Spec.hs:106) trigger (src/Copilot/Language/Spec.hs:116) arg (src/Copilot/Language/Spec.hs:154) prop (src/Copilot/Language/Spec.hs:142) theorem (src/Copilot/Language/Spec.hs:148) forall (src/Copilot/Language/Spec.hs:130) exists (src/Copilot/Language/Spec.hs:133) prettyPrint (src/Copilot/Language.hs:64) 100% ( 2 / 2) in 'Copilot' Warning: Copilot.Language.Operators.Extern: could not find link destinations for: Arg Size Warning: Copilot.Language.Operators.Cast: could not find link destinations for: Cast UnsafeCast Warning: Copilot.Language.Operators.Propositional: could not find link destinations for: Negatable Warning: Copilot.Language.Reify: could not find link destinations for: Spec' Warning: Copilot.Language: could not find link destinations for: SpecItem Arg Prop Documentation created: dist/doc/html/copilot-language/index.html, dist/doc/html/copilot-language/copilot-language.txt Creating package registration file: /tmp/pkgConf-copilot-language-2.2207697603748051103.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/copilot-language-2.2.0-FiaIOPdIUFv3sJHOjIUpED Registering copilot-language-2.2.0... Installed copilot-language-2.2.0 Downloading copilot-libraries-2.2.0... Configuring copilot-libraries-2.2.0... Building copilot-libraries-2.2.0... Preprocessing library copilot-libraries-2.2.0... [ 1 of 10] Compiling Copilot.Library.Stacks ( src/Copilot/Library/Stacks.hs, dist/build/Copilot/Library/Stacks.o ) [ 2 of 10] Compiling Copilot.Library.Voting ( src/Copilot/Library/Voting.hs, dist/build/Copilot/Library/Voting.o ) [ 3 of 10] Compiling Copilot.Library.Utils ( src/Copilot/Library/Utils.hs, dist/build/Copilot/Library/Utils.o ) [ 4 of 10] Compiling Copilot.Library.MTL ( src/Copilot/Library/MTL.hs, dist/build/Copilot/Library/MTL.o ) src/Copilot/Library/MTL.hs:11:1: Warning: The import of ‘Copilot.Library.Utils’ is redundant except perhaps to import instances from ‘Copilot.Library.Utils’ To import instances alone, use: import Copilot.Library.Utils() src/Copilot/Library/MTL.hs:26:9: Warning: This binding for ‘s’ shadows the existing binding bound at src/Copilot/Library/MTL.hs:21:25 src/Copilot/Library/MTL.hs:28:13: Warning: This binding for ‘s’ shadows the existing binding bound at src/Copilot/Library/MTL.hs:21:25 src/Copilot/Library/MTL.hs:39:9: Warning: This binding for ‘s’ shadows the existing binding bound at src/Copilot/Library/MTL.hs:34:29 src/Copilot/Library/MTL.hs:41:13: Warning: This binding for ‘s’ shadows the existing binding bound at src/Copilot/Library/MTL.hs:34:29 src/Copilot/Library/MTL.hs:52:9: Warning: This binding for ‘s’ shadows the existing binding bound at src/Copilot/Library/MTL.hs:47:21 src/Copilot/Library/MTL.hs:54:13: Warning: This binding for ‘s’ shadows the existing binding bound at src/Copilot/Library/MTL.hs:47:21 src/Copilot/Library/MTL.hs:65:9: Warning: This binding for ‘s’ shadows the existing binding bound at src/Copilot/Library/MTL.hs:60:25 src/Copilot/Library/MTL.hs:67:13: Warning: This binding for ‘s’ shadows the existing binding bound at src/Copilot/Library/MTL.hs:60:25 [ 5 of 10] Compiling Copilot.Library.RegExp ( src/Copilot/Library/RegExp.hs, dist/build/Copilot/Library/RegExp.o ) [ 6 of 10] Compiling Copilot.Library.Statistics ( src/Copilot/Library/Statistics.hs, dist/build/Copilot/Library/Statistics.o ) [ 7 of 10] Compiling Copilot.Library.PTLTL ( src/Copilot/Library/PTLTL.hs, dist/build/Copilot/Library/PTLTL.o ) [ 8 of 10] Compiling Copilot.Library.LTL ( src/Copilot/Library/LTL.hs, dist/build/Copilot/Library/LTL.o ) [ 9 of 10] Compiling Copilot.Library.Clocks ( src/Copilot/Library/Clocks.hs, dist/build/Copilot/Library/Clocks.o ) [10 of 10] Compiling Copilot.Library.Libraries ( src/Copilot/Library/Libraries.hs, dist/build/Copilot/Library/Libraries.o ) In-place registering copilot-libraries-2.2.0... Running Haddock for copilot-libraries-2.2.0... Running hscolour for copilot-libraries-2.2.0... Preprocessing library copilot-libraries-2.2.0... Preprocessing library copilot-libraries-2.2.0... src/Copilot/Library/MTL.hs:11:1: Warning: The import of ‘Copilot.Library.Utils’ is redundant except perhaps to import instances from ‘Copilot.Library.Utils’ To import instances alone, use: import Copilot.Library.Utils() src/Copilot/Library/MTL.hs:26:9: Warning: This binding for ‘s’ shadows the existing binding bound at src/Copilot/Library/MTL.hs:21:25 src/Copilot/Library/MTL.hs:28:13: Warning: This binding for ‘s’ shadows the existing binding bound at src/Copilot/Library/MTL.hs:21:25 src/Copilot/Library/MTL.hs:39:9: Warning: This binding for ‘s’ shadows the existing binding bound at src/Copilot/Library/MTL.hs:34:29 src/Copilot/Library/MTL.hs:41:13: Warning: This binding for ‘s’ shadows the existing binding bound at src/Copilot/Library/MTL.hs:34:29 src/Copilot/Library/MTL.hs:52:9: Warning: This binding for ‘s’ shadows the existing binding bound at src/Copilot/Library/MTL.hs:47:21 src/Copilot/Library/MTL.hs:54:13: Warning: This binding for ‘s’ shadows the existing binding bound at src/Copilot/Library/MTL.hs:47:21 src/Copilot/Library/MTL.hs:65:9: Warning: This binding for ‘s’ shadows the existing binding bound at src/Copilot/Library/MTL.hs:60:25 src/Copilot/Library/MTL.hs:67:13: Warning: This binding for ‘s’ shadows the existing binding bound at src/Copilot/Library/MTL.hs:60:25 Haddock coverage: 100% ( 3 / 3) in 'Copilot.Library.Stacks' 100% ( 3 / 3) in 'Copilot.Library.Voting' 39% ( 7 / 18) in 'Copilot.Library.Utils' Missing documentation for: take (src/Copilot/Library/Utils.hs:27) tails (src/Copilot/Library/Utils.hs:22) cycle (src/Copilot/Library/Utils.hs:107) nfoldl (src/Copilot/Library/Utils.hs:31) nfoldl1 (src/Copilot/Library/Utils.hs:36) nfoldr (src/Copilot/Library/Utils.hs:41) nfoldr1 (src/Copilot/Library/Utils.hs:46) nscanl (src/Copilot/Library/Utils.hs:51) nscanr (src/Copilot/Library/Utils.hs:56) nscanl1 (src/Copilot/Library/Utils.hs:61) nscanr1 (src/Copilot/Library/Utils.hs:66) 0% ( 0 / 13) in 'Copilot.Library.MTL' Missing documentation for: Module header eventually (src/Copilot/Library/MTL.hs:19) eventuallyPrev (src/Copilot/Library/MTL.hs:32) always (src/Copilot/Library/MTL.hs:45) alwaysBeen (src/Copilot/Library/MTL.hs:58) until (src/Copilot/Library/MTL.hs:72) release (src/Copilot/Library/MTL.hs:100) since (src/Copilot/Library/MTL.hs:86) trigger (src/Copilot/Library/MTL.hs:116) matchingUntil (src/Copilot/Library/MTL.hs:133) matchingRelease (src/Copilot/Library/MTL.hs:152) matchingSince (src/Copilot/Library/MTL.hs:146) matchingTrigger (src/Copilot/Library/MTL.hs:165) 33% ( 1 / 3) in 'Copilot.Library.RegExp' Missing documentation for: copilotRegexp (src/Copilot/Library/RegExp.hs:336) copilotRegexpB (src/Copilot/Library/RegExp.hs:396) 100% ( 6 / 6) in 'Copilot.Library.Statistics' 100% ( 5 / 5) in 'Copilot.Library.PTLTL' 100% ( 6 / 6) in 'Copilot.Library.LTL' 100% ( 5 / 5) in 'Copilot.Library.Clocks' 100% ( 9 / 9) in 'Copilot.Library.Libraries' Warning: Copilot.Library.RegExp: could not find link destinations for: SymbolParser StreamName Warning: Copilot.Library.Clocks: could not find link destinations for: Period Phase Documentation created: dist/doc/html/copilot-libraries/index.html, dist/doc/html/copilot-libraries/copilot-libraries.txt Creating package registration file: /tmp/pkgConf-copilot-libraries-2.23218514861199075743.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/copilot-libraries-2.2.0-BMVh9NeccmM605RGmkOki9 Registering copilot-libraries-2.2.0... Installed copilot-libraries-2.2.0