Resolving dependencies...
Configuring HUnit-1.3.0.0...
Building HUnit-1.3.0.0...
Preprocessing library HUnit-1.3.0.0...
[1 of 5] Compiling Test.HUnit.Terminal ( Test/HUnit/Terminal.hs, dist/build/Test/HUnit/Terminal.o )
[2 of 5] Compiling Test.HUnit.Lang  ( Test/HUnit/Lang.hs, dist/build/Test/HUnit/Lang.o )
[3 of 5] Compiling Test.HUnit.Base  ( Test/HUnit/Base.hs, dist/build/Test/HUnit/Base.o )
[4 of 5] Compiling Test.HUnit.Text  ( Test/HUnit/Text.hs, dist/build/Test/HUnit/Text.o )
[5 of 5] Compiling Test.HUnit       ( Test/HUnit.hs, dist/build/Test/HUnit.o )
In-place registering HUnit-1.3.0.0...
Running Haddock for HUnit-1.3.0.0...
Running hscolour for HUnit-1.3.0.0...
Preprocessing library HUnit-1.3.0.0...
Preprocessing library HUnit-1.3.0.0...
Haddock coverage:
 100% (  2 /  2) in 'Test.HUnit.Terminal'
  56% (  5 /  9) in 'Test.HUnit.Lang'
  Missing documentation for:
    Module header
    Location (Test/HUnit/Lang.hs:38)
    Result (Test/HUnit/Lang.hs:74)
    HUnitFailure (Test/HUnit/Lang.hs:44)
  97% ( 33 / 34) in 'Test.HUnit.Base'
  Missing documentation for:
    Location (Test/HUnit/Lang.hs:38)
 100% (  8 /  8) in 'Test.HUnit.Text'
 100% (  3 /  3) in 'Test.HUnit'
Documentation created: dist/doc/html/HUnit/index.html,
dist/doc/html/HUnit/HUnit.txt
Creating package registration file:
/tmp/pkgConf-HUnit-1.3.0278722862233665123.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/HUnit-1.3.0.0-DDLSMCRs3jyLBDbJPCH01j
Registering HUnit-1.3.0.0...
Installed HUnit-1.3.0.0
Configuring applicative-extras-0.1.8...
Building applicative-extras-0.1.8...
Preprocessing library applicative-extras-0.1.8...
[1 of 3] Compiling Control.Applicative.Backwards ( Control/Applicative/Backwards.hs, dist/build/Control/Applicative/Backwards.o )
[2 of 3] Compiling Control.Applicative.Error ( Control/Applicative/Error.hs, dist/build/Control/Applicative/Error.o )
[3 of 3] Compiling Control.Applicative.Compose ( Control/Applicative/Compose.hs, dist/build/Control/Applicative/Compose.o )
In-place registering applicative-extras-0.1.8...
Running Haddock for applicative-extras-0.1.8...
Running hscolour for applicative-extras-0.1.8...
Preprocessing library applicative-extras-0.1.8...
Preprocessing library applicative-extras-0.1.8...
Haddock coverage:
   0% (  0 /  6) in 'Control.Applicative.Backwards'
  Missing documentation for:
    Module header
    Backwards (Control/Applicative/Backwards.hs:9)
     (Control/Applicative/Backwards.hs:11)
     (Control/Applicative/Backwards.hs:14)
     (Control/Applicative/Backwards.hs:18)
     (Control/Applicative/Backwards.hs:25)
  40% (  4 / 10) in 'Control.Applicative.Error'
  Missing documentation for:
    Module header
    ErrorMsg (Control/Applicative/Error.hs:10)
     (Control/Applicative/Error.hs:12)
     (Control/Applicative/Error.hs:16)
     (Control/Applicative/Error.hs:23)
    maybeRead (Control/Applicative/Error.hs:29)
  25% (  1 /  4) in 'Control.Applicative.Compose'
  Missing documentation for:
    Module header
     (Control/Applicative/Compose.hs:9)
     (Control/Applicative/Compose.hs:13)
Documentation created: dist/doc/html/applicative-extras/index.html,
dist/doc/html/applicative-extras/applicative-extras.txt
Creating package registration file:
/tmp/pkgConf-applicative-extras-0.13524062191600028624.8
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/applicative-extras-0.1.8-GuDuiiwMTTVLsSgJqNym44
Registering applicative-extras-0.1.8...
Installed applicative-extras-0.1.8
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.210966897722086206725.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 text-1.2.2.0...
Building text-1.2.2.0...
Preprocessing library text-1.2.2.0...
[ 1 of 44] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o )
[ 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 )
[ 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 )
[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 )
[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 )
[40 of 44] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o )
[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 )
[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 )
In-place registering text-1.2.2.0...
Running Haddock for text-1.2.2.0...
Running hscolour for text-1.2.2.0...
Preprocessing library text-1.2.2.0...
Preprocessing library text-1.2.2.0...
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% (127 /127) 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% (128 /129) 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:301)
 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.21156541312318561886.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/text-1.2.2.0-BKzOMwCPkuv5n8xwLM3CQG
