Hackage :: [Package]

• Search 
• Browse
• What's new
• Upload
• User accounts

Build #1 for smtlib2-0.3

[all reports]

Package	smtlib2-0.3

Install	InstallOk
Docs	Ok
Tests	NotTried

Time submitted	2015-10-21 21:58:17.278606 UTC
Compiler	ghc-7.10.2
OS	linux
Arch	x86_64
Dependencies	transformers-0.4.2.0, text-1.2.1.3, tagged-0.8.1, process-1.2.3.0, mtl-2.2.1, data-fix-0.0.1, containers-0.5.6.2, constraints-0.4.1.3, bytestring-0.10.6.0, blaze-builder-0.4.0.1, base-4.8.1.0, attoparsec-0.12.1.6, atto-lisp-0.2.2.1, array-0.5.1.0
Flags	-withdatakinds withconstraints

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
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.0278722862233665123.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 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.220539999321264095060.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 newtype-0.2...
Building newtype-0.2...
Preprocessing library newtype-0.2...
[1 of 1] Compiling Control.Newtype  ( Control/Newtype.hs, dist/build/Control/Newtype.o )
In-place registering newtype-0.2...
Running Haddock for newtype-0.2...
Running hscolour for newtype-0.2...
Preprocessing library newtype-0.2...
Preprocessing library newtype-0.2...
Haddock coverage:
 100% (  9 /  9) in 'Control.Newtype'
Documentation created: dist/doc/html/newtype/index.html,
dist/doc/html/newtype/newtype.txt
Creating package registration file:
/tmp/pkgConf-newtype-013093833031129033333.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/newtype-0.2-L5sgrgNl4zTHP4bzoZ9sPq
Registering newtype-0.2...
Installed newtype-0.2
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.017220600491455590964.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 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.18857996311314218593.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 tagged-0.8.1...
Building tagged-0.8.1...
Preprocessing library tagged-0.8.1...
[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.1...
Running Haddock for tagged-0.8.1...
Running hscolour for tagged-0.8.1...
Preprocessing library tagged-0.8.1...
Preprocessing library tagged-0.8.1...
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:297)
Documentation created: dist/doc/html/tagged/index.html,
dist/doc/html/tagged/tagged.txt
Creating package registration file:
/tmp/pkgConf-tagged-0.8765930931124311574.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/tagged-0.8.1-6Tf46oJAk552xT73wGffBW
Registering tagged-0.8.1...
Installed tagged-0.8.1
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.11572723791104627321.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 constraints-0.4.1.3...
Building constraints-0.4.1.3...
Preprocessing library constraints-0.4.1.3...
[1 of 3] Compiling Data.Constraint  ( Data/Constraint.hs, dist/build/Data/Constraint.o )

Data/Constraint.hs:74: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 3] Compiling Data.Constraint.Unsafe ( Data/Constraint/Unsafe.hs, dist/build/Data/Constraint/Unsafe.o )
[3 of 3] Compiling Data.Constraint.Forall ( Data/Constraint/Forall.hs, dist/build/Data/Constraint/Forall.o )
In-place registering constraints-0.4.1.3...
Running Haddock for constraints-0.4.1.3...
Running hscolour for constraints-0.4.1.3...
Preprocessing library constraints-0.4.1.3...
Preprocessing library constraints-0.4.1.3...

Data/Constraint.hs:74: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% ( 22 / 23) in 'Data.Constraint'
  Missing documentation for:
    Constraint
 100% (  7 /  7) in 'Data.Constraint.Unsafe'
  44% (  4 /  9) in 'Data.Constraint.Forall'
  Missing documentation for:
    ForallF (Data/Constraint/Forall.hs:42)
    instF (Data/Constraint/Forall.hs:61)
    Forall1 (Data/Constraint/Forall.hs:47)
    ForallT (Data/Constraint/Forall.hs:49)
    instT (Data/Constraint/Forall.hs:68)
Warning: Data.Constraint.Forall: could not find link destinations for:
    A B F M
Documentation created: dist/doc/html/constraints/index.html,
dist/doc/html/constraints/constraints.txt
Creating package registration file:
/tmp/pkgConf-constraints-0.4.13102425891211721386.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/constraints-0.4.1.3-07HnwlrvTKI07c3nLjwCpY
Registering constraints-0.4.1.3...
Installed constraints-0.4.1.3
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.01245036421877068972.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 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.021411536741607500335.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.38618389891113331867.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 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.12042830296955798986.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 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.45107701361212220435.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 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.11254390769959112711.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.216228382871617869388.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
Downloading smtlib2-0.3...
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-0193088109682900658.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/smtlib2-0.3-D1C5UhAaOoiEjRlbUXIVdh
Registering smtlib2-0.3...
Installed smtlib2-0.3

Test log

No test log was submitted for this report.