Hackage :: [Package]

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

Build #1 for logic-classes-1.7.1

[all reports]

Package	logic-classes-1.7.1

Install	BuildFailed
Docs	NotTried
Tests	NotTried

Time submitted	2016-09-18 15:16:29.13251 UTC
Compiler	ghc-8.0.1.20160701
OS	linux
Arch	x86_64
Dependencies	HUnit-1.3.1.2, PropLogic-0.9.0.4, applicative-extras-0.1.8, atp-haskell-1.14, base-4.9.0.0, containers-0.5.7.1, mtl-2.2.1, parsec-3.1.11, pretty-1.1.3.3, safe-0.3.9, safecopy-0.9.1, set-extra-1.4, syb-0.6, template-haskell-2.11.0.0
Flags	-local-atp-haskell

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
cabal: Entering directory '/tmp/cabal-tmp-4898/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-4898/HUnit-1.3.1.2'
Installed HUnit-1.3.1.2
cabal: Entering directory '/tmp/cabal-tmp-4898/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-4898/applicative-extras-0.1.8'
Installed applicative-extras-0.1.8
cabal: Entering directory '/tmp/cabal-tmp-4898/cereal-0.5.3.0'
Configuring cereal-0.5.3.0...
Building cereal-0.5.3.0...
Preprocessing library cereal-0.5.3.0...
[1 of 4] Compiling Data.Serialize.Put ( src/Data/Serialize/Put.hs, dist/build/Data/Serialize/Put.o )
[2 of 4] Compiling Data.Serialize.Get ( src/Data/Serialize/Get.hs, dist/build/Data/Serialize/Get.o )
[3 of 4] Compiling Data.Serialize.IEEE754 ( src/Data/Serialize/IEEE754.hs, dist/build/Data/Serialize/IEEE754.o )
[4 of 4] Compiling Data.Serialize   ( src/Data/Serialize.hs, dist/build/Data/Serialize.o )
Running Haddock for cereal-0.5.3.0...
Running hscolour for cereal-0.5.3.0...
Preprocessing library cereal-0.5.3.0...
Preprocessing library cereal-0.5.3.0...
Haddock coverage:
  68% ( 30 / 44) in 'Data.Serialize.Put'
  Missing documentation for:
    Putter (src/Data/Serialize/Put.hs:134)
    putBuilder (src/Data/Serialize/Put.hs:182)
    putShortByteString (src/Data/Serialize/Put.hs:231)
    putTwoOf (src/Data/Serialize/Put.hs:311)
    putListOf (src/Data/Serialize/Put.hs:315)
    putIArrayOf (src/Data/Serialize/Put.hs:321)
    putSeqOf (src/Data/Serialize/Put.hs:327)
    putTreeOf (src/Data/Serialize/Put.hs:333)
    putMapOf (src/Data/Serialize/Put.hs:340)
    putIntMapOf (src/Data/Serialize/Put.hs:344)
    putSetOf (src/Data/Serialize/Put.hs:348)
    putIntSetOf (src/Data/Serialize/Put.hs:352)
    putMaybeOf (src/Data/Serialize/Put.hs:356)
    putEitherOf (src/Data/Serialize/Put.hs:361)
  94% ( 60 / 64) in 'Data.Serialize.Get'
  Missing documentation for:
    label (src/Data/Serialize/Get.hs:272)
    getLazyByteString (src/Data/Serialize/Get.hs:510)
    getShortByteString (src/Data/Serialize/Get.hs:515)
    getTwoOf (src/Data/Serialize/Get.hs:754)
 100% ( 11 / 11) in 'Data.Serialize.IEEE754'
Cannot find documentation for: $example
  87% ( 13 / 15) in 'Data.Serialize'
  Missing documentation for:
    GSerializePut (src/Data/Serialize.hs:550)
    GSerializeGet (src/Data/Serialize.hs:553)
Warning: Data.Serialize.Put: could not find link destinations for:
    PairS
Warning: Data.Serialize.Get: could not find link destinations for:
    get
Warning: Data.Serialize: could not find link destinations for:
    PutSum SumSize GetSum
Documentation created: dist/doc/html/cereal/index.html,
dist/doc/html/cereal/cereal.txt
Creating package registration file:
/tmp/pkgConf-cereal-0.5.34802984901398295499.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/cereal-0.5.3.0-90KodwwwQanJlL7equBhpB
Registering cereal-0.5.3.0...
cabal: Leaving directory '/tmp/cabal-tmp-4898/cereal-0.5.3.0'
Installed cereal-0.5.3.0
cabal: Entering directory '/tmp/cabal-tmp-4898/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.71562402336298625210.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-4898/clock-0.7.2'
Installed clock-0.7.2
cabal: Entering directory '/tmp/cabal-tmp-4898/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.221184219931520223205.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-4898/mtl-2.2.1'
Installed mtl-2.2.1
cabal: Entering directory '/tmp/cabal-tmp-4898/old-locale-1.0.0.7'
Configuring old-locale-1.0.0.7...
Building old-locale-1.0.0.7...
Preprocessing library old-locale-1.0.0.7...
[1 of 1] Compiling System.Locale    ( System/Locale.hs, dist/build/System/Locale.o )
Running Haddock for old-locale-1.0.0.7...
Running hscolour for old-locale-1.0.0.7...
Preprocessing library old-locale-1.0.0.7...
Preprocessing library old-locale-1.0.0.7...
Haddock coverage:
  60% (  3 /  5) in 'System.Locale'
  Missing documentation for:
    TimeLocale (System/Locale.hs:36)
    defaultTimeLocale (System/Locale.hs:49)
Documentation created: dist/doc/html/old-locale/index.html,
dist/doc/html/old-locale/old-locale.txt
Creating package registration file:
/tmp/pkgConf-old-locale-1.0.01738110294406011017.7
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/old-locale-1.0.0.7-6glXNhHF891B41ZfuI8hU8
Registering old-locale-1.0.0.7...
cabal: Leaving directory '/tmp/cabal-tmp-4898/old-locale-1.0.0.7'
Installed old-locale-1.0.0.7
cabal: Entering directory '/tmp/cabal-tmp-4898/primitive-0.6.1.0'
Configuring primitive-0.6.1.0...
Building primitive-0.6.1.0...
Preprocessing library primitive-0.6.1.0...
[ 1 of 10] Compiling Data.Primitive.Internal.Compat ( Data/Primitive/Internal/Compat.hs, dist/build/Data/Primitive/Internal/Compat.o )
[ 2 of 10] Compiling Data.Primitive.MachDeps ( Data/Primitive/MachDeps.hs, dist/build/Data/Primitive/MachDeps.o )
[ 3 of 10] Compiling Data.Primitive.Internal.Operations ( Data/Primitive/Internal/Operations.hs, dist/build/Data/Primitive/Internal/Operations.o )
[ 4 of 10] Compiling Control.Monad.Primitive ( Control/Monad/Primitive.hs, dist/build/Control/Monad/Primitive.o )

Control/Monad/Primitive.hs:41:1: warning: [-Wdeprecations]
    Module ‘Control.Monad.Trans.Error’ is deprecated:
      Use Control.Monad.Trans.Except instead