Registering text-1.2.2.0...
Installed text-1.2.2.0
Configuring parsec-3.1.9...
Building parsec-3.1.9...
Preprocessing library parsec-3.1.9...
[ 1 of 25] Compiling Text.Parsec.Pos  ( Text/Parsec/Pos.hs, dist/build/Text/Parsec/Pos.o )
[ 2 of 25] Compiling Text.Parsec.Error ( Text/Parsec/Error.hs, dist/build/Text/Parsec/Error.o )
[ 3 of 25] Compiling Text.ParserCombinators.Parsec.Error ( Text/ParserCombinators/Parsec/Error.hs, dist/build/Text/ParserCombinators/Parsec/Error.o )
[ 4 of 25] Compiling Text.Parsec.Prim ( Text/Parsec/Prim.hs, dist/build/Text/Parsec/Prim.o )
[ 5 of 25] Compiling Text.Parsec.Combinator ( Text/Parsec/Combinator.hs, dist/build/Text/Parsec/Combinator.o )
[ 6 of 25] Compiling Text.ParserCombinators.Parsec.Combinator ( Text/ParserCombinators/Parsec/Combinator.hs, dist/build/Text/ParserCombinators/Parsec/Combinator.o )
[ 7 of 25] Compiling Text.Parsec.String ( Text/Parsec/String.hs, dist/build/Text/Parsec/String.o )
[ 8 of 25] Compiling Text.Parsec.ByteString ( Text/Parsec/ByteString.hs, dist/build/Text/Parsec/ByteString.o )
[ 9 of 25] Compiling Text.Parsec.ByteString.Lazy ( Text/Parsec/ByteString/Lazy.hs, dist/build/Text/Parsec/ByteString/Lazy.o )
[10 of 25] Compiling Text.Parsec.Text ( Text/Parsec/Text.hs, dist/build/Text/Parsec/Text.o )
[11 of 25] Compiling Text.Parsec.Text.Lazy ( Text/Parsec/Text/Lazy.hs, dist/build/Text/Parsec/Text/Lazy.o )
[12 of 25] Compiling Text.Parsec.Expr ( Text/Parsec/Expr.hs, dist/build/Text/Parsec/Expr.o )
[13 of 25] Compiling Text.ParserCombinators.Parsec.Prim ( Text/ParserCombinators/Parsec/Prim.hs, dist/build/Text/ParserCombinators/Parsec/Prim.o )
[14 of 25] Compiling Text.ParserCombinators.Parsec.Pos ( Text/ParserCombinators/Parsec/Pos.hs, dist/build/Text/ParserCombinators/Parsec/Pos.o )
[15 of 25] Compiling Text.Parsec.Char ( Text/Parsec/Char.hs, dist/build/Text/Parsec/Char.o )
[16 of 25] Compiling Text.Parsec.Token ( Text/Parsec/Token.hs, dist/build/Text/Parsec/Token.o )
[17 of 25] Compiling Text.ParserCombinators.Parsec.Token ( Text/ParserCombinators/Parsec/Token.hs, dist/build/Text/ParserCombinators/Parsec/Token.o )
[18 of 25] Compiling Text.ParserCombinators.Parsec.Char ( Text/ParserCombinators/Parsec/Char.hs, dist/build/Text/ParserCombinators/Parsec/Char.o )
[19 of 25] Compiling Text.ParserCombinators.Parsec ( Text/ParserCombinators/Parsec.hs, dist/build/Text/ParserCombinators/Parsec.o )
[20 of 25] Compiling Text.ParserCombinators.Parsec.Expr ( Text/ParserCombinators/Parsec/Expr.hs, dist/build/Text/ParserCombinators/Parsec/Expr.o )
[21 of 25] Compiling Text.Parsec      ( Text/Parsec.hs, dist/build/Text/Parsec.o )
[22 of 25] Compiling Text.Parsec.Language ( Text/Parsec/Language.hs, dist/build/Text/Parsec/Language.o )

Text/Parsec/Language.hs:44:30: Warning: Tab character

Text/Parsec/Language.hs:45:26: Warning: Tab character

Text/Parsec/Language.hs:46:27: Warning: Tab character

Text/Parsec/Language.hs:58:1: Warning: Tab character

Text/Parsec/Language.hs:58:31: Warning: Tab character

Text/Parsec/Language.hs:59:1: Warning: Tab character

Text/Parsec/Language.hs:59:29: Warning: Tab character

Text/Parsec/Language.hs:60:1: Warning: Tab character

Text/Parsec/Language.hs:60:30: Warning: Tab character

Text/Parsec/Language.hs:61:1: Warning: Tab character

Text/Parsec/Language.hs:62:1: Warning: Tab character

Text/Parsec/Language.hs:62:29: Warning: Tab character

Text/Parsec/Language.hs:63:1: Warning: Tab character

Text/Parsec/Language.hs:63:30: Warning: Tab character

Text/Parsec/Language.hs:64:1: Warning: Tab character

Text/Parsec/Language.hs:65:1: Warning: Tab character

Text/Parsec/Language.hs:67:1: Warning: Tab character

Text/Parsec/Language.hs:109:1: Warning: Tab character

Text/Parsec/Language.hs:109:30: Warning: Tab character

Text/Parsec/Language.hs:110:1: Warning: Tab character

Text/Parsec/Language.hs:110:32: Warning: Tab character

Text/Parsec/Language.hs:111:5: Warning: Tab character

Text/Parsec/Language.hs:112:5: Warning: Tab character

Text/Parsec/Language.hs:113:5: Warning: Tab character

Text/Parsec/Language.hs:114:5: Warning: Tab character

Text/Parsec/Language.hs:146:1: Warning: Tab character

Text/Parsec/Language.hs:147:1: Warning: Tab character

Text/Parsec/Language.hs:148:1: Warning: Tab character

Text/Parsec/Language.hs:150:1: Warning: Tab character
[23 of 25] Compiling Text.ParserCombinators.Parsec.Language ( Text/ParserCombinators/Parsec/Language.hs, dist/build/Text/ParserCombinators/Parsec/Language.o )
[24 of 25] Compiling Text.Parsec.Perm ( Text/Parsec/Perm.hs, dist/build/Text/Parsec/Perm.o )
[25 of 25] Compiling Text.ParserCombinators.Parsec.Perm ( Text/ParserCombinators/Parsec/Perm.hs, dist/build/Text/ParserCombinators/Parsec/Perm.o )
In-place registering parsec-3.1.9...
Running Haddock for parsec-3.1.9...
Running hscolour for parsec-3.1.9...
Preprocessing library parsec-3.1.9...
Preprocessing library parsec-3.1.9...

Text/Parsec/Language.hs:44:30: Warning: Tab character

Text/Parsec/Language.hs:45:26: Warning: Tab character

Text/Parsec/Language.hs:46:27: Warning: Tab character

Text/Parsec/Language.hs:58:1: Warning: Tab character

Text/Parsec/Language.hs:58:31: Warning: Tab character

Text/Parsec/Language.hs:59:1: Warning: Tab character

Text/Parsec/Language.hs:59:29: Warning: Tab character

Text/Parsec/Language.hs:60:1: Warning: Tab character

Text/Parsec/Language.hs:60:30: Warning: Tab character

Text/Parsec/Language.hs:61:1: Warning: Tab character

Text/Parsec/Language.hs:62:1: Warning: Tab character

Text/Parsec/Language.hs:62:29: Warning: Tab character

Text/Parsec/Language.hs:63:1: Warning: Tab character

Text/Parsec/Language.hs:63:30: Warning: Tab character

Text/Parsec/Language.hs:64:1: Warning: Tab character

Text/Parsec/Language.hs:65:1: Warning: Tab character

Text/Parsec/Language.hs:67:1: Warning: Tab character

Text/Parsec/Language.hs:109:1: Warning: Tab character

Text/Parsec/Language.hs:109:30: Warning: Tab character

Text/Parsec/Language.hs:110:1: Warning: Tab character

Text/Parsec/Language.hs:110:32: Warning: Tab character

Text/Parsec/Language.hs:111:5: Warning: Tab character

Text/Parsec/Language.hs:112:5: Warning: Tab character

Text/Parsec/Language.hs:113:5: Warning: Tab character

Text/Parsec/Language.hs:114:5: Warning: Tab character

Text/Parsec/Language.hs:146:1: Warning: Tab character

Text/Parsec/Language.hs:147:1: Warning: Tab character

Text/Parsec/Language.hs:148:1: Warning: Tab character

Text/Parsec/Language.hs:150:1: Warning: Tab character
Haddock coverage:
  82% ( 14 / 17) in 'Text.Parsec.Pos'
  Missing documentation for:
    SourceName (Text/Parsec/Pos.hs:35)
    Line (Text/Parsec/Pos.hs:36)
    Column (Text/Parsec/Pos.hs:37)
  43% (  6 / 14) in 'Text.Parsec.Error'
  Missing documentation for:
    errorIsUnknown (Text/Parsec/Error.hs:110)
    showErrorMessages (Text/Parsec/Error.hs:173)
    newErrorMessage (Text/Parsec/Error.hs:120)
    newErrorUnknown (Text/Parsec/Error.hs:116)
    addErrorMessage (Text/Parsec/Error.hs:124)
    setErrorPos (Text/Parsec/Error.hs:128)
    setErrorMessage (Text/Parsec/Error.hs:132)
    mergeError (Text/Parsec/Error.hs:136)
  38% (  6 / 16) in 'Text.ParserCombinators.Parsec.Error'
  Missing documentation for:
    messageCompare (Text/ParserCombinators/Parsec/Error.hs:36)
    messageEq (Text/ParserCombinators/Parsec/Error.hs:39)
    errorIsUnknown (Text/Parsec/Error.hs:110)
    showErrorMessages (Text/Parsec/Error.hs:173)
    newErrorMessage (Text/Parsec/Error.hs:120)
    newErrorUnknown (Text/Parsec/Error.hs:116)
    addErrorMessage (Text/Parsec/Error.hs:124)
    setErrorPos (Text/Parsec/Error.hs:128)
    setErrorMessage (Text/Parsec/Error.hs:132)
    mergeError (Text/Parsec/Error.hs:136)
  64% ( 32 / 50) in 'Text.Parsec.Prim'
  Missing documentation for:
    unknownError (Text/Parsec/Prim.hs:91)
    sysUnExpectError (Text/Parsec/Prim.hs:94)
    Parsec (Text/Parsec/Prim.hs:152)
    Consumed (Text/Parsec/Prim.hs:154)
    Reply (Text/Parsec/Prim.hs:157)
    State (Text/Parsec/Prim.hs:160)
    parsecMap (Text/Parsec/Prim.hs:177)
    parserReturn (Text/Parsec/Prim.hs:221)
    parserBind (Text/Parsec/Prim.hs:226)
    mergeErrorReply (Text/Parsec/Prim.hs:266)
    parserFail (Text/Parsec/Prim.hs:272)
    parserPlus (Text/Parsec/Prim.hs:290)
    labels (Text/Parsec/Prim.hs:345)
    tokens (Text/Parsec/Prim.hs:396)
    tokenPrimEx (Text/Parsec/Prim.hs:533)
    manyAccum (Text/Parsec/Prim.hs:592)
    runPT (Text/Parsec/Prim.hs:610)
    runP (Text/Parsec/Prim.hs:624)
 100% ( 24 / 24) in 'Text.Parsec.Combinator'
 100% ( 24 / 24) in 'Text.ParserCombinators.Parsec.Combinator'
  50% (  2 /  4) in 'Text.Parsec.String'
  Missing documentation for:
    Parser (Text/Parsec/String.hs:22)
    GenParser (Text/Parsec/String.hs:23)
  50% (  2 /  4) in 'Text.Parsec.ByteString'
  Missing documentation for:
    Parser (Text/Parsec/ByteString.hs:24)
    GenParser (Text/Parsec/ByteString.hs:25)
  50% (  2 /  4) in 'Text.Parsec.ByteString.Lazy'
  Missing documentation for:
    Parser (Text/Parsec/ByteString/Lazy.hs:24)
    GenParser (Text/Parsec/ByteString/Lazy.hs:25)
  33% (  1 /  3) in 'Text.Parsec.Text'
  Missing documentation for:
    Parser (Text/Parsec/Text.hs:23)
    GenParser (Text/Parsec/Text.hs:24)
  33% (  1 /  3) in 'Text.Parsec.Text.Lazy'
  Missing documentation for:
    Parser (Text/Parsec/Text/Lazy.hs:23)
    GenParser (Text/Parsec/Text/Lazy.hs:24)
 100% (  5 /  5) in 'Text.Parsec.Expr'
  70% ( 21 / 30) in 'Text.ParserCombinators.Parsec.Prim'
  Missing documentation for:
    Parser (Text/Parsec/String.hs:22)
    GenParser (Text/Parsec/String.hs:23)
    runParser (Text/ParserCombinators/Parsec/Prim.hs:57)
    tokens (Text/Parsec/Prim.hs:396)
    tokenPrimEx (Text/Parsec/Prim.hs:533)
    try (Text/ParserCombinators/Parsec/Prim.hs:64)
    labels (Text/Parsec/Prim.hs:345)
    pzero (Text/ParserCombinators/Parsec/Prim.hs:54)
    State (Text/Parsec/Prim.hs:160)
  82% ( 14 / 17) in 'Text.ParserCombinators.Parsec.Pos'
  Missing documentation for:
    SourceName (Text/Parsec/Pos.hs:35)
    Line (Text/Parsec/Pos.hs:36)
    Column (Text/Parsec/Pos.hs:37)
 100% ( 20 / 20) in 'Text.Parsec.Char'
  67% (  4 /  6) in 'Text.Parsec.Token'
  Missing documentation for:
    LanguageDef (Text/Parsec/Token.hs:38)
    TokenParser (Text/Parsec/Token.hs:106)
  67% (  4 /  6) in 'Text.ParserCombinators.Parsec.Token'
  Missing documentation for:
    LanguageDef (Text/Parsec/Token.hs:38)
    TokenParser (Text/Parsec/Token.hs:106)
  95% ( 18 / 19) in 'Text.ParserCombinators.Parsec.Char'
  Missing documentation for:
    CharParser (Text/ParserCombinators/Parsec/Char.hs:40)
  83% ( 15 / 18) in 'Text.ParserCombinators.Parsec'
  Missing documentation for:
    SourceName (Text/Parsec/Pos.hs:35)
    Line (Text/Parsec/Pos.hs:36)
    Column (Text/Parsec/Pos.hs:37)
  40% (  2 /  5) in 'Text.ParserCombinators.Parsec.Expr'
  Missing documentation for:
    Operator (Text/ParserCombinators/Parsec/Expr.hs:28)
    OperatorTable (Text/ParserCombinators/Parsec/Expr.hs:32)
    buildExpressionParser (Text/ParserCombinators/Parsec/Expr.hs:39)
  78% ( 73 / 94) in 'Text.Parsec'
  Missing documentation for:
    Parsec (Text/Parsec/Prim.hs:152)
    tokens (Text/Parsec/Prim.hs:396)
    labels (Text/Parsec/Prim.hs:345)
    SourceName (Text/Parsec/Pos.hs:35)
    Line (Text/Parsec/Pos.hs:36)
    Column (Text/Parsec/Pos.hs:37)
    manyAccum (Text/Parsec/Prim.hs:592)
    tokenPrimEx (Text/Parsec/Prim.hs:533)
    runPT (Text/Parsec/Prim.hs:610)
    unknownError (Text/Parsec/Prim.hs:91)
    sysUnExpectError (Text/Parsec/Prim.hs:94)
    mergeErrorReply (Text/Parsec/Prim.hs:266)
    runP (Text/Parsec/Prim.hs:624)
    Consumed (Text/Parsec/Prim.hs:154)
    Reply (Text/Parsec/Prim.hs:157)
    State (Text/Parsec/Prim.hs:160)
    parsecMap (Text/Parsec/Prim.hs:177)
    parserReturn (Text/Parsec/Prim.hs:221)
    parserBind (Text/Parsec/Prim.hs:226)
    parserFail (Text/Parsec/Prim.hs:272)
    parserPlus (Text/Parsec/Prim.hs:290)
  80% (  8 / 10) in 'Text.Parsec.Language'
  Missing documentation for:
    emptyDef (Text/Parsec/Language.hs:79)
    LanguageDef (Text/Parsec/Token.hs:38)
  80% (  8 / 10) in 'Text.ParserCombinators.Parsec.Language'
  Missing documentation for:
    emptyDef (Text/Parsec/Language.hs:79)
    LanguageDef (Text/Parsec/Token.hs:38)
 100% (  8 /  8) in 'Text.Parsec.Perm'
 100% (  7 /  7) in 'Text.ParserCombinators.Parsec.Perm'
Documentation created: dist/doc/html/parsec/index.html,
dist/doc/html/parsec/parsec.txt
Creating package registration file:
/tmp/pkgConf-parsec-3.1109263728910150109.9
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/parsec-3.1.9-AqYX0bfDxT5E4cHIEfeJIN
Registering parsec-3.1.9...
Installed parsec-3.1.9
Downloading atp-haskell-1.10...
Configuring atp-haskell-1.10...
Building atp-haskell-1.10...
Preprocessing library atp-haskell-1.10...
[ 1 of 25] Compiling Data.Logic.ATP.Pretty ( src/Data/Logic/ATP/Pretty.hs, dist/build/Data/Logic/ATP/Pretty.o )
[ 2 of 25] Compiling Data.Logic.ATP.Formulas ( src/Data/Logic/ATP/Formulas.hs, dist/build/Data/Logic/ATP/Formulas.o )
[ 3 of 25] Compiling Data.Logic.ATP.Lit ( src/Data/Logic/ATP/Lit.hs, dist/build/Data/Logic/ATP/Lit.o )
[ 4 of 25] Compiling Data.Logic.ATP.Term ( src/Data/Logic/ATP/Term.hs, dist/build/Data/Logic/ATP/Term.o )
[ 5 of 25] Compiling Data.Logic.ATP.Apply ( src/Data/Logic/ATP/Apply.hs, dist/build/Data/Logic/ATP/Apply.o )
[ 6 of 25] Compiling Data.Logic.ATP.Equate ( src/Data/Logic/ATP/Equate.hs, dist/build/Data/Logic/ATP/Equate.o )
[ 7 of 25] Compiling Data.Logic.ATP.LitWrapper ( src/Data/Logic/ATP/LitWrapper.hs, dist/build/Data/Logic/ATP/LitWrapper.o )
[ 8 of 25] Compiling Data.Logic.ATP.Lib ( src/Data/Logic/ATP/Lib.hs, dist/build/Data/Logic/ATP/Lib.o )
[ 9 of 25] Compiling Data.Logic.ATP.Prop ( src/Data/Logic/ATP/Prop.hs, dist/build/Data/Logic/ATP/Prop.o )

src/Data/Logic/ATP/Prop.hs:499:7: Warning:
    Defined but not used: ‘byPrec’

src/Data/Logic/ATP/Prop.hs:504:7: Warning:
    Defined but not used: ‘binops’

src/Data/Logic/ATP/Prop.hs:515:7: Warning:
    Defined but not used: ‘preops’
[10 of 25] Compiling Data.Logic.ATP.DefCNF ( src/Data/Logic/ATP/DefCNF.hs, dist/build/Data/Logic/ATP/DefCNF.o )
[11 of 25] Compiling Data.Logic.ATP.Quantified ( src/Data/Logic/ATP/Quantified.hs, dist/build/Data/Logic/ATP/Quantified.o )
[12 of 25] Compiling Data.Logic.ATP.PropExamples ( src/Data/Logic/ATP/PropExamples.hs, dist/build/Data/Logic/ATP/PropExamples.o )

src/Data/Logic/ATP/PropExamples.hs:66:1: Warning:
    Defined but not used: ‘halfcarry’

src/Data/Logic/ATP/PropExamples.hs:69:1: Warning:
    Defined but not used: ‘ha’

src/Data/Logic/ATP/PropExamples.hs:129:1: Warning:
    Defined but not used: ‘ripplecarry1’

src/Data/Logic/ATP/PropExamples.hs:134:1: Warning:
    Defined but not used: ‘mux’

src/Data/Logic/ATP/PropExamples.hs:137:1: Warning:
    Defined but not used: ‘offset’

src/Data/Logic/ATP/PropExamples.hs:149:1: Warning:
    Defined but not used: ‘carryselect’

src/Data/Logic/ATP/PropExamples.hs:164:1: Warning:
    Defined but not used: ‘mk_adder_test’
[13 of 25] Compiling Data.Logic.ATP.DP ( src/Data/Logic/ATP/DP.hs, dist/build/Data/Logic/ATP/DP.o )

src/Data/Logic/ATP/DP.hs:30:10: Warning:
    Orphan instance: instance NumAtom (Knows Integer)
    To avoid this
        move the instance declaration to the module of the class or of the type, or
        wrap the type with a newtype and declare the instance on the new type.
[14 of 25] Compiling Data.Logic.ATP.FOL ( src/Data/Logic/ATP/FOL.hs, dist/build/Data/Logic/ATP/FOL.o )
[15 of 25] Compiling Data.Logic.ATP.Prolog ( src/Data/Logic/ATP/Prolog.hs, dist/build/Data/Logic/ATP/Prolog.o )
[16 of 25] Compiling Data.Logic.ATP.Skolem ( src/Data/Logic/ATP/Skolem.hs, dist/build/Data/Logic/ATP/Skolem.o )
[17 of 25] Compiling Data.Logic.ATP.Parser ( src/Data/Logic/ATP/Parser.hs, dist/build/Data/Logic/ATP/Parser.o )

src/Data/Logic/ATP/Parser.hs:28:10: Warning:
    Orphan instance: instance Pretty ParseError
    To avoid this
        move the instance declaration to the module of the class or of the type, or
        wrap the type with a newtype and declare the instance on the new type.

src/Data/Logic/ATP/Parser.hs:31:10: Warning:
    Orphan instance: instance Pretty Message
    To avoid this
        move the instance declaration to the module of the class or of the type, or
        wrap the type with a newtype and declare the instance on the new type.
[18 of 25] Compiling Data.Logic.ATP.ParserTests ( src/Data/Logic/ATP/ParserTests.hs, dist/build/Data/Logic/ATP/ParserTests.o )
[19 of 25] Compiling Data.Logic.ATP.Herbrand ( src/Data/Logic/ATP/Herbrand.hs, dist/build/Data/Logic/ATP/Herbrand.o )
[20 of 25] Compiling Data.Logic.ATP.Unif ( src/Data/Logic/ATP/Unif.hs, dist/build/Data/Logic/ATP/Unif.o )
[21 of 25] Compiling Data.Logic.ATP.Tableaux ( src/Data/Logic/ATP/Tableaux.hs, dist/build/Data/Logic/ATP/Tableaux.o )

src/Data/Logic/ATP/Tableaux.hs:295:1: Warning:
    Defined but not used: ‘splittab’
[22 of 25] Compiling Data.Logic.ATP.Resolution ( src/Data/Logic/ATP/Resolution.hs, dist/build/Data/Logic/ATP/Resolution.o )
[23 of 25] Compiling Data.Logic.ATP.Meson ( src/Data/Logic/ATP/Meson.hs, dist/build/Data/Logic/ATP/Meson.o )
[24 of 25] Compiling Data.Logic.ATP.Equal ( src/Data/Logic/ATP/Equal.hs, dist/build/Data/Logic/ATP/Equal.o )

src/Data/Logic/ATP/Equal.hs:229:1: Warning:
    Defined but not used: ‘testEqual04’
[25 of 25] Compiling Data.Logic.ATP   ( src/Data/Logic/ATP.hs, dist/build/Data/Logic/ATP.o )
In-place registering atp-haskell-1.10...
Running Haddock for atp-haskell-1.10...
Running hscolour for atp-haskell-1.10...
Preprocessing library atp-haskell-1.10...
Preprocessing library atp-haskell-1.10...

src/Data/Logic/ATP/Prop.hs:499:7: Warning:
    Defined but not used: ‘byPrec’

src/Data/Logic/ATP/Prop.hs:504:7: Warning:
    Defined but not used: ‘binops’

src/Data/Logic/ATP/Prop.hs:515:7: Warning:
    Defined but not used: ‘preops’

src/Data/Logic/ATP/PropExamples.hs:66:1: Warning:
    Defined but not used: ‘halfcarry’

src/Data/Logic/ATP/PropExamples.hs:69:1: Warning:
    Defined but not used: ‘ha’

src/Data/Logic/ATP/PropExamples.hs:129:1: Warning:
    Defined but not used: ‘ripplecarry1’

src/Data/Logic/ATP/PropExamples.hs:134:1: Warning:
    Defined but not used: ‘mux’

src/Data/Logic/ATP/PropExamples.hs:137:1: Warning:
    Defined but not used: ‘offset’

src/Data/Logic/ATP/PropExamples.hs:149:1: Warning:
    Defined but not used: ‘carryselect’

src/Data/Logic/ATP/PropExamples.hs:164:1: Warning:
    Defined but not used: ‘mk_adder_test’

src/Data/Logic/ATP/DP.hs:30:10: Warning:
    Orphan instance: instance NumAtom (Knows Integer)
    To avoid this
        move the instance declaration to the module of the class or of the type, or
        wrap the type with a newtype and declare the instance on the new type.

src/Data/Logic/ATP/Parser.hs:28:10: Warning:
    Orphan instance: instance Pretty ParseError
    To avoid this
        move the instance declaration to the module of the class or of the type, or
        wrap the type with a newtype and declare the instance on the new type.

src/Data/Logic/ATP/Parser.hs:31:10: Warning:
    Orphan instance: instance Pretty Message
    To avoid this
        move the instance declaration to the module of the class or of the type, or
        wrap the type with a newtype and declare the instance on the new type.
Haddock coverage:
  36% (  8 / 22) in 'Data.Logic.ATP.Pretty'
  Missing documentation for:
    Module header
    Associativity (src/Data/Logic/ATP/Pretty.hs:67)
    testEquals (src/Data/Logic/ATP/Pretty.hs:121)
    leafPrec (src/Data/Logic/ATP/Pretty.hs:124)
    boolPrec (src/Data/Logic/ATP/Pretty.hs:139)
    notPrec (src/Data/Logic/ATP/Pretty.hs:129)
    atomPrec (src/Data/Logic/ATP/Pretty.hs:127)
    andPrec (src/Data/Logic/ATP/Pretty.hs:131)
    orPrec (src/Data/Logic/ATP/Pretty.hs:133)
    impPrec (src/Data/Logic/ATP/Pretty.hs:135)
    iffPrec (src/Data/Logic/ATP/Pretty.hs:137)
    quantPrec (src/Data/Logic/ATP/Pretty.hs:141)
    eqPrec (src/Data/Logic/ATP/Pretty.hs:143)
    pAppPrec (src/Data/Logic/ATP/Pretty.hs:145)
  50% (  4 /  8) in 'Data.Logic.ATP.Formulas'
  Missing documentation for:
    ⊥ (src/Data/Logic/ATP/Formulas.hs:50)
    ⊤ (src/Data/Logic/ATP/Formulas.hs:47)
    fromBool (src/Data/Logic/ATP/Formulas.hs:53)
    prettyBool (src/Data/Logic/ATP/Formulas.hs:57)
  74% ( 17 / 23) in 'Data.Logic.ATP.Lit'
  Missing documentation for:
    positive (src/Data/Logic/ATP/Lit.hs:78)
    foldLiteral (src/Data/Logic/ATP/Lit.hs:81)
    precedenceLiteral (src/Data/Logic/ATP/Lit.hs:126)
    associativityLiteral (src/Data/Logic/ATP/Lit.hs:128)
    showLiteral (src/Data/Logic/ATP/Lit.hs:140)
    Lit (src/Data/Logic/ATP/Lit.hs:171)
  61% ( 14 / 23) in 'Data.Logic.ATP.Term'
  Missing documentation for:
    IsVariable (src/Data/Logic/ATP/Term.hs:58)
    V (src/Data/Logic/ATP/Term.hs:78)
    IsFunction (src/Data/Logic/ATP/Term.hs:101)
    Arity (src/Data/Logic/ATP/Term.hs:103)
    precedenceTerm (src/Data/Logic/ATP/Term.hs:162)
    associativityTerm (src/Data/Logic/ATP/Term.hs:165)
    funcs (src/Data/Logic/ATP/Term.hs:186)
    Term (src/Data/Logic/ATP/Term.hs:189)
    testTerm (src/Data/Logic/ATP/Term.hs:228)
  89% ( 16 / 18) in 'Data.Logic.ATP.Apply'
  Missing documentation for:
    Module header
    foldApply (src/Data/Logic/ATP/Apply.hs:78)
  79% ( 11 / 14) in 'Data.Logic.ATP.Equate'
  Missing documentation for:
    showEquate (src/Data/Logic/ATP/Equate.hs:84)
    precedenceEquate (src/Data/Logic/ATP/Equate.hs:92)
    associativityEquate (src/Data/Logic/ATP/Equate.hs:95)
  50% (  1 /  2) in 'Data.Logic.ATP.LitWrapper'
  Missing documentation for:
    Module header
  25% ( 11 / 44) in 'Data.Logic.ATP.Lib'
  Missing documentation for:
    Module header
    failing (src/Data/Logic/ATP/Lib.hs:82)
    slInsert (src/Data/Logic/ATP/Lib.hs:140)
    prettyFoldable (src/Data/Logic/ATP/Lib.hs:143)
    setAny (src/Data/Logic/ATP/Lib.hs:152)
    setAll (src/Data/Logic/ATP/Lib.hs:155)
    flatten (src/Data/Logic/ATP/Lib.hs:158)
    tryfind (src/Data/Logic/ATP/Lib.hs:450)
    tryfindM (src/Data/Logic/ATP/Lib.hs:453)
    runRS (src/Data/Logic/ATP/Lib.hs:460)
    evalRS (src/Data/Logic/ATP/Lib.hs:457)
    settryfind (src/Data/Logic/ATP/Lib.hs:473)
    |=> (src/Data/Logic/ATP/Lib.hs:893)
    |-> (src/Data/Logic/ATP/Lib.hs:900)
    fpf (src/Data/Logic/ATP/Lib.hs:903)
    defined (src/Data/Logic/ATP/Lib.hs:785)
    apply (src/Data/Logic/ATP/Lib.hs:763)
    tryApplyD (src/Data/Logic/ATP/Lib.hs:766)
    allpairs (src/Data/Logic/ATP/Lib.hs:312)
    distrib (src/Data/Logic/ATP/Lib.hs:317)
    image (src/Data/Logic/ATP/Lib.hs:570)
    optimize (src/Data/Logic/ATP/Lib.hs:490)
    minimize (src/Data/Logic/ATP/Lib.hs:497)
    maximize (src/Data/Logic/ATP/Lib.hs:494)
    can (src/Data/Logic/ATP/Lib.hs:200)
    allsets (src/Data/Logic/ATP/Lib.hs:595)
    allsubsets (src/Data/Logic/ATP/Lib.hs:602)
    allnonemptysubsets (src/Data/Logic/ATP/Lib.hs:611)
    mapfilter (src/Data/Logic/ATP/Lib.hs:479)
    setmapfilter (src/Data/Logic/ATP/Lib.hs:483)
    ∅ (src/Data/Logic/ATP/Lib.hs:149)
    Depth (src/Data/Logic/ATP/Lib.hs:990)
    testLib (src/Data/Logic/ATP/Lib.hs:999)
  76% ( 52 / 68) in 'Data.Logic.ATP.Prop'
  Missing documentation for:
    associativityPropositional (src/Data/Logic/ATP/Prop.hs:251)
    TruthTable (src/Data/Logic/ATP/Prop.hs:431)
    onallvaluations (src/Data/Logic/ATP/Prop.hs:419)
    satisfiable (src/Data/Logic/ATP/Prop.hs:416)
    psimplify1 (src/Data/Logic/ATP/Prop.hs:730)
    nenf (src/Data/Logic/ATP/Prop.hs:822)
    list_disj (src/Data/Logic/ATP/Prop.hs:882)
    mk_lits (src/Data/Logic/ATP/Prop.hs:867)
    allsatvaluations (src/Data/Logic/ATP/Prop.hs:870)
    dnfSet (src/Data/Logic/ATP/Prop.hs:860)
    purednf (src/Data/Logic/ATP/Prop.hs:1010)
    rawdnf (src/Data/Logic/ATP/Prop.hs:981)
    simpcnf (src/Data/Logic/ATP/Prop.hs:1085)
    cnf' (src/Data/Logic/ATP/Prop.hs:1098)
    cnf_ (src/Data/Logic/ATP/Prop.hs:1095)
    testProp (src/Data/Logic/ATP/Prop.hs:1109)
  60% (  6 / 10) in 'Data.Logic.ATP.DefCNF'
  Missing documentation for:
    NumAtom (src/Data/Logic/ATP/DefCNF.hs:47)
    defcnfs (src/Data/Logic/ATP/DefCNF.hs:147)
    Atom (src/Data/Logic/ATP/DefCNF.hs:51)
    testDefCNF (src/Data/Logic/ATP/DefCNF.hs:200)
  53% (  9 / 17) in 'Data.Logic.ATP.Quantified'
  Missing documentation for:
    for_all (src/Data/Logic/ATP/Quantified.hs:69)
    exists (src/Data/Logic/ATP/Quantified.hs:71)
    ∃ (src/Data/Logic/ATP/Quantified.hs:78)
    precedenceQuantified (src/Data/Logic/ATP/Quantified.hs:82)
    associativityQuantified (src/Data/Logic/ATP/Quantified.hs:94)
    onatomsQuantified (src/Data/Logic/ATP/Quantified.hs:187)
    overatomsQuantified (src/Data/Logic/ATP/Quantified.hs:197)
    QFormula (src/Data/Logic/ATP/Quantified.hs:205)
  29% (  2 /  7) in 'Data.Logic.ATP.PropExamples'
  Missing documentation for:
    Knows (src/Data/Logic/ATP/PropExamples.hs:42)
    mk_knows (src/Data/Logic/ATP/PropExamples.hs:96)
    mk_knows2 (src/Data/Logic/ATP/PropExamples.hs:98)
    prime (src/Data/Logic/ATP/PropExamples.hs:226)
    testPropExamples (src/Data/Logic/ATP/PropExamples.hs:244)
  50% (  7 / 14) in 'Data.Logic.ATP.DP'
  Missing documentation for:
    dplisat (src/Data/Logic/ATP/DP.hs:203)
    dplitaut (src/Data/Logic/ATP/DP.hs:206)
    dpllsat (src/Data/Logic/ATP/DP.hs:142)
    dplltaut (src/Data/Logic/ATP/DP.hs:145)
    dplbsat (src/Data/Logic/ATP/DP.hs:235)
    dplbtaut (src/Data/Logic/ATP/DP.hs:238)
    testDP (src/Data/Logic/ATP/DP.hs:246)
  85% ( 23 / 27) in 'Data.Logic.ATP.FOL'
  Missing documentation for:
    holds (src/Data/Logic/ATP/FOL.hs:227)
    termval (src/Data/Logic/ATP/FOL.hs:255)
    mod_interp (src/Data/Logic/ATP/FOL.hs:289)
    testFOL (src/Data/Logic/ATP/FOL.hs:444)
  25% (  1 /  4) in 'Data.Logic.ATP.Prolog'
  Missing documentation for:
    PrologRule (src/Data/Logic/ATP/Prolog.hs:22)
    renamerule (src/Data/Logic/ATP/Prolog.hs:28)
    testProlog (src/Data/Logic/ATP/Prolog.hs:205)
  75% ( 21 / 28) in 'Data.Logic.ATP.Skolem'
  Missing documentation for:
    showSkolem (src/Data/Logic/ATP/Skolem.hs:99)
    prettySkolem (src/Data/Logic/ATP/Skolem.hs:102)
    SkolemM (src/Data/Logic/ATP/Skolem.hs:108)
    simpcnf' (src/Data/Logic/ATP/Skolem.hs:441)
    SkTerm (src/Data/Logic/ATP/Skolem.hs:388)
    SkAtom (src/Data/Logic/ATP/Skolem.hs:387)
    testSkolem (src/Data/Logic/ATP/Skolem.hs:455)
   7% (  4 / 61) in 'Data.Logic.ATP.Parser'
  Missing documentation for:
    Module header
     (src/Data/Logic/ATP/Parser.hs:28)
     (src/Data/Logic/ATP/Parser.hs:31)
    parseFOL (src/Data/Logic/ATP/Parser.hs:87)
    parsePL (src/Data/Logic/ATP/Parser.hs:89)
    parseLit (src/Data/Logic/ATP/Parser.hs:91)
    parseFOLTerm (src/Data/Logic/ATP/Parser.hs:93)
    def (src/Data/Logic/ATP/Parser.hs:96)
    m_parens (src/Data/Logic/ATP/Parser.hs:105)
    m_angles (src/Data/Logic/ATP/Parser.hs:106)
    m_symbol (src/Data/Logic/ATP/Parser.hs:107)
    m_integer (src/Data/Logic/ATP/Parser.hs:108)
    m_identifier (src/Data/Logic/ATP/Parser.hs:109)
    m_reservedOp (src/Data/Logic/ATP/Parser.hs:110)
    m_reserved (src/Data/Logic/ATP/Parser.hs:111)
    m_whiteSpace (src/Data/Logic/ATP/Parser.hs:112)
    litparser (src/Data/Logic/ATP/Parser.hs:137)
    propparser (src/Data/Logic/ATP/Parser.hs:139)
    folparser (src/Data/Logic/ATP/Parser.hs:141)
    litexprparser (src/Data/Logic/ATP/Parser.hs:144)
    propexprparser (src/Data/Logic/ATP/Parser.hs:150)
    litter
src/Data/Logic/ATP/Tableaux.hs:295:1: Warning:
    Defined but not used: ‘splittab’

src/Data/Logic/ATP/Equal.hs:229:1: Warning:
    Defined but not used: ‘testEqual04’
m (src/Data/Logic/ATP/Parser.hs:160)
    propterm (src/Data/Logic/ATP/Parser.hs:167)
    folterm (src/Data/Logic/ATP/Parser.hs:174)
    existentialQuantifier (src/Data/Logic/ATP/Parser.hs:183)
    forallQuantifier (src/Data/Logic/ATP/Parser.hs:185)
    quantifierId (src/Data/Logic/ATP/Parser.hs:188)
    quantifierOp (src/Data/Logic/ATP/Parser.hs:197)
    folpredicate_infix (src/Data/Logic/ATP/Parser.hs:206)
    folpredicate (src/Data/Logic/ATP/Parser.hs:215)
    folfunction (src/Data/Logic/ATP/Parser.hs:221)
    folconstant_numeric (src/Data/Logic/ATP/Parser.hs:227)
    folconstant_reserved (src/Data/Logic/ATP/Parser.hs:232)
    folconstant (src/Data/Logic/ATP/Parser.hs:237)
    folsubterm (src/Data/Logic/ATP/Parser.hs:242)
    folsubterm_prefix (src/Data/Logic/ATP/Parser.hs:245)
    folfunction_infix (src/Data/Logic/ATP/Parser.hs:254)
    allOps (src/Data/Logic/ATP/Parser.hs:262)
    allIds (src/Data/Logic/ATP/Parser.hs:266)
    predicate_infix_symbols (src/Data/Logic/ATP/Parser.hs:269)
    constants (src/Data/Logic/ATP/Parser.hs:272)
    notOps (src/Data/Logic/ATP/Parser.hs:279)
    trueOps (src/Data/Logic/ATP/Parser.hs:282)
    trueIds (src/Data/Logic/ATP/Parser.hs:282)
    falseOps (src/Data/Logic/ATP/Parser.hs:282)
    falseIds (src/Data/Logic/ATP/Parser.hs:282)
    provesOps (src/Data/Logic/ATP/Parser.hs:282)
    entailsOps (src/Data/Logic/ATP/Parser.hs:282)
    equateOps (src/Data/Logic/ATP/Parser.hs:282)
    andOps (src/Data/Logic/ATP/Parser.hs:288)
    orOps (src/Data/Logic/ATP/Parser.hs:288)
    impOps (src/Data/Logic/ATP/Parser.hs:288)
    iffOps (src/Data/Logic/ATP/Parser.hs:288)
    forallIds (src/Data/Logic/ATP/Parser.hs:294)
    forallOps (src/Data/Logic/ATP/Parser.hs:294)
    existsIds (src/Data/Logic/ATP/Parser.hs:294)
    existsOps (src/Data/Logic/ATP/Parser.hs:294)
   0% (  0 /  4) in 'Data.Logic.ATP.ParserTests'
  Missing documentation for:
    Module header
    t (src/Data/Logic/ATP/ParserTests.hs:11)
    parseFOL' (src/Data/Logic/ATP/ParserTests.hs:14)
    testParser (src/Data/Logic/ATP/ParserTests.hs:17)
  58% ( 11 / 19) in 'Data.Logic.ATP.Herbrand'
  Missing documentation for:
    groundtuples (src/Data/Logic/ATP/Herbrand.hs:51)
    gilmore (src/Data/Logic/ATP/Herbrand.hs:107)
    p24 (src/Data/Logic/ATP/Herbrand.hs:136)
    p45 (src/Data/Logic/ATP/Herbrand.hs:165)
    dp_loop (src/Data/Logic/ATP/Herbrand.hs:205)
    davisputnam (src/Data/Logic/ATP/Herbrand.hs:220)
    dp_refine (src/Data/Logic/ATP/Herbrand.hs:281)
    testHerbrand (src/Data/Logic/ATP/Herbrand.hs:310)
  60% (  6 / 10) in 'Data.Logic.ATP.Unif'
  Missing documentation for:
    unify_terms (src/Data/Logic/ATP/Unif.hs:57)
    unify_atoms (src/Data/Logic/ATP/Unif.hs:123)
    unify_atoms_eq (src/Data/Logic/ATP/Unif.hs:130)
    testUnif (src/Data/Logic/ATP/Unif.hs:199)
  20% (  1 /  5) in 'Data.Logic.ATP.Tableaux'
  Missing documentation for:
    prawitz (src/Data/Logic/ATP/Tableaux.hs:83)
    K (src/Data/Logic/ATP/Tableaux.hs:170)
    tab (src/Data/Logic/ATP/Tableaux.hs:224)
    testTableaux (src/Data/Logic/ATP/Tableaux.hs:664)
  56% (  5 /  9) in 'Data.Logic.ATP.Resolution'
  Missing documentation for:
    match_atoms (src/Data/Logic/ATP/Resolution.hs:198)
    match_atoms_eq (src/Data/Logic/ATP/Resolution.hs:203)
    resolution1 (src/Data/Logic/ATP/Resolution.hs:153)
    testResolution (src/Data/Logic/ATP/Resolution.hs:1114)
  20% (  1 /  5) in 'Data.Logic.ATP.Meson'
  Missing documentation for:
    meson1 (src/Data/Logic/ATP/Meson.hs:221)
    meson2 (src/Data/Logic/ATP/Meson.hs:330)
    meson (src/Data/Logic/ATP/Meson.hs:339)
    testMeson (src/Data/Logic/ATP/Meson.hs:742)
  67% (  4 /  6) in 'Data.Logic.ATP.Equal'
  Missing documentation for:
    equalitize (src/Data/Logic/ATP/Equal.hs:109)
    testEqual (src/Data/Logic/ATP/Equal.hs:274)
  96% ( 24 / 25) in 'Data.Logic.ATP'
  Missing documentation for:
    Module header
Warning: Data.Logic.ATP.Prop: could not find link destinations for:
    TruthTableRow
Warning: Data.Logic.ATP.DP: could not find link destinations for:
    TrailMix
Warning: Data.Logic.ATP.FOL: could not find link destinations for:
    FiniteInterpretation
Warning: Data.Logic.ATP.Skolem: could not find link destinations for:
    SkolemState
Warning: Data.Logic.ATP.Resolution: could not find link destinations for:
    Match
Documentation created: dist/doc/html/atp-haskell/index.html,
dist/doc/html/atp-haskell/atp-haskell.txt
Creating package registration file:
/tmp/pkgConf-atp-haskell-12092720083419914800.10
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/atp-haskell-1.10-CAn1BcCfYNT4P7ArCB0sBF
Registering atp-haskell-1.10...
Installed atp-haskell-1.10