Build #1 for atp-haskell-1.14

[all reports]

Package atp-haskell-1.14
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2016-09-12 13:24:21.222818 UTC
Compiler ghc-8.0.1.20160701
OS linux
Arch x86_64
Dependencies HUnit-1.3.1.2, applicative-extras-0.1.8, base-4.9.0.0, containers-0.5.7.1, extra-1.5, mtl-2.2.1, parsec-3.1.11, pretty-1.1.3.3, template-haskell-2.11.0.0, time-1.6.0.1
Flags none

Build log

[view raw]

Resolving dependencies...
cabal: Entering directory '/tmp/cabal-tmp-19051/HUnit-1.3.1.2'
Configuring HUnit-1.3.1.2...
Building HUnit-1.3.1.2...
Preprocessing library HUnit-1.3.1.2...
[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 )
Running Haddock for HUnit-1.3.1.2...
Running hscolour for HUnit-1.3.1.2...
Preprocessing library HUnit-1.3.1.2...
Preprocessing library HUnit-1.3.1.2...
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:40)
    Result (Test/HUnit/Lang.hs:76)
    HUnitFailure (Test/HUnit/Lang.hs:46)
  97% ( 33 / 34) in 'Test.HUnit.Base'
  Missing documentation for:
    Location (Test/HUnit/Lang.hs:40)
 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.12145174067468703135.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/HUnit-1.3.1.2-LggooYwT1UPHSoNYWvAdgk
Registering HUnit-1.3.1.2...
cabal: Leaving directory '/tmp/cabal-tmp-19051/HUnit-1.3.1.2'
Installed HUnit-1.3.1.2
cabal: Entering directory '/tmp/cabal-tmp-19051/applicative-extras-0.1.8'
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.Error ( Control/Applicative/Error.hs, dist/build/Control/Applicative/Error.o )
[2 of 3] Compiling Control.Applicative.Compose ( Control/Applicative/Compose.hs, dist/build/Control/Applicative/Compose.o )
[3 of 3] Compiling Control.Applicative.Backwards ( Control/Applicative/Backwards.hs, dist/build/Control/Applicative/Backwards.o )
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:
  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)
   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)
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.13272545861572276965.8
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/applicative-extras-0.1.8-Lil32JHLXPqMYRZqzY3OS
Registering applicative-extras-0.1.8...
cabal: Leaving directory '/tmp/cabal-tmp-19051/applicative-extras-0.1.8'
Installed applicative-extras-0.1.8
cabal: Entering directory '/tmp/cabal-tmp-19051/clock-0.7.2'
Configuring clock-0.7.2...
Building clock-0.7.2...
Preprocessing library clock-0.7.2...
Clock.hsc:44:0: warning: "hsc_alignment" redefined [enabled by default]
In file included from dist/build/System/Clock_hsc_make.c:1:0:
/opt/ghc/8.0.2/lib/ghc-8.0.1.20160701/template-hsc.h:88:0: note: this is the location of the previous definition
 #define hsc_alignment(t...) \
 ^
[1 of 1] Compiling System.Clock     ( dist/build/System/Clock.hs, dist/build/System/Clock.o )
Running Haddock for clock-0.7.2...
Running hscolour for clock-0.7.2...
Preprocessing library clock-0.7.2...
Preprocessing library clock-0.7.2...
Haddock coverage:
 100% (  9 /  9) in 'System.Clock'
Documentation created: dist/doc/html/clock/index.html,
dist/doc/html/clock/clock.txt
Creating package registration file:
/tmp/pkgConf-clock-0.74802984901398295499.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/clock-0.7.2-bxVecpUqndAMeayDi5R9Y
Registering clock-0.7.2...
cabal: Leaving directory '/tmp/cabal-tmp-19051/clock-0.7.2'
Installed clock-0.7.2
cabal: Entering directory '/tmp/cabal-tmp-19051/mtl-2.2.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 )
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.220586571991973387981.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/mtl-2.2.1-6qsR1PHUy5lL47Hpoa4jCM
Registering mtl-2.2.1...
cabal: Leaving directory '/tmp/cabal-tmp-19051/mtl-2.2.1'
Installed mtl-2.2.1
cabal: Entering directory '/tmp/cabal-tmp-19051/text-1.2.2.1'
Configuring text-1.2.2.1...
Building text-1.2.2.1...
Preprocessing library text-1.2.2.1...
[ 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 )

Data/Text.hs:587:1: warning: [-Winline-rule-shadowing]
    Rule "TEXT compareN/length -> compareLength" may never fire
      because ‘length’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’

Data/Text.hs:592:1: warning: [-Winline-rule-shadowing]
    Rule "TEXT ==N/length -> compareLength/==EQ" may never fire
      because ‘length’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’

Data/Text.hs:597:1: warning: [-Winline-rule-shadowing]
    Rule "TEXT /=N/length -> compareLength//=EQ" may never fire
      because ‘length’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’

Data/Text.hs:602:1: warning: [-Winline-rule-shadowing]
    Rule "TEXT <N/length -> compareLength/==LT" may never fire
      because ‘length’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’

Data/Text.hs:607:1: warning: [-Winline-rule-shadowing]
    Rule "TEXT <=N/length -> compareLength//=GT" may never fire
      because ‘length’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’

Data/Text.hs:612:1: warning: [-Winline-rule-shadowing]
    Rule "TEXT >N/length -> compareLength/==GT" may never fire
      because ‘length’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’

Data/Text.hs:617:1: warning: [-Winline-rule-shadowing]
    Rule "TEXT >=N/length -> compareLength//=LT" may never fire
      because ‘length’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’
[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 )

Data/Text/Internal/Builder.hs:324:1: warning: [-Winline-rule-shadowing]
    Rule "flush/flush" may never fire
      because ‘flush’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘flush’
[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 )
Running Haddock for text-1.2.2.1...
Running hscolour for text-1.2.2.1...
Preprocessing library text-1.2.2.1...
Preprocessing library text-1.2.2.1...
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: 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.21026413173773319847.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/text-1.2.2.1-9Yh8rJoh8fO2JMLWffT3Qs
Registering text-1.2.2.1...
cabal: Leaving directory '/tmp/cabal-tmp-19051/text-1.2.2.1'
Installed text-1.2.2.1
cabal: Entering directory '/tmp/cabal-tmp-19051/extra-1.5'
Configuring extra-1.5...
Building extra-1.5...
Preprocessing library extra-1.5...
[ 1 of 17] Compiling System.Info.Extra ( src/System/Info/Extra.hs, dist/build/System/Info/Extra.o )
[ 2 of 17] Compiling System.Environment.Extra ( src/System/Environment/Extra.hs, dist/build/System/Environment/Extra.o )
[ 3 of 17] Compiling Numeric.Extra    ( src/Numeric/Extra.hs, dist/build/Numeric/Extra.o )
[ 4 of 17] Compiling Data.Typeable.Extra ( src/Data/Typeable/Extra.hs, dist/build/Data/Typeable/Extra.o )
[ 5 of 17] Compiling Data.Tuple.Extra ( src/Data/Tuple/Extra.hs, dist/build/Data/Tuple/Extra.o )
[ 6 of 17] Compiling Data.List.Extra  ( src/Data/List/Extra.hs, dist/build/Data/List/Extra.o )
[ 7 of 17] Compiling Data.Version.Extra ( src/Data/Version/Extra.hs, dist/build/Data/Version/Extra.o )
[ 8 of 17] Compiling Data.IORef.Extra ( src/Data/IORef/Extra.hs, dist/build/Data/IORef/Extra.o )
[ 9 of 17] Compiling Data.Either.Extra ( src/Data/Either/Extra.hs, dist/build/Data/Either/Extra.o )
[10 of 17] Compiling Control.Monad.Extra ( src/Control/Monad/Extra.hs, dist/build/Control/Monad/Extra.o )
[11 of 17] Compiling System.Directory.Extra ( src/System/Directory/Extra.hs, dist/build/System/Directory/Extra.o )
[12 of 17] Compiling Control.Exception.Extra ( src/Control/Exception/Extra.hs, dist/build/Control/Exception/Extra.o )
[13 of 17] Compiling System.Time.Extra ( src/System/Time/Extra.hs, dist/build/System/Time/Extra.o )
[14 of 17] Compiling Control.Concurrent.Extra ( src/Control/Concurrent/Extra.hs, dist/build/Control/Concurrent/Extra.o )
[15 of 17] Compiling System.IO.Extra  ( src/System/IO/Extra.hs, dist/build/System/IO/Extra.o )
[16 of 17] Compiling System.Process.Extra ( src/System/Process/Extra.hs, dist/build/System/Process/Extra.o )
[17 of 17] Compiling Extra            ( src/Extra.hs, dist/build/Extra.o )
Running Haddock for extra-1.5...
Running hscolour for extra-1.5...
Preprocessing library extra-1.5...
Preprocessing library extra-1.5...
Haddock coverage:
 100% (  4 /  4) in 'System.Info.Extra'
 100% (  4 /  4) in 'System.Environment.Extra'
 100% (  7 /  7) in 'Numeric.Extra'
 100% (  5 /  5) in 'Data.Typeable.Extra'
 100% ( 14 / 14) in 'Data.Tuple.Extra'
 100% ( 58 / 58) in 'Data.List.Extra'
 100% (  4 /  4) in 'Data.Version.Extra'
 100% (  7 /  7) in 'Data.IORef.Extra'
 100% (  7 /  7) in 'Data.Either.Extra'
 100% ( 29 / 29) in 'Control.Monad.Extra'
 100% (  7 /  7) in 'System.Directory.Extra'
 100% ( 19 / 19) in 'Control.Exception.Extra'
 100% (  9 /  9) in 'System.Time.Extra'
 100% ( 27 / 27) in 'Control.Concurrent.Extra'
 100% ( 24 / 24) in 'System.IO.Extra'
 100% (  5 /  5) in 'System.Process.Extra'
 100% (214 /214) in 'Extra'
Warning: Data.Typeable.Extra: could not find link destinations for:
    ~ unsafeIndex unsafeRangeSize
Warning: Extra: could not find link destinations for:
    ~ unsafeIndex unsafeRangeSize
Documentation created: dist/doc/html/extra/index.html,
dist/doc/html/extra/extra.txt
Creating package registration file: /tmp/pkgConf-extra-15184345731450238957.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/extra-1.5-FUmboWmLe019OXxXJCxoZG
Registering extra-1.5...
cabal: Leaving directory '/tmp/cabal-tmp-19051/extra-1.5'
Installed extra-1.5
cabal: Entering directory '/tmp/cabal-tmp-19051/parsec-3.1.11'
Configuring parsec-3.1.11...
Building parsec-3.1.11...
Preprocessing library parsec-3.1.11...
[ 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 )
[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 )
Running Haddock for parsec-3.1.11...
Running hscolour for parsec-3.1.11...
Preprocessing library parsec-3.1.11...
Preprocessing library parsec-3.1.11...
Haddock coverage:
  82% ( 14 / 17) in 'Text.Parsec.Pos'
  Missing documentation for:
    SourceName (Text/Parsec/Pos.hs:31)
    Line (Text/Parsec/Pos.hs:32)
    Column (Text/Parsec/Pos.hs:33)
  43% (  6 / 14) in 'Text.Parsec.Error'
  Missing documentation for:
    errorIsUnknown (Text/Parsec/Error.hs:113)
    showErrorMessages (Text/Parsec/Error.hs:176)
    newErrorMessage (Text/Parsec/Error.hs:123)
    newErrorUnknown (Text/Parsec/Error.hs:119)
    addErrorMessage (Text/Parsec/Error.hs:127)
    setErrorPos (Text/Parsec/Error.hs:131)
    setErrorMessage (Text/Parsec/Error.hs:135)
    mergeError (Text/Parsec/Error.hs:139)
  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:113)
    showErrorMessages (Text/Parsec/Error.hs:176)
    newErrorMessage (Text/Parsec/Error.hs:123)
    newErrorUnknown (Text/Parsec/Error.hs:119)
    addErrorMessage (Text/Parsec/Error.hs:127)
    setErrorPos (Text/Parsec/Error.hs:131)
    setErrorMessage (Text/Parsec/Error.hs:135)
    mergeError (Text/Parsec/Error.hs:139)
  64% ( 32 / 50) in 'Text.Parsec.Prim'
  Missing documentation for:
    unknownError (Text/Parsec/Prim.hs:93)
    sysUnExpectError (Text/Parsec/Prim.hs:96)
    Parsec (Text/Parsec/Prim.hs:159)
    Consumed (Text/Parsec/Prim.hs:161)
    Reply (Text/Parsec/Prim.hs:165)
    State (Text/Parsec/Prim.hs:169)
    parsecMap (Text/Parsec/Prim.hs:187)
    parserReturn (Text/Parsec/Prim.hs:231)
    parserBind (Text/Parsec/Prim.hs:236)
    mergeErrorReply (Text/Parsec/Prim.hs:276)
    parserFail (Text/Parsec/Prim.hs:282)
    parserPlus (Text/Parsec/Prim.hs:300)
    labels (Text/Parsec/Prim.hs:355)
    tokens (Text/Parsec/Prim.hs:406)
    tokenPrimEx (Text/Parsec/Prim.hs:543)
    manyAccum (Text/Parsec/Prim.hs:602)
    runPT (Text/Parsec/Prim.hs:620)
    runP (Text/Parsec/Prim.hs:634)
 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:406)
    tokenPrimEx (Text/Parsec/Prim.hs:543)
    try (Text/ParserCombinators/Parsec/Prim.hs:64)
    labels (Text/Parsec/Prim.hs:355)
    pzero (Text/ParserCombinators/Parsec/Prim.hs:54)
    State (Text/Parsec/Prim.hs:169)
  82% ( 14 / 17) in 'Text.ParserCombinators.Parsec.Pos'
  Missing documentation for:
    SourceName (Text/Parsec/Pos.hs:31)
    Line (Text/Parsec/Pos.hs:32)
    Column (Text/Parsec/Pos.hs:33)
 100% ( 20 / 20) in 'Text.Parsec.Char'
  67% (  4 /  6) in 'Text.Parsec.Token'
  Missing documentation for:
    LanguageDef (Text/Parsec/Token.hs:39)
    TokenParser (Text/Parsec/Token.hs:110)
  67% (  4 /  6) in 'Text.ParserCombinators.Parsec.Token'
  Missing documentation for:
    LanguageDef (Text/Parsec/Token.hs:39)
    TokenParser (Text/Parsec/Token.hs:110)
  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:31)
    Line (Text/Parsec/Pos.hs:32)
    Column (Text/Parsec/Pos.hs:33)
  40% (  2 /  5) in 'Text.ParserCombinators.Parsec.Expr'
  Missing documentation for:
    Operator (Text/ParserCombinators/Parsec/Expr.hs:29)
    OperatorTable (Text/ParserCombinators/Parsec/Expr.hs:33)
    buildExpressionParser (Text/ParserCombinators/Parsec/Expr.hs:40)
  78% ( 73 / 94) in 'Text.Parsec'
  Missing documentation for:
    Parsec (Text/Parsec/Prim.hs:159)
    tokens (Text/Parsec/Prim.hs:406)
    labels (Text/Parsec/Prim.hs:355)
    SourceName (Text/Parsec/Pos.hs:31)
    Line (Text/Parsec/Pos.hs:32)
    Column (Text/Parsec/Pos.hs:33)
    manyAccum (Text/Parsec/Prim.hs:602)
    tokenPrimEx (Text/Parsec/Prim.hs:543)
    runPT (Text/Parsec/Prim.hs:620)
    unknownError (Text/Parsec/Prim.hs:93)
    sysUnExpectError (Text/Parsec/Prim.hs:96)
    mergeErrorReply (Text/Parsec/Prim.hs:276)
    runP (Text/Parsec/Prim.hs:634)
    Consumed (Text/Parsec/Prim.hs:161)
    Reply (Text/Parsec/Prim.hs:165)
    State (Text/Parsec/Prim.hs:169)
    parsecMap (Text/Parsec/Prim.hs:187)
    parserReturn (Text/Parsec/Prim.hs:231)
    parserBind (Text/Parsec/Prim.hs:236)
    parserFail (Text/Parsec/Prim.hs:282)
    parserPlus (Text/Parsec/Prim.hs:300)
  90% (  9 / 10) in 'Text.Parsec.Language'
  Missing documentation for:
    LanguageDef (Text/Parsec/Token.hs:39)
  90% (  9 / 10) in 'Text.ParserCombinators.Parsec.Language'
  Missing documentation for:
    LanguageDef (Text/Parsec/Token.hs:39)
 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.1234262547266222407.11
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/parsec-3.1.11-37j7M1YEHqtEooY7BpJdri
Registering parsec-3.1.11...
cabal: Leaving directory '/tmp/cabal-tmp-19051/parsec-3.1.11'
Installed parsec-3.1.11
Downloading atp-haskell-1.14...
cabal: Entering directory '/tmp/cabal-tmp-19051/atp-haskell-1.14'
Configuring atp-haskell-1.14...
Building atp-haskell-1.14...
Preprocessing library atp-haskell-1.14...
[ 1 of 25] Compiling Data.Logic.ATP.Pretty ( src/Data/Logic/ATP/Pretty.hs, dist/build/Data/Logic/ATP/Pretty.o )

src/Data/Logic/ATP/Pretty.hs:81:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Eq a
    • In the type signature for:
           testParen :: (Eq a, Ord a, Num a) =>
                        Side -> a -> a -> Associativity -> Bool
[ 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 )

src/Data/Logic/ATP/Term.hs:162:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           precedenceTerm :: IsTerm term => term -> Precedence

src/Data/Logic/ATP/Term.hs:165:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           associativityTerm :: IsTerm term => term -> Associativity

src/Data/Logic/ATP/Term.hs:169:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (HasFixity term,
                              Pretty v,
                              Pretty function)
    • In the type signature for:
           prettyTerm :: (v ~ TVarOf term, function ~ FunOf term, IsTerm term,
                          HasFixity term, Pretty v, Pretty function) =>
                         PrettyLevel -> Rational -> term -> Doc

src/Data/Logic/ATP/Term.hs:174:1: warning: [-Wredundant-constraints]
    • Redundant constraint: HasFixity term
    • In the type signature for:
           prettyFunctionApply :: (function ~ FunOf term, IsTerm term,
                                   HasFixity term) =>
                                  PrettyLevel -> function -> [term] -> Doc

src/Data/Logic/ATP/Term.hs:179:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Pretty v, Pretty function)
    • In the type signature for:
           showTerm :: (v ~ TVarOf term, function ~ FunOf term, IsTerm term,
                        Pretty v, Pretty function) =>
                       term -> String

src/Data/Logic/ATP/Term.hs:183:1: warning: [-Wredundant-constraints]
    • Redundant constraint: v ~ TVarOf term
    • In the type signature for:
           showFunctionApply :: (v ~ TVarOf term, function ~ FunOf term,
                                 IsTerm term) =>
                                function -> [term] -> String

src/Data/Logic/ATP/Term.hs:194:10: warning: [-Wredundant-constraints]
    • Redundant constraint: IsFunction function
    • In the instance declaration for ‘IsString (Term function v)’
[ 5 of 25] Compiling Data.Logic.ATP.Apply ( src/Data/Logic/ATP/Apply.hs, dist/build/Data/Logic/ATP/Apply.o )

src/Data/Logic/ATP/Apply.hs:68:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord function
    • In the type signature for:
           functions :: (IsFormula formula, HasApply atom, Ord function,
                         atom ~ AtomOf formula, term ~ TermOf atom,
                         function ~ FunOf term) =>
                        formula -> Set (function, Arity)

src/Data/Logic/ATP/Apply.hs:82:1: warning: [-Wredundant-constraints]
    • Redundant constraint: v ~ TVarOf term
    • In the type signature for:
           prettyApply :: (v ~ TVarOf term, IsPredicate predicate,
                           IsTerm term) =>
                          predicate -> [term] -> Doc
[ 6 of 25] Compiling Data.Logic.ATP.Equate ( src/Data/Logic/ATP/Equate.hs, dist/build/Data/Logic/ATP/Equate.o )

src/Data/Logic/ATP/Equate.hs:81:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Show (TermOf atom)
    • In the type signature for:
           showApplyAndEquate :: (HasEquate atom, Show (TermOf atom)) =>
                                 atom -> String
[ 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 )

src/Data/Logic/ATP/Lib.hs:149:1: warning: [-Wredundant-constraints]
    • Redundant constraint: SetLike c
    • In the type signature for:
           (∅) :: (Monoid (c a), SetLike c) => c a

src/Data/Logic/ATP/Lib.hs:490:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Foldable s
    • In the type signature for:
           optimize :: (SetLike s, Foldable s) =>
                       (b -> b -> Ordering) -> (a -> b) -> s a -> Maybe a

src/Data/Logic/ATP/Lib.hs:494:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Foldable s
    • In the type signature for:
           maximize :: (Ord b, SetLike s, Foldable s) =>
                       (a -> b) -> s a -> Maybe a

src/Data/Logic/ATP/Lib.hs:497:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Foldable s
    • In the type signature for:
           minimize :: (Ord b, SetLike s, Foldable s) =>
                       (a -> b) -> s a -> Maybe a

src/Data/Logic/ATP/Lib.hs:570:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           image :: (Ord b, Ord a) => (a -> b) -> Set a -> Set b

src/Data/Logic/ATP/Lib.hs:893:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord k
    • In the type signature for:
           (|=>) :: Ord k => k -> a -> Map k a
[ 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:337:10: warning: [-Wredundant-constraints]
    • Redundant constraint: Show atom
    • In the instance declaration for ‘Show (PFormula atom)’

src/Data/Logic/ATP/Prop.hs:499:7: warning: [-Wunused-local-binds]
    Defined but not used: ‘byPrec’

src/Data/Logic/ATP/Prop.hs:504:7: warning: [-Wunused-local-binds]
    Defined but not used: ‘binops’

src/Data/Logic/ATP/Prop.hs:515:7: warning: [-Wunused-local-binds]
    Defined but not used: ‘preops’

src/Data/Logic/ATP/Prop.hs:878:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsFormula formula
    • In the type signature for:
           list_conj :: (Foldable t, IsFormula formula,
                         IsPropositional formula) =>
                        t formula -> formula

src/Data/Logic/ATP/Prop.hs:882:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsFormula formula
    • In the type signature for:
           list_disj :: (Foldable t, IsFormula formula,
                         IsPropositional formula) =>
                        t formula -> formula

src/Data/Logic/ATP/Prop.hs:1056:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsLiteral lit
    • In the type signature for:
           simpdnf :: (JustPropositional pf, IsLiteral lit, JustLiteral lit,
                       Ord lit) =>
                      (AtomOf pf -> AtomOf lit) -> pf -> Set (Set lit)
[10 of 25] Compiling Data.Logic.ATP.DefCNF ( src/Data/Logic/ATP/DefCNF.hs, dist/build/Data/Logic/ATP/DefCNF.o )

src/Data/Logic/ATP/DefCNF.hs:100:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsLiteral lit
    • In the type signature for:
           mk_defcnf :: (IsPropositional pf, JustPropositional pf,
                         IsLiteral lit, JustLiteral lit, Ord lit, NumAtom (AtomOf pf)) =>
                        (AtomOf pf -> AtomOf lit)
                        -> ((pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer))
                        -> pf
                        -> Set (Set lit)

src/Data/Logic/ATP/DefCNF.hs:150:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsPropositional pf
    • In the type signature for:
           andcnf :: (IsPropositional pf, JustPropositional pf, Ord pf,
                      NumAtom (AtomOf pf)) =>
                     (pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer)

src/Data/Logic/ATP/DefCNF.hs:157:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsPropositional pf
    • In the type signature for:
           orcnf :: (IsPropositional pf, JustPropositional pf, Ord pf,
                     NumAtom (AtomOf pf)) =>
                    (pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer)

src/Data/Logic/ATP/DefCNF.hs:164:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (IsPropositional pf, NumAtom (AtomOf pf))
    • In the type signature for:
           subcnf :: (IsPropositional pf, NumAtom (AtomOf pf)) =>
                     ((pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer))
                     -> (pf -> pf -> pf)
                     -> pf
                     -> pf
                     -> (pf, Map pf pf, Integer)
                     -> (pf, Map pf pf, Integer)

src/Data/Logic/ATP/DefCNF.hs:180:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsPropositional pf
    • In the type signature for:
           andcnf3 :: (IsPropositional pf, JustPropositional pf, Ord pf,
                       NumAtom (AtomOf pf)) =>
                      (pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer)
[11 of 25] Compiling Data.Logic.ATP.Quantified ( src/Data/Logic/ATP/Quantified.hs, dist/build/Data/Logic/ATP/Quantified.o )

src/Data/Logic/ATP/Quantified.hs:233:10: warning: [-Wredundant-constraints]
    • Redundant constraint: IsFormula (QFormula v atom)
    • In the instance declaration for
        ‘IsPropositional (QFormula v atom)’
[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:44:10: warning: [-Wredundant-constraints]
    • Redundant constraint: Num a
    • In the instance declaration for ‘Pretty (Knows a)’

src/Data/Logic/ATP/PropExamples.hs:47:10: warning: [-Wredundant-constraints]
    • Redundant constraint: Num a
    • In the instance declaration for ‘HasFixity (Knows a)’

src/Data/Logic/ATP/PropExamples.hs:66:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘halfcarry’

src/Data/Logic/ATP/PropExamples.hs:69:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘ha’

src/Data/Logic/ATP/PropExamples.hs:82:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           conjoin :: (IsPropositional formula, Ord formula, Ord a) =>
                      (a -> formula) -> Set a -> formula

src/Data/Logic/ATP/PropExamples.hs:129:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘ripplecarry1’

src/Data/Logic/ATP/PropExamples.hs:134:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘mux’

src/Data/Logic/ATP/PropExamples.hs:137:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘offset’

src/Data/Logic/ATP/PropExamples.hs:149:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘carryselect’

src/Data/Logic/ATP/PropExamples.hs:164:1: warning: [-Wunused-top-binds]
    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:1: warning: [-Worphans]
    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/DP.hs:168:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Eq formula
    • In the type signature for:
           unassigned :: (IsLiteral formula, Ord formula, Eq formula) =>
                         Set (Set formula) -> Set (formula, TrailMix) -> Set formula
[14 of 25] Compiling Data.Logic.ATP.FOL ( src/Data/Logic/ATP/FOL.hs, dist/build/Data/Logic/ATP/FOL.o )

src/Data/Logic/ATP/FOL.hs:249:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (IsTerm term, Eq dom)
    • In the type signature for:
           holdsAtom :: (HasEquate atom, IsTerm term, Eq dom,
                         term ~ TermOf atom, v ~ TVarOf term, function ~ FunOf term,
                         predicate ~ PredOf atom) =>
                        Interp function predicate dom -> Map v dom -> atom -> Bool

src/Data/Logic/ATP/FOL.hs:352:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           fva :: (HasApply atom, IsTerm term, term ~ TermOf atom,
                   v ~ TVarOf term) =>
                  atom -> Set v

src/Data/Logic/ATP/FOL.hs:400:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           lsubst :: (JustLiteral lit, HasApply atom, IsTerm term,
                      atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) =>
                     Map v term -> lit -> lit

src/Data/Logic/ATP/FOL.hs:412:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           asubst :: (HasApply atom, IsTerm term, term ~ TermOf atom,
                      v ~ TVarOf term) =>
                     Map v term -> atom -> atom
[15 of 25] Compiling Data.Logic.ATP.Prolog ( src/Data/Logic/ATP/Prolog.hs, dist/build/Data/Logic/ATP/Prolog.o )

src/Data/Logic/ATP/Prolog.hs:28:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           renamerule :: (IsLiteral lit, JustLiteral lit, Ord lit,
                          HasApply atom, IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom,
                          v ~ TVarOf term) =>
                         Int -> PrologRule lit -> (PrologRule lit, Int)
[16 of 25] Compiling Data.Logic.ATP.Skolem ( src/Data/Logic/ATP/Skolem.hs, dist/build/Data/Logic/ATP/Skolem.o )

src/Data/Logic/ATP/Skolem.hs:99:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsVariable (SVarOf function)
    • In the type signature for:
           showSkolem :: (HasSkolem function, IsVariable (SVarOf function)) =>
                         function -> String

src/Data/Logic/ATP/Skolem.hs:270:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord function
    • In the type signature for:
           skolems :: (IsFormula formula, HasSkolem function, HasApply atom,
                       Ord function, atom ~ AtomOf formula, term ~ TermOf atom,
                       function ~ FunOf term) =>
                      formula -> Set function

src/Data/Logic/ATP/Skolem.hs:416:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (atom ~ AtomOf fof,
                              term ~ TermOf atom,
                              function ~ FunOf term,
                              v ~ VarOf fof,
                              v ~ TVarOf term)
    • In the type signature for:
           simpdnf' :: (IsFirstOrder fof, Ord fof, atom ~ AtomOf fof,
                        term ~ TermOf atom, function ~ FunOf term, v ~ VarOf fof,
                        v ~ TVarOf term) =>
                       fof -> Set (Set fof)

src/Data/Logic/ATP/Skolem.hs:451:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (atom ~ AtomOf fof,
                              term ~ TermOf atom,
                              predicate ~ PredOf atom,
                              v ~ VarOf fof,
                              v ~ TVarOf term,
                              function ~ FunOf term)
    • In the type signature for:
           purecnf' :: (atom ~ AtomOf fof, term ~ TermOf atom,
                        predicate ~ PredOf atom, v ~ VarOf fof, v ~ TVarOf term,
                        function ~ FunOf term, IsFirstOrder fof, Ord fof) =>
                       fof -> Set (Set fof)
[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:1: warning: [-Worphans]
    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:1: warning: [-Worphans]
    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 )

src/Data/Logic/ATP/Herbrand.hs:38:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord function
    • In the type signature for:
           herbfuns :: (atom ~ AtomOf fof, term ~ TermOf atom,
                        function ~ FunOf term, IsFormula fof, HasApply atom,
                        Ord function) =>
                       fof -> (Set (function, Arity), Set (function, Arity))

src/Data/Logic/ATP/Herbrand.hs:60:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           herbloop :: (atom ~ AtomOf lit, term ~ TermOf atom,
                        function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function,
                        JustLiteral lit, HasApply atom, IsTerm term) =>
                       (Set (Set lit) -> (lit -> lit) -> Set (Set lit) -> Set (Set lit))
                       -> (Set (Set lit) -> Bool)
                       -> Set (Set lit)
                       -> Set term
                       -> Set (function, Int)
                       -> [TVarOf term]
                       -> Int
                       -> Set (Set lit)
                       -> Set [term]
                       -> Set [term]
                       -> Set [term]

src/Data/Logic/ATP/Herbrand.hs:89:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           gilmore_loop :: (atom ~ AtomOf lit, term ~ TermOf atom,
                            function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function,
                            JustLiteral lit, Ord lit, HasApply atom, IsTerm term) =>
                           Set (Set lit)
                           -> Set term
                           -> Set (function, Int)
                           -> [TVarOf term]
                           -> Int
                           -> Set (Set lit)
                           -> Set [term]
                           -> Set [term]
                           -> Set [term]

src/Data/Logic/ATP/Herbrand.hs:107:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord fof
    • In the type signature for:
           gilmore :: (IsFirstOrder fof, Ord fof, HasSkolem function,
                       atom ~ AtomOf fof, term ~ TermOf atom, function ~ FunOf term,
                       v ~ TVarOf term, v ~ SVarOf function) =>
                      fof -> Int

src/Data/Logic/ATP/Herbrand.hs:205:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           dp_loop :: (atom ~ AtomOf lit, term ~ TermOf atom,
                       function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function,
                       JustLiteral lit, Ord lit, HasApply atom, IsTerm term) =>
                      Set (Set lit)
                      -> Set term
                      -> Set (function, Int)
                      -> [v]
                      -> Int
                      -> Set (Set lit)
                      -> Set [term]
                      -> Set [term]
                      -> Set [term]

src/Data/Logic/ATP/Herbrand.hs:220:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord formula
    • In the type signature for:
           davisputnam :: (IsFirstOrder formula, Ord formula,
                           HasSkolem function, atom ~ AtomOf formula, term ~ TermOf atom,
                           function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function) =>
                          formula -> Int

src/Data/Logic/ATP/Herbrand.hs:245:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord formula
    • In the type signature for:
           davisputnam' :: (IsFirstOrder formula, Ord formula,
                            HasSkolem function, atom ~ AtomOf formula, term ~ TermOf atom,
                            function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function) =>
                           formula -> formula -> formula -> Int

src/Data/Logic/ATP/Herbrand.hs:264:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           dp_refine_loop :: (atom ~ AtomOf lit, term ~ TermOf atom,
                              function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function,
                              JustLiteral lit, Ord lit, IsTerm term, HasApply atom) =>
                             Set (Set lit)
                             -> Set term
                             -> Set (function, Int)
                             -> [v]
                             -> Int
                             -> Set (Set lit)
                             -> Set [term]
                             -> Set [term]
                             -> Set [term]

src/Data/Logic/ATP/Herbrand.hs:281:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           dp_refine :: (atom ~ AtomOf lit, term ~ TermOf atom,
                         v ~ TVarOf term, HasApply atom, JustLiteral lit, Ord lit,
                         IsTerm term) =>
                        Set (Set lit)
                        -> [TVarOf term] -> Set [term] -> Set [term] -> Set [term]
[20 of 25] Compiling Data.Logic.ATP.Unif ( src/Data/Logic/ATP/Unif.hs, dist/build/Data/Logic/ATP/Unif.o )

src/Data/Logic/ATP/Unif.hs:59:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           unify :: (Unify m a, Monad m) =>
                    a
                    -> Map (TVarOf (UTermOf a)) (UTermOf a)
                    -> m (Map (TVarOf (UTermOf a)) (UTermOf a))

src/Data/Logic/ATP/Unif.hs:102:1: warning: [-Wredundant-constraints]
    • Redundant constraint: f ~ FunOf term
    • In the type signature for:
           fullunify :: (IsTerm term, v ~ TVarOf term, f ~ FunOf term,
                         Monad m) =>
                        [(term, term)] -> m (Map v term)
[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:56:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           unify_refute :: (JustLiteral lit, Ord lit, HasApply atom,
                            IsTerm term, Unify Failing (atom, atom),
                            term ~ UTermOf (atom, atom), v ~ TVarOf term, atom ~ AtomOf lit,
                            term ~ TermOf atom) =>
                           Set (Set lit) -> Map v term -> Failing (Map v term)

src/Data/Logic/ATP/Tableaux.hs:83:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Ord formula, Show formula)
    • In the type signature for:
           prawitz :: (IsFirstOrder formula, Ord formula,
                       Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                       HasSkolem function, Show formula, atom ~ AtomOf formula,
                       term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term,
                       v ~ SVarOf function) =>
                      formula -> Int

src/Data/Logic/ATP/Tableaux.hs:290:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Pretty formula
    • In the type signature for:
           splittab :: (IsFirstOrder formula, Unify Failing (atom, atom),
                        term ~ UTermOf (atom, atom), Ord formula, Pretty formula,
                        HasSkolem function, atom ~ AtomOf formula, term ~ TermOf atom,
                        function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function) =>
                       formula -> [Failing ((K, Map v term), Depth)]

src/Data/Logic/ATP/Tableaux.hs:295:1: warning: [-Wunused-top-binds]
    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 )

src/Data/Logic/ATP/Resolution.hs:70:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           mgu :: (JustLiteral lit, HasApply atom, Unify Failing (atom, atom),
                   term ~ UTermOf (atom, atom), IsTerm term, atom ~ AtomOf lit,
                   term ~ TermOf atom, v ~ TVarOf term) =>
                  Set lit -> StateT (Map v term) Failing (Map v term)

src/Data/Logic/ATP/Resolution.hs:82:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           unifiable :: (JustLiteral lit, IsTerm term, HasApply atom,
                         Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                         atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) =>
                        lit -> lit -> Bool

src/Data/Logic/ATP/Resolution.hs:92:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           rename :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term,
                      atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) =>
                     (v -> v) -> Set lit -> Set lit

src/Data/Logic/ATP/Resolution.hs:104:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           resolvents :: (JustLiteral lit, Ord lit, HasApply atom,
                          Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                          IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom,
                          v ~ TVarOf term) =>
                         Set lit -> Set lit -> lit -> Set lit -> Set lit

src/Data/Logic/ATP/Resolution.hs:121:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           resolve_clauses :: (JustLiteral lit, Ord lit, HasApply atom,
                               Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                               IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom,
                               v ~ TVarOf term) =>
                              Set lit -> Set lit -> Set lit

src/Data/Logic/ATP/Resolution.hs:133:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           resloop1 :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term,
                        Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                        atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) =>
                       Set (Set lit) -> Set (Set lit) -> Failing Bool

src/Data/Logic/ATP/Resolution.hs:146:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Ord fof, Pretty fof)
    • In the type signature for:
           pure_resolution1 :: (atom ~ AtomOf fof, term ~ TermOf atom,
                                v ~ TVarOf term, IsFirstOrder fof, Unify Failing (atom, atom),
                                term ~ UTermOf (atom, atom), Ord fof, Pretty fof) =>
                               fof -> Failing Bool

src/Data/Logic/ATP/Resolution.hs:199:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           match_atoms :: (JustApply atom, IsTerm term, term ~ TermOf atom,
                           v ~ TVarOf term) =>
                          Map v term -> (atom, atom) -> Failing (Map v term)

src/Data/Logic/ATP/Resolution.hs:204:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           match_atoms_eq :: (HasEquate atom, IsTerm term, term ~ TermOf atom,
                              v ~ TVarOf term) =>
                             Map v term -> (atom, atom) -> Failing (Map v term)

src/Data/Logic/ATP/Resolution.hs:210:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           match_literals :: (IsLiteral lit, HasApply atom, IsTerm term,
                              Match (atom, atom) v term, atom ~ AtomOf lit, term ~ TermOf atom,
                              v ~ TVarOf term) =>
                             Map v term -> lit -> lit -> Failing (Map v term)

src/Data/Logic/ATP/Resolution.hs:229:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Ord fof,
                              Pretty fof,
                              HasApply atom,
                              IsTerm term)
    • In the type signature for:
           pure_resolution2 :: (IsFirstOrder fof, Ord fof, Pretty fof,
                                HasApply atom, IsTerm term, Unify Failing (atom, atom),
                                term ~ UTermOf (atom, atom), Match (atom, atom) v term,
                                atom ~ AtomOf fof, term ~ TermOf atom, v ~ TVarOf term) =>
                               fof -> Failing Bool

src/Data/Logic/ATP/Resolution.hs:237:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           resloop2 :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term,
                        Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                        Match (atom, atom) v term, atom ~ AtomOf lit, term ~ TermOf atom,
                        v ~ TVarOf term) =>
                       Set (Set lit) -> Set (Set lit) -> Failing Bool

src/Data/Logic/ATP/Resolution.hs:251:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           incorporate :: (atom ~ AtomOf lit, term ~ TermOf atom,
                           v ~ TVarOf term, IsLiteral lit, Ord lit, HasApply atom,
                           Match (atom, atom) v term, IsTerm term) =>
                          Set lit -> Set lit -> Set (Set lit) -> Set (Set lit)

src/Data/Logic/ATP/Resolution.hs:264:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           replace :: (atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term,
                       IsLiteral lit, Ord lit, IsTerm term, HasApply atom,
                       Match (atom, atom) v term) =>
                      Set lit -> Set (Set lit) -> Set (Set lit)

src/Data/Logic/ATP/Resolution.hs:279:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           subsumes_clause :: (IsLiteral lit, HasApply atom, IsTerm term,
                               Match (atom, atom) v term, atom ~ AtomOf lit, term ~ TermOf atom,
                               v ~ TVarOf term) =>
                              Set lit -> Set lit -> Bool

src/Data/Logic/ATP/Resolution.hs:298:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Pretty fof
    • In the type signature for:
           presolution :: (IsFirstOrder fof, Unify Failing (atom, atom),
                           term ~ UTermOf (atom, atom), Match (atom, atom) v term,
                           HasSkolem function, Monad m, Ord fof, Pretty fof,
                           atom ~ AtomOf fof, term ~ TermOf atom, function ~ FunOf term,
                           v ~ VarOf fof, v ~ SVarOf function) =>
                          fof -> SkolemT m function (Set (Failing Bool))

src/Data/Logic/ATP/Resolution.hs:305:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Ord fof, Pretty fof)
    • In the type signature for:
           pure_presolution :: (IsFirstOrder fof, Unify Failing (atom, atom),
                                term ~ UTermOf (atom, atom), Match (atom, atom) v term, Ord fof,
                                Pretty fof, atom ~ AtomOf fof, term ~ TermOf atom, v ~ VarOf fof,
                                v ~ TVarOf term) =>
                               fof -> Failing Bool

src/Data/Logic/ATP/Resolution.hs:311:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           presloop :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term,
                        Match (atom, atom) v term, Unify Failing (atom, atom),
                        term ~ UTermOf (atom, atom), atom ~ AtomOf lit, term ~ TermOf atom,
                        v ~ TVarOf term) =>
                       Set (Set lit) -> Set (Set lit) -> Failing Bool

src/Data/Logic/ATP/Resolution.hs:327:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           presolve_clauses :: (JustLiteral lit, Ord lit, HasApply atom,
                                IsTerm term, Unify Failing (atom, atom),
                                term ~ UTermOf (atom, atom), atom ~ AtomOf lit, term ~ TermOf atom,
                                v ~ TVarOf term) =>
                               Set lit -> Set lit -> Set lit

src/Data/Logic/ATP/Resolution.hs:343:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Ord fof, Pretty fof)
    • In the type signature for:
           pure_resolution3 :: (atom ~ AtomOf fof, term ~ TermOf atom,
                                v ~ VarOf fof, v ~ TVarOf term, IsFirstOrder fof,
                                Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                                Match (atom, atom) v term, Ord fof, Pretty fof) =>
                               fof -> Failing Bool
[23 of 25] Compiling Data.Logic.ATP.Meson ( src/Data/Logic/ATP/Meson.hs, dist/build/Data/Logic/ATP/Meson.o )

src/Data/Logic/ATP/Meson.hs:178:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           mexpand1 :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term,
                        Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                        atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) =>
                       Set (PrologRule lit)
                       -> Set lit
                       -> lit
                       -> ((Map v term, Int, Int) -> Failing (Map v term, Int, Int))
                       -> (Map v term, Int, Int)
                       -> Failing (Map v term, Int, Int)

src/Data/Logic/ATP/Meson.hs:208:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Ord fof, function ~ FunOf term)
    • In the type signature for:
           puremeson1 :: (IsFirstOrder fof, Unify Failing (atom, atom),
                          term ~ UTermOf (atom, atom), Ord fof, atom ~ AtomOf fof,
                          term ~ TermOf atom, function ~ FunOf term, v ~ VarOf fof,
                          v ~ TVarOf term) =>
                         Maybe Depth -> fof -> Failing Depth

src/Data/Logic/ATP/Meson.hs:221:1: warning: [-Wredundant-constraints]
    • Redundant constraint: predicate ~ PredOf atom
    • In the type signature for:
           meson1 :: (IsFirstOrder fof, Unify Failing (atom, atom),
                      term ~ UTermOf (atom, atom), Ord fof, HasSkolem function, Monad m,
                      atom ~ AtomOf fof, term ~ TermOf atom, predicate ~ PredOf atom,
                      function ~ FunOf term, v ~ VarOf fof, v ~ SVarOf function) =>
                     Maybe Depth -> fof -> SkolemT m function (Set (Failing Depth))

src/Data/Logic/ATP/Meson.hs:233:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           equal :: (JustLiteral lit, HasApply atom,
                     Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                     IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom,
                     v ~ TVarOf term) =>
                    Map v term -> lit -> lit -> Bool

src/Data/Logic/ATP/Meson.hs:260:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           mexpand2 :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term,
                        Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                        atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) =>
                       Set (PrologRule lit)
                       -> Set lit
                       -> lit
                       -> ((Map v term, Int, Int) -> Failing (Map v term, Int, Int))
                       -> (Map v term, Int, Int)
                       -> Failing (Map v term, Int, Int)

src/Data/Logic/ATP/Meson.hs:287:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           mexpands :: (JustLiteral lit, Ord lit, HasApply atom,
                        Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                        IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom,
                        v ~ TVarOf term) =>
                       Set (PrologRule lit)
                       -> Set lit
                       -> Set lit
                       -> ((Map v term, Int, Int) -> Failing (Map v term, Int, Int))
                       -> (Map v term, Int, Int)
                       -> Failing (Map v term, Int, Int)

src/Data/Logic/ATP/Meson.hs:317:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord fof
    • In the type signature for:
           puremeson2 :: (atom ~ AtomOf fof, term ~ TermOf atom,
                          v ~ VarOf fof, v ~ TVarOf term, IsFirstOrder fof,
                          Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                          Ord fof) =>
                         Maybe Depth -> fof -> Failing Depth
[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:59:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (p ~ PredOf atom, IsTerm term)
    • In the type signature for:
           function_congruence :: (atom ~ AtomOf fof, term ~ TermOf atom,
                                   p ~ PredOf atom, v ~ VarOf fof, v ~ TVarOf term,
                                   function ~ FunOf term, IsQuantified fof, HasEquate atom,
                                   IsTerm term, Ord fof) =>
                                  (function, Int) -> Set fof

src/Data/Logic/ATP/Equal.hs:77:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (IsTerm term, Ord predicate)
    • In the type signature for:
           predicate_congruence :: (atom ~ AtomOf fof,
                                    predicate ~ PredOf atom, term ~ TermOf atom, v ~ VarOf fof,
                                    v ~ TVarOf term, IsQuantified fof, HasEquate atom, IsTerm term,
                                    Ord predicate) =>
                                   AtomOf fof -> Set fof

src/Data/Logic/ATP/Equal.hs:94:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           equivalence_axioms :: (atom ~ AtomOf fof, term ~ TermOf atom,
                                  v ~ VarOf fof, IsQuantified fof, HasEquate atom, IsTerm term,
                                  Ord fof) =>
                                 Set fof

src/Data/Logic/ATP/Equal.hs:109:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (IsTerm term, Ord atom)
    • In the type signature for:
           equalitize :: (atom ~ AtomOf formula, term ~ TermOf atom,
                          v ~ VarOf formula, v ~ TVarOf term, function ~ FunOf term,
                          IsQuantified formula, HasEquate atom, IsTerm term, Ord formula,
                          Ord atom) =>
                         formula -> formula

src/Data/Logic/ATP/Equal.hs:229:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘testEqual04’
[25 of 25] Compiling Data.Logic.ATP   ( src/Data/Logic/ATP.hs, dist/build/Data/Logic/ATP.o )
Running Haddock for atp-haskell-1.14...
Running hscolour for atp-haskell-1.14...
Preprocessing library atp-haskell-1.14...
Preprocessing library atp-haskell-1.14...

src/Data/Logic/ATP/Pretty.hs:81:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Eq a
    • In the type signature for:
           testParen :: (Eq a, Ord a, Num a) =>
                        Side -> a -> a -> Associativity -> Bool

src/Data/Logic/ATP/Term.hs:162:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           precedenceTerm :: IsTerm term => term -> Precedence

src/Data/Logic/ATP/Term.hs:165:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           associativityTerm :: IsTerm term => term -> Associativity

src/Data/Logic/ATP/Term.hs:169:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (HasFixity term,
                              Pretty v,
                              Pretty function)
    • In the type signature for:
           prettyTerm :: (v ~ TVarOf term, function ~ FunOf term, IsTerm term,
                          HasFixity term, Pretty v, Pretty function) =>
                         PrettyLevel -> Rational -> term -> Doc

src/Data/Logic/ATP/Term.hs:174:1: warning: [-Wredundant-constraints]
    • Redundant constraint: HasFixity term
    • In the type signature for:
           prettyFunctionApply :: (function ~ FunOf term, IsTerm term,
                                   HasFixity term) =>
                                  PrettyLevel -> function -> [term] -> Doc

src/Data/Logic/ATP/Term.hs:179:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Pretty v, Pretty function)
    • In the type signature for:
           showTerm :: (v ~ TVarOf term, function ~ FunOf term, IsTerm term,
                        Pretty v, Pretty function) =>
                       term -> String

src/Data/Logic/ATP/Term.hs:183:1: warning: [-Wredundant-constraints]
    • Redundant constraint: v ~ TVarOf term
    • In the type signature for:
           showFunctionApply :: (v ~ TVarOf term, function ~ FunOf term,
                                 IsTerm term) =>
                                function -> [term] -> String

src/Data/Logic/ATP/Term.hs:194:10: warning: [-Wredundant-constraints]
    • Redundant constraint: IsFunction function
    • In the instance declaration for ‘IsString (Term function v)’

src/Data/Logic/ATP/Apply.hs:68:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord function
    • In the type signature for:
           functions :: (IsFormula formula, HasApply atom, Ord function,
                         atom ~ AtomOf formula, term ~ TermOf atom,
                         function ~ FunOf term) =>
                        formula -> Set (function, Arity)

src/Data/Logic/ATP/Apply.hs:82:1: warning: [-Wredundant-constraints]
    • Redundant constraint: v ~ TVarOf term
    • In the type signature for:
           prettyApply :: (v ~ TVarOf term, IsPredicate predicate,
                           IsTerm term) =>
                          predicate -> [term] -> Doc

src/Data/Logic/ATP/Equate.hs:81:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Show (TermOf atom)
    • In the type signature for:
           showApplyAndEquate :: (HasEquate atom, Show (TermOf atom)) =>
                                 atom -> String

src/Data/Logic/ATP/Lib.hs:149:1: warning: [-Wredundant-constraints]
    • Redundant constraint: SetLike c
    • In the type signature for:
           (∅) :: (Monoid (c a), SetLike c) => c a

src/Data/Logic/ATP/Lib.hs:490:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Foldable s
    • In the type signature for:
           optimize :: (SetLike s, Foldable s) =>
                       (b -> b -> Ordering) -> (a -> b) -> s a -> Maybe a

src/Data/Logic/ATP/Lib.hs:494:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Foldable s
    • In the type signature for:
           maximize :: (Ord b, SetLike s, Foldable s) =>
                       (a -> b) -> s a -> Maybe a

src/Data/Logic/ATP/Lib.hs:497:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Foldable s
    • In the type signature for:
           minimize :: (Ord b, SetLike s, Foldable s) =>
                       (a -> b) -> s a -> Maybe a

src/Data/Logic/ATP/Lib.hs:570:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           image :: (Ord b, Ord a) => (a -> b) -> Set a -> Set b

src/Data/Logic/ATP/Lib.hs:893:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord k
    • In the type signature for:
           (|=>) :: Ord k => k -> a -> Map k a

src/Data/Logic/ATP/Prop.hs:337:10: warning: [-Wredundant-constraints]
    • Redundant constraint: Show atom
    • In the instance declaration for ‘Show (PFormula atom)’

src/Data/Logic/ATP/Prop.hs:499:7: warning: [-Wunused-local-binds]
    Defined but not used: ‘byPrec’

src/Data/Logic/ATP/Prop.hs:504:7: warning: [-Wunused-local-binds]
    Defined but not used: ‘binops’

src/Data/Logic/ATP/Prop.hs:515:7: warning: [-Wunused-local-binds]
    Defined but not used: ‘preops’

src/Data/Logic/ATP/Prop.hs:878:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsFormula formula
    • In the type signature for:
           list_conj :: (Foldable t, IsFormula formula,
                         IsPropositional formula) =>
                        t formula -> formula

src/Data/Logic/ATP/Prop.hs:882:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsFormula formula
    • In the type signature for:
           list_disj :: (Foldable t, IsFormula formula,
                         IsPropositional formula) =>
                        t formula -> formula

src/Data/Logic/ATP/Prop.hs:1056:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsLiteral lit
    • In the type signature for:
           simpdnf :: (JustPropositional pf, IsLiteral lit, JustLiteral lit,
                       Ord lit) =>
                      (AtomOf pf -> AtomOf lit) -> pf -> Set (Set lit)

src/Data/Logic/ATP/DefCNF.hs:100:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsLiteral lit
    • In the type signature for:
           mk_defcnf :: (IsPropositional pf, JustPropositional pf,
                         IsLiteral lit, JustLiteral lit, Ord lit, NumAtom (AtomOf pf)) =>
                        (AtomOf pf -> AtomOf lit)
                        -> ((pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer))
                        -> pf
                        -> Set (Set lit)

src/Data/Logic/ATP/DefCNF.hs:150:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsPropositional pf
    • In the type signature for:
           andcnf :: (IsPropositional pf, JustPropositional pf, Ord pf,
                      NumAtom (AtomOf pf)) =>
                     (pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer)

src/Data/Logic/ATP/DefCNF.hs:157:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsPropositional pf
    • In the type signature for:
           orcnf :: (IsPropositional pf, JustPropositional pf, Ord pf,
                     NumAtom (AtomOf pf)) =>
                    (pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer)

src/Data/Logic/ATP/DefCNF.hs:164:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (IsPropositional pf, NumAtom (AtomOf pf))
    • In the type signature for:
           subcnf :: (IsPropositional pf, NumAtom (AtomOf pf)) =>
                     ((pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer))
                     -> (pf -> pf -> pf)
                     -> pf
                     -> pf
                     -> (pf, Map pf pf, Integer)
                     -> (pf, Map pf pf, Integer)

src/Data/Logic/ATP/DefCNF.hs:180:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsPropositional pf
    • In the type signature for:
           andcnf3 :: (IsPropositional pf, JustPropositional pf, Ord pf,
                       NumAtom (AtomOf pf)) =>
                      (pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer)

src/Data/Logic/ATP/Quantified.hs:233:10: warning: [-Wredundant-constraints]
    • Redundant constraint: IsFormula (QFormula v atom)
    • In the instance declaration for
        ‘IsPropositional (QFormula v atom)’

src/Data/Logic/ATP/PropExamples.hs:44:10: warning: [-Wredundant-constraints]
    • Redundant constraint: Num a
    • In the instance declaration for ‘Pretty (Knows a)’

src/Data/Logic/ATP/PropExamples.hs:47:10: warning: [-Wredundant-constraints]
    • Redundant constraint: Num a
    • In the instance declaration for ‘HasFixity (Knows a)’

src/Data/Logic/ATP/PropExamples.hs:66:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘halfcarry’

src/Data/Logic/ATP/PropExamples.hs:69:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘ha’

src/Data/Logic/ATP/PropExamples.hs:82:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           conjoin :: (IsPropositional formula, Ord formula, Ord a) =>
                      (a -> formula) -> Set a -> formula

src/Data/Logic/ATP/PropExamples.hs:129:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘ripplecarry1’

src/Data/Logic/ATP/PropExamples.hs:134:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘mux’

src/Data/Logic/ATP/PropExamples.hs:137:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘offset’

src/Data/Logic/ATP/PropExamples.hs:149:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘carryselect’

src/Data/Logic/ATP/PropExamples.hs:164:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘mk_adder_test’

src/Data/Logic/ATP/DP.hs:30:1: warning: [-Worphans]
    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/DP.hs:168:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Eq formula
    • In the type signature for:
           unassigned :: (IsLiteral formula, Ord formula, Eq formula) =>
                         Set (Set formula) -> Set (formula, TrailMix) -> Set formula

src/Data/Logic/ATP/FOL.hs:249:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (IsTerm term, Eq dom)
    • In the type signature for:
           holdsAtom :: (HasEquate atom, IsTerm term, Eq dom,
                         term ~ TermOf atom, v ~ TVarOf term, function ~ FunOf term,
                         predicate ~ PredOf atom) =>
                        Interp function predicate dom -> Map v dom -> atom -> Bool

src/Data/Logic/ATP/FOL.hs:352:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           fva :: (HasApply atom, IsTerm term, term ~ TermOf atom,
                   v ~ TVarOf term) =>
                  atom -> Set v

src/Data/Logic/ATP/FOL.hs:400:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           lsubst :: (JustLiteral lit, HasApply atom, IsTerm term,
                      atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) =>
                     Map v term -> lit -> lit

src/Data/Logic/ATP/FOL.hs:412:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           asubst :: (HasApply atom, IsTerm term, term ~ TermOf atom,
                      v ~ TVarOf term) =>
                     Map v term -> atom -> atom

src/Data/Logic/ATP/Prolog.hs:28:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           renamerule :: (IsLiteral lit, JustLiteral lit, Ord lit,
                          HasApply atom, IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom,
                          v ~ TVarOf term) =>
                         Int -> PrologRule lit -> (PrologRule lit, Int)

src/Data/Logic/ATP/Skolem.hs:99:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsVariable (SVarOf function)
    • In the type signature for:
           showSkolem :: (HasSkolem function, IsVariable (SVarOf function)) =>
                         function -> String

src/Data/Logic/ATP/Skolem.hs:270:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord function
    • In the type signature for:
           skolems :: (IsFormula formula, HasSkolem function, HasApply atom,
                       Ord function, atom ~ AtomOf formula, term ~ TermOf atom,
                       function ~ FunOf term) =>
                      formula -> Set function

src/Data/Logic/ATP/Skolem.hs:416:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (atom ~ AtomOf fof,
                              term ~ TermOf atom,
                              function ~ FunOf term,
                              v ~ VarOf fof,
                              v ~ TVarOf term)
    • In the type signature for:
           simpdnf' :: (IsFirstOrder fof, Ord fof, atom ~ AtomOf fof,
                        term ~ TermOf atom, function ~ FunOf term, v ~ VarOf fof,
                        v ~ TVarOf term) =>
                       fof -> Set (Set fof)

src/Data/Logic/ATP/Skolem.hs:451:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (atom ~ AtomOf fof,
                              term ~ TermOf atom,
                              predicate ~ PredOf atom,
                              v ~ VarOf fof,
                              v ~ TVarOf term,
                              function ~ FunOf term)
    • In the type signature for:
           purecnf' :: (atom ~ AtomOf fof, term ~ TermOf atom,
                        predicate ~ PredOf atom, v ~ VarOf fof, v ~ TVarOf term,
                        function ~ FunOf term, IsFirstOrder fof, Ord fof) =>
                       fof -> Set (Set fof)

src/Data/Logic/ATP/Parser.hs:28:1: warning: [-Worphans]
    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:1: warning: [-Worphans]
    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/Herbrand.hs:38:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord function
    • In the type signature for:
           herbfuns :: (atom ~ AtomOf fof, term ~ TermOf atom,
                        function ~ FunOf term, IsFormula fof, HasApply atom,
                        Ord function) =>
                       fof -> (Set (function, Arity), Set (function, Arity))

src/Data/Logic/ATP/Herbrand.hs:60:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           herbloop :: (atom ~ AtomOf lit, term ~ TermOf atom,
                        function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function,
                        JustLiteral lit, HasApply atom, IsTerm term) =>
                       (Set (Set lit) -> (lit -> lit) -> Set (Set lit) -> Set (Set lit))
                       -> (Set (Set lit) -> Bool)
                       -> Set (Set lit)
                       -> Set term
                       -> Set (function, Int)
                       -> [TVarOf term]
                       -> Int
                       -> Set (Set lit)
                       -> Set [term]
                       -> Set [term]
                       -> Set [term]

src/Data/Logic/ATP/Herbrand.hs:89:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           gilmore_loop :: (atom ~ AtomOf lit, term ~ TermOf atom,
                            function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function,
                            JustLiteral lit, Ord lit, HasApply atom, IsTerm term) =>
                           Set (Set lit)
                           -> Set term
                           -> Set (function, Int)
                           -> [TVarOf term]
                           -> Int
                           -> Set (Set lit)
                           -> Set [term]
                           -> Set [term]
                           -> Set [term]

src/Data/Logic/ATP/Herbrand.hs:107:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord fof
    • In the type signature for:
           gilmore :: (IsFirstOrder fof, Ord fof, HasSkolem function,
                       atom ~ AtomOf fof, term ~ TermOf atom, function ~ FunOf term,
                       v ~ TVarOf term, v ~ SVarOf function) =>
                      fof -> Int

src/Data/Logic/ATP/Herbrand.hs:205:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           dp_loop :: (atom ~ AtomOf lit, term ~ TermOf atom,
                       function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function,
                       JustLiteral lit, Ord lit, HasApply atom, IsTerm term) =>
                      Set (Set lit)
                      -> Set term
                      -> Set (function, Int)
                      -> [v]
                      -> Int
                      -> Set (Set lit)
                      -> Set [term]
                      -> Set [term]
                      -> Set [term]

src/Data/Logic/ATP/Herbrand.hs:220:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord formula
    • In the type signature for:
           davisputnam :: (IsFirstOrder formula, Ord formula,
                           HasSkolem function, atom ~ AtomOf formula, term ~ TermOf atom,
                           function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function) =>
                          formula -> Int

src/Data/Logic/ATP/Herbrand.hs:245:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord formula
    • In the type signature for:
           davisputnam' :: (IsFirstOrder formula, Ord formula,
                            HasSkolem function, atom ~ AtomOf formula, term ~ TermOf atom,
                            function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function) =>
                           formula -> formula -> formula -> Int

src/Data/Logic/ATP/Herbrand.hs:264:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           dp_refine_loop :: (atom ~ AtomOf lit, term ~ TermOf atom,
                              function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function,
                              JustLiteral lit, Ord lit, IsTerm term, HasApply atom) =>
                             Set (Set lit)
                             -> Set term
                             -> Set (function, Int)
                             -> [v]
                             -> Int
                             -> Set (Set lit)
                             -> Set [term]
                             -> Set [term]
                             -> Set [term]

src/Data/Logic/ATP/Herbrand.hs:281:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           dp_refine :: (atom ~ AtomOf lit, term ~ TermOf atom,
                         v ~ TVarOf term, HasApply atom, JustLiteral lit, Ord lit,
                         IsTerm term) =>
                        Set (Set lit)
                        -> [TVarOf term] -> Set [term] -> Set [term] -> Set [term]

src/Data/Logic/ATP/Unif.hs:59:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           unify :: (Unify m a, Monad m) =>
                    a
                    -> Map (TVarOf (UTermOf a)) (UTermOf a)
                    -> m (Map (TVarOf (UTermOf a)) (UTermOf a))

src/Data/Logic/ATP/Unif.hs:102:1: warning: [-Wredundant-constraints]
    • Redundant constraint: f ~ FunOf term
    • In the type signature for:
           fullunify :: (IsTerm term, v ~ TVarOf term, f ~ FunOf term,
                         Monad m) =>
                        [(term, term)] -> m (Map v term)

src/Data/Logic/ATP/Tableaux.hs:56:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           unify_refute :: (JustLiteral lit, Ord lit, HasApply atom,
                            IsTerm term, Unify Failing (atom, atom),
                            term ~ UTermOf (atom, atom), v ~ TVarOf term, atom ~ AtomOf lit,
                            term ~ TermOf atom) =>
                           Set (Set lit) -> Map v term -> Failing (Map v term)

src/Data/Logic/ATP/Tableaux.hs:83:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Ord formula, Show formula)
    • In the type signature for:
           prawitz :: (IsFirstOrder formula, Ord formula,
                       Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                       HasSkolem function, Show formula, atom ~ AtomOf formula,
                       term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term,
                       v ~ SVarOf function) =>
                      formula -> Int

src/Data/Logic/ATP/Tableaux.hs:290:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Pretty formula
    • In the type signature for:
           splittab :: (IsFirstOrder formula, Unify Failing (atom, atom),
                        term ~ UTermOf (atom, atom), Ord formula, Pretty formula,
                        HasSkolem function, atom ~ AtomOf formula, term ~ TermOf atom,
                        function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function) =>
                       formula -> [Failing ((K, Map v term), Depth)]

src/Data/Logic/ATP/Tableaux.hs:295:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘splittab’

src/Data/Logic/ATP/Resolution.hs:70:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           mgu :: (JustLiteral lit, HasApply atom, Unify Failing (atom, atom),
                   term ~ UTermOf (atom, atom), IsTerm term, atom ~ AtomOf lit,
                   term ~ TermOf atom, v ~ TVarOf term) =>
                  Set lit -> StateT (Map v term) Failing (Map v term)

src/Data/Logic/ATP/Resolution.hs:82:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           unifiable :: (JustLiteral lit, IsTerm term, HasApply atom,
                         Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                         atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) =>
                        lit -> lit -> Bool

src/Data/Logic/ATP/Resolution.hs:92:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           rename :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term,
                      atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) =>
                     (v -> v) -> Set lit -> Set lit

src/Data/Logic/ATP/Resolution.hs:104:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           resolvents :: (JustLiteral lit, Ord lit, HasApply atom,
                          Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                          IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom,
                          v ~ TVarOf term) =>
                         Set lit -> Set lit -> lit -> Set lit -> Set lit

src/Data/Logic/ATP/Resolution.hs:121:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           resolve_clauses :: (JustLiteral lit, Ord lit, HasApply atom,
                               Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                               IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom,
                               v ~ TVarOf term) =>
                              Set lit -> Set lit -> Set lit

src/Data/Logic/ATP/Resolution.hs:133:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           resloop1 :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term,
                        Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                        atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) =>
                       Set (Set lit) -> Set (Set lit) -> Failing Bool

src/Data/Logic/ATP/Resolution.hs:146:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Ord fof, Pretty fof)
    • In the type signature for:
           pure_resolution1 :: (atom ~ AtomOf fof, term ~ TermOf atom,
                                v ~ TVarOf term, IsFirstOrder fof, Unify Failing (atom, atom),
                                term ~ UTermOf (atom, atom), Ord fof, Pretty fof) =>
                               fof -> Failing Bool

src/Data/Logic/ATP/Resolution.hs:199:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           match_atoms :: (JustApply atom, IsTerm term, term ~ TermOf atom,
                           v ~ TVarOf term) =>
                          Map v term -> (atom, atom) -> Failing (Map v term)

src/Data/Logic/ATP/Resolution.hs:204:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           match_atoms_eq :: (HasEquate atom, IsTerm term, term ~ TermOf atom,
                              v ~ TVarOf term) =>
                             Map v term -> (atom, atom) -> Failing (Map v term)

src/Data/Logic/ATP/Resolution.hs:210:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           match_literals :: (IsLiteral lit, HasApply atom, IsTerm term,
                              Match (atom, atom) v term, atom ~ AtomOf lit, term ~ TermOf atom,
                              v ~ TVarOf term) =>
                             Map v term -> lit -> lit -> Failing (Map v term)

src/Data/Logic/ATP/Resolution.hs:229:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Ord fof,
                              Pretty fof,
                              HasApply atom,
                              IsTerm term)
    • In the type signature for:
           pure_resolution2 :: (IsFirstOrder fof, Ord fof, Pretty fof,
                                HasApply atom, IsTerm term, Unify Failing (atom, atom),
                                term ~ UTermOf (atom, atom), Match (atom, atom) v term,
                                atom ~ AtomOf fof, term ~ TermOf atom, v ~ TVarOf term) =>
                               fof -> Failing Bool

src/Data/Logic/ATP/Resolution.hs:237:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           resloop2 :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term,
                        Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                        Match (atom, atom) v term, atom ~ AtomOf lit, term ~ TermOf atom,
                        v ~ TVarOf term) =>
                       Set (Set lit) -> Set (Set lit) -> Failing Bool

src/Data/Logic/ATP/Resolution.hs:251:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           incorporate :: (atom ~ AtomOf lit, term ~ TermOf atom,
                           v ~ TVarOf term, IsLiteral lit, Ord lit, HasApply atom,
                           Match (atom, atom) v term, IsTerm term) =>
                          Set lit -> Set lit -> Set (Set lit) -> Set (Set lit)

src/Data/Logic/ATP/Resolution.hs:264:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           replace :: (atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term,
                       IsLiteral lit, Ord lit, IsTerm term, HasApply atom,
                       Match (atom, atom) v term) =>
                      Set lit -> Set (Set lit) -> Set (Set lit)

src/Data/Logic/ATP/Resolution.hs:279:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           subsumes_clause :: (IsLiteral lit, HasApply atom, IsTerm term,
                               Match (atom, atom) v term, atom ~ AtomOf lit, term ~ TermOf atom,
                               v ~ TVarOf term) =>
                              Set lit -> Set lit -> Bool

src/Data/Logic/ATP/Resolution.hs:298:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Pretty fof
    • In the type signature for:
           presolution :: (IsFirstOrder fof, Unify Failing (atom, atom),
                           term ~ UTermOf (atom, atom), Match (atom, atom) v term,
                           HasSkolem function, Monad m, Ord fof, Pretty fof,
                           atom ~ AtomOf fof, term ~ TermOf atom, function ~ FunOf term,
                           v ~ VarOf fof, v ~ SVarOf function) =>
                          fof -> SkolemT m function (Set (Failing Bool))

src/Data/Logic/ATP/Resolution.hs:305:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Ord fof, Pretty fof)
    • In the type signature for:
           pure_presolution :: (IsFirstOrder fof, Unify Failing (atom, atom),
                                term ~ UTermOf (atom, atom), Match (atom, atom) v term, Ord fof,
                                Pretty fof, atom ~ AtomOf fof, term ~ TermOf atom, v ~ VarOf fof,
                                v ~ TVarOf term) =>
                               fof -> Failing Bool

src/Data/Logic/ATP/Resolution.hs:311:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           presloop :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term,
                        Match (atom, atom) v term, Unify Failing (atom, atom),
                        term ~ UTermOf (atom, atom), atom ~ AtomOf lit, term ~ TermOf atom,
                        v ~ TVarOf term) =>
                       Set (Set lit) -> Set (Set lit) -> Failing Bool

src/Data/Logic/ATP/Resolution.hs:327:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           presolve_clauses :: (JustLiteral lit, Ord lit, HasApply atom,
                                IsTerm term, Unify Failing (atom, atom),
                                term ~ UTermOf (atom, atom), atom ~ AtomOf lit, term ~ TermOf atom,
                                v ~ TVarOf term) =>
                               Set lit -> Set lit -> Set lit

src/Data/Logic/ATP/Resolution.hs:343:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Ord fof, Pretty fof)
    • In the type signature for:
           pure_resolution3 :: (atom ~ AtomOf fof, term ~ TermOf atom,
                                v ~ VarOf fof, v ~ TVarOf term, IsFirstOrder fof,
                                Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                                Match (atom, atom) v term, Ord fof, Pretty fof) =>
                               fof -> Failing Bool

src/Data/Logic/ATP/Meson.hs:178:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           mexpand1 :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term,
                        Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                        atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) =>
                       Set (PrologRule lit)
                       -> Set lit
                       -> lit
                       -> ((Map v term, Int, Int) -> Failing (Map v term, Int, Int))
                       -> (Map v term, Int, Int)
                       -> Failing (Map v term, Int, Int)

src/Data/Logic/ATP/Meson.hs:208:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Ord fof, function ~ FunOf term)
    • In the type signature for:
           puremeson1 :: (IsFirstOrder fof, Unify Failing (atom, atom),
                          term ~ UTermOf (atom, atom), Ord fof, atom ~ AtomOf fof,
                          term ~ TermOf atom, function ~ FunOf term, v ~ VarOf fof,
                          v ~ TVarOf term) =>
                         Maybe Depth -> fof -> Failing Depth

src/Data/Logic/ATP/Meson.hs:221:1: warning: [-Wredundant-constraints]
    • Redundant constraint: predicate ~ PredOf atom
    • In the type signature for:
           meson1 :: (IsFirstOrder fof, Unify Failing (atom, atom),
                      term ~ UTermOf (atom, atom), Ord fof, HasSkolem function, Monad m,
                      atom ~ AtomOf fof, term ~ TermOf atom, predicate ~ PredOf atom,
                      function ~ FunOf term, v ~ VarOf fof, v ~ SVarOf function) =>
                     Maybe Depth -> fof -> SkolemT m function (Set (Failing Depth))

src/Data/Logic/ATP/Meson.hs:233:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           equal :: (JustLiteral lit, HasApply atom,
                     Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                     IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom,
                     v ~ TVarOf term) =>
                    Map v term -> lit -> lit -> Bool

src/Data/Logic/ATP/Meson.hs:260:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           mexpand2 :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term,
                        Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                        atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) =>
                       Set (PrologRule lit)
                       -> Set lit
                       -> lit
                       -> ((Map v term, Int, Int) -> Failing (Map v term, Int, Int))
                       -> (Map v term, Int, Int)
                       -> Failing (Map v term, Int, Int)

src/Data/Logic/ATP/Meson.hs:287:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           mexpands :: (JustLiteral lit, Ord lit, HasApply atom,
                        Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                        IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom,
                        v ~ TVarOf term) =>
                       Set (PrologRule lit)
                       -> Set lit
                       -> Set lit
                       -> ((Map v term, Int, Int) -> Failing (Map v term, Int, Int))
                       -> (Map v term, Int, Int)
                       -> Failing (Map v term, Int, Int)

src/Data/Logic/ATP/Meson.hs:317:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord fof
    • In the type signature for:
           puremeson2 :: (atom ~ AtomOf fof, term ~ TermOf atom,
                          v ~ VarOf fof, v ~ TVarOf term, IsFirstOrder fof,
                          Unify Failing (atom, atom), term ~ UTermOf (atom, atom),
                          Ord fof) =>
                         Maybe Depth -> fof -> Failing Depth

src/Data/Logic/ATP/Equal.hs:59:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (p ~ PredOf atom, IsTerm term)
    • In the type signature for:
           function_congruence :: (atom ~ AtomOf fof, term ~ TermOf atom,
                                   p ~ PredOf atom, v ~ VarOf fof, v ~ TVarOf term,
                                   function ~ FunOf term, IsQuantified fof, HasEquate atom,
                                   IsTerm term, Ord fof) =>
                                  (function, Int) -> Set fof

src/Data/Logic/ATP/Equal.hs:77:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (IsTerm term, Ord predicate)
    • In the type signature for:
           predicate_congruence :: (atom ~ AtomOf fof,
                                    predicate ~ PredOf atom, term ~ TermOf atom, v ~ VarOf fof,
                                    v ~ TVarOf term, IsQuantified fof, HasEquate atom, IsTerm term,
                                    Ord predicate) =>
                                   AtomOf fof -> Set fof

src/Data/Logic/ATP/Equal.hs:94:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsTerm term
    • In the type signature for:
           equivalence_axioms :: (atom ~ AtomOf fof, term ~ TermOf atom,
                                  v ~ VarOf fof, IsQuantified fof, HasEquate atom, IsTerm term,
                                  Ord fof) =>
                                 Set fof

src/Data/Logic/ATP/Equal.hs:109:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (IsTerm term, Ord atom)
    • In the type signature for:
           equalitize :: (atom ~ AtomOf formula, term ~ TermOf atom,
                          v ~ VarOf formula, v ~ TVarOf term, function ~ FunOf term,
                          IsQuantified formula, HasEquate atom, IsTerm term, Ord formula,
                          Ord atom) =>
                         formula -> formula

src/Data/Logic/ATP/Equal.hs:229:1: warning: [-Wunused-top-binds]
    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)
  55% (  6 / 11) in 'Data.Logic.ATP.Unif'
  Missing documentation for:
    unify (src/Data/Logic/ATP/Unif.hs:59)
    unify_terms (src/Data/Logic/ATP/Unif.hs:62)
    unify_atoms (src/Data/Logic/ATP/Unif.hs:130)
    unify_atoms_eq (src/Data/Logic/ATP/Unif.hs:137)
    testUnif (src/Data/Logic/ATP/Unif.hs:206)
  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:199)
    match_atoms_eq (src/Data/Logic/ATP/Resolution.hs:204)
    resolution1 (src/Data/Logic/ATP/Resolution.hs:154)
    testResolution (src/Data/Logic/ATP/Resolution.hs:1115)
  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.Pretty: could not find link destinations for:
    ~
Warning: Data.Logic.ATP.Formulas: could not find link destinations for:
    ~
Warning: Data.Logic.ATP.Lit: could not find link destinations for:
    ~
Warning: Data.Logic.ATP.Term: could not find link destinations for:
    ~
Warning: Data.Logic.ATP.Apply: could not find link destinations for:
    ~
Warning: Data.Logic.ATP.Equate: could not find link destinations for:
    ~
Warning: Data.Logic.ATP.Prop: could not find link destinations for:
    ~ TruthTableRow
Warning: Data.Logic.ATP.Quantified: could not find link destinations for:
    ~
Warning: Data.Logic.ATP.PropExamples: could not find link destinations for:
    ~
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.Prolog: could not find link destinations for:
    ~
Warning: Data.Logic.ATP.Skolem: could not find link destinations for:
    SkolemState ~
Warning: Data.Logic.ATP.Herbrand: could not find link destinations for:
    ~
Warning: Data.Logic.ATP.Unif: could not find link destinations for:
    ~
Warning: Data.Logic.ATP.Tableaux: could not find link destinations for:
    ~
Warning: Data.Logic.ATP.Resolution: could not find link destinations for:
    ~ Match
Warning: Data.Logic.ATP.Meson: could not find link destinations for:
    ~
Warning: Data.Logic.ATP.Equal: could not find link destinations for:
    ~
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-11758179117278190158.14
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/atp-haskell-1.14-48ZfkZW0isj1V0Ogs3uyvo
Registering atp-haskell-1.14...
cabal: Leaving directory '/tmp/cabal-tmp-19051/atp-haskell-1.14'
Installed atp-haskell-1.14