Build #1 for copilot-libraries-2.2.0

[all reports]

Package copilot-libraries-2.2.0
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2015-11-12 09:06:36.411973 UTC
Compiler ghc-7.10.2
OS linux
Arch x86_64
Dependencies parsec-3.1.9, mtl-2.2.1, copilot-language-2.2.0, containers-0.5.6.2, base-4.8.1.0, array-0.5.1.0
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

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