Control/Monad/Primitive.hs:100:11: warning: [-Wdeprecations]
    In the use of type constructor or class ‘Error’
    (imported from Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

Control/Monad/Primitive.hs:100:47: warning: [-Wdeprecations]
    In the use of type constructor or class ‘ErrorT’
    (imported from Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

Control/Monad/Primitive.hs:101:19: warning: [-Wdeprecations]
    In the use of type constructor or class ‘ErrorT’
    (imported from Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"
[ 5 of 10] Compiling Data.Primitive.Types ( Data/Primitive/Types.hs, dist/build/Data/Primitive/Types.o )
[ 6 of 10] Compiling Data.Primitive.Array ( Data/Primitive/Array.hs, dist/build/Data/Primitive/Array.o )
[ 7 of 10] Compiling Data.Primitive.ByteArray ( Data/Primitive/ByteArray.hs, dist/build/Data/Primitive/ByteArray.o )
[ 8 of 10] Compiling Data.Primitive.Addr ( Data/Primitive/Addr.hs, dist/build/Data/Primitive/Addr.o )
[ 9 of 10] Compiling Data.Primitive   ( Data/Primitive.hs, dist/build/Data/Primitive.o )
[10 of 10] Compiling Data.Primitive.MutVar ( Data/Primitive/MutVar.hs, dist/build/Data/Primitive/MutVar.o )
Running Haddock for primitive-0.6.1.0...
Running hscolour for primitive-0.6.1.0...
Preprocessing library primitive-0.6.1.0...
Preprocessing library primitive-0.6.1.0...

Control/Monad/Primitive.hs:41:1: warning: [-Wdeprecations]
    Module ‘Control.Monad.Trans.Error’ is deprecated:
      Use Control.Monad.Trans.Except instead

Control/Monad/Primitive.hs:100:11: warning: [-Wdeprecations]
    In the use of type constructor or class ‘Error’
    (imported from Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

Control/Monad/Primitive.hs:100:47: warning: [-Wdeprecations]
    In the use of type constructor or class ‘ErrorT’
    (imported from Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

Control/Monad/Primitive.hs:101:19: warning: [-Wdeprecations]
    In the use of type constructor or class ‘ErrorT’
    (imported from Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"
Haddock coverage:
 100% (  3 /  3) in 'Data.Primitive.Internal.Compat'
   3% (  1 / 35) in 'Data.Primitive.MachDeps'
  Missing documentation for:
    sIZEOF_CHAR (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_CHAR (Data/Primitive/MachDeps.hs:19)
    sIZEOF_INT (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_INT (Data/Primitive/MachDeps.hs:19)
    sIZEOF_WORD (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_WORD (Data/Primitive/MachDeps.hs:19)
    sIZEOF_DOUBLE (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_DOUBLE (Data/Primitive/MachDeps.hs:19)
    sIZEOF_FLOAT (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_FLOAT (Data/Primitive/MachDeps.hs:19)
    sIZEOF_PTR (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_PTR (Data/Primitive/MachDeps.hs:19)
    sIZEOF_FUNPTR (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_FUNPTR (Data/Primitive/MachDeps.hs:19)
    sIZEOF_STABLEPTR (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_STABLEPTR (Data/Primitive/MachDeps.hs:19)
    sIZEOF_INT8 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_INT8 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_WORD8 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_WORD8 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_INT16 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_INT16 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_WORD16 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_WORD16 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_INT32 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_INT32 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_WORD32 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_WORD32 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_INT64 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_INT64 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_WORD64 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_WORD64 (Data/Primitive/MachDeps.hs:19)
    Word64_# (Data/Primitive/MachDeps.hs:120)
    Int64_# (Data/Primitive/MachDeps.hs:121)
   3% (  1 / 29) in 'Data.Primitive.Internal.Operations'
  Missing documentation for:
    setWord8Array# (Data/Primitive/Internal/Operations.hs:33)
    setWord16Array# (Data/Primitive/Internal/Operations.hs:35)
    setWord32Array# (Data/Primitive/Internal/Operations.hs:37)
    setWord64Array# (Data/Primitive/Internal/Operations.hs:39)
    setWordArray# (Data/Primitive/Internal/Operations.hs:41)
    setInt8Array# (Data/Primitive/Internal/Operations.hs:43)
    setInt16Array# (Data/Primitive/Internal/Operations.hs:45)
    setInt32Array# (Data/Primitive/Internal/Operations.hs:47)
    setInt64Array# (Data/Primitive/Internal/Operations.hs:49)
    setIntArray# (Data/Primitive/Internal/Operations.hs:51)
    setAddrArray# (Data/Primitive/Internal/Operations.hs:53)
    setFloatArray# (Data/Primitive/Internal/Operations.hs:55)
    setDoubleArray# (Data/Primitive/Internal/Operations.hs:57)
    setWideCharArray# (Data/Primitive/Internal/Operations.hs:59)
    setWord8OffAddr# (Data/Primitive/Internal/Operations.hs:62)
    setWord16OffAddr# (Data/Primitive/Internal/Operations.hs:64)
    setWord32OffAddr# (Data/Primitive/Internal/Operations.hs:66)
    setWord64OffAddr# (Data/Primitive/Internal/Operations.hs:68)
    setWordOffAddr# (Data/Primitive/Internal/Operations.hs:70)
    setInt8OffAddr# (Data/Primitive/Internal/Operations.hs:72)
    setInt16OffAddr# (Data/Primitive/Internal/Operations.hs:74)
    setInt32OffAddr# (Data/Primitive/Internal/Operations.hs:76)
    setInt64OffAddr# (Data/Primitive/Internal/Operations.hs:78)
    setIntOffAddr# (Data/Primitive/Internal/Operations.hs:80)
    setAddrOffAddr# (Data/Primitive/Internal/Operations.hs:82)
    setFloatOffAddr# (Data/Primitive/Internal/Operations.hs:84)
    setDoubleOffAddr# (Data/Primitive/Internal/Operations.hs:86)
    setWideCharOffAddr# (Data/Primitive/Internal/Operations.hs:88)
  75% ( 12 / 16) in 'Control.Monad.Primitive'
  Missing documentation for:
    unsafeInlinePrim (Control/Monad/Primitive.hs:189)
    unsafeInlineIO (Control/Monad/Primitive.hs:193)
    unsafeInlineST (Control/Monad/Primitive.hs:197)
    touch (Control/Monad/Primitive.hs:201)
 100% (  3 /  3) in 'Data.Primitive.Types'
 100% ( 15 / 15) in 'Data.Primitive.Array'
  93% ( 27 / 29) in 'Data.Primitive.ByteArray'
  Missing documentation for:
    ByteArray#
    MutableByteArray#
 100% ( 16 / 16) in 'Data.Primitive.Addr'
 100% (  7 /  7) in 'Data.Primitive'
 100% (  9 /  9) in 'Data.Primitive.MutVar'
Warning: Control.Monad.Primitive: could not find link destinations for:
    ~
Documentation created: dist/doc/html/primitive/index.html,
dist/doc/html/primitive/primitive.txt
Creating package registration file:
/tmp/pkgConf-primitive-0.6.19430739851245830.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/primitive-0.6.1.0-Ip44DqhfCp21tTUYbecwa
Registering primitive-0.6.1.0...
cabal: Leaving directory '/tmp/cabal-tmp-4898/primitive-0.6.1.0'
Installed primitive-0.6.1.0
cabal: Entering directory '/tmp/cabal-tmp-4898/random-1.1'
Configuring random-1.1...
Building random-1.1...
Preprocessing library random-1.1...
[1 of 1] Compiling System.Random    ( System/Random.hs, dist/build/System/Random.o )

System/Random.hs:43:1: warning: [-Wtabs]
    Tab character found here, and in 74 further locations.
    Please use spaces instead.
Running Haddock for random-1.1...
Running hscolour for random-1.1...
Preprocessing library random-1.1...
Preprocessing library random-1.1...

System/Random.hs:43:1: warning: [-Wtabs]
    Tab character found here, and in 74 further locations.
    Please use spaces instead.
Haddock coverage:
Cannot find documentation for: $intro
 100% ( 16 / 16) in 'System.Random'
Documentation created: dist/doc/html/random/index.html,
dist/doc/html/random/random.txt
Creating package registration file:
/tmp/pkgConf-random-114473955281351538839.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/random-1.1-54KmMHXjttlERYcr1mvsAe
Registering random-1.1...
cabal: Leaving directory '/tmp/cabal-tmp-4898/random-1.1'
Installed random-1.1
cabal: Entering directory '/tmp/cabal-tmp-4898/safe-0.3.9'
Configuring safe-0.3.9...
Building safe-0.3.9...
Preprocessing library safe-0.3.9...
[1 of 4] Compiling Safe.Util        ( Safe/Util.hs, dist/build/Safe/Util.o )
[2 of 4] Compiling Safe.Exact       ( Safe/Exact.hs, dist/build/Safe/Exact.o )
[3 of 4] Compiling Safe.Foldable    ( Safe/Foldable.hs, dist/build/Safe/Foldable.o )
[4 of 4] Compiling Safe             ( Safe.hs, dist/build/Safe.o )
Running Haddock for safe-0.3.9...
Running hscolour for safe-0.3.9...
Preprocessing library safe-0.3.9...
Preprocessing library safe-0.3.9...
Haddock coverage:
  14% (  1 /  7) in 'Safe.Util'
  Missing documentation for:
    .^ (Safe/Util.hs:8)
    .^^ (Safe/Util.hs:11)
    liftMay (Safe/Util.hs:14)
    fromNoteModule (Safe/Util.hs:17)
    fromNoteEitherModule (Safe/Util.hs:21)
    eitherToMaybe (Safe/Util.hs:25)
  35% (  8 / 23) in 'Safe.Exact'
  Missing documentation for:
    takeExactMay (Safe/Exact.hs:93)
    takeExactNote (Safe/Exact.hs:90)
    takeExactDef (Safe/Exact.hs:96)
    dropExactMay (Safe/Exact.hs:102)
    dropExactNote (Safe/Exact.hs:99)
    dropExactDef (Safe/Exact.hs:105)
    splitAtExactMay (Safe/Exact.hs:112)
    splitAtExactNote (Safe/Exact.hs:108)
    splitAtExactDef (Safe/Exact.hs:116)
    zipExactMay (Safe/Exact.hs:140)
    zipExactNote (Safe/Exact.hs:137)
    zipExactDef (Safe/Exact.hs:143)
    zipWithExactMay (Safe/Exact.hs:149)
    zipWithExactNote (Safe/Exact.hs:146)
    zipWithExactDef (Safe/Exact.hs:152)
  18% (  5 / 28) in 'Safe.Foldable'
  Missing documentation for:
    foldl1May (Safe/Foldable.hs:38)
    foldl1Def (Safe/Foldable.hs:46)
    foldl1Note (Safe/Foldable.hs:42)
    foldr1May (Safe/Foldable.hs:38)
    foldr1Def (Safe/Foldable.hs:46)
    foldr1Note (Safe/Foldable.hs:42)
    findJustDef (Safe/Foldable.hs:79)
    findJustNote (Safe/Foldable.hs:82)
    minimumMay (Safe/Foldable.hs:50)
    minimumDef (Safe/Foldable.hs:54)
    minimumNote (Safe/Foldable.hs:58)
    maximumMay (Safe/Foldable.hs:50)
    maximumDef (Safe/Foldable.hs:54)
    maximumNote (Safe/Foldable.hs:58)
    minimumByMay (Safe/Foldable.hs:62)
    minimumByDef (Safe/Foldable.hs:66)
    minimumByNote (Safe/Foldable.hs:70)
    maximumByMay (Safe/Foldable.hs:62)
    maximumByDef (Safe/Foldable.hs:66)
    maximumByNote (Safe/Foldable.hs:70)
    foldl1Safe (Safe/Foldable.hs:90)
    foldr1Safe (Safe/Foldable.hs:94)
    findJustSafe (Safe/Foldable.hs:99)
  20% ( 14 / 71) in 'Safe'
  Missing documentation for:
    initMay (Safe.hs:114)
    initDef (Safe.hs:117)
    initNote (Safe.hs:120)
    initSafe (Safe.hs:123)
    headMay (Safe.hs:128)
    headDef (Safe.hs:132)
    headNote (Safe.hs:136)
    lastMay (Safe.hs:128)
    lastDef (Safe.hs:132)
    lastNote (Safe.hs:136)
    minimumMay (Safe.hs:140)
    minimumDef (Safe.hs:144)
    minimumNote (Safe.hs:148)
    maximumMay (Safe.hs:140)
    maximumDef (Safe.hs:144)
    maximumNote (Safe.hs:148)
    minimumByMay (Safe.hs:152)
    minimumByDef (Safe.hs:156)
    minimumByNote (Safe.hs:160)
    maximumByMay (Safe.hs:152)
    maximumByDef (Safe.hs:156)
    maximumByNote (Safe.hs:160)
    foldr1May (Safe.hs:165)
    foldr1Def (Safe.hs:170)
    foldr1Note (Safe.hs:175)
    foldl1May (Safe.hs:165)
    foldl1Def (Safe.hs:170)
    foldl1Note (Safe.hs:175)
    foldl1May' (Safe.hs:165)
    foldl1Def' (Safe.hs:170)
    foldl1Note' (Safe.hs:175)
    scanl1May (Safe.hs:180)
    scanl1Def (Safe.hs:184)
    scanl1Note (Safe.hs:188)
    scanr1May (Safe.hs:180)
    scanr1Def (Safe.hs:184)
    scanr1Note (Safe.hs:188)
    fromJustNote (Safe.hs:197)
    assertNote (Safe.hs:200)
    atMay (Safe.hs:209)
    atDef (Safe.hs:212)
    atNote (Safe.hs:215)
    readMay (Safe.hs:219)
    readDef (Safe.hs:222)
    readNote (Safe.hs:225)
    lookupJustDef (Safe.hs:233)
    lookupJustNote (Safe.hs:236)
    findJustDef (Safe.hs:244)
    findJustNote (Safe.hs:247)
    elemIndexJustDef (Safe.hs:255)
    elemIndexJustNote (Safe.hs:258)
    findIndexJustDef (Safe.hs:266)
    findIndexJustNote (Safe.hs:269)
    toEnumMay (Safe.hs:274)
    toEnumDef (Safe.hs:283)
    toEnumNote (Safe.hs:286)
    toEnumSafe (Safe.hs:289)
Documentation created: dist/doc/html/safe/index.html,
dist/doc/html/safe/safe.txt
Creating package registration file:
/tmp/pkgConf-safe-0.311512972781434322197.9
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/safe-0.3.9-Hqo3JhJes6h6KTrVZw55Pb
Registering safe-0.3.9...
cabal: Leaving directory '/tmp/cabal-tmp-4898/safe-0.3.9'
Installed safe-0.3.9
cabal: Entering directory '/tmp/cabal-tmp-4898/syb-0.6'
Configuring syb-0.6...
Building syb-0.6...
Preprocessing library syb-0.6...
[ 1 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o )
[ 2 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o )
[ 3 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o )
[ 4 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o )
[ 5 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o )

src/Data/Generics/Aliases.hs:181:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           extM :: (Monad m, Typeable a, Typeable b) =>
                   (a -> m a) -> (b -> m b) -> a -> m a

src/Data/Generics/Aliases.hs:207:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           extR :: (Monad m, Typeable a, Typeable b) => m a -> m b -> m a

src/Data/Generics/Aliases.hs:338:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           ext1M :: (Monad m, Data d, Typeable t) =>
                    (forall e. Data e => e -> m e)
                    -> (forall f. Data f => t f -> m (t f)) -> d -> m d

src/Data/Generics/Aliases.hs:354:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           ext1R :: (Monad m, Data d, Typeable t) =>
                    m d -> (forall e. Data e => m (t e)) -> m d

src/Data/Generics/Aliases.hs:389:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           ext2M :: (Monad m, Data d, Typeable t) =>
                    (forall e. Data e => e -> m e)
                    -> (forall d1 d2. (Data d1, Data d2) => t d1 d2 -> m (t d1 d2))
                    -> d
                    -> m d

src/Data/Generics/Aliases.hs:405:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           ext2R :: (Monad m, Data d, Typeable t) =>
                    m d -> (forall d1 d2. (Data d1, Data d2) => m (t d1 d2)) -> m d
[ 6 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o )
[ 7 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o )
[ 8 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o )
[ 9 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o )
[10 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o )
[11 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o )
[12 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o )

src/Data/Generics/Builders.hs:33:3: warning: [-Wredundant-constraints]
    • Redundant constraint: Data a
    • In the type signature for:
           general :: Data a => a
      In an equation for ‘empty’:
          empty
            = general `extB` char `extB` int `extB` integer `extB` float
              `extB` double
            where
                general :: Data a => a
                general = fromConstrB empty (indexConstr (dataTypeOf general) 1)
                char = '\NUL'
                int = 0 :: Int
                ....
[13 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o )
[14 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o )
[15 of 16] Compiling Data.Generics    ( src/Data/Generics.hs, dist/build/Data/Generics.o )
[16 of 16] Compiling Generics.SYB     ( src/Generics/SYB.hs, dist/build/Generics/SYB.o )
Running Haddock for syb-0.6...
Running hscolour for syb-0.6...
Preprocessing library syb-0.6...
Preprocessing library syb-0.6...

src/Data/Generics/Aliases.hs:181:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           extM :: (Monad m, Typeable a, Typeable b) =>
                   (a -> m a) -> (b -> m b) -> a -> m a

src/Data/Generics/Aliases.hs:207:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           extR :: (Monad m, Typeable a, Typeable b) => m a -> m b -> m a

src/Data/Generics/Aliases.hs:338:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           ext1M :: (Monad m, Data d, Typeable t) =>
                    (forall e. Data e => e -> m e)
                    -> (forall f. Data f => t f -> m (t f)) -> d -> m d

src/Data/Generics/Aliases.hs:354:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           ext1R :: (Monad m, Data d, Typeable t) =>
                    m d -> (forall e. Data e => m (t e)) -> m d

src/Data/Generics/Aliases.hs:389:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           ext2M :: (Monad m, Data d, Typeable t) =>
                    (forall e. Data e => e -> m e)
                    -> (forall d1 d2. (Data d1, Data d2) => t d1 d2 -> m (t d1 d2))
                    -> d
                    -> m d

src/Data/Generics/Aliases.hs:405:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           ext2R :: (Monad m, Data d, Typeable t) =>
                    m d -> (forall d1 d2. (Data d1, Data d2) => m (t d1 d2)) -> m d

src/Data/Generics/Builders.hs:33:3: warning: [-Wredundant-constraints]
    • Redundant constraint: Data a
    • In the type signature for:
           general :: Data a => a
      In an equation for ‘empty’:
          empty
            = general `extB` char `extB` int `extB` integer `extB` float
              `extB` double
            where
                general :: Data a => a
                general = fromConstrB empty (indexConstr (dataTypeOf general) 1)
                char = '\NUL'
                int = 0 :: Int
                ....
Haddock coverage:
 100% (  2 /  2) in 'Data.Generics.Basics'
 100% (  2 /  2) in 'Generics.SYB.Basics'
 100% (  1 /  1) in 'Data.Generics.Instances'
 100% (  1 /  1) in 'Generics.SYB.Instances'
  96% ( 43 / 45) in 'Data.Generics.Aliases'
  Missing documentation for:
    GenericQ' (src/Data/Generics/Aliases.hs:268)
    GenericM' (src/Data/Generics/Aliases.hs:269)
 100% ( 19 / 19) in 'Data.Generics.Schemes'
 100% (  2 /  2) in 'Generics.SYB.Schemes'
 100% (  6 /  6) in 'Data.Generics.Text'
 100% (  2 /  2) in 'Generics.SYB.Text'
 100% ( 17 / 17) in 'Data.Generics.Twins'
 100% (  2 /  2) in 'Generics.SYB.Twins'
 100% (  3 /  3) in 'Data.Generics.Builders'
 100% (  2 /  2) in 'Generics.SYB.Builders'
 100% (  2 /  2) in 'Generics.SYB.Aliases'
 100% (  8 /  8) in 'Data.Generics'
 100% (  2 /  2) in 'Generics.SYB'
Documentation created: dist/doc/html/syb/index.html, dist/doc/html/syb/syb.txt
Creating package registration file: /tmp/pkgConf-syb-04118269691978701535.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/syb-0.6-C65vWCsht6A8uLstpQIXyj
Registering syb-0.6...
cabal: Leaving directory '/tmp/cabal-tmp-4898/syb-0.6'
Installed syb-0.6
cabal: Entering directory '/tmp/cabal-tmp-4898/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.2240959156695991608.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-4898/text-1.2.2.1'
Installed text-1.2.2.1
cabal: Entering directory '/tmp/cabal-tmp-4898/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-1251836754346502533.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-4898/extra-1.5'
Installed extra-1.5
cabal: Entering directory '/tmp/cabal-tmp-4898/old-time-1.1.0.3'
Configuring old-time-1.1.0.3...
configure: WARNING: unrecognized options: --with-compiler
checking for gcc... /usr/bin/gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether /usr/bin/gcc accepts -g... yes
checking for /usr/bin/gcc option to accept ISO C89... none needed
checking how to run the C preprocessor... /usr/bin/gcc -E
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking sys/time.h usability... yes
checking sys/time.h presence... yes
checking for sys/time.h... yes
checking sys/timeb.h usability... yes
checking sys/timeb.h presence... yes
checking for sys/timeb.h... yes
checking time.h usability... yes
checking time.h presence... yes
checking for time.h... yes
checking for ftime... yes
checking for gmtime_r... yes
checking for localtime_r... yes
checking for gettimeofday... yes
checking whether struct tm is in sys/time.h or time.h... time.h
checking for struct tm.tm_zone... yes
checking whether time.h and sys/time.h may both be included... yes
checking for sys/time.h... (cached) yes
checking whether altzone is declared... no
configure: creating ./config.status
config.status: creating include/HsTimeConfig.h
configure: WARNING: unrecognized options: --with-compiler
Building old-time-1.1.0.3...
Preprocessing library old-time-1.1.0.3...
[1 of 1] Compiling System.Time      ( dist/build/System/Time.hs, dist/build/System/Time.o )
Running Haddock for old-time-1.1.0.3...
Running hscolour for old-time-1.1.0.3...
Preprocessing library old-time-1.1.0.3...
Preprocessing library old-time-1.1.0.3...
Haddock coverage:
  95% ( 20 / 21) in 'System.Time'
  Missing documentation for:
    getClockTime (System/Time.hsc:232)
Warning: System.Time: could not find link destinations for:
    unsafeIndex unsafeRangeSize
Documentation created: dist/doc/html/old-time/index.html,
dist/doc/html/old-time/old-time.txt
Creating package registration file:
/tmp/pkgConf-old-time-1.1.017505478891409907854.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/old-time-1.1.0.3-IcvdkJUsE9M8t3io8peAEp
Registering old-time-1.1.0.3...
cabal: Leaving directory '/tmp/cabal-tmp-4898/old-time-1.1.0.3'
Installed old-time-1.1.0.3
cabal: Entering directory '/tmp/cabal-tmp-4898/vector-0.11.0.0'
Configuring vector-0.11.0.0...
Building vector-0.11.0.0...
Preprocessing library vector-0.11.0.0...
[ 1 of 21] Compiling Data.Vector.Storable.Internal ( Data/Vector/Storable/Internal.hs, dist/build/Data/Vector/Storable/Internal.o )

Data/Vector/Storable/Internal.hs:17:1: warning: [-Wunused-imports]
    The import of ‘Foreign.ForeignPtr’ is redundant
      except perhaps to import instances from ‘Foreign.ForeignPtr’
    To import instances alone, use: import Foreign.ForeignPtr()

Data/Vector/Storable/Internal.hs:18:1: warning: [-Wunused-imports]
    The import of ‘Foreign.Ptr’ is redundant
      except perhaps to import instances from ‘Foreign.Ptr’
    To import instances alone, use: import Foreign.Ptr()
[ 2 of 21] Compiling Data.Vector.Generic.Mutable.Base ( Data/Vector/Generic/Mutable/Base.hs, dist/build/Data/Vector/Generic/Mutable/Base.o )
[ 3 of 21] Compiling Data.Vector.Generic.Base ( Data/Vector/Generic/Base.hs, dist/build/Data/Vector/Generic/Base.o )
[ 4 of 21] Compiling Data.Vector.Fusion.Util ( Data/Vector/Fusion/Util.hs, dist/build/Data/Vector/Fusion/Util.o )
[ 5 of 21] Compiling Data.Vector.Fusion.Bundle.Size ( Data/Vector/Fusion/Bundle/Size.hs, dist/build/Data/Vector/Fusion/Bundle/Size.o )
[ 6 of 21] Compiling Data.Vector.Internal.Check ( Data/Vector/Internal/Check.hs, dist/build/Data/Vector/Internal/Check.o )
[ 7 of 21] Compiling Data.Vector.Fusion.Stream.Monadic ( Data/Vector/Fusion/Stream/Monadic.hs, dist/build/Data/Vector/Fusion/Stream/Monadic.o )

Data/Vector/Fusion/Stream/Monadic.hs:431:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Monad m, Monad m')
    • In the type signature for:
           trans :: (Monad m, Monad m') =>
                    (forall z. m z -> m' z) -> Stream m a -> Stream m' a

Data/Vector/Fusion/Stream/Monadic.hs:1449:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           enumFromTo_double :: (Monad m, Ord a, RealFrac a) =>
                                a -> a -> Stream m a
[ 8 of 21] Compiling Data.Vector.Fusion.Bundle.Monadic ( Data/Vector/Fusion/Bundle/Monadic.hs, dist/build/Data/Vector/Fusion/Bundle/Monadic.o )

Data/Vector/Fusion/Bundle/Monadic.hs:945:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           enumFromTo_double :: (Monad m, Ord a, RealFrac a) =>
                                a -> a -> Bundle m v a
[ 9 of 21] Compiling Data.Vector.Fusion.Bundle ( Data/Vector/Fusion/Bundle.hs, dist/build/Data/Vector/Fusion/Bundle.o )

Data/Vector/Fusion/Bundle.hs:114:1: warning: [-Wtabs]
    Tab character found here.
    Please use spaces instead.
[10 of 21] Compiling Data.Vector.Generic.Mutable ( Data/Vector/Generic/Mutable.hs, dist/build/Data/Vector/Generic/Mutable.o )
[11 of 21] Compiling Data.Vector.Generic.New ( Data/Vector/Generic/New.hs, dist/build/Data/Vector/Generic/New.o )
[12 of 21] Compiling Data.Vector.Generic ( Data/Vector/Generic.hs, dist/build/Data/Vector/Generic.o )

Data/Vector/Generic.hs:2080:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Vector v a
    • In the type signature for:
           dataCast :: (Vector v a, Data a, Typeable v, Typeable t) =>
                       (forall d. Data d => c (t d)) -> Maybe (c (v a))
[13 of 21] Compiling Data.Vector.Primitive.Mutable ( Data/Vector/Primitive/Mutable.hs, dist/build/Data/Vector/Primitive/Mutable.o )
[14 of 21] Compiling Data.Vector.Primitive ( Data/Vector/Primitive.hs, dist/build/Data/Vector/Primitive.o )
[15 of 21] Compiling Data.Vector.Storable.Mutable ( Data/Vector/Storable/Mutable.hs, dist/build/Data/Vector/Storable/Mutable.o )

Data/Vector/Storable/Mutable.hs:72:1: warning: [-Wunused-imports]
    The import of ‘Foreign.Ptr’ is redundant
      except perhaps to import instances from ‘Foreign.Ptr’
    To import instances alone, use: import Foreign.Ptr()

Data/Vector/Storable/Mutable.hs:491:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeFromForeignPtr0 :: Storable a =>
                                    ForeignPtr a -> Int -> MVector s a

Data/Vector/Storable/Mutable.hs:501:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeToForeignPtr :: Storable a =>
                                 MVector s a -> (ForeignPtr a, Int, Int)

Data/Vector/Storable/Mutable.hs:511:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeToForeignPtr0 :: Storable a =>
                                  MVector s a -> (ForeignPtr a, Int)

Data/Vector/Storable/Mutable.hs:518:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeWith :: Storable a => IOVector a -> (Ptr a -> IO b) -> IO b
[16 of 21] Compiling Data.Vector.Storable ( Data/Vector/Storable.hs, dist/build/Data/Vector/Storable.o )

Data/Vector/Storable.hs:1408:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeFromForeignPtr0 :: Storable a =>
                                    ForeignPtr a -> Int -> Vector a

Data/Vector/Storable.hs:1417:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeToForeignPtr :: Storable a =>
                                 Vector a -> (ForeignPtr a, Int, Int)

Data/Vector/Storable.hs:1426:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeToForeignPtr0 :: Storable a =>
                                  Vector a -> (ForeignPtr a, Int)

Data/Vector/Storable.hs:1432:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeWith :: Storable a => Vector a -> (Ptr a -> IO b) -> IO b
[17 of 21] Compiling Data.Vector.Unboxed.Base ( Data/Vector/Unboxed/Base.hs, dist/build/Data/Vector/Unboxed/Base.o )

Data/Vector/Unboxed/Base.hs:362:10: warning: [-Wredundant-constraints]
    • Redundant constraint: RealFloat a
    • In the instance declaration for ‘M.MVector MVector (Complex a)’
[18 of 21] Compiling Data.Vector.Unboxed ( Data/Vector/Unboxed.hs, dist/build/Data/Vector/Unboxed.o )

internal/unbox-tuple-instances:133:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b)
    • In the type signature for:
           unzip :: (Unbox a, Unbox b) =>
                    Vector (a, b) -> (Vector a, Vector b)

internal/unbox-tuple-instances:307:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b, Unbox c)
    • In the type signature for:
           unzip3 :: (Unbox a, Unbox b, Unbox c) =>
                     Vector (a, b, c) -> (Vector a, Vector b, Vector c)

internal/unbox-tuple-instances:526:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d)
    • In the type signature for:
           unzip4 :: (Unbox a, Unbox b, Unbox c, Unbox d) =>
                     Vector (a, b, c, d) -> (Vector a, Vector b, Vector c, Vector d)

internal/unbox-tuple-instances:803:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a,
                              Unbox b,
                              Unbox c,
                              Unbox d,
                              Unbox e)
    • In the type signature for:
           unzip5 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) =>
                     Vector (a, b, c, d, e)
                     -> (Vector a, Vector b, Vector c, Vector d, Vector e)

internal/unbox-tuple-instances:1121:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a,
                              Unbox b,
                              Unbox c,
                              Unbox d,
                              Unbox e,
                              Unbox f)
    • In the type signature for:
           unzip6 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) =>
                     Vector (a, b, c, d, e, f)
                     -> (Vector a, Vector b, Vector c, Vector d, Vector e, Vector f)
[19 of 21] Compiling Data.Vector.Unboxed.Mutable ( Data/Vector/Unboxed/Mutable.hs, dist/build/Data/Vector/Unboxed/Mutable.o )

internal/unbox-tuple-instances:117:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b)
    • In the type signature for:
           unzip :: (Unbox a, Unbox b) =>
                    MVector s (a, b) -> (MVector s a, MVector s b)

internal/unbox-tuple-instances:282:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b, Unbox c)
    • In the type signature for:
           unzip3 :: (Unbox a, Unbox b, Unbox c) =>
                     MVector s (a, b, c) -> (MVector s a, MVector s b, MVector s c)

internal/unbox-tuple-instances:493:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d)
    • In the type signature for:
           unzip4 :: (Unbox a, Unbox b, Unbox c, Unbox d) =>
                     MVector s (a, b, c, d)
                     -> (MVector s a, MVector s b, MVector s c, MVector s d)

internal/unbox-tuple-instances:756:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a,
                              Unbox b,
                              Unbox c,
                              Unbox d,
                              Unbox e)
    • In the type signature for:
           unzip5 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) =>
                     MVector s (a, b, c, d, e)
                     -> (MVector s a, MVector s b, MVector s c, MVector s d,
                         MVector s e)

internal/unbox-tuple-instances:1066:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a,
                              Unbox b,
                              Unbox c,
                              Unbox d,
                              Unbox e,
                              Unbox f)
    • In the type signature for:
           unzip6 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) =>
                     MVector s (a, b, c, d, e, f)
                     -> (MVector s a, MVector s b, MVector s c, MVector s d,
                         MVector s e, MVector s f)
[20 of 21] Compiling Data.Vector.Mutable ( Data/Vector/Mutable.hs, dist/build/Data/Vector/Mutable.o )
[21 of 21] Compiling Data.Vector      ( Data/Vector.hs, dist/build/Data/Vector.o )
Running Haddock for vector-0.11.0.0...
Running hscolour for vector-0.11.0.0...
Preprocessing library vector-0.11.0.0...
Preprocessing library vector-0.11.0.0...

Data/Vector/Storable/Internal.hs:17:1: warning: [-Wunused-imports]
    The import of ‘Foreign.ForeignPtr’ is redundant
      except perhaps to import instances from ‘Foreign.ForeignPtr’
    To import instances alone, use: import Foreign.ForeignPtr()

Data/Vector/Storable/Internal.hs:18:1: warning: [-Wunused-imports]
    The import of ‘Foreign.Ptr’ is redundant
      except perhaps to import instances from ‘Foreign.Ptr’
    To import instances alone, use: import Foreign.Ptr()

Data/Vector/Fusion/Stream/Monadic.hs:431:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Monad m, Monad m')
    • In the type signature for:
           trans :: (Monad m, Monad m') =>
                    (forall z. m z -> m' z) -> Stream m a -> Stream m' a

Data/Vector/Fusion/Stream/Monadic.hs:1449:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           enumFromTo_double :: (Monad m, Ord a, RealFrac a) =>
                                a -> a -> Stream m a

Data/Vector/Fusion/Bundle/Monadic.hs:945:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           enumFromTo_double :: (Monad m, Ord a, RealFrac a) =>
                                a -> a -> Bundle m v a

Data/Vector/Fusion/Bundle.hs:114:1: warning: [-Wtabs]
    Tab character found here.
    Please use spaces instead.

Data/Vector/Generic.hs:2080:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Vector v a
    • In the type signature for:
           dataCast :: (Vector v a, Data a, Typeable v, Typeable t) =>
                       (forall d. Data d => c (t d)) -> Maybe (c (v a))
Haddock coverage:
  25% (  1 /  4) in 'Data.Vector.Storable.Internal'
  Missing documentation for:
    getPtr (Data/Vector/Storable/Internal.hs:22)
    setPtr (Data/Vector/Storable/Internal.hs:26)
    updPtr (Data/Vector/Storable/Internal.hs:30)
 100% (  2 /  2) in 'Data.Vector.Generic.Mutable.Base'
 100% (  3 /  3) in 'Data.Vector.Generic.Base'
 100% (  5 /  5) in 'Data.Vector.Fusion.Util'
 100% (  8 /  8) in 'Data.Vector.Fusion.Bundle.Size'
  11% (  1 /  9) in 'Data.Vector.Internal.Check'
  Missing documentation for:
    Checks (Data/Vector/Internal/Check.hs:51)
    doChecks (Data/Vector/Internal/Check.hs:75)
    error (Data/Vector/Internal/Check.hs:84)
    internalError (Data/Vector/Internal/Check.hs:89)
    check (Data/Vector/Internal/Check.hs:105)
    checkIndex (Data/Vector/Internal/Check.hs:119)
    checkLength (Data/Vector/Internal/Check.hs:133)
    checkSlice (Data/Vector/Internal/Check.hs:147)
  82% (103 /125) in 'Data.Vector.Fusion.Stream.Monadic'
  Missing documentation for:
    generate (Data/Vector/Fusion/Stream/Monadic.hs:184)
    unbox (Data/Vector/Fusion/Stream/Monadic.hs:436)
    concatMap (Data/Vector/Fusion/Stream/Monadic.hs:996)
    zipWithM_ (Data/Vector/Fusion/Stream/Monadic.hs:512)
    zipWith3M (Data/Vector/Fusion/Stream/Monadic.hs:516)
    zipWith4M (Data/Vector/Fusion/Stream/Monadic.hs:544)
    zipWith5M (Data/Vector/Fusion/Stream/Monadic.hs:551)
    zipWith6M (Data/Vector/Fusion/Stream/Monadic.hs:558)
    zipWith (Data/Vector/Fusion/Stream/Monadic.hs:566)
    zipWith3 (Data/Vector/Fusion/Stream/Monadic.hs:570)
    zipWith4 (Data/Vector/Fusion/Stream/Monadic.hs:575)
    zipWith5 (Data/Vector/Fusion/Stream/Monadic.hs:581)
    zipWith6 (Data/Vector/Fusion/Stream/Monadic.hs:587)
    zip (Data/Vector/Fusion/Stream/Monadic.hs:593)
    zip3 (Data/Vector/Fusion/Stream/Monadic.hs:597)
    zip4 (Data/Vector/Fusion/Stream/Monadic.hs:601)
    zip5 (Data/Vector/Fusion/Stream/Monadic.hs:606)
    zip6 (Data/Vector/Fusion/Stream/Monadic.hs:611)
    and (Data/Vector/Fusion/Stream/Monadic.hs:970)
    or (Data/Vector/Fusion/Stream/Monadic.hs:983)
    concatMapM (Data/Vector/Fusion/Stream/Monadic.hs:1000)
    unfoldrN (Data/Vector/Fusion/Stream/Monadic.hs:1062)
  79% (106 /135) in 'Data.Vector.Fusion.Bundle.Monadic'
  Missing documentation for:
    Chunk (Data/Vector/Fusion/Bundle/Monadic.hs:110)
    generate (Data/Vector/Fusion/Bundle/Monadic.hs:190)
    unbox (Data/Vector/Fusion/Bundle/Monadic.hs:301)
    concatMap (Data/Vector/Fusion/Bundle/Monadic.hs:595)
    zipWithM_ (Data/Vector/Fusion/Bundle/Monadic.hs:332)
    zipWith3M (Data/Vector/Fusion/Bundle/Monadic.hs:336)
    zipWith4M (Data/Vector/Fusion/Bundle/Monadic.hs:343)
    zipWith5M (Data/Vector/Fusion/Bundle/Monadic.hs:350)
    zipWith6M (Data/Vector/Fusion/Bundle/Monadic.hs:357)
    zipWith (Data/Vector/Fusion/Bundle/Monadic.hs:365)
    zipWith3 (Data/Vector/Fusion/Bundle/Monadic.hs:369)
    zipWith4 (Data/Vector/Fusion/Bundle/Monadic.hs:374)
    zipWith5 (Data/Vector/Fusion/Bundle/Monadic.hs:380)
    zipWith6 (Data/Vector/Fusion/Bundle/Monadic.hs:386)
    zip (Data/Vector/Fusion/Bundle/Monadic.hs:392)
    zip3 (Data/Vector/Fusion/Bundle/Monadic.hs:396)
    zip4 (Data/Vector/Fusion/Bundle/Monadic.hs:400)
    zip5 (Data/Vector/Fusion/Bundle/Monadic.hs:405)
    zip6 (Data/Vector/Fusion/Bundle/Monadic.hs:410)
    and (Data/Vector/Fusion/Bundle/Monadic.hs:587)
    or (Data/Vector/Fusion/Bundle/Monadic.hs:591)
    concatMapM (Data/Vector/Fusion/Bundle/Monadic.hs:599)
    fromVector (Data/Vector/Fusion/Bundle/Monadic.hs:1009)
    reVector (Data/Vector/Fusion/Bundle/Monadic.hs:1085)
    fromVectors (Data/Vector/Fusion/Bundle/Monadic.hs:1028)
    concatVectors (Data/Vector/Fusion/Bundle/Monadic.hs:1054)
    fromStream (Data/Vector/Fusion/Bundle/Monadic.hs:119)
    chunks (Data/Vector/Fusion/Bundle/Monadic.hs:126)
    elements (Data/Vector/Fusion/Bundle/Monadic.hs:130)
  81% ( 88 /109) in 'Data.Vector.Fusion.Bundle'
  Missing documentation for:
    Chunk (Data/Vector/Fusion/Bundle/Monadic.hs:110)
    inplace (Data/Vector/Fusion/Bundle.hs:113)
    concatMap (Data/Vector/Fusion/Bundle.hs:265)
    unbox (Data/Vector/Fusion/Bundle.hs:261)
    zipWith4 (Data/Vector/Fusion/Bundle.hs:293)
    zipWith5 (Data/Vector/Fusion/Bundle.hs:299)
    zipWith6 (Data/Vector/Fusion/Bundle.hs:305)
    zip (Data/Vector/Fusion/Bundle.hs:311)
    zip3 (Data/Vector/Fusion/Bundle.hs:315)
    zip4 (Data/Vector/Fusion/Bundle.hs:319)
    zip5 (Data/Vector/Fusion/Bundle.hs:324)
    zip6 (Data/Vector/Fusion/Bundle.hs:329)
    and (Data/Vector/Fusion/Bundle.hs:415)
    or (Data/Vector/Fusion/Bundle.hs:419)
    unsafeFromList (Data/Vector/Fusion/Bundle.hs:609)
    fromVector (Data/Vector/Fusion/Bundle.hs:613)
    reVector (Data/Vector/Fusion/Bundle.hs:617)
    fromVectors (Data/Vector/Fusion/Bundle.hs:621)
    concatVectors (Data/Vector/Fusion/Bundle.hs:625)
    zipWithM (Data/Vector/Fusion/Bundle.hs:520)
    zipWithM_ (Data/Vector/Fusion/Bundle.hs:524)
  66% ( 48 / 73) in 'Data.Vector.Generic.Mutable'
  Missing documentation for:
    init (Data/Vector/Generic/Mutable.hs:536)
    tail (Data/Vector/Generic/Mutable.hs:540)
    take (Data/Vector/Generic/Mutable.hs:515)
    drop (Data/Vector/Generic/Mutable.hs:519)
    splitAt (Data/Vector/Generic/Mutable.hs:527)
    unsafeInit (Data/Vector/Generic/Mutable.hs:554)
    unsafeTail (Data/Vector/Generic/Mutable.hs:558)
    unsafeTake (Data/Vector/Generic/Mutable.hs:562)
    unsafeDrop (Data/Vector/Generic/Mutable.hs:566)
    growFront (Data/Vector/Generic/Mutable.hs:626)
    unsafeGrowFront (Data/Vector/Generic/Mutable.hs:665)
    mstream (Data/Vector/Generic/Mutable.hs:244)
    mstreamR (Data/Vector/Generic/Mutable.hs:274)
    transform (Data/Vector/Generic/Mutable.hs:268)
    transformR (Data/Vector/Generic/Mutable.hs:303)
    fill (Data/Vector/Generic/Mutable.hs:255)
    fillR (Data/Vector/Generic/Mutable.hs:287)
    unsafeAccum (Data/Vector/Generic/Mutable.hs:848)
    accum (Data/Vector/Generic/Mutable.hs:824)
    unsafeUpdate (Data/Vector/Generic/Mutable.hs:861)
    update (Data/Vector/Generic/Mutable.hs:837)
    reverse (Data/Vector/Generic/Mutable.hs:872)
    unstablePartition (Data/Vector/Generic/Mutable.hs:881)
    unstablePartitionBundle (Data/Vector/Generic/Mutable.hs:910)
    partitionBundle (Data/Vector/Generic/Mutable.hs:938)
   5% (  1 / 20) in 'Data.Vector.Generic.New'
  Missing documentation for:
    New (Data/Vector/Generic/New.hs:40)
    create (Data/Vector/Generic/New.hs:42)
    run (Data/Vector/Generic/New.hs:46)
    runPrim (Data/Vector/Generic/New.hs:50)
    apply (Data/Vector/Generic/New.hs:54)
    modify (Data/Vector/Generic/New.hs:58)
    modifyWithBundle (Data/Vector/Generic/New.hs:62)
    unstream (Data/Vector/Generic/New.hs:67)
    transform (Data/Vector/Generic/New.hs:71)
    unstreamR (Data/Vector/Generic/New.hs:93)
    transformR (Data/Vector/Generic/New.hs:97)
    slice (Data/Vector/Generic/New.hs:119)
    init (Data/Vector/Generic/New.hs:123)
    tail (Data/Vector/Generic/New.hs:127)
    take (Data/Vector/Generic/New.hs:131)
    drop (Data/Vector/Generic/New.hs:135)
    unsafeSlice (Data/Vector/Generic/New.hs:139)
    unsafeInit (Data/Vector/Generic/New.hs:143)
    unsafeTail (Data/Vector/Generic/New.hs:147)
  93% (223 /240) in 'Data.Vector.Generic'
  Missing documentation for:
    zipWith4 (Data/Vector/Generic.hs:1069)
    zipWith5 (Data/Vector/Generic.hs:1078)
    zipWith6 (Data/Vector/Generic.hs:1090)
    izipWith3 (Data/Vector/Generic.hs:1112)
    izipWith4 (Data/Vector/Generic.hs:1120)
    izipWith5 (Data/Vector/Generic.hs:1129)
    izipWith6 (Data/Vector/Generic.hs:1141)
    zip3 (Data/Vector/Generic.hs:1159)
    zip4 (Data/Vector/Generic.hs:1164)
    zip5 (Data/Vector/Generic.hs:1169)
    zip6 (Data/Vector/Generic.hs:1175)
    unzip3 (Data/Vector/Generic.hs:1225)
    unzip4 (Data/Vector/Generic.hs:1232)
    unzip5 (Data/Vector/Generic.hs:1241)
    unzip6 (Data/Vector/Generic.hs:1251)
    dataCast (Data/Vector/Generic.hs:2080)
    mkType (Data/Vector/Generic.hs:2075)
  79% ( 41 / 52) in 'Data.Vector.Primitive.Mutable'
  Missing documen
Data/Vector/Storable/Mutable.hs:72:1: warning: [-Wunused-imports]
    The import of ‘Foreign.Ptr’ is redundant
      except perhaps to import instances from ‘Foreign.Ptr’
    To import instances alone, use: import Foreign.Ptr()

Data/Vector/Storable/Mutable.hs:491:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeFromForeignPtr0 :: Storable a =>
                                    ForeignPtr a -> Int -> MVector s a

Data/Vector/Storable/Mutable.hs:501:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeToForeignPtr :: Storable a =>
                                 MVector s a -> (ForeignPtr a, Int, Int)

Data/Vector/Storable/Mutable.hs:511:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeToForeignPtr0 :: Storable a =>
                                  MVector s a -> (ForeignPtr a, Int)

Data/Vector/Storable/Mutable.hs:518:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeWith :: Storable a => IOVector a -> (Ptr a -> IO b) -> IO b

Data/Vector/Storable.hs:1408:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeFromForeignPtr0 :: Storable a =>
                                    ForeignPtr a -> Int -> Vector a

Data/Vector/Storable.hs:1417:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeToForeignPtr :: Storable a =>
                                 Vector a -> (ForeignPtr a, Int, Int)

Data/Vector/Storable.hs:1426:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeToForeignPtr0 :: Storable a =>
                                  Vector a -> (ForeignPtr a, Int)

Data/Vector/Storable.hs:1432:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeWith :: Storable a => Vector a -> (Ptr a -> IO b) -> IO b

Data/Vector/Unboxed/Base.hs:362:10: warning: [-Wredundant-constraints]
    • Redundant constraint: RealFloat a
    • In the instance declaration for ‘M.MVector MVector (Complex a)’

internal/unbox-tuple-instances:133:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b)
    • In the type signature for:
           unzip :: (Unbox a, Unbox b) =>
                    Vector (a, b) -> (Vector a, Vector b)

internal/unbox-tuple-instances:307:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b, Unbox c)
    • In the type signature for:
           unzip3 :: (Unbox a, Unbox b, Unbox c) =>
                     Vector (a, b, c) -> (Vector a, Vector b, Vector c)

internal/unbox-tuple-instances:526:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d)
    • In the type signature for:
           unzip4 :: (Unbox a, Unbox b, Unbox c, Unbox d) =>
                     Vector (a, b, c, d) -> (Vector a, Vector b, Vector c, Vector d)

internal/unbox-tuple-instances:803:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a,
                              Unbox b,
                              Unbox c,
                              Unbox d,
                              Unbox e)
    • In the type signature for:
           unzip5 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) =>
                     Vector (a, b, c, d, e)
                     -> (Vector a, Vector b, Vector c, Vector d, Vector e)

internal/unbox-tuple-instances:1121:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a,
                              Unbox b,
                              Unbox c,
                              Unbox d,
                              Unbox e,
                              Unbox f)
    • In the type signature for:
           unzip6 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) =>
                     Vector (a, b, c, d, e, f)
                     -> (Vector a, Vector b, Vector c, Vector d, Vector e, Vector f)

internal/unbox-tuple-instances:117:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b)
    • In the type signature for:
           unzip :: (Unbox a, Unbox b) =>
                    MVector s (a, b) -> (MVector s a, MVector s b)

internal/unbox-tuple-instances:282:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b, Unbox c)
    • In the type signature for:
           unzip3 :: (Unbox a, Unbox b, Unbox c) =>
                     MVector s (a, b, c) -> (MVector s a, MVector s b, MVector s c)

internal/unbox-tuple-instances:493:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d)
    • In the type signature for:
           unzip4 :: (Unbox a, Unbox b, Unbox c, Unbox d) =>
                     MVector s (a, b, c, d)
                     -> (MVector s a, MVector s b, MVector s c, MVector s d)

internal/unbox-tuple-instances:756:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a,
                              Unbox b,
                              Unbox c,
                              Unbox d,
                              Unbox e)
    • In the type signature for:
           unzip5 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) =>
                     MVector s (a, b, c, d, e)
                     -> (MVector s a, MVector s b, MVector s c, MVector s d,
                         MVector s e)

internal/unbox-tuple-instances:1066:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a,
                              Unbox b,
                              Unbox c,
                              Unbox d,
                              Unbox e,
                              Unbox f)
    • In the type signature for:
           unzip6 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) =>
                     MVector s (a, b, c, d, e, f)
                     -> (MVector s a, MVector s b, MVector s c, MVector s d,
                         MVector s e, MVector s f)
tation for:
    IOVector (Data/Vector/Primitive/Mutable.hs:76)
    STVector (Data/Vector/Primitive/Mutable.hs:77)
    init (Data/Vector/Primitive/Mutable.hs:164)
    tail (Data/Vector/Primitive/Mutable.hs:168)
    take (Data/Vector/Primitive/Mutable.hs:152)
    drop (Data/Vector/Primitive/Mutable.hs:156)
    splitAt (Data/Vector/Primitive/Mutable.hs:160)
    unsafeInit (Data/Vector/Primitive/Mutable.hs:190)
    unsafeTail (Data/Vector/Primitive/Mutable.hs:194)
    unsafeTake (Data/Vector/Primitive/Mutable.hs:182)
    unsafeDrop (Data/Vector/Primitive/Mutable.hs:186)
  97% (185 /191) in 'Data.Vector.Primitive'
  Missing documentation for:
    zipWith4 (Data/Vector/Primitive.hs:802)
    zipWith5 (Data/Vector/Primitive.hs:808)
    zipWith6 (Data/Vector/Primitive.hs:816)
    izipWith4 (Data/Vector/Primitive.hs:838)
    izipWith5 (Data/Vector/Primitive.hs:844)
    izipWith6 (Data/Vector/Primitive.hs:852)
  82% ( 49 / 60) in 'Data.Vector.Storable.Mutable'
  Missing documentation for:
    IOVector (Data/Vector/Storable/Mutable.hs:96)
    STVector (Data/Vector/Storable/Mutable.hs:97)
    init (Data/Vector/Storable/Mutable.hs:246)
    tail (Data/Vector/Storable/Mutable.hs:250)
    take (Data/Vector/Storable/Mutable.hs:234)
    drop (Data/Vector/Storable/Mutable.hs:238)
    splitAt (Data/Vector/Storable/Mutable.hs:242)
    unsafeInit (Data/Vector/Storable/Mutable.hs:272)
    unsafeTail (Data/Vector/Storable/Mutable.hs:276)
    unsafeTake (Data/Vector/Storable/Mutable.hs:264)
    unsafeDrop (Data/Vector/Storable/Mutable.hs:268)
  97% (194 /200) in 'Data.Vector.Storable'
  Missing documentation for:
    zipWith4 (Data/Vector/Storable.hs:812)
    zipWith5 (Data/Vector/Storable.hs:818)
    zipWith6 (Data/Vector/Storable.hs:826)
    izipWith4 (Data/Vector/Storable.hs:848)
    izipWith5 (Data/Vector/Storable.hs:854)
    izipWith6 (Data/Vector/Storable.hs:862)
  17% (  1 /  6) in 'Data.Vector.Unboxed.Base'
  Missing documentation for:
    MVector (Data/Vector/Unboxed/Base.hs:55)
    IOVector (Data/Vector/Unboxed/Base.hs:58)
    STVector (Data/Vector/Unboxed/Base.hs:59)
    Vector (Data/Vector/Unboxed/Base.hs:56)
    Unbox (Data/Vector/Unboxed/Base.hs:63)
  96% (209 /218) in 'Data.Vector.Unboxed'
  Missing documentation for:
    Vector (Data/Vector/Unboxed/Base.hs:56)
    MVector (Data/Vector/Unboxed/Base.hs:55)
    Unbox (Data/Vector/Unboxed/Base.hs:63)
    zipWith4 (Data/Vector/Unboxed.hs:849)
    zipWith5 (Data/Vector/Unboxed.hs:855)
    zipWith6 (Data/Vector/Unboxed.hs:862)
    izipWith4 (Data/Vector/Unboxed.hs:883)
    izipWith5 (Data/Vector/Unboxed.hs:889)
    izipWith6 (Data/Vector/Unboxed.hs:896)
  79% ( 50 / 63) in 'Data.Vector.Unboxed.Mutable'
  Missing documentation for:
    MVector (Data/Vector/Unboxed/Base.hs:55)
    IOVector (Data/Vector/Unboxed/Base.hs:58)
    STVector (Data/Vector/Unboxed/Base.hs:59)
    Unbox (Data/Vector/Unboxed/Base.hs:63)
    init (Data/Vector/Unboxed/Mutable.hs:102)
    tail (Data/Vector/Unboxed/Mutable.hs:106)
    take (Data/Vector/Unboxed/Mutable.hs:90)
    drop (Data/Vector/Unboxed/Mutable.hs:94)
    splitAt (Data/Vector/Unboxed/Mutable.hs:98)
    unsafeInit (Data/Vector/Unboxed/Mutable.hs:128)
    unsafeTail (Data/Vector/Unboxed/Mutable.hs:132)
    unsafeTake (Data/Vector/Unboxed/Mutable.hs:120)
    unsafeDrop (Data/Vector/Unboxed/Mutable.hs:124)
  78% ( 40 / 51) in 'Data.Vector.Mutable'
  Missing documentation for:
    IOVector (Data/Vector/Mutable.hs:70)
    STVector (Data/Vector/Mutable.hs:71)
    init (Data/Vector/Mutable.hs:222)
    tail (Data/Vector/Mutable.hs:226)
    take (Data/Vector/Mutable.hs:210)
    drop (Data/Vector/Mutable.hs:214)
    splitAt (Data/Vector/Mutable.hs:219)
    unsafeInit (Data/Vector/Mutable.hs:247)
    unsafeTail (Data/Vector/Mutable.hs:251)
    unsafeTake (Data/Vector/Mutable.hs:239)
    unsafeDrop (Data/Vector/Mutable.hs:243)
  94% (207 /220) in 'Data.Vector'
  Missing documentation for:
    zipWith4 (Data/Vector.hs:944)
    zipWith5 (Data/Vector.hs:949)
    zipWith6 (Data/Vector.hs:955)
    izipWith4 (Data/Vector.hs:973)
    izipWith5 (Data/Vector.hs:978)
    izipWith6 (Data/Vector.hs:984)
    zip4 (Data/Vector.hs:1000)
    zip5 (Data/Vector.hs:1005)
    zip6 (Data/Vector.hs:1010)
    unzip3 (Data/Vector.hs:1023)
    unzip4 (Data/Vector.hs:1027)
    unzip5 (Data/Vector.hs:1031)
    unzip6 (Data/Vector.hs:1036)
Warning: Data.Vector.Unboxed: could not find link destinations for:
    D:R:VectorBool0 V_Bool D:R:VectorChar0 V_Char D:R:VectorDouble0 V_Double D:R:VectorFloat0 V_Float D:R:VectorInt0 V_Int D:R:VectorInt80 V_Int8 D:R:VectorInt160 V_Int16 D:R:VectorInt320 V_Int32 D:R:VectorInt640 V_Int64 D:R:VectorWord0 V_Word D:R:VectorWord80 V_Word8 D:R:VectorWord160 V_Word16 D:R:VectorWord320 V_Word32 D:R:VectorWord640 V_Word64 D:R:Vector()0 V_Unit D:R:VectorComplex0 V_Complex D:R:Vector(,)0 V_2 D:R:Vector(,,)0 V_3 D:R:Vector(,,,)0 V_4 D:R:Vector(,,,,)0 V_5 D:R:Vector(,,,,,)0 V_6 D:R:MVectorsBool0 MV_Bool D:R:MVectorsChar0 MV_Char D:R:MVectorsDouble0 MV_Double D:R:MVectorsFloat0 MV_Float D:R:MVectorsWord640 MV_Word64 D:R:MVectorsWord320 MV_Word32 D:R:MVectorsWord160 MV_Word16 D:R:MVectorsWord80 MV_Word8 D:R:MVectorsWord0 MV_Word D:R:MVectorsInt640 MV_Int64 D:R:MVectorsInt320 MV_Int32 D:R:MVectorsInt160 MV_Int16 D:R:MVectorsInt80 MV_Int8 D:R:MVectorsInt0 MV_Int D:R:MVectors()0 MV_Unit D:R:MVectorsComplex0 MV_Complex D:R:MVectors(,)0 MV_2 D:R:MVectors(,,)0 MV_3 D:R:MVectors(,,,)0 MV_4 D:R:MVectors(,,,,)0 MV_5 D:R:MVectors(,,,,,)0 MV_6
Warning: Data.Vector.Unboxed.Mutable: could not find link destinations for:
    D:R:MVectorsBool0 MV_Bool D:R:MVectorsChar0 MV_Char D:R:MVectorsDouble0 MV_Double D:R:MVectorsFloat0 MV_Float D:R:MVectorsWord640 MV_Word64 D:R:MVectorsWord320 MV_Word32 D:R:MVectorsWord160 MV_Word16 D:R:MVectorsWord80 MV_Word8 D:R:MVectorsWord0 MV_Word D:R:MVectorsInt640 MV_Int64 D:R:MVectorsInt320 MV_Int32 D:R:MVectorsInt160 MV_Int16 D:R:MVectorsInt80 MV_Int8 D:R:MVectorsInt0 MV_Int D:R:MVectors()0 MV_Unit D:R:MVectorsComplex0 MV_Complex D:R:MVectors(,)0 MV_2 D:R:MVectors(,,)0 MV_3 D:R:MVectors(,,,)0 MV_4 D:R:MVectors(,,,,)0 MV_5 D:R:MVectors(,,,,,)0 MV_6
Documentation created: dist/doc/html/vector/index.html,
dist/doc/html/vector/vector.txt
Creating package registration file:
/tmp/pkgConf-vector-0.11.04772239561616992200.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/vector-0.11.0.0-6uB77qGCxR6GPLxI2sqsX3
Registering vector-0.11.0.0...
cabal: Leaving directory '/tmp/cabal-tmp-4898/vector-0.11.0.0'
Installed vector-0.11.0.0
cabal: Entering directory '/tmp/cabal-tmp-4898/set-extra-1.4'
Configuring set-extra-1.4...
Building set-extra-1.4...
Preprocessing library set-extra-1.4...
[1 of 2] Compiling Data.Set.ExtraG  ( Data/Set/ExtraG.hs, dist/build/Data/Set/ExtraG.o )
[2 of 2] Compiling Data.Set.Extra   ( Data/Set/Extra.hs, dist/build/Data/Set/Extra.o )

Data/Set/Extra.hs:42:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord b
    • In the type signature for:
           mapM_ :: (Monad m, Ord b) => (a -> m b) -> Set a -> m ()

Data/Set/Extra.hs:51:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           mapMaybe :: (Ord a, Ord b) => (a -> Maybe b) -> Set a -> Set b

Data/Set/Extra.hs:58:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           concatMap :: (Ord a, Ord b) => (a -> Set b) -> Set a -> Set b

Data/Set/Extra.hs:61:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           concatMapM :: (Monad m, Ord a, Ord b) =>
                         (a -> m (Set b)) -> Set a -> m (Set b)

Data/Set/Extra.hs:64:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           any :: Ord a => (a -> Bool) -> Set a -> Bool

Data/Set/Extra.hs:75:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           all :: Ord a => (a -> Bool) -> Set a -> Bool

Data/Set/Extra.hs:85:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           ss :: Ord a => a -> Set (Set a)

Data/Set/Extra.hs:92:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           fromSS :: Ord a => Set (Set a) -> [[a]]
Running Haddock for set-extra-1.4...
Running hscolour for set-extra-1.4...
Preprocessing library set-extra-1.4...
Preprocessing library set-extra-1.4...

Data/Set/Extra.hs:42:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord b
    • In the type signature for:
           mapM_ :: (Monad m, Ord b) => (a -> m b) -> Set a -> m ()

Data/Set/Extra.hs:51:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           mapMaybe :: (Ord a, Ord b) => (a -> Maybe b) -> Set a -> Set b

Data/Set/Extra.hs:58:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           concatMap :: (Ord a, Ord b) => (a -> Set b) -> Set a -> Set b

Data/Set/Extra.hs:61:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           concatMapM :: (Monad m, Ord a, Ord b) =>
                         (a -> m (Set b)) -> Set a -> m (Set b)

Data/Set/Extra.hs:64:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           any :: Ord a => (a -> Bool) -> Set a -> Bool

Data/Set/Extra.hs:75:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           all :: Ord a => (a -> Bool) -> Set a -> Bool

Data/Set/Extra.hs:85:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           ss :: Ord a => a -> Set (Set a)

Data/Set/Extra.hs:92:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           fromSS :: Ord a => Set (Set a) -> [[a]]
Haddock coverage:
   0% (  0 /  2) in 'Data.Set.ExtraG'
  Missing documentation for:
    Module header
    gFind (Data/Set/ExtraG.hs:10)
Warning: Data.Set.Extra: Could not find documentation for exported module: Set
  12% (  3 / 24) in 'Data.Set.Extra'
  Missing documentation for:
    Module header
    mapM (Data/Set/Extra.hs:39)
    mapM_ (Data/Set/Extra.hs:42)
    filterM (Data/Set/Extra.hs:45)
    catMaybes (Data/Set/Extra.hs:48)
    mapMaybe (Data/Set/Extra.hs:51)
    flatten (Data/Set/Extra.hs:54)
    concatMap (Data/Set/Extra.hs:58)
    concatMapM (Data/Set/Extra.hs:61)
    any (Data/Set/Extra.hs:64)
    all (Data/Set/Extra.hs:75)
    or (Data/Set/Extra.hs:78)
    and (Data/Set/Extra.hs:81)
    fromSS (Data/Set/Extra.hs:92)
    ssMapM (Data/Set/Extra.hs:95)
    cartesianProduct (Data/Set/Extra.hs:102)
    groupBy (Data/Set/Extra.hs:105)
    powerset (Data/Set/Extra.hs:108)
    partitionM (Data/Set/Extra.hs:115)
    unzip (Data/Set/Extra.hs:120)
    gFind (Data/Set/ExtraG.hs:10)
Documentation created: dist/doc/html/set-extra/index.html,
dist/doc/html/set-extra/set-extra.txt
Creating package registration file:
/tmp/pkgConf-set-extra-12047428501758781272.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/set-extra-1.4-38lwzkhl3S0BjDwlvR8SYM
Registering set-extra-1.4...
cabal: Leaving directory '/tmp/cabal-tmp-4898/set-extra-1.4'
Installed set-extra-1.4
cabal: Entering directory '/tmp/cabal-tmp-4898/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.158591440788513271.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-4898/parsec-3.1.11'
Installed parsec-3.1.11
Downloading PropLogic-0.9.0.4...
cabal: Entering directory '/tmp/cabal-tmp-4898/PropLogic-0.9.0.4'
Configuring PropLogic-0.9.0.4...
Building PropLogic-0.9.0.4...
Preprocessing library PropLogic-0.9.0.4...
[1 of 8] Compiling Costack          ( Costack.hs, dist/build/Costack.o )
[2 of 8] Compiling Olist            ( Olist.hs, dist/build/Olist.o )
[3 of 8] Compiling TextDisplay      ( TextDisplay.hs, dist/build/TextDisplay.o )
[4 of 8] Compiling PropLogicCore    ( PropLogicCore.hs, dist/build/PropLogicCore.o )
[5 of 8] Compiling DefaultPropLogic ( DefaultPropLogic.hs, dist/build/DefaultPropLogic.o )
[6 of 8] Compiling FastPropLogic    ( FastPropLogic.hs, dist/build/FastPropLogic.o )
[7 of 8] Compiling PropLogicTest    ( PropLogicTest.hs, dist/build/PropLogicTest.o )
[8 of 8] Compiling PropLogic        ( PropLogic.hs, dist/build/PropLogic.o )
Preprocessing executable 'program' for PropLogic-0.9.0.4...
[1 of 9] Compiling Costack          ( Costack.hs, dist/build/program/program-tmp/Costack.o )
[2 of 9] Compiling TextDisplay      ( TextDisplay.hs, dist/build/program/program-tmp/TextDisplay.o )
[3 of 9] Compiling Olist            ( Olist.hs, dist/build/program/program-tmp/Olist.o )
[4 of 9] Compiling PropLogicCore    ( PropLogicCore.hs, dist/build/program/program-tmp/PropLogicCore.o )
[5 of 9] Compiling DefaultPropLogic ( DefaultPropLogic.hs, dist/build/program/program-tmp/DefaultPropLogic.o )
[6 of 9] Compiling FastPropLogic    ( FastPropLogic.hs, dist/build/program/program-tmp/FastPropLogic.o )
[7 of 9] Compiling PropLogicTest    ( PropLogicTest.hs, dist/build/program/program-tmp/PropLogicTest.o )
[8 of 9] Compiling PropLogic        ( PropLogic.hs, dist/build/program/program-tmp/PropLogic.o )
[9 of 9] Compiling Main             ( Main.hs, dist/build/program/program-tmp/Main.o )
Linking dist/build/program/program ...
Running Haddock for PropLogic-0.9.0.4...
Running hscolour for PropLogic-0.9.0.4...
Preprocessing library PropLogic-0.9.0.4...
Preprocessing executable 'program' for PropLogic-0.9.0.4...
Preprocessing library PropLogic-0.9.0.4...
Haddock coverage:
   0% (  0 / 23) in 'Costack'
  Missing documentation for:
    Module header
    Costack (Costack.hs:16)
    fromList (Costack.hs:19)
    toList (Costack.hs:22)
    cons (Costack.hs:25)
    cocons (Costack.hs:28)
    head (Costack.hs:31)
    tail (Costack.hs:35)
    isEmpty (Costack.hs:39)
    empty (Costack.hs:42)
    singleton (Costack.hs:45)
    append (Costack.hs:48)
    concat (Costack.hs:51)
    merge (Costack.hs:54)
    length (Costack.hs:57)
    map (Costack.hs:60)
    foldr (Costack.hs:63)
    take (Costack.hs:67)
    filter (Costack.hs:70)
    sort (Costack.hs:73)
    strictSort (Costack.hs:82)
    sorted (Costack.hs:76)
    strictSorted (Costack.hs:85)
  57% ( 25 / 44) in 'Olist'
  Missing documentation for:
    Olist (Olist.hs:149)
    olist (Olist.hs:153)
    isOlist (Olist.hs:157)
    empty (Olist.hs:164)
    isEmpty (Olist.hs:167)
    member (Olist.hs:172)
    insert (Olist.hs:179)
    delete (Olist.hs:186)
    included (Olist.hs:195)
    properlyIncluded (Olist.hs:203)
    disjunct (Olist.hs:212)
    properlyDisjunct (Olist.hs:220)
    equal (Olist.hs:228)
    union (Olist.hs:231)
    intersection (Olist.hs:239)
    difference (Olist.hs:247)
    opposition (Olist.hs:255)
    unionList (Olist.hs:263)
    intersectionList (Olist.hs:266)
  47% ( 21 / 45) in 'TextDisplay'
  Missing documentation for:
    TextFrame (TextDisplay.hs:165)
    isNonSpaceWhite (TextDisplay.hs:167)
    findTextFrameError (TextDisplay.hs:170)
    correctTextFrame (TextDisplay.hs:182)
    width (TextDisplay.hs:189)
    height (TextDisplay.hs:193)
    printTextFrame (TextDisplay.hs:196)
    textFrameBox (TextDisplay.hs:199)
    textFrameBracket (TextDisplay.hs:204)
    defaultTextFrame (TextDisplay.hs:210)
    Display (TextDisplay.hs:215)
    TextFrameTable (TextDisplay.hs:246)
    columnWidthList (TextDisplay.hs:248)
    rowHeightList (TextDisplay.hs:256)
    correctTextFrameTable (TextDisplay.hs:259)
    bottomAlign (TextDisplay.hs:280)
    topAlign (TextDisplay.hs:286)
    centerAlign (TextDisplay.hs:292)
    leftAlign (TextDisplay.hs:302)
    rightAlign (TextDisplay.hs:308)
    middleAlign (TextDisplay.hs:314)
    normalTextFrameTable (TextDisplay.hs:323)
    plainMerge (TextDisplay.hs:326)
    gridMerge (TextDisplay.hs:330)
  70% (  7 / 10) in 'PropLogicCore'
  Missing documentation for:
    PropForm (PropLogicCore.hs:106)
    stringToProp (PropLogicCore.hs:310)
    PropAlg (PropLogicCore.hs:119)
  59% (118 /201) in 'DefaultPropLogic'
  Missing documentation for:
    juncDeg (DefaultPropLogic.hs:911)
    juncArgs (DefaultPropLogic.hs:921)
    juncCons (DefaultPropLogic.hs:931)
    atomSize (DefaultPropLogic.hs:943)
    juncSize (DefaultPropLogic.hs:953)
    size (DefaultPropLogic.hs:963)
    LiteralPair (DefaultPropLogic.hs:968)
    Valuator (DefaultPropLogic.hs:970)
    correctValuator (DefaultPropLogic.hs:978)
    valuate (DefaultPropLogic.hs:1124)
    boolEval (DefaultPropLogic.hs:1137)
    boolApply (DefaultPropLogic.hs:1151)
    allValuators (DefaultPropLogic.hs:1110)
    zeroValuators (DefaultPropLogic.hs:1119)
    unitValuators (DefaultPropLogic.hs:1116)
    TruthTable (DefaultPropLogic.hs:972)
    correctTruthTable (DefaultPropLogic.hs:986)
    truthTable (DefaultPropLogic.hs:1156)
    plainTruthTable (DefaultPropLogic.hs:1163)
    truthTableBy (DefaultPropLogic.hs:1170)
    MultiTruthTable (DefaultPropLogic.hs:974)
    correctMultiTruthTable (DefaultPropLogic.hs:1005)
    multiTruthTable (DefaultPropLogic.hs:1177)
    valuatorToNLC (DefaultPropLogic.hs:1067)
    valuatorToNLD (DefaultPropLogic.hs:1072)
    valuatorListToCNF (DefaultPropLogic.hs:1078)
    valuatorListToDNF (DefaultPropLogic.hs:1081)
    nlcToValuator (DefaultPropLogic.hs:1084)
    nldToValuator (DefaultPropLogic.hs:1089)
    cnfToValuatorList (DefaultPropLogic.hs:1094)
    dnfToValuatorList (DefaultPropLogic.hs:1097)
    truthTableZeroValuators (DefaultPropLogic.hs:1100)
    truthTableUnitValuators (DefaultPropLogic.hs:1104)
    truthTableToDNF (DefaultPropLogic.hs:1184)
    truthTableToCNF (DefaultPropLogic.hs:1187)
    OrdPropForm (DefaultPropLogic.hs:1230)
    isOrdPropForm (DefaultPropLogic.hs:1232)
    ordPropForm (DefaultPropLogic.hs:1242)
    EvalNF (DefaultPropLogic.hs:1254)
    isEvalNF (DefaultPropLogic.hs:1276)
    eval (DefaultPropLogic.hs:1283)
    apply (DefaultPropLogic.hs:1332)
    LitForm (DefaultPropLogic.hs:1337)
    isLitForm (DefaultPropLogic.hs:1339)
    litFormAtom (DefaultPropLogic.hs:1345)
    litFormValue (DefaultPropLogic.hs:1350)
    NegNormForm (DefaultPropLogic.hs:1357)
    isNegNormForm (DefaultPropLogic.hs:1359)
    negNormForm (DefaultPropLogic.hs:1370)
    NLC (DefaultPropLogic.hs:1395)
    isNLC (DefaultPropLogic.hs:1403)
    NLD (DefaultPropLogic.hs:1397)
    isNLD (DefaultPropLogic.hs:1407)
    CNF (DefaultPropLogic.hs:1399)
    isCNF (DefaultPropLogic.hs:1411)
    DNF (DefaultPropLogic.hs:1401)
    isDNF (DefaultPropLogic.hs:1415)
    NaturalDNF (DefaultPropLogic.hs:1423)
    NaturalCNF (DefaultPropLogic.hs:1421)
    isNaturalDNF (DefaultPropLogic.hs:1425)
    isNaturalCNF (DefaultPropLogic.hs:1430)
    naturalDNF (DefaultPropLogic.hs:1435)
    naturalCNF (DefaultPropLogic.hs:1438)
    PDNF (DefaultPropLogic.hs:1443)
    PCNF (DefaultPropLogic.hs:1445)
    primeDNF (DefaultPropLogic.hs:1480)
    primeCNF (DefaultPropLogic.hs:1483)
    validates (DefaultPropLogic.hs:1447)
    falsifies (DefaultPropLogic.hs:1450)
    directSubvaluators (DefaultPropLogic.hs:1453)
    allDirectSubvalidators (DefaultPropLogic.hs:1458)
    allDirectSubfalsifiers (DefaultPropLogic.hs:1461)
    primeValuators (DefaultPropLogic.hs:1464)
    coprimeValuators (DefaultPropLogic.hs:1472)
    MDNF (DefaultPropLogic.hs:1488)
    MCNF (DefaultPropLogic.hs:1490)
    minimalDNFs (DefaultPropLogic.hs:1522)
    minimalCNFs (DefaultPropLogic.hs:1525)
    SimpleDNF (DefaultPropLogic.hs:1530)
    SimpleCNF (DefaultPropLogic.hs:1532)
    simpleDNF (DefaultPropLogic.hs:1534)
    simpleCNF (DefaultPropLogic.hs:1539)
    ext' (DefaultPropLogic.hs:1599)
  21% ( 28 /133) in 'FastPropLogic'
  Missing documentation for:
    IAtom (FastPropLogic.hs:280)
    ILit (FastPropLogic.hs:285)
    ILine (FastPropLogic.hs:286)
    IForm (FastPropLogic.hs:287)
    XLit (FastPropLogic.hs:288)
    XLine (FastPropLogic.hs:289)
    XForm (FastPropLogic.hs:290)
    XPDNF (FastPropLogic.hs:292)
    XPCNF (FastPropLogic.hs:294)
    MixForm (FastPropLogic.hs:297)
    IdxPropForm (FastPropLogic.hs:282)
    tr (FastPropLogic.hs:447)
    iTr (FastPropLogic.hs:457)
    idx (FastPropLogic.hs:467)
    nth (FastPropLogic.hs:474)
    itr (FastPropLogic.hs:483)
    iUni (FastPropLogic.hs:492)
    unifyIdxPropForms (FastPropLogic.hs:496)
    unifyXForms (FastPropLogic.hs:503)
    fromIdxPropForm (FastPropLogic.hs:538)
    toIdxPropForm (FastPropLogic.hs:541)
    newAtomsXForm (FastPropLogic.hs:510)
    iLIT (FastPropLogic.hs:558)
    iNLC (FastPropLogic.hs:563)
    iNLD (FastPropLogic.hs:566)
    iCNF (FastPropLogic.hs:569)
    iDNF (FastPropLogic.hs:572)
    xLIT (FastPropLogic.hs:577)
    xNLC (FastPropLogic.hs:580)
    xNLD (FastPropLogic.hs:583)
    xCNF (FastPropLogic.hs:586)
    xDNF (FastPropLogic.hs:589)
    toXPDNF (FastPropLogic.hs:391)
    toXPCNF (FastPropLogic.hs:402)
    toM2DNF (FastPropLogic.hs:419)
    toM2CNF (FastPropLogic.hs:429)
    fromXPDNF (FastPropLogic.hs:413)
    fromXPCNF (FastPropLogic.hs:416)
    fromMixForm (FastPropLogic.hs:439)
    isIAtom (FastPropLogic.hs:594)
    isILit (FastPropLogic.hs:597)
    isILine (FastPropLogic.hs:600)
    isIForm (FastPropLogic.hs:606)
    iLine (FastPropLogic.hs:611)
    iForm (FastPropLogic.hs:624)
    iAtom (FastPropLogic.hs:629)
    iBool (FastPropLogic.hs:632)
    negLit (FastPropLogic.hs:637)
    lineIndices (FastPropLogic.hs:642)
    formIndices (FastPropLogic.hs:645)
    lineLength (FastPropLogic.hs:650)
    formLength (FastPropLogic.hs:653)
    volume (FastPropLogic.hs:656)
    isOrderedForm (FastPropLogic.hs:661)
    orderForm (FastPropLogic.hs:664)
    atomForm (FastPropLogic.hs:669)
    botForm (FastPropLogic.hs:672)
    topForm (FastPropLogic.hs:675)
    formJoinForm (FastPropLogic.hs:678)
    formListJoin (FastPropLogic.hs:681)
    lineMeetLine (FastPropLogic.hs:684)
    lineMeetForm (FastPropLogic.hs:698)
    formMeetForm (FastPropLogic.hs:701)
    formListMeet (FastPropLogic.hs:704)
    dualLine (FastPropLogic.hs:709)
    dualForm (FastPropLogic.hs:712)
    invertLine (FastPropLogic.hs:715)
    invertForm (FastPropLogic.hs:718)
    negLine (FastPropLogic.hs:721)
    negForm (FastPropLogic.hs:724)
    formCojoinLine (FastPropLogic.hs:727)
    formCojoinForm (FastPropLogic.hs:730)
    formAntijoinLine (FastPropLogic.hs:733)
    formAntijoinForm (FastPropLogic.hs:736)
    elimLine (FastPropLogic.hs:739)
    elimForm (FastPropLogic.hs:747)
    lineCovLine (FastPropLogic.hs:750)
    lineCovForm (FastPropLogic.hs:760)
    formCovForm (FastPropLogic.hs:767)
    pairPartition (FastPropLogic.hs:776)
    CaseSymbol (FastPropLogic.hs:791)
    caseSymbol (FastPropLogic.hs:794)
    pairPrim' (FastPropLogic.hs:810)
    pairMin' (FastPropLogic.hs:829)
    xprim' (FastPropLogic.hs:832)
    xmin' (FastPropLogic.hs:835)
    xprim (FastPropLogic.hs:840)
    xmin (FastPropLogic.hs:947)
    pairPrim (FastPropLogic.hs:952)
    pairMin (FastPropLogic.hs:955)
    isMinimalPair (FastPropLogic.hs:960)
    allPairs (FastPropLogic.hs:963)
    isPairwiseMinimal (FastPropLogic.hs:970)
    cPrime (FastPropLogic.hs:976)
    cPrimes (FastPropLogic.hs:981)
    mrec (FastPropLogic.hs:989)
    m2form (FastPropLogic.hs:1006)
    iformJoinM2form (FastPropLogic.hs:1009)
    primForm (FastPropLogic.hs:1021)
    iformJoinPrimForm (FastPropLogic.hs:1024)
    xformAtoms (FastPropLogic.hs:1090)
    xformRedAtoms (FastPropLogic.hs:1093)
    xformIrrAtoms (FastPropLogic.hs:1096)
    mixToPDNF (FastPropLogic.hs:1268)
    mixToPCNF (FastPropLogic.hs:1274)
  42% ( 41 / 97) in 'PropLogicTest'
  Missing documentation for:
    Module header
    pdnf' (PropLogicTest.hs:262)
    pcnf' (PropLogicTest.hs:265)
    spdnf' (PropLogicTest.hs:268)
    spcnf' (PropLogicTest.hs:271)
    xpdnf' (PropLogicTest.hs:274)
    xpcnf' (PropLogicTest.hs:277)
    pdnf (PropLogicTest.hs:280)
    pcnf (PropLogicTest.hs:283)
    spdnf (PropLogicTest.hs:286)
    spcnf (PropLogicTest.hs:289)
    xpdnf (PropLogicTest.hs:292)
    xpcnf (PropLogicTest.hs:295)
    randomListMember (PropLogicTest.hs:300)
    randomChoice (PropLogicTest.hs:304)
    shuffle (PropLogicTest.hs:318)
    randomSublist (PropLogicTest.hs:325)
    nRandomRIO (PropLogicTest.hs:337)
    weightedRandomMember (PropLogicTest.hs:340)
    appleBasketDistribution (PropLogicTest.hs:347)
    averageLineLength (PropLogicTest.hs:361)
    randomILine (PropLogicTest.hs:366)
    randomIForm (PropLogicTest.hs:379)
    randomXForm (PropLogicTest.hs:393)
    randomDNF (PropLogicTest.hs:402)
    randomCNF (PropLogicTest.hs:406)
    randomCharDNF (PropLogicTest.hs:410)
    randomCharCNF (PropLogicTest.hs:413)
    randomIntDNF (PropLogicTest.hs:416)
    randomIntCNF (PropLogicTest.hs:419)
    SizeTriple (PropLogicTest.hs:424)
    sizeTriple (PropLogicTest.hs:426)
    JunctorSymbol (PropLogicTest.hs:431)
    JunctorWeighting (PropLogicTest.hs:434)
    defaultJunctorWeighting (PropLogicTest.hs:436)
    weightedRandomPropForm (PropLogicTest.hs:439)
    randomPropForm (PropLogicTest.hs:496)
    randomCharProp (PropLogicTest.hs:507)
    randomIntProp (PropLogicTest.hs:516)
    axiom_reflexivity_of_subvalence (PropLogicTest.hs:545)
    axiom_transitivity_of_subvalence (PropLogicTest.hs:548)
    axiom_criterion_for_equivalence (PropLogicTest.hs:551)
    test_prop_alg (PropLogicTest.hs:582)
    total_test (PropLogicTest.hs:606)
    Msec (PropLogicTest.hs:611)
    CanonPerformance (PropLogicTest.hs:626)
    Verbose (PropLogicTest.hs:628)
    pnfCorrect (PropLogicTest.hs:632)
    pnfCorrectRepeat (PropLogicTest.hs:662)
    pnfPerform (PropLogicTest.hs:674)
    pnfPerformRandom (PropLogicTest.hs:689)
    pnfPerformRepeat (PropLogicTest.hs:695)
    Seconds (PropLogicTest.hs:787)
    meanValue (PropLogicTest.hs:845)
    standDeviation (PropLogicTest.hs:848)
    normSeconds (PropLogicTest.hs:852)
 100% ( 29 / 29) in 'PropLogic'
Documentation created: dist/doc/html/PropLogic/index.html,
dist/doc/html/PropLogic/PropLogic.txt
Preprocessing executable 'program' for PropLogic-0.9.0.4...
Creating package registration file:
/tmp/pkgConf-PropLogic-0.9.012277340171751062934.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/PropLogic-0.9.0.4-742ZRWiQ8PV8bVXwpIBQp8
Installing executable(s) in
/home/builder/hackage-server/build-cache/tmp-install/bin
Warning: The directory
/home/builder/hackage-server/build-cache/tmp-install/bin is not in the system
search path.
Registering PropLogic-0.9.0.4...
cabal: Leaving directory '/tmp/cabal-tmp-4898/PropLogic-0.9.0.4'
Installed PropLogic-0.9.0.4
cabal: Entering directory '/tmp/cabal-tmp-4898/safecopy-0.9.1'
Configuring safecopy-0.9.1...
Building safecopy-0.9.1...
Preprocessing library safecopy-0.9.1...
[1 of 5] Compiling Data.SafeCopy.SafeCopy ( src/Data/SafeCopy/SafeCopy.hs, dist/build/Data/SafeCopy/SafeCopy.o )

src/Data/SafeCopy/SafeCopy.hs:230:1: warning: [-Wredundant-constraints]
    • Redundant constraint: SafeCopy a
    • In the type signature for:
           extension :: (SafeCopy a, Migrate a) => Kind a

src/Data/SafeCopy/SafeCopy.hs:382:1: warning: [-Wredundant-constraints]
    • Redundant constraint: SafeCopy a
    • In the type signature for:
           versionFromReverseKind :: (SafeCopy a,
                                      SafeCopy (MigrateFrom (Reverse a))) =>
                                     Kind a -> Version (MigrateFrom (Reverse a))
[2 of 5] Compiling Data.SafeCopy.Derive ( src/Data/SafeCopy/Derive.hs, dist/build/Data/SafeCopy/Derive.o )
[3 of 5] Compiling Data.SafeCopy.Internal ( src/Data/SafeCopy/Internal.hs, dist/build/Data/SafeCopy/Internal.o )
[4 of 5] Compiling Data.SafeCopy.Instances ( src/Data/SafeCopy/Instances.hs, dist/build/Data/SafeCopy/Instances.o )

src/Data/SafeCopy/Instances.hs:81:10: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the instance declaration for ‘SafeCopy (Set.Set a)’

src/Data/SafeCopy/Instances.hs:86:10: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the instance declaration for ‘SafeCopy (Map.Map a b)’

src/Data/SafeCopy/Instances.hs:428:15: warning: [-Wdeprecations]
    In the use of type constructor or class ‘Typeable1’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

src/Data/SafeCopy/Instances.hs:431:15: warning: [-Wdeprecations]
    In the use of type constructor or class ‘Typeable2’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"
[5 of 5] Compiling Data.SafeCopy    ( src/Data/SafeCopy.hs, dist/build/Data/SafeCopy.o )
Running Haddock for safecopy-0.9.1...
Running hscolour for safecopy-0.9.1...
Preprocessing library safecopy-0.9.1...
Preprocessing library safecopy-0.9.1...

src/Data/SafeCopy/SafeCopy.hs:230:1: warning: [-Wredundant-constraints]
    • Redundant constraint: SafeCopy a
    • In the type signature for:
           extension :: (SafeCopy a, Migrate a) => Kind a

src/Data/SafeCopy/SafeCopy.hs:382:1: warning: [-Wredundant-constraints]
    • Redundant constraint: SafeCopy a
    • In the type signature for:
           versionFromReverseKind :: (SafeCopy a,
                                      SafeCopy (MigrateFrom (Reverse a))) =>
                                     Kind a -> Version (MigrateFrom (Reverse a))

src/Data/SafeCopy/Instances.hs:81:10: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the instance declaration for ‘SafeCopy (Set.Set a)’

src/Data/SafeCopy/Instances.hs:86:10: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the instance declaration for ‘SafeCopy (Map.Map a b)’

src/Data/SafeCopy/Instances.hs:428:15: warning: [-Wdeprecations]
    In the use of type constructor or class ‘Typeable1’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

src/Data/SafeCopy/Instances.hs:431:15: warning: [-Wdeprecations]
    In the use of type constructor or class ‘Typeable2’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"
Haddock coverage:
  43% ( 18 / 42) in 'Data.SafeCopy.SafeCopy'
  Missing documentation for:
    isPrimitive (src/Data/SafeCopy/SafeCopy.hs:64)
    constructGetterFromVersion (src/Data/SafeCopy/SafeCopy.hs:137)
    castVersion (src/Data/SafeCopy/SafeCopy.hs:250)
     (src/Data/SafeCopy/SafeCopy.hs:253)
     (src/Data/SafeCopy/SafeCopy.hs:262)
    Profile (src/Data/SafeCopy/SafeCopy.hs:283)
    mkProfile (src/Data/SafeCopy/SafeCopy.hs:291)
    Consistency (src/Data/SafeCopy/SafeCopy.hs:301)
    availableVersions (src/Data/SafeCopy/SafeCopy.hs:303)
    getForwardKind (src/Data/SafeCopy/SafeCopy.hs:316)
    validChain (src/Data/SafeCopy/SafeCopy.hs:320)
    checkConsistency (src/Data/SafeCopy/SafeCopy.hs:337)
    computeConsistency (src/Data/SafeCopy/SafeCopy.hs:344)
    isObviouslyConsistent (src/Data/SafeCopy/SafeCopy.hs:358)
    proxyFromConsistency (src/Data/SafeCopy/SafeCopy.hs:367)
    proxyFromKind (src/Data/SafeCopy/SafeCopy.hs:370)
    consistentFromProxy (src/Data/SafeCopy/SafeCopy.hs:373)
    versionFromProxy (src/Data/SafeCopy/SafeCopy.hs:376)
    versionFromKind (src/Data/SafeCopy/SafeCopy.hs:379)
    versionFromReverseKind (src/Data/SafeCopy/SafeCopy.hs:382)
    kindFromProxy (src/Data/SafeCopy/SafeCopy.hs:385)
    Proxy (src/Data/SafeCopy/SafeCopy.hs:391)
    mkProxy (src/Data/SafeCopy/SafeCopy.hs:393)
    asProxyType (src/Data/SafeCopy/SafeCopy.hs:396)
  18% (  4 / 22) in 'Data.SafeCopy.Derive'
  Missing documentation for:
    Module header
    deriveSafeCopyIndexedType (src/Data/SafeCopy/Derive.hs:115)
    deriveSafeCopySimpleIndexedType (src/Data/SafeCopy/Derive.hs:170)
    deriveSafeCopyHappstackDataIndexedType (src/Data/SafeCopy/Derive.hs:220)
    DeriveType (src/Data/SafeCopy/Derive.hs:223)
    forceTag (src/Data/SafeCopy/Derive.hs:225)
    tyVarName (src/Data/SafeCopy/Derive.hs:229)
    internalDeriveSafeCopy (src/Data/SafeCopy/Derive.hs:235)
    internalDeriveSafeCopy' (src/Data/SafeCopy/Derive.hs:240)
    internalDeriveSafeCopyIndexedType (src/Data/SafeCopy/Derive.hs:296)
    internalDeriveSafeCopyIndexedType' (src/Data/SafeCopy/Derive.hs:301)
    mkPutCopy (src/Data/SafeCopy/Derive.hs:348)
    mkGetCopy (src/Data/SafeCopy/Derive.hs:365)
    mkSafeFunctions (src/Data/SafeCopy/Derive.hs:398)
    conSize (src/Data/SafeCopy/Derive.hs:431)
    conName (src/Data/SafeCopy/Derive.hs:441)
    conTypes (src/Data/SafeCopy/Derive.hs:447)
    typeName (src/Data/SafeCopy/Derive.hs:453)
  33% ( 21 / 63) in 'Data.SafeCopy.Internal'
  Missing documentation for:
    Module header
    isPrimitive (src/Data/SafeCopy/SafeCopy.hs:64)
    constructGetterFromVersion (src/Data/SafeCopy/SafeCopy.hs:137)
    castVersion (src/Data/SafeCopy/SafeCopy.hs:250)
     (src/Data/SafeCopy/SafeCopy.hs:253)
     (src/Data/SafeCopy/SafeCopy.hs:262)
    Profile (src/Data/SafeCopy/SafeCopy.hs:283)
    mkProfile (src/Data/SafeCopy/SafeCopy.hs:291)
    Consistency (src/Data/SafeCopy/SafeCopy.hs:301)
    availableVersions (src/Data/SafeCopy/SafeCopy.hs:303)
    getForwardKind (src/Data/SafeCopy/SafeCopy.hs:316)
    validChain (src/Data/SafeCopy/SafeCopy.hs:320)
    checkConsistency (src/Data/SafeCopy/SafeCopy.hs:337)
    computeConsistency (src/Data/SafeCopy/SafeCopy.hs:344)
    isObviouslyConsistent (src/Data/SafeCopy/SafeCopy.hs:358)
    proxyFromConsistency (src/Data/SafeCopy/SafeCopy.hs:367)
    proxyFromKind (src/Data/SafeCopy/SafeCopy.hs:370)
    consistentFromProxy (src/Data/SafeCopy/SafeCopy.hs:373)
    versionFromProxy (src/Data/SafeCopy/SafeCopy.hs:376)
    versionFromKind (src/Data/SafeCopy/SafeCopy.hs:379)
    versionFromReverseKind (src/Data/SafeCopy/SafeCopy.hs:382)
    kindFromProxy (src/Data/SafeCopy/SafeCopy.hs:385)
    Proxy (src/Data/SafeCopy/SafeCopy.hs:391)
    mkProxy (src/Data/SafeCopy/SafeCopy.hs:393)
    asProxyType (src/Data/SafeCopy/SafeCopy.hs:396)
    deriveSafeCopyIndexedType (src/Data/SafeCopy/Derive.hs:115)
    deriveSafeCopySimpleIndexedType (src/Data/SafeCopy/Derive.hs:170)
    deriveSafeCopyHappstackDataIndexedType (src/Data/SafeCopy/Derive.hs:220)
    DeriveType (src/Data/SafeCopy/Derive.hs:223)
    forceTag (src/Data/SafeCopy/Derive.hs:225)
    tyVarName (src/Data/SafeCopy/Derive.hs:229)
    internalDeriveSafeCopy (src/Data/SafeCopy/Derive.hs:235)
    internalDeriveSafeCopy' (src/Data/SafeCopy/Derive.hs:240)
    internalDeriveSafeCopyIndexedType (src/Data/SafeCopy/Derive.hs:296)
    internalDeriveSafeCopyIndexedType' (src/Data/SafeCopy/Derive.hs:301)
    mkPutCopy (src/Data/SafeCopy/Derive.hs:348)
    mkGetCopy (src/Data/SafeCopy/Derive.hs:365)
    mkSafeFunctions (src/Data/SafeCopy/Derive.hs:398)
    conSize (src/Data/SafeCopy/Derive.hs:431)
    conName (src/Data/SafeCopy/Derive.hs:441)
    conTypes (src/Data/SafeCopy/Derive.hs:447)
    typeName (src/Data/SafeCopy/Derive.hs:453)
   3% (  2 / 74) in 'Data.SafeCopy.Instances'
  Missing documentation for:
    Module header
     (src/Data/SafeCopy/Instances.hs:51)
     (src/Data/SafeCopy/Instances.hs:59)
     (src/Data/SafeCopy/Instances.hs:73)
     (src/Data/SafeCopy/Instances.hs:81)
     (src/Data/SafeCopy/Instances.hs:86)
     (src/Data/SafeCopy/Instances.hs:91)
     (src/Data/SafeCopy/Instances.hs:96)
     (src/Data/SafeCopy/Instances.hs:101)
     (src/Data/SafeCopy/Instances.hs:106)
    iarray_getCopy (src/Data/SafeCopy/Instances.hs:111)
    iarray_putCopy (src/Data/SafeCopy/Instances.hs:118)
     (src/Data/SafeCopy/Instances.hs:125)
     (src/Data/SafeCopy/Instances.hs:130)
     (src/Data/SafeCopy/Instances.hs:135)
     (src/Data/SafeCopy/Instances.hs:139)
     (src/Data/SafeCopy/Instances.hs:142)
     (src/Data/SafeCopy/Instances.hs:145)
     (src/Data/SafeCopy/Instances.hs:149)
     (src/Data/SafeCopy/Instances.hs:154)
     (src/Data/SafeCopy/Instances.hs:162)
     (src/Data/SafeCopy/Instances.hs:164)
     (src/Data/SafeCopy/Instances.hs:172)
     (src/Data/SafeCopy/Instances.hs:177)
     (src/Data/SafeCopy/Instances.hs:181)
     (src/Data/SafeCopy/Instances.hs:193)
     (src/Data/SafeCopy/Instances.hs:198)
     (src/Data/SafeCopy/Instances.hs:202)
     (src/Data/SafeCopy/Instances.hs:210)
     (src/Data/SafeCopy/Instances.hs:212)
     (src/Data/SafeCopy/Instances.hs:214)
     (src/Data/SafeCopy/Instances.hs:216)
     (src/Data/SafeCopy/Instances.hs:218)
     (src/Data/SafeCopy/Instances.hs:220)
     (src/Data/SafeCopy/Instances.hs:222)
     (src/Data/SafeCopy/Instances.hs:224)
     (src/Data/SafeCopy/Instances.hs:226)
     (src/Data/SafeCopy/Instances.hs:228)
     (src/Data/SafeCopy/Instances.hs:230)
     (src/Data/SafeCopy/Instances.hs:232)
     (src/Data/SafeCopy/Instances.hs:234)
     (src/Data/SafeCopy/Instances.hs:236)
     (src/Data/SafeCopy/Instances.hs:243)
     (src/Data/SafeCopy/Instances.hs:248)
     (src/Data/SafeCopy/Instances.hs:250)
     (src/Data/SafeCopy/Instances.hs:252)
     (src/Data/SafeCopy/Instances.hs:263)
     (src/Data/SafeCopy/Instances.hs:269)
     (src/Data/SafeCopy/Instances.hs:277)
     (src/Data/SafeCopy/Instances.hs:283)
     (src/Data/SafeCopy/Instances.hs:289)
     (src/Data/SafeCopy/Instances.hs:295)
     (src/Data/SafeCopy/Instances.hs:304)
     (src/Data/SafeCopy/Instances.hs:310)
     (src/Data/SafeCopy/Instances.hs:321)
     (src/Data/SafeCopy/Instances.hs:332)
     (src/Data/SafeCopy/Instances.hs:341)
     (src/Data/SafeCopy/Instances.hs:350)
     (src/Data/SafeCopy/Instances.hs:363)
     (src/Data/SafeCopy/Instances.hs:372)
     (src/Data/SafeCopy/Instances.hs:390)
     (src/Data/SafeCopy/Instances.hs:393)
     (src/Data/SafeCopy/Instances.hs:397)
    typeName (src/Data/SafeCopy/Instances.hs:425)
    typeName1 (src/Data/SafeCopy/Instances.hs:428)
    typeName2 (src/Data/SafeCopy/Instances.hs:431)
    getGenericVector (src/Data/SafeCopy/Instances.hs:434)
    putGenericVector (src/Data/SafeCopy/Instances.hs:438)
     (src/Data/SafeCopy/Instances.hs:442)
     (src/Data/SafeCopy/Instances.hs:446)
     (src/Data/SafeCopy/Instances.hs:450)
     (src/Data/SafeCopy/Instances.hs:454)
  85% ( 23 / 27) in 'Data.SafeCopy'
  Missing documentation for:
    Profile (src/Data/SafeCopy/SafeCopy.hs:283)
    deriveSafeCopyIndexedType (src/Data/SafeCopy/Derive.hs:115)
    deriveSafeCopySimpleIndexedType (src/Data/SafeCopy/Derive.hs:170)
    deriveSafeCopyHappstackDataIndexedType (src/Data/SafeCopy/Derive.hs:220)
Documentation created: dist/doc/html/safecopy/index.html,
dist/doc/html/safecopy/safecopy.txt
Creating package registration file:
/tmp/pkgConf-safecopy-0.91743768897152059765.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/safecopy-0.9.1-7Ap6jRXbwIf5RiMb3koidr
Registering safecopy-0.9.1...
cabal: Leaving directory '/tmp/cabal-tmp-4898/safecopy-0.9.1'
Installed safecopy-0.9.1
cabal: Entering directory '/tmp/cabal-tmp-4898/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-1622993624956774406.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-4898/atp-haskell-1.14'
Installed atp-haskell-1.14
Downloading logic-classes-1.7.1...
cabal: Entering directory '/tmp/cabal-tmp-4898/logic-classes-1.7.1'
Configuring logic-classes-1.7.1...
Building logic-classes-1.7.1...
Preprocessing library logic-classes-1.7.1...
[ 1 of 18] Compiling Data.Logic.Types.FirstOrder ( Data/Logic/Types/FirstOrder.hs, dist/build/Data/Logic/Types/FirstOrder.o )

Data/Logic/Types/FirstOrder.hs:168:10: warning: [-Wredundant-constraints]
    • Redundant constraint: IsAtom (NPredicate p (NTerm v f))
    • In the instance declaration for ‘IsFirstOrder (NFormula v p f)’

Data/Logic/Types/FirstOrder.hs:179:3: warning: [-Worphans]
    Orphan instance:
      instance safecopy-0.9.1:Data.SafeCopy.SafeCopy.SafeCopy BinOp
    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.

Data/Logic/Types/FirstOrder.hs:180:3: warning: [-Worphans]
    Orphan instance:
      instance safecopy-0.9.1:Data.SafeCopy.SafeCopy.SafeCopy Quant
    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.

Data/Logic/Types/FirstOrder.hs:184:3: warning: [-Worphans]
    Orphan instance:
      instance safecopy-0.9.1:Data.SafeCopy.SafeCopy.SafeCopy V
    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.
[ 2 of 18] Compiling Data.Logic.Types.FirstOrderPublic ( Data/Logic/Types/FirstOrderPublic.hs, dist/build/Data/Logic/Types/FirstOrderPublic.o )

Data/Logic/Types/FirstOrderPublic.hs:126:3: warning: [-Wredundant-constraints]
    • Redundant constraint: safecopy-0.9.1:Data.SafeCopy.SafeCopy.SafeCopy
                              mark
    • In the instance declaration for
        ‘safecopy-0.9.1:Data.SafeCopy.SafeCopy.SafeCopy
           (Marked mark_arRU a_arRV)’
[ 3 of 18] Compiling Data.Logic.Normal.Clause ( Data/Logic/Normal/Clause.hs, dist/build/Data/Logic/Normal/Clause.o )
[ 4 of 18] Compiling Data.Boolean     ( Data/Boolean.hs, dist/build/Data/Boolean.o )

Data/Boolean.hs:98:1: warning: [-Worphans]
    Orphan instance: instance HasFixity Int
    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.

Data/Boolean.hs:100:1: warning: [-Worphans]
    Orphan instance: instance IsAtom Int
    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.
[ 5 of 18] Compiling Data.Boolean.SatSolver ( Data/Boolean/SatSolver.hs, dist/build/Data/Boolean/SatSolver.o )
[ 6 of 18] Compiling Data.Logic.Instances.PropLogic ( Data/Logic/Instances/PropLogic.hs, dist/build/Data/Logic/Instances/PropLogic.o )

Data/Logic/Instances/PropLogic.hs:71:10: warning: [-Wredundant-constraints]
    • Redundant constraint: IsPropositional (PropForm atom)
    • In the instance declaration for ‘Pretty (PropForm atom)’

Data/Logic/Instances/PropLogic.hs:74:10: warning: [-Wredundant-constraints]
    • Redundant constraint: IsPropositional (PropForm atom)
    • In the instance declaration for ‘HasFixity (PropForm atom)’

Data/Logic/Instances/PropLogic.hs:106:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsAtom atom
    • In the type signature for:
           plSat :: (IsPropositional (PropForm atom), IsAtom atom) =>
                    PropForm atom -> Bool
[ 7 of 18] Compiling Data.Logic.Satisfiable ( Data/Logic/Satisfiable.hs, dist/build/Data/Logic/Satisfiable.o )

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

Data/Logic/Satisfiable.hs:45:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (p ~ PredOf atom,
                              Eq formula,
                              Pretty formula,
                              Ord atom,
                              Pretty atom,
                              HasFixity atom)
    • In the type signature for:
           inconsistant :: (atom ~ AtomOf formula, term ~ TermOf atom,
                            p ~ PredOf atom, v ~ VarOf formula, v ~ SVarOf function,
                            function ~ FunOf term, IsFirstOrder formula, HasSkolem function,
                            Eq formula, Ord formula, Pretty formula, Ord atom, Pretty atom,
                            HasFixity atom) =>
                           formula -> Bool

Data/Logic/Satisfiable.hs:55:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Eq formula,
                              Pretty formula,
                              Ord atom,
                              Pretty atom,
                              HasFixity atom)
    • In the type signature for:
           theorem :: (atom ~ AtomOf formula, term ~ TermOf atom,
                       p ~ PredOf atom, v ~ VarOf formula, v ~ SVarOf function,
                       function ~ FunOf term, IsFirstOrder formula, HasSkolem function,
                       Eq formula, Ord formula, Pretty formula, Ord atom, Pretty atom,
                       HasFixity atom) =>
                      formula -> Bool

Data/Logic/Satisfiable.hs:65:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Eq formula,
                              Pretty formula,
                              Ord atom,
                              Pretty atom,
                              HasFixity atom)
    • In the type signature for:
           invalid :: (atom ~ AtomOf formula, term ~ TermOf atom,
                       p ~ PredOf atom, v ~ VarOf formula, v ~ SVarOf function,
                       function ~ FunOf term, IsFirstOrder formula, HasSkolem function,
                       Eq formula, Ord formula, Pretty formula, Ord atom, Pretty atom,
                       HasFixity atom) =>
                      formula -> Bool
[ 8 of 18] Compiling Data.Logic.Harrison.Formulas.Propositional ( Data/Logic/Harrison/Formulas/Propositional.hs, dist/build/Data/Logic/Harrison/Formulas/Propositional.o )
[ 9 of 18] Compiling Data.Logic.Harrison.Formulas.FirstOrder ( Data/Logic/Harrison/Formulas/FirstOrder.hs, dist/build/Data/Logic/Harrison/Formulas/FirstOrder.o )
[10 of 18] Compiling Data.Logic.Classes.ClauseNormalForm ( Data/Logic/Classes/ClauseNormalForm.hs, dist/build/Data/Logic/Classes/ClauseNormalForm.o )
[11 of 18] Compiling Data.Logic.Instances.Test ( Data/Logic/Instances/Test.hs, dist/build/Data/Logic/Instances/Test.o )

Data/Logic/Instances/Test.hs:23:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘next’

Data/Logic/Instances/Test.hs:33:3: warning: [-Worphans]
    Orphan instance:
      instance safecopy-0.9.1:Data.SafeCopy.SafeCopy.SafeCopy BinOp
    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.

Data/Logic/Instances/Test.hs:34:3: warning: [-Worphans]
    Orphan instance:
      instance safecopy-0.9.1:Data.SafeCopy.SafeCopy.SafeCopy Quant
    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.

Data/Logic/Instances/Test.hs:35:3: warning: [-Worphans]
    Orphan instance:
      instance safecopy-0.9.1:Data.SafeCopy.SafeCopy.SafeCopy Predicate
    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.

Data/Logic/Instances/Test.hs:36:3: warning: [-Worphans]
    Orphan instance:
      instance (safecopy-0.9.1:Data.SafeCopy.SafeCopy.SafeCopy
                  function_aGKp,
                safecopy-0.9.1:Data.SafeCopy.SafeCopy.SafeCopy v_aGKq) =>
               safecopy-0.9.1:Data.SafeCopy.SafeCopy.SafeCopy
                 (Term function_aGKp v_aGKq)
    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.

Data/Logic/Instances/Test.hs:37:3: warning: [-Worphans]
    Orphan instance:
      instance (safecopy-0.9.1:Data.SafeCopy.SafeCopy.SafeCopy
                  predicate_aGNl,
                safecopy-0.9.1:Data.SafeCopy.SafeCopy.SafeCopy term_aGNm) =>
               safecopy-0.9.1:Data.SafeCopy.SafeCopy.SafeCopy
                 (FOL predicate_aGNl term_aGNm)
    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.

Data/Logic/Instances/Test.hs:38:3: warning: [-Worphans]
    Orphan instance:
      instance (safecopy-0.9.1:Data.SafeCopy.SafeCopy.SafeCopy v_aGQN,
                safecopy-0.9.1:Data.SafeCopy.SafeCopy.SafeCopy atom_aGQO) =>
               safecopy-0.9.1:Data.SafeCopy.SafeCopy.SafeCopy
                 (QFormula v_aGQN atom_aGQO)
    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.
[12 of 18] Compiling Data.Logic.Normal.Implicative ( Data/Logic/Normal/Implicative.hs, dist/build/Data/Logic/Normal/Implicative.o )

Data/Logic/Normal/Implicative.hs:36:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsLiteral lit
    • In the type signature for:
           runNormalT :: (Monad m, IsLiteral lit,
                          IsFunction (FunOf (TermOf (AtomOf lit)))) =>
                         NormalT lit m a -> m a

Data/Logic/Normal/Implicative.hs:61:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsLiteral lit
    • In the type signature for:
           makeINF' :: (IsLiteral lit, Ord lit) =>
                       [lit] -> [lit] -> ImplicativeForm lit

Data/Logic/Normal/Implicative.hs:64:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Ord lit, Pretty lit)
    • In the type signature for:
           prettyINF :: (IsLiteral lit, Ord lit, Pretty lit) =>
                        ImplicativeForm lit -> Doc

Data/Logic/Normal/Implicative.hs:67:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Pretty lit
    • In the type signature for:
           prettyProof :: (IsLiteral lit, Ord lit, Pretty lit) =>
                          Set (ImplicativeForm lit) -> Doc

Data/Logic/Normal/Implicative.hs:93:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Ord fof,
                              IsPropositional pf,
                              pf ~ PFormula atom)
    • In the type signature for:
           implicativeNormalForm :: (IsFirstOrder fof, Ord fof,
                                     IsPropositional pf, JustLiteral lit, HasSkolem function,
                                     Typeable function, Monad m, atom ~ AtomOf fof,
                                     pf ~ PFormula atom, lit ~ LFormula atom, Data lit,
                                     term ~ TermOf atom, function ~ FunOf term, v ~ VarOf fof,
                                     v ~ SVarOf function) =>
                                    fof -> SkolemT m function (Set (ImplicativeForm lit))
[13 of 18] Compiling Data.Logic.Instances.SatSolver ( Data/Logic/Instances/SatSolver.hs, dist/build/Data/Logic/Instances/SatSolver.o )

Data/Logic/Instances/SatSolver.hs:53:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (IsLiteral formula, Pretty formula)
    • In the type signature for:
           toCNF :: (atom ~ AtomOf formula, p ~ PredOf atom,
                     term ~ TermOf atom, v ~ VarOf formula, v ~ TVarOf term,
                     function ~ FunOf term, Monad m, IsFirstOrder formula,
                     IsLiteral formula, Ord formula, Pretty formula) =>
                    formula -> NormalT formula m CNF
[14 of 18] Compiling Data.Logic.Classes.Atom ( Data/Logic/Classes/Atom.hs, dist/build/Data/Logic/Classes/Atom.o )
[15 of 18] Compiling Data.Logic.Instances.Chiou ( Data/Logic/Instances/Chiou.hs, dist/build/Data/Logic/Instances/Chiou.o )

Data/Logic/Instances/Chiou.hs:81:10: error:
    • Could not deduce (IsPredicate p)
        arising from the superclasses of an instance declaration
      from the context: (IsLiteral (Sentence v p f),
                         IsFunction f,
                         IsVariable v,
                         Ord p)
        bound by the instance declaration
        at Data/Logic/Instances/Chiou.hs:(81,10)-(82,74)
      Possible fix:
        add (IsPredicate p) to the context of the instance declaration
    • In the instance declaration for ‘IsFormula (Sentence v p f)’

Data/Logic/Instances/Chiou.hs:99:10: error:
    • Could not deduce (IsPredicate p)
        arising from the superclasses of an instance declaration
      from the context: (IsPropositional (Sentence v p f),
                         IsVariable v,
                         IsFunction f)
        bound by the instance declaration
        at Data/Logic/Instances/Chiou.hs:(99,10)-(100,73)
      Possible fix:
        add (IsPredicate p) to the context of the instance declaration
    • In the instance declaration for
        ‘IsPropositional (Sentence v p f)’
cabal: Leaving directory '/tmp/cabal-tmp-4898/logic-classes-1.7.1'
Failed to install logic-classes-1.7.1
cabal: Error: some packages failed to install:
logic-classes-1.7.1 failed during the building phase. The exception was:
ExitFailure 1

Test log

No test log was submitted for this report.