Resolving dependencies... cabal: Entering directory '/tmp/cabal-tmp-19051/HUnit-1.3.1.2' Configuring HUnit-1.3.1.2... Building HUnit-1.3.1.2... Preprocessing library HUnit-1.3.1.2... [1 of 5] Compiling Test.HUnit.Terminal ( Test/HUnit/Terminal.hs, dist/build/Test/HUnit/Terminal.o ) [2 of 5] Compiling Test.HUnit.Lang ( Test/HUnit/Lang.hs, dist/build/Test/HUnit/Lang.o ) [3 of 5] Compiling Test.HUnit.Base ( Test/HUnit/Base.hs, dist/build/Test/HUnit/Base.o ) [4 of 5] Compiling Test.HUnit.Text ( Test/HUnit/Text.hs, dist/build/Test/HUnit/Text.o ) [5 of 5] Compiling Test.HUnit ( Test/HUnit.hs, dist/build/Test/HUnit.o ) Running Haddock for HUnit-1.3.1.2... Running hscolour for HUnit-1.3.1.2... Preprocessing library HUnit-1.3.1.2... Preprocessing library HUnit-1.3.1.2... Haddock coverage: 100% ( 2 / 2) in 'Test.HUnit.Terminal' 56% ( 5 / 9) in 'Test.HUnit.Lang' Missing documentation for: Module header Location (Test/HUnit/Lang.hs:40) Result (Test/HUnit/Lang.hs:76) HUnitFailure (Test/HUnit/Lang.hs:46) 97% ( 33 / 34) in 'Test.HUnit.Base' Missing documentation for: Location (Test/HUnit/Lang.hs:40) 100% ( 8 / 8) in 'Test.HUnit.Text' 100% ( 3 / 3) in 'Test.HUnit' Documentation created: dist/doc/html/HUnit/index.html, dist/doc/html/HUnit/HUnit.txt Creating package registration file: /tmp/pkgConf-HUnit-1.3.12145174067468703135.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/HUnit-1.3.1.2-LggooYwT1UPHSoNYWvAdgk Registering HUnit-1.3.1.2... cabal: Leaving directory '/tmp/cabal-tmp-19051/HUnit-1.3.1.2' Installed HUnit-1.3.1.2 cabal: Entering directory '/tmp/cabal-tmp-19051/applicative-extras-0.1.8' Configuring applicative-extras-0.1.8... Building applicative-extras-0.1.8... Preprocessing library applicative-extras-0.1.8... [1 of 3] Compiling Control.Applicative.Error ( Control/Applicative/Error.hs, dist/build/Control/Applicative/Error.o ) [2 of 3] Compiling Control.Applicative.Compose ( Control/Applicative/Compose.hs, dist/build/Control/Applicative/Compose.o ) [3 of 3] Compiling Control.Applicative.Backwards ( Control/Applicative/Backwards.hs, dist/build/Control/Applicative/Backwards.o ) Running Haddock for applicative-extras-0.1.8... Running hscolour for applicative-extras-0.1.8... Preprocessing library applicative-extras-0.1.8... Preprocessing library applicative-extras-0.1.8... Haddock coverage: 40% ( 4 / 10) in 'Control.Applicative.Error' Missing documentation for: Module header ErrorMsg (Control/Applicative/Error.hs:10) (Control/Applicative/Error.hs:12) (Control/Applicative/Error.hs:16) (Control/Applicative/Error.hs:23) maybeRead (Control/Applicative/Error.hs:29) 25% ( 1 / 4) in 'Control.Applicative.Compose' Missing documentation for: Module header (Control/Applicative/Compose.hs:9) (Control/Applicative/Compose.hs:13) 0% ( 0 / 6) in 'Control.Applicative.Backwards' Missing documentation for: Module header Backwards (Control/Applicative/Backwards.hs:9) (Control/Applicative/Backwards.hs:11) (Control/Applicative/Backwards.hs:14) (Control/Applicative/Backwards.hs:18) (Control/Applicative/Backwards.hs:25) Documentation created: dist/doc/html/applicative-extras/index.html, dist/doc/html/applicative-extras/applicative-extras.txt Creating package registration file: /tmp/pkgConf-applicative-extras-0.13272545861572276965.8 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/applicative-extras-0.1.8-Lil32JHLXPqMYRZqzY3OS Registering applicative-extras-0.1.8... cabal: Leaving directory '/tmp/cabal-tmp-19051/applicative-extras-0.1.8' Installed applicative-extras-0.1.8 cabal: Entering directory '/tmp/cabal-tmp-19051/clock-0.7.2' Configuring clock-0.7.2... Building clock-0.7.2... Preprocessing library clock-0.7.2... Clock.hsc:44:0: warning: "hsc_alignment" redefined [enabled by default] In file included from dist/build/System/Clock_hsc_make.c:1:0: /opt/ghc/8.0.2/lib/ghc-8.0.1.20160701/template-hsc.h:88:0: note: this is the location of the previous definition #define hsc_alignment(t...) \ ^ [1 of 1] Compiling System.Clock ( dist/build/System/Clock.hs, dist/build/System/Clock.o ) Running Haddock for clock-0.7.2... Running hscolour for clock-0.7.2... Preprocessing library clock-0.7.2... Preprocessing library clock-0.7.2... Haddock coverage: 100% ( 9 / 9) in 'System.Clock' Documentation created: dist/doc/html/clock/index.html, dist/doc/html/clock/clock.txt Creating package registration file: /tmp/pkgConf-clock-0.74802984901398295499.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/clock-0.7.2-bxVecpUqndAMeayDi5R9Y Registering clock-0.7.2... cabal: Leaving directory '/tmp/cabal-tmp-19051/clock-0.7.2' Installed clock-0.7.2 cabal: Entering directory '/tmp/cabal-tmp-19051/mtl-2.2.1' Configuring mtl-2.2.1... Building mtl-2.2.1... Preprocessing library mtl-2.2.1... [ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o ) [ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o ) [ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o ) [ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o ) [ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o ) [ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o ) [ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o ) [ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o ) [ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o ) [10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o ) [11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o ) [12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o ) [13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o ) [14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o ) [15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o ) [16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o ) [17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o ) [18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o ) [19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o ) [20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o ) [21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o ) [22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o ) Running Haddock for mtl-2.2.1... Running hscolour for mtl-2.2.1... Preprocessing library mtl-2.2.1... Preprocessing library mtl-2.2.1... Haddock coverage: 75% ( 3 / 4) in 'Control.Monad.Writer.Class' Missing documentation for: MonadWriter (Control/Monad/Writer/Class.hs:62) 100% ( 5 / 5) in 'Control.Monad.State.Class' 100% ( 3 / 3) in 'Control.Monad.Reader.Class' 80% ( 4 / 5) in 'Control.Monad.RWS.Class' Missing documentation for: MonadRWS (Control/Monad/RWS/Class.hs:44) 100% ( 4 / 4) in 'Control.Monad.Identity' 100% ( 3 / 3) in 'Control.Monad.Error.Class' 50% ( 1 / 2) in 'Control.Monad.Cont.Class' Missing documentation for: MonadCont (Control/Monad/Cont/Class.hs:73) 100% ( 3 / 3) in 'Control.Monad.Trans' 93% ( 14 / 15) in 'Control.Monad.Error' Missing documentation for: runErrorT 100% ( 19 / 19) in 'Control.Monad.Except' 100% ( 5 / 5) in 'Control.Monad.List' 95% ( 21 / 22) in 'Control.Monad.RWS.Lazy' Missing documentation for: runRWST 100% ( 2 / 2) in 'Control.Monad.RWS' 96% ( 22 / 23) in 'Control.Monad.Reader' Missing documentation for: runReaderT 95% ( 21 / 22) in 'Control.Monad.RWS.Strict' Missing documentation for: runRWST 96% ( 24 / 25) in 'Control.Monad.State.Lazy' Missing documentation for: runStateT 100% ( 2 / 2) in 'Control.Monad.State' 96% ( 24 / 25) in 'Control.Monad.State.Strict' Missing documentation for: runStateT 89% ( 17 / 19) in 'Control.Monad.Writer.Lazy' Missing documentation for: MonadWriter (Control/Monad/Writer/Class.hs:62) runWriterT 100% ( 2 / 2) in 'Control.Monad.Writer' 94% ( 17 / 18) in 'Control.Monad.Writer.Strict' Missing documentation for: MonadWriter (Control/Monad/Writer/Class.hs:62) 91% ( 20 / 22) in 'Control.Monad.Cont' Missing documentation for: MonadCont (Control/Monad/Cont/Class.hs:73) runContT Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt Creating package registration file: /tmp/pkgConf-mtl-2.220586571991973387981.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/mtl-2.2.1-6qsR1PHUy5lL47Hpoa4jCM Registering mtl-2.2.1... cabal: Leaving directory '/tmp/cabal-tmp-19051/mtl-2.2.1' Installed mtl-2.2.1 cabal: Entering directory '/tmp/cabal-tmp-19051/text-1.2.2.1' Configuring text-1.2.2.1... Building text-1.2.2.1... Preprocessing library text-1.2.2.1... [ 1 of 44] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o ) [ 2 of 44] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o ) [ 3 of 44] Compiling Data.Text.Internal.Builder.RealFloat.Functions ( Data/Text/Internal/Builder/RealFloat/Functions.hs, dist/build/Data/Text/Internal/Builder/RealFloat/Functions.o ) [ 4 of 44] Compiling Data.Text.Internal.Builder.Int.Digits ( Data/Text/Internal/Builder/Int/Digits.hs, dist/build/Data/Text/Internal/Builder/Int/Digits.o ) [ 5 of 44] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o ) [ 6 of 44] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o ) [ 7 of 44] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o ) [ 8 of 44] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o ) [ 9 of 44] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o ) [10 of 44] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o ) [11 of 44] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o ) [12 of 44] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o ) [13 of 44] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o ) [14 of 44] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o ) [15 of 44] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o ) [16 of 44] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o ) [17 of 44] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o ) [18 of 44] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o ) [19 of 44] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o ) [20 of 44] Compiling Data.Text.Show ( Data/Text/Show.hs, dist/build/Data/Text/Show.o ) [21 of 44] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o ) [22 of 44] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o ) [23 of 44] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o ) [24 of 44] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o ) [25 of 44] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o ) [26 of 44] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o ) [27 of 44] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o ) [28 of 44] Compiling Data.Text ( Data/Text.hs, dist/build/Data/Text.o ) Data/Text.hs:587:1: warning: [-Winline-rule-shadowing] Rule "TEXT compareN/length -> compareLength" may never fire because ‘length’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’ Data/Text.hs:592:1: warning: [-Winline-rule-shadowing] Rule "TEXT ==N/length -> compareLength/==EQ" may never fire because ‘length’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’ Data/Text.hs:597:1: warning: [-Winline-rule-shadowing] Rule "TEXT /=N/length -> compareLength//=EQ" may never fire because ‘length’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’ Data/Text.hs:602:1: warning: [-Winline-rule-shadowing] Rule "TEXT compareLength/==LT" may never fire because ‘length’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’ Data/Text.hs:607:1: warning: [-Winline-rule-shadowing] Rule "TEXT <=N/length -> compareLength//=GT" may never fire because ‘length’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’ Data/Text.hs:612:1: warning: [-Winline-rule-shadowing] Rule "TEXT >N/length -> compareLength/==GT" may never fire because ‘length’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’ Data/Text.hs:617:1: warning: [-Winline-rule-shadowing] Rule "TEXT >=N/length -> compareLength//=LT" may never fire because ‘length’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’ [29 of 44] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o ) [30 of 44] Compiling Data.Text.IO ( Data/Text/IO.hs, dist/build/Data/Text/IO.o ) [31 of 44] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o ) [32 of 44] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o ) [33 of 44] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o ) [34 of 44] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o ) [35 of 44] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o ) [36 of 44] Compiling Data.Text.Lazy ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o ) [37 of 44] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o ) Data/Text/Internal/Builder.hs:324:1: warning: [-Winline-rule-shadowing] Rule "flush/flush" may never fire because ‘flush’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘flush’ [38 of 44] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o ) [39 of 44] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o ) [40 of 44] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o ) [41 of 44] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o ) [42 of 44] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o ) [43 of 44] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o ) [44 of 44] Compiling Data.Text.Read ( Data/Text/Read.hs, dist/build/Data/Text/Read.o ) Running Haddock for text-1.2.2.1... Running hscolour for text-1.2.2.1... Preprocessing library text-1.2.2.1... Preprocessing library text-1.2.2.1... Haddock coverage: 14% ( 1 / 7) in 'Data.Text.Internal.Read' Missing documentation for: IReader (Data/Text/Internal/Read.hs:26) IParser (Data/Text/Internal/Read.hs:28) T (Data/Text/Internal/Read.hs:48) digitToInt (Data/Text/Internal/Read.hs:61) hexDigitToInt (Data/Text/Internal/Read.hs:55) perhaps (Data/Text/Internal/Read.hs:50) 50% ( 1 / 2) in 'Data.Text.Internal.Encoding.Utf32' Missing documentation for: validate (Data/Text/Internal/Encoding/Utf32.hs:24) 50% ( 1 / 2) in 'Data.Text.Internal.Builder.RealFloat.Functions' Missing documentation for: roundTo (Data/Text/Internal/Builder/RealFloat/Functions.hs:17) 0% ( 0 / 2) in 'Data.Text.Internal.Builder.Int.Digits' Missing documentation for: Module header digits (Data/Text/Internal/Builder/Int/Digits.hs:21) 100% ( 12 / 12) in 'Data.Text.Encoding.Error' 100% ( 2 / 2) in 'Data.Text.Internal.Unsafe.Shift' 25% ( 1 / 4) in 'Data.Text.Internal.Encoding.Utf16' Missing documentation for: chr2 (Data/Text/Internal/Encoding/Utf16.hs:29) validate1 (Data/Text/Internal/Encoding/Utf16.hs:38) validate2 (Data/Text/Internal/Encoding/Utf16.hs:42) 100% ( 2 / 2) in 'Data.Text.Internal.Functions' 100% ( 3 / 3) in 'Data.Text.Internal.Unsafe' 100% ( 16 / 16) in 'Data.Text.Array' 33% ( 2 / 6) in 'Data.Text.Internal.Unsafe.Char' Missing documentation for: ord (Data/Text/Internal/Unsafe/Char.hs:39) unsafeChr (Data/Text/Internal/Unsafe/Char.hs:43) unsafeChr8 (Data/Text/Internal/Unsafe/Char.hs:47) unsafeChr32 (Data/Text/Internal/Unsafe/Char.hs:51) 95% ( 19 / 20) in 'Data.Text.Internal' Missing documentation for: textP (Data/Text/Internal.hs:97) 38% ( 5 / 13) in 'Data.Text.Internal.Fusion.Size' Missing documentation for: Size (Data/Text/Internal/Fusion/Size.hs:40) exactly (Data/Text/Internal/Fusion/Size.hs:44) exactSize (Data/Text/Internal/Fusion/Size.hs:49) maxSize (Data/Text/Internal/Fusion/Size.hs:57) betweenSize (Data/Text/Internal/Fusion/Size.hs:65) unknownSize (Data/Text/Internal/Fusion/Size.hs:74) compareSize (Data/Text/Internal/Fusion/Size.hs:143) isEmpty (Data/Text/Internal/Fusion/Size.hs:151) 88% ( 7 / 8) in 'Data.Text.Internal.Fusion.Types' Missing documentation for: Stream (Data/Text/Internal/Fusion/Types.hs:83) 0% ( 0 / 5) in 'Data.Text.Internal.Fusion.CaseMapping' Missing documentation for: Module header upperMapping (Data/Text/Internal/Fusion/CaseMapping.hs:13) lowerMapping (Data/Text/Internal/Fusion/CaseMapping.hs:220) titleMapping (Data/Text/Internal/Fusion/CaseMapping.hs:225) foldMapping (Data/Text/Internal/Fusion/CaseMapping.hs:324) 89% ( 63 / 71) in 'Data.Text.Internal.Fusion.Common' Missing documentation for: singleton (Data/Text/Internal/Fusion/Common.hs:119) streamList (Data/Text/Internal/Fusion/Common.hs:125) unstreamList (Data/Text/Internal/Fusion/Common.hs:131) intercalate (Data/Text/Internal/Fusion/Common.hs:577) justifyLeftI (Data/Text/Internal/Fusion/Common.hs:479) scanl (Data/Text/Internal/Fusion/Common.hs:656) replicateCharI (Data/Text/Internal/Fusion/Common.hs:671) replicateI (Data/Text/Internal/Fusion/Common.hs:682) 93% ( 13 / 14) in 'Data.Text.Unsafe' Missing documentation for: Iter (Data/Text/Unsafe.hs:62) 33% ( 1 / 3) in 'Data.Text.Internal.Private' Missing documentation for: runText (Data/Text/Internal/Private.hs:33) span_ (Data/Text/Internal/Private.hs:23) 91% ( 20 / 22) in 'Data.Text.Internal.Fusion' Missing documentation for: Stream (Data/Text/Internal/Fusion/Types.hs:83) length (Data/Text/Internal/Fusion.hs:127) 100% ( 4 / 4) in 'Data.Text.Show' 33% ( 2 / 6) in 'Data.Text.Internal.Encoding.Fusion.Common' Missing documentation for: restreamUtf16LE (Data/Text/Internal/Encoding/Fusion/Common.hs:63) restreamUtf16BE (Data/Text/Internal/Encoding/Fusion/Common.hs:39) restreamUtf32LE (Data/Text/Internal/Encoding/Fusion/Common.hs:106) restreamUtf32BE (Data/Text/Internal/Encoding/Fusion/Common.hs:87) 17% ( 2 / 12) in 'Data.Text.Internal.Encoding.Utf8' Missing documentation for: ord2 (Data/Text/Internal/Encoding/Utf8.hs:58) ord3 (Data/Text/Internal/Encoding/Utf8.hs:69) ord4 (Data/Text/Internal/Encoding/Utf8.hs:81) chr2 (Data/Text/Internal/Encoding/Utf8.hs:94) chr3 (Data/Text/Internal/Encoding/Utf8.hs:103) chr4 (Data/Text/Internal/Encoding/Utf8.hs:114) validate1 (Data/Text/Internal/Encoding/Utf8.hs:128) validate2 (Data/Text/Internal/Encoding/Utf8.hs:132) validate3 (Data/Text/Internal/Encoding/Utf8.hs:136) validate4 (Data/Text/Internal/Encoding/Utf8.hs:153) 91% ( 10 / 11) in 'Data.Text.Internal.Encoding.Fusion' Missing documentation for: streamASCII (Data/Text/Internal/Encoding/Fusion.hs:57) 100% ( 33 / 33) in 'Data.Text.Encoding' 100% ( 10 / 10) in 'Data.Text.Internal.Lazy.Encoding.Fusion' 100% ( 2 / 2) in 'Data.Text.Internal.Search' 100% ( 18 / 18) in 'Data.Text.Foreign' 100% (127 /127) in 'Data.Text' 100% ( 3 / 3) in 'Data.Text.Internal.IO' 100% ( 20 / 20) in 'Data.Text.IO' 93% ( 14 / 15) in 'Data.Text.Internal.Lazy' Missing documentation for: Text (Data/Text/Internal/Lazy.hs:47) 100% ( 8 / 8) in 'Data.Text.Internal.Lazy.Fusion' 100% ( 2 / 2) in 'Data.Text.Internal.Lazy.Search' 100% ( 2 / 2) in 'Data.Text.Lazy.Internal' 89% ( 24 / 27) in 'Data.Text.Lazy.Encoding' Missing documentation for: encodeUtf8 (Data/Text/Lazy/Encoding.hs:148) encodeUtf8Builder (Data/Text/Lazy/Encoding.hs:162) encodeUtf8BuilderEscaped (Data/Text/Lazy/Encoding.hs:167) 99% (128 /129) in 'Data.Text.Lazy' Missing documentation for: Text (Data/Text/Internal/Lazy.hs:47) 94% ( 16 / 17) in 'Data.Text.Internal.Builder' Missing documentation for: append' (Data/Text/Internal/Builder.hs:301) 100% ( 12 / 12) in 'Data.Text.Lazy.Builder' 100% ( 3 / 3) in 'Data.Text.Internal.Builder.Functions' 0% ( 0 / 3) in 'Data.Text.Lazy.Builder.Int' Missing documentation for: Module header decimal (Data/Text/Lazy/Builder/Int.hs:52) hexadecimal (Data/Text/Lazy/Builder/Int.hs:162) 100% ( 19 / 19) in 'Data.Text.Lazy.IO' 100% ( 7 / 7) in 'Data.Text.Lazy.Read' 75% ( 3 / 4) in 'Data.Text.Lazy.Builder.RealFloat' Missing documentation for: formatRealFloat (Data/Text/Lazy/Builder/RealFloat.hs:46) 100% ( 7 / 7) in 'Data.Text.Read' Warning: Data.Text.Internal.Fusion.Common: could not find link destinations for: findIndicesI Warning: Data.Text: could not find link destinations for: replicateChar countChar Warning: Data.Text.Internal.IO: could not find link destinations for: Handle__ Warning: Data.Text.Lazy: could not find link destinations for: replicateChar dropWords splitAtWord countChar Warning: Data.Text.Internal.Builder: could not find link destinations for: empty append Warning: Data.Text.Lazy.Builder.RealFloat: could not find link destinations for: floatToDigits Documentation created: dist/doc/html/text/index.html, dist/doc/html/text/text.txt Creating package registration file: /tmp/pkgConf-text-1.2.21026413173773319847.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/text-1.2.2.1-9Yh8rJoh8fO2JMLWffT3Qs Registering text-1.2.2.1... cabal: Leaving directory '/tmp/cabal-tmp-19051/text-1.2.2.1' Installed text-1.2.2.1 cabal: Entering directory '/tmp/cabal-tmp-19051/extra-1.5' Configuring extra-1.5... Building extra-1.5... Preprocessing library extra-1.5... [ 1 of 17] Compiling System.Info.Extra ( src/System/Info/Extra.hs, dist/build/System/Info/Extra.o ) [ 2 of 17] Compiling System.Environment.Extra ( src/System/Environment/Extra.hs, dist/build/System/Environment/Extra.o ) [ 3 of 17] Compiling Numeric.Extra ( src/Numeric/Extra.hs, dist/build/Numeric/Extra.o ) [ 4 of 17] Compiling Data.Typeable.Extra ( src/Data/Typeable/Extra.hs, dist/build/Data/Typeable/Extra.o ) [ 5 of 17] Compiling Data.Tuple.Extra ( src/Data/Tuple/Extra.hs, dist/build/Data/Tuple/Extra.o ) [ 6 of 17] Compiling Data.List.Extra ( src/Data/List/Extra.hs, dist/build/Data/List/Extra.o ) [ 7 of 17] Compiling Data.Version.Extra ( src/Data/Version/Extra.hs, dist/build/Data/Version/Extra.o ) [ 8 of 17] Compiling Data.IORef.Extra ( src/Data/IORef/Extra.hs, dist/build/Data/IORef/Extra.o ) [ 9 of 17] Compiling Data.Either.Extra ( src/Data/Either/Extra.hs, dist/build/Data/Either/Extra.o ) [10 of 17] Compiling Control.Monad.Extra ( src/Control/Monad/Extra.hs, dist/build/Control/Monad/Extra.o ) [11 of 17] Compiling System.Directory.Extra ( src/System/Directory/Extra.hs, dist/build/System/Directory/Extra.o ) [12 of 17] Compiling Control.Exception.Extra ( src/Control/Exception/Extra.hs, dist/build/Control/Exception/Extra.o ) [13 of 17] Compiling System.Time.Extra ( src/System/Time/Extra.hs, dist/build/System/Time/Extra.o ) [14 of 17] Compiling Control.Concurrent.Extra ( src/Control/Concurrent/Extra.hs, dist/build/Control/Concurrent/Extra.o ) [15 of 17] Compiling System.IO.Extra ( src/System/IO/Extra.hs, dist/build/System/IO/Extra.o ) [16 of 17] Compiling System.Process.Extra ( src/System/Process/Extra.hs, dist/build/System/Process/Extra.o ) [17 of 17] Compiling Extra ( src/Extra.hs, dist/build/Extra.o ) Running Haddock for extra-1.5... Running hscolour for extra-1.5... Preprocessing library extra-1.5... Preprocessing library extra-1.5... Haddock coverage: 100% ( 4 / 4) in 'System.Info.Extra' 100% ( 4 / 4) in 'System.Environment.Extra' 100% ( 7 / 7) in 'Numeric.Extra' 100% ( 5 / 5) in 'Data.Typeable.Extra' 100% ( 14 / 14) in 'Data.Tuple.Extra' 100% ( 58 / 58) in 'Data.List.Extra' 100% ( 4 / 4) in 'Data.Version.Extra' 100% ( 7 / 7) in 'Data.IORef.Extra' 100% ( 7 / 7) in 'Data.Either.Extra' 100% ( 29 / 29) in 'Control.Monad.Extra' 100% ( 7 / 7) in 'System.Directory.Extra' 100% ( 19 / 19) in 'Control.Exception.Extra' 100% ( 9 / 9) in 'System.Time.Extra' 100% ( 27 / 27) in 'Control.Concurrent.Extra' 100% ( 24 / 24) in 'System.IO.Extra' 100% ( 5 / 5) in 'System.Process.Extra' 100% (214 /214) in 'Extra' Warning: Data.Typeable.Extra: could not find link destinations for: ~ unsafeIndex unsafeRangeSize Warning: Extra: could not find link destinations for: ~ unsafeIndex unsafeRangeSize Documentation created: dist/doc/html/extra/index.html, dist/doc/html/extra/extra.txt Creating package registration file: /tmp/pkgConf-extra-15184345731450238957.5 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/extra-1.5-FUmboWmLe019OXxXJCxoZG Registering extra-1.5... cabal: Leaving directory '/tmp/cabal-tmp-19051/extra-1.5' Installed extra-1.5 cabal: Entering directory '/tmp/cabal-tmp-19051/parsec-3.1.11' Configuring parsec-3.1.11... Building parsec-3.1.11... Preprocessing library parsec-3.1.11... [ 1 of 25] Compiling Text.Parsec.Pos ( Text/Parsec/Pos.hs, dist/build/Text/Parsec/Pos.o ) [ 2 of 25] Compiling Text.Parsec.Error ( Text/Parsec/Error.hs, dist/build/Text/Parsec/Error.o ) [ 3 of 25] Compiling Text.ParserCombinators.Parsec.Error ( Text/ParserCombinators/Parsec/Error.hs, dist/build/Text/ParserCombinators/Parsec/Error.o ) [ 4 of 25] Compiling Text.Parsec.Prim ( Text/Parsec/Prim.hs, dist/build/Text/Parsec/Prim.o ) [ 5 of 25] Compiling Text.Parsec.Combinator ( Text/Parsec/Combinator.hs, dist/build/Text/Parsec/Combinator.o ) [ 6 of 25] Compiling Text.ParserCombinators.Parsec.Combinator ( Text/ParserCombinators/Parsec/Combinator.hs, dist/build/Text/ParserCombinators/Parsec/Combinator.o ) [ 7 of 25] Compiling Text.Parsec.String ( Text/Parsec/String.hs, dist/build/Text/Parsec/String.o ) [ 8 of 25] Compiling Text.Parsec.ByteString ( Text/Parsec/ByteString.hs, dist/build/Text/Parsec/ByteString.o ) [ 9 of 25] Compiling Text.Parsec.ByteString.Lazy ( Text/Parsec/ByteString/Lazy.hs, dist/build/Text/Parsec/ByteString/Lazy.o ) [10 of 25] Compiling Text.Parsec.Text ( Text/Parsec/Text.hs, dist/build/Text/Parsec/Text.o ) [11 of 25] Compiling Text.Parsec.Text.Lazy ( Text/Parsec/Text/Lazy.hs, dist/build/Text/Parsec/Text/Lazy.o ) [12 of 25] Compiling Text.Parsec.Expr ( Text/Parsec/Expr.hs, dist/build/Text/Parsec/Expr.o ) [13 of 25] Compiling Text.ParserCombinators.Parsec.Prim ( Text/ParserCombinators/Parsec/Prim.hs, dist/build/Text/ParserCombinators/Parsec/Prim.o ) [14 of 25] Compiling Text.ParserCombinators.Parsec.Pos ( Text/ParserCombinators/Parsec/Pos.hs, dist/build/Text/ParserCombinators/Parsec/Pos.o ) [15 of 25] Compiling Text.Parsec.Char ( Text/Parsec/Char.hs, dist/build/Text/Parsec/Char.o ) [16 of 25] Compiling Text.Parsec.Token ( Text/Parsec/Token.hs, dist/build/Text/Parsec/Token.o ) [17 of 25] Compiling Text.ParserCombinators.Parsec.Token ( Text/ParserCombinators/Parsec/Token.hs, dist/build/Text/ParserCombinators/Parsec/Token.o ) [18 of 25] Compiling Text.ParserCombinators.Parsec.Char ( Text/ParserCombinators/Parsec/Char.hs, dist/build/Text/ParserCombinators/Parsec/Char.o ) [19 of 25] Compiling Text.ParserCombinators.Parsec ( Text/ParserCombinators/Parsec.hs, dist/build/Text/ParserCombinators/Parsec.o ) [20 of 25] Compiling Text.ParserCombinators.Parsec.Expr ( Text/ParserCombinators/Parsec/Expr.hs, dist/build/Text/ParserCombinators/Parsec/Expr.o ) [21 of 25] Compiling Text.Parsec ( Text/Parsec.hs, dist/build/Text/Parsec.o ) [22 of 25] Compiling Text.Parsec.Language ( Text/Parsec/Language.hs, dist/build/Text/Parsec/Language.o ) [23 of 25] Compiling Text.ParserCombinators.Parsec.Language ( Text/ParserCombinators/Parsec/Language.hs, dist/build/Text/ParserCombinators/Parsec/Language.o ) [24 of 25] Compiling Text.Parsec.Perm ( Text/Parsec/Perm.hs, dist/build/Text/Parsec/Perm.o ) [25 of 25] Compiling Text.ParserCombinators.Parsec.Perm ( Text/ParserCombinators/Parsec/Perm.hs, dist/build/Text/ParserCombinators/Parsec/Perm.o ) Running Haddock for parsec-3.1.11... Running hscolour for parsec-3.1.11... Preprocessing library parsec-3.1.11... Preprocessing library parsec-3.1.11... Haddock coverage: 82% ( 14 / 17) in 'Text.Parsec.Pos' Missing documentation for: SourceName (Text/Parsec/Pos.hs:31) Line (Text/Parsec/Pos.hs:32) Column (Text/Parsec/Pos.hs:33) 43% ( 6 / 14) in 'Text.Parsec.Error' Missing documentation for: errorIsUnknown (Text/Parsec/Error.hs:113) showErrorMessages (Text/Parsec/Error.hs:176) newErrorMessage (Text/Parsec/Error.hs:123) newErrorUnknown (Text/Parsec/Error.hs:119) addErrorMessage (Text/Parsec/Error.hs:127) setErrorPos (Text/Parsec/Error.hs:131) setErrorMessage (Text/Parsec/Error.hs:135) mergeError (Text/Parsec/Error.hs:139) 38% ( 6 / 16) in 'Text.ParserCombinators.Parsec.Error' Missing documentation for: messageCompare (Text/ParserCombinators/Parsec/Error.hs:36) messageEq (Text/ParserCombinators/Parsec/Error.hs:39) errorIsUnknown (Text/Parsec/Error.hs:113) showErrorMessages (Text/Parsec/Error.hs:176) newErrorMessage (Text/Parsec/Error.hs:123) newErrorUnknown (Text/Parsec/Error.hs:119) addErrorMessage (Text/Parsec/Error.hs:127) setErrorPos (Text/Parsec/Error.hs:131) setErrorMessage (Text/Parsec/Error.hs:135) mergeError (Text/Parsec/Error.hs:139) 64% ( 32 / 50) in 'Text.Parsec.Prim' Missing documentation for: unknownError (Text/Parsec/Prim.hs:93) sysUnExpectError (Text/Parsec/Prim.hs:96) Parsec (Text/Parsec/Prim.hs:159) Consumed (Text/Parsec/Prim.hs:161) Reply (Text/Parsec/Prim.hs:165) State (Text/Parsec/Prim.hs:169) parsecMap (Text/Parsec/Prim.hs:187) parserReturn (Text/Parsec/Prim.hs:231) parserBind (Text/Parsec/Prim.hs:236) mergeErrorReply (Text/Parsec/Prim.hs:276) parserFail (Text/Parsec/Prim.hs:282) parserPlus (Text/Parsec/Prim.hs:300) labels (Text/Parsec/Prim.hs:355) tokens (Text/Parsec/Prim.hs:406) tokenPrimEx (Text/Parsec/Prim.hs:543) manyAccum (Text/Parsec/Prim.hs:602) runPT (Text/Parsec/Prim.hs:620) runP (Text/Parsec/Prim.hs:634) 100% ( 24 / 24) in 'Text.Parsec.Combinator' 100% ( 24 / 24) in 'Text.ParserCombinators.Parsec.Combinator' 50% ( 2 / 4) in 'Text.Parsec.String' Missing documentation for: Parser (Text/Parsec/String.hs:22) GenParser (Text/Parsec/String.hs:23) 50% ( 2 / 4) in 'Text.Parsec.ByteString' Missing documentation for: Parser (Text/Parsec/ByteString.hs:24) GenParser (Text/Parsec/ByteString.hs:25) 50% ( 2 / 4) in 'Text.Parsec.ByteString.Lazy' Missing documentation for: Parser (Text/Parsec/ByteString/Lazy.hs:24) GenParser (Text/Parsec/ByteString/Lazy.hs:25) 33% ( 1 / 3) in 'Text.Parsec.Text' Missing documentation for: Parser (Text/Parsec/Text.hs:23) GenParser (Text/Parsec/Text.hs:24) 33% ( 1 / 3) in 'Text.Parsec.Text.Lazy' Missing documentation for: Parser (Text/Parsec/Text/Lazy.hs:23) GenParser (Text/Parsec/Text/Lazy.hs:24) 100% ( 5 / 5) in 'Text.Parsec.Expr' 70% ( 21 / 30) in 'Text.ParserCombinators.Parsec.Prim' Missing documentation for: Parser (Text/Parsec/String.hs:22) GenParser (Text/Parsec/String.hs:23) runParser (Text/ParserCombinators/Parsec/Prim.hs:57) tokens (Text/Parsec/Prim.hs:406) tokenPrimEx (Text/Parsec/Prim.hs:543) try (Text/ParserCombinators/Parsec/Prim.hs:64) labels (Text/Parsec/Prim.hs:355) pzero (Text/ParserCombinators/Parsec/Prim.hs:54) State (Text/Parsec/Prim.hs:169) 82% ( 14 / 17) in 'Text.ParserCombinators.Parsec.Pos' Missing documentation for: SourceName (Text/Parsec/Pos.hs:31) Line (Text/Parsec/Pos.hs:32) Column (Text/Parsec/Pos.hs:33) 100% ( 20 / 20) in 'Text.Parsec.Char' 67% ( 4 / 6) in 'Text.Parsec.Token' Missing documentation for: LanguageDef (Text/Parsec/Token.hs:39) TokenParser (Text/Parsec/Token.hs:110) 67% ( 4 / 6) in 'Text.ParserCombinators.Parsec.Token' Missing documentation for: LanguageDef (Text/Parsec/Token.hs:39) TokenParser (Text/Parsec/Token.hs:110) 95% ( 18 / 19) in 'Text.ParserCombinators.Parsec.Char' Missing documentation for: CharParser (Text/ParserCombinators/Parsec/Char.hs:40) 83% ( 15 / 18) in 'Text.ParserCombinators.Parsec' Missing documentation for: SourceName (Text/Parsec/Pos.hs:31) Line (Text/Parsec/Pos.hs:32) Column (Text/Parsec/Pos.hs:33) 40% ( 2 / 5) in 'Text.ParserCombinators.Parsec.Expr' Missing documentation for: Operator (Text/ParserCombinators/Parsec/Expr.hs:29) OperatorTable (Text/ParserCombinators/Parsec/Expr.hs:33) buildExpressionParser (Text/ParserCombinators/Parsec/Expr.hs:40) 78% ( 73 / 94) in 'Text.Parsec' Missing documentation for: Parsec (Text/Parsec/Prim.hs:159) tokens (Text/Parsec/Prim.hs:406) labels (Text/Parsec/Prim.hs:355) SourceName (Text/Parsec/Pos.hs:31) Line (Text/Parsec/Pos.hs:32) Column (Text/Parsec/Pos.hs:33) manyAccum (Text/Parsec/Prim.hs:602) tokenPrimEx (Text/Parsec/Prim.hs:543) runPT (Text/Parsec/Prim.hs:620) unknownError (Text/Parsec/Prim.hs:93) sysUnExpectError (Text/Parsec/Prim.hs:96) mergeErrorReply (Text/Parsec/Prim.hs:276) runP (Text/Parsec/Prim.hs:634) Consumed (Text/Parsec/Prim.hs:161) Reply (Text/Parsec/Prim.hs:165) State (Text/Parsec/Prim.hs:169) parsecMap (Text/Parsec/Prim.hs:187) parserReturn (Text/Parsec/Prim.hs:231) parserBind (Text/Parsec/Prim.hs:236) parserFail (Text/Parsec/Prim.hs:282) parserPlus (Text/Parsec/Prim.hs:300) 90% ( 9 / 10) in 'Text.Parsec.Language' Missing documentation for: LanguageDef (Text/Parsec/Token.hs:39) 90% ( 9 / 10) in 'Text.ParserCombinators.Parsec.Language' Missing documentation for: LanguageDef (Text/Parsec/Token.hs:39) 100% ( 8 / 8) in 'Text.Parsec.Perm' 100% ( 7 / 7) in 'Text.ParserCombinators.Parsec.Perm' Documentation created: dist/doc/html/parsec/index.html, dist/doc/html/parsec/parsec.txt Creating package registration file: /tmp/pkgConf-parsec-3.1234262547266222407.11 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/parsec-3.1.11-37j7M1YEHqtEooY7BpJdri Registering parsec-3.1.11... cabal: Leaving directory '/tmp/cabal-tmp-19051/parsec-3.1.11' Installed parsec-3.1.11 Downloading atp-haskell-1.14... cabal: Entering directory '/tmp/cabal-tmp-19051/atp-haskell-1.14' Configuring atp-haskell-1.14... Building atp-haskell-1.14... Preprocessing library atp-haskell-1.14... [ 1 of 25] Compiling Data.Logic.ATP.Pretty ( src/Data/Logic/ATP/Pretty.hs, dist/build/Data/Logic/ATP/Pretty.o ) src/Data/Logic/ATP/Pretty.hs:81:1: warning: [-Wredundant-constraints] • Redundant constraint: Eq a • In the type signature for: testParen :: (Eq a, Ord a, Num a) => Side -> a -> a -> Associativity -> Bool [ 2 of 25] Compiling Data.Logic.ATP.Formulas ( src/Data/Logic/ATP/Formulas.hs, dist/build/Data/Logic/ATP/Formulas.o ) [ 3 of 25] Compiling Data.Logic.ATP.Lit ( src/Data/Logic/ATP/Lit.hs, dist/build/Data/Logic/ATP/Lit.o ) [ 4 of 25] Compiling Data.Logic.ATP.Term ( src/Data/Logic/ATP/Term.hs, dist/build/Data/Logic/ATP/Term.o ) src/Data/Logic/ATP/Term.hs:162:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: precedenceTerm :: IsTerm term => term -> Precedence src/Data/Logic/ATP/Term.hs:165:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: associativityTerm :: IsTerm term => term -> Associativity src/Data/Logic/ATP/Term.hs:169:1: warning: [-Wredundant-constraints] • Redundant constraints: (HasFixity term, Pretty v, Pretty function) • In the type signature for: prettyTerm :: (v ~ TVarOf term, function ~ FunOf term, IsTerm term, HasFixity term, Pretty v, Pretty function) => PrettyLevel -> Rational -> term -> Doc src/Data/Logic/ATP/Term.hs:174:1: warning: [-Wredundant-constraints] • Redundant constraint: HasFixity term • In the type signature for: prettyFunctionApply :: (function ~ FunOf term, IsTerm term, HasFixity term) => PrettyLevel -> function -> [term] -> Doc src/Data/Logic/ATP/Term.hs:179:1: warning: [-Wredundant-constraints] • Redundant constraints: (Pretty v, Pretty function) • In the type signature for: showTerm :: (v ~ TVarOf term, function ~ FunOf term, IsTerm term, Pretty v, Pretty function) => term -> String src/Data/Logic/ATP/Term.hs:183:1: warning: [-Wredundant-constraints] • Redundant constraint: v ~ TVarOf term • In the type signature for: showFunctionApply :: (v ~ TVarOf term, function ~ FunOf term, IsTerm term) => function -> [term] -> String src/Data/Logic/ATP/Term.hs:194:10: warning: [-Wredundant-constraints] • Redundant constraint: IsFunction function • In the instance declaration for ‘IsString (Term function v)’ [ 5 of 25] Compiling Data.Logic.ATP.Apply ( src/Data/Logic/ATP/Apply.hs, dist/build/Data/Logic/ATP/Apply.o ) src/Data/Logic/ATP/Apply.hs:68:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord function • In the type signature for: functions :: (IsFormula formula, HasApply atom, Ord function, atom ~ AtomOf formula, term ~ TermOf atom, function ~ FunOf term) => formula -> Set (function, Arity) src/Data/Logic/ATP/Apply.hs:82:1: warning: [-Wredundant-constraints] • Redundant constraint: v ~ TVarOf term • In the type signature for: prettyApply :: (v ~ TVarOf term, IsPredicate predicate, IsTerm term) => predicate -> [term] -> Doc [ 6 of 25] Compiling Data.Logic.ATP.Equate ( src/Data/Logic/ATP/Equate.hs, dist/build/Data/Logic/ATP/Equate.o ) src/Data/Logic/ATP/Equate.hs:81:1: warning: [-Wredundant-constraints] • Redundant constraint: Show (TermOf atom) • In the type signature for: showApplyAndEquate :: (HasEquate atom, Show (TermOf atom)) => atom -> String [ 7 of 25] Compiling Data.Logic.ATP.LitWrapper ( src/Data/Logic/ATP/LitWrapper.hs, dist/build/Data/Logic/ATP/LitWrapper.o ) [ 8 of 25] Compiling Data.Logic.ATP.Lib ( src/Data/Logic/ATP/Lib.hs, dist/build/Data/Logic/ATP/Lib.o ) src/Data/Logic/ATP/Lib.hs:149:1: warning: [-Wredundant-constraints] • Redundant constraint: SetLike c • In the type signature for: (∅) :: (Monoid (c a), SetLike c) => c a src/Data/Logic/ATP/Lib.hs:490:1: warning: [-Wredundant-constraints] • Redundant constraint: Foldable s • In the type signature for: optimize :: (SetLike s, Foldable s) => (b -> b -> Ordering) -> (a -> b) -> s a -> Maybe a src/Data/Logic/ATP/Lib.hs:494:1: warning: [-Wredundant-constraints] • Redundant constraint: Foldable s • In the type signature for: maximize :: (Ord b, SetLike s, Foldable s) => (a -> b) -> s a -> Maybe a src/Data/Logic/ATP/Lib.hs:497:1: warning: [-Wredundant-constraints] • Redundant constraint: Foldable s • In the type signature for: minimize :: (Ord b, SetLike s, Foldable s) => (a -> b) -> s a -> Maybe a src/Data/Logic/ATP/Lib.hs:570:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord a • In the type signature for: image :: (Ord b, Ord a) => (a -> b) -> Set a -> Set b src/Data/Logic/ATP/Lib.hs:893:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord k • In the type signature for: (|=>) :: Ord k => k -> a -> Map k a [ 9 of 25] Compiling Data.Logic.ATP.Prop ( src/Data/Logic/ATP/Prop.hs, dist/build/Data/Logic/ATP/Prop.o ) src/Data/Logic/ATP/Prop.hs:337:10: warning: [-Wredundant-constraints] • Redundant constraint: Show atom • In the instance declaration for ‘Show (PFormula atom)’ src/Data/Logic/ATP/Prop.hs:499:7: warning: [-Wunused-local-binds] Defined but not used: ‘byPrec’ src/Data/Logic/ATP/Prop.hs:504:7: warning: [-Wunused-local-binds] Defined but not used: ‘binops’ src/Data/Logic/ATP/Prop.hs:515:7: warning: [-Wunused-local-binds] Defined but not used: ‘preops’ src/Data/Logic/ATP/Prop.hs:878:1: warning: [-Wredundant-constraints] • Redundant constraint: IsFormula formula • In the type signature for: list_conj :: (Foldable t, IsFormula formula, IsPropositional formula) => t formula -> formula src/Data/Logic/ATP/Prop.hs:882:1: warning: [-Wredundant-constraints] • Redundant constraint: IsFormula formula • In the type signature for: list_disj :: (Foldable t, IsFormula formula, IsPropositional formula) => t formula -> formula src/Data/Logic/ATP/Prop.hs:1056:1: warning: [-Wredundant-constraints] • Redundant constraint: IsLiteral lit • In the type signature for: simpdnf :: (JustPropositional pf, IsLiteral lit, JustLiteral lit, Ord lit) => (AtomOf pf -> AtomOf lit) -> pf -> Set (Set lit) [10 of 25] Compiling Data.Logic.ATP.DefCNF ( src/Data/Logic/ATP/DefCNF.hs, dist/build/Data/Logic/ATP/DefCNF.o ) src/Data/Logic/ATP/DefCNF.hs:100:1: warning: [-Wredundant-constraints] • Redundant constraint: IsLiteral lit • In the type signature for: mk_defcnf :: (IsPropositional pf, JustPropositional pf, IsLiteral lit, JustLiteral lit, Ord lit, NumAtom (AtomOf pf)) => (AtomOf pf -> AtomOf lit) -> ((pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer)) -> pf -> Set (Set lit) src/Data/Logic/ATP/DefCNF.hs:150:1: warning: [-Wredundant-constraints] • Redundant constraint: IsPropositional pf • In the type signature for: andcnf :: (IsPropositional pf, JustPropositional pf, Ord pf, NumAtom (AtomOf pf)) => (pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer) src/Data/Logic/ATP/DefCNF.hs:157:1: warning: [-Wredundant-constraints] • Redundant constraint: IsPropositional pf • In the type signature for: orcnf :: (IsPropositional pf, JustPropositional pf, Ord pf, NumAtom (AtomOf pf)) => (pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer) src/Data/Logic/ATP/DefCNF.hs:164:1: warning: [-Wredundant-constraints] • Redundant constraints: (IsPropositional pf, NumAtom (AtomOf pf)) • In the type signature for: subcnf :: (IsPropositional pf, NumAtom (AtomOf pf)) => ((pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer)) -> (pf -> pf -> pf) -> pf -> pf -> (pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer) src/Data/Logic/ATP/DefCNF.hs:180:1: warning: [-Wredundant-constraints] • Redundant constraint: IsPropositional pf • In the type signature for: andcnf3 :: (IsPropositional pf, JustPropositional pf, Ord pf, NumAtom (AtomOf pf)) => (pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer) [11 of 25] Compiling Data.Logic.ATP.Quantified ( src/Data/Logic/ATP/Quantified.hs, dist/build/Data/Logic/ATP/Quantified.o ) src/Data/Logic/ATP/Quantified.hs:233:10: warning: [-Wredundant-constraints] • Redundant constraint: IsFormula (QFormula v atom) • In the instance declaration for ‘IsPropositional (QFormula v atom)’ [12 of 25] Compiling Data.Logic.ATP.PropExamples ( src/Data/Logic/ATP/PropExamples.hs, dist/build/Data/Logic/ATP/PropExamples.o ) src/Data/Logic/ATP/PropExamples.hs:44:10: warning: [-Wredundant-constraints] • Redundant constraint: Num a • In the instance declaration for ‘Pretty (Knows a)’ src/Data/Logic/ATP/PropExamples.hs:47:10: warning: [-Wredundant-constraints] • Redundant constraint: Num a • In the instance declaration for ‘HasFixity (Knows a)’ src/Data/Logic/ATP/PropExamples.hs:66:1: warning: [-Wunused-top-binds] Defined but not used: ‘halfcarry’ src/Data/Logic/ATP/PropExamples.hs:69:1: warning: [-Wunused-top-binds] Defined but not used: ‘ha’ src/Data/Logic/ATP/PropExamples.hs:82:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord a • In the type signature for: conjoin :: (IsPropositional formula, Ord formula, Ord a) => (a -> formula) -> Set a -> formula src/Data/Logic/ATP/PropExamples.hs:129:1: warning: [-Wunused-top-binds] Defined but not used: ‘ripplecarry1’ src/Data/Logic/ATP/PropExamples.hs:134:1: warning: [-Wunused-top-binds] Defined but not used: ‘mux’ src/Data/Logic/ATP/PropExamples.hs:137:1: warning: [-Wunused-top-binds] Defined but not used: ‘offset’ src/Data/Logic/ATP/PropExamples.hs:149:1: warning: [-Wunused-top-binds] Defined but not used: ‘carryselect’ src/Data/Logic/ATP/PropExamples.hs:164:1: warning: [-Wunused-top-binds] Defined but not used: ‘mk_adder_test’ [13 of 25] Compiling Data.Logic.ATP.DP ( src/Data/Logic/ATP/DP.hs, dist/build/Data/Logic/ATP/DP.o ) src/Data/Logic/ATP/DP.hs:30:1: warning: [-Worphans] Orphan instance: instance NumAtom (Knows Integer) To avoid this move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. src/Data/Logic/ATP/DP.hs:168:1: warning: [-Wredundant-constraints] • Redundant constraint: Eq formula • In the type signature for: unassigned :: (IsLiteral formula, Ord formula, Eq formula) => Set (Set formula) -> Set (formula, TrailMix) -> Set formula [14 of 25] Compiling Data.Logic.ATP.FOL ( src/Data/Logic/ATP/FOL.hs, dist/build/Data/Logic/ATP/FOL.o ) src/Data/Logic/ATP/FOL.hs:249:1: warning: [-Wredundant-constraints] • Redundant constraints: (IsTerm term, Eq dom) • In the type signature for: holdsAtom :: (HasEquate atom, IsTerm term, Eq dom, term ~ TermOf atom, v ~ TVarOf term, function ~ FunOf term, predicate ~ PredOf atom) => Interp function predicate dom -> Map v dom -> atom -> Bool src/Data/Logic/ATP/FOL.hs:352:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: fva :: (HasApply atom, IsTerm term, term ~ TermOf atom, v ~ TVarOf term) => atom -> Set v src/Data/Logic/ATP/FOL.hs:400:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: lsubst :: (JustLiteral lit, HasApply atom, IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Map v term -> lit -> lit src/Data/Logic/ATP/FOL.hs:412:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: asubst :: (HasApply atom, IsTerm term, term ~ TermOf atom, v ~ TVarOf term) => Map v term -> atom -> atom [15 of 25] Compiling Data.Logic.ATP.Prolog ( src/Data/Logic/ATP/Prolog.hs, dist/build/Data/Logic/ATP/Prolog.o ) src/Data/Logic/ATP/Prolog.hs:28:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: renamerule :: (IsLiteral lit, JustLiteral lit, Ord lit, HasApply atom, IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Int -> PrologRule lit -> (PrologRule lit, Int) [16 of 25] Compiling Data.Logic.ATP.Skolem ( src/Data/Logic/ATP/Skolem.hs, dist/build/Data/Logic/ATP/Skolem.o ) src/Data/Logic/ATP/Skolem.hs:99:1: warning: [-Wredundant-constraints] • Redundant constraint: IsVariable (SVarOf function) • In the type signature for: showSkolem :: (HasSkolem function, IsVariable (SVarOf function)) => function -> String src/Data/Logic/ATP/Skolem.hs:270:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord function • In the type signature for: skolems :: (IsFormula formula, HasSkolem function, HasApply atom, Ord function, atom ~ AtomOf formula, term ~ TermOf atom, function ~ FunOf term) => formula -> Set function src/Data/Logic/ATP/Skolem.hs:416:1: warning: [-Wredundant-constraints] • Redundant constraints: (atom ~ AtomOf fof, term ~ TermOf atom, function ~ FunOf term, v ~ VarOf fof, v ~ TVarOf term) • In the type signature for: simpdnf' :: (IsFirstOrder fof, Ord fof, atom ~ AtomOf fof, term ~ TermOf atom, function ~ FunOf term, v ~ VarOf fof, v ~ TVarOf term) => fof -> Set (Set fof) src/Data/Logic/ATP/Skolem.hs:451:1: warning: [-Wredundant-constraints] • Redundant constraints: (atom ~ AtomOf fof, term ~ TermOf atom, predicate ~ PredOf atom, v ~ VarOf fof, v ~ TVarOf term, function ~ FunOf term) • In the type signature for: purecnf' :: (atom ~ AtomOf fof, term ~ TermOf atom, predicate ~ PredOf atom, v ~ VarOf fof, v ~ TVarOf term, function ~ FunOf term, IsFirstOrder fof, Ord fof) => fof -> Set (Set fof) [17 of 25] Compiling Data.Logic.ATP.Parser ( src/Data/Logic/ATP/Parser.hs, dist/build/Data/Logic/ATP/Parser.o ) src/Data/Logic/ATP/Parser.hs:28:1: warning: [-Worphans] Orphan instance: instance Pretty ParseError To avoid this move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. src/Data/Logic/ATP/Parser.hs:31:1: warning: [-Worphans] Orphan instance: instance Pretty Message To avoid this move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. [18 of 25] Compiling Data.Logic.ATP.ParserTests ( src/Data/Logic/ATP/ParserTests.hs, dist/build/Data/Logic/ATP/ParserTests.o ) [19 of 25] Compiling Data.Logic.ATP.Herbrand ( src/Data/Logic/ATP/Herbrand.hs, dist/build/Data/Logic/ATP/Herbrand.o ) src/Data/Logic/ATP/Herbrand.hs:38:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord function • In the type signature for: herbfuns :: (atom ~ AtomOf fof, term ~ TermOf atom, function ~ FunOf term, IsFormula fof, HasApply atom, Ord function) => fof -> (Set (function, Arity), Set (function, Arity)) src/Data/Logic/ATP/Herbrand.hs:60:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: herbloop :: (atom ~ AtomOf lit, term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function, JustLiteral lit, HasApply atom, IsTerm term) => (Set (Set lit) -> (lit -> lit) -> Set (Set lit) -> Set (Set lit)) -> (Set (Set lit) -> Bool) -> Set (Set lit) -> Set term -> Set (function, Int) -> [TVarOf term] -> Int -> Set (Set lit) -> Set [term] -> Set [term] -> Set [term] src/Data/Logic/ATP/Herbrand.hs:89:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: gilmore_loop :: (atom ~ AtomOf lit, term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function, JustLiteral lit, Ord lit, HasApply atom, IsTerm term) => Set (Set lit) -> Set term -> Set (function, Int) -> [TVarOf term] -> Int -> Set (Set lit) -> Set [term] -> Set [term] -> Set [term] src/Data/Logic/ATP/Herbrand.hs:107:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord fof • In the type signature for: gilmore :: (IsFirstOrder fof, Ord fof, HasSkolem function, atom ~ AtomOf fof, term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function) => fof -> Int src/Data/Logic/ATP/Herbrand.hs:205:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: dp_loop :: (atom ~ AtomOf lit, term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function, JustLiteral lit, Ord lit, HasApply atom, IsTerm term) => Set (Set lit) -> Set term -> Set (function, Int) -> [v] -> Int -> Set (Set lit) -> Set [term] -> Set [term] -> Set [term] src/Data/Logic/ATP/Herbrand.hs:220:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord formula • In the type signature for: davisputnam :: (IsFirstOrder formula, Ord formula, HasSkolem function, atom ~ AtomOf formula, term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function) => formula -> Int src/Data/Logic/ATP/Herbrand.hs:245:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord formula • In the type signature for: davisputnam' :: (IsFirstOrder formula, Ord formula, HasSkolem function, atom ~ AtomOf formula, term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function) => formula -> formula -> formula -> Int src/Data/Logic/ATP/Herbrand.hs:264:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: dp_refine_loop :: (atom ~ AtomOf lit, term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function, JustLiteral lit, Ord lit, IsTerm term, HasApply atom) => Set (Set lit) -> Set term -> Set (function, Int) -> [v] -> Int -> Set (Set lit) -> Set [term] -> Set [term] -> Set [term] src/Data/Logic/ATP/Herbrand.hs:281:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: dp_refine :: (atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term, HasApply atom, JustLiteral lit, Ord lit, IsTerm term) => Set (Set lit) -> [TVarOf term] -> Set [term] -> Set [term] -> Set [term] [20 of 25] Compiling Data.Logic.ATP.Unif ( src/Data/Logic/ATP/Unif.hs, dist/build/Data/Logic/ATP/Unif.o ) src/Data/Logic/ATP/Unif.hs:59:1: warning: [-Wredundant-constraints] • Redundant constraint: Monad m • In the type signature for: unify :: (Unify m a, Monad m) => a -> Map (TVarOf (UTermOf a)) (UTermOf a) -> m (Map (TVarOf (UTermOf a)) (UTermOf a)) src/Data/Logic/ATP/Unif.hs:102:1: warning: [-Wredundant-constraints] • Redundant constraint: f ~ FunOf term • In the type signature for: fullunify :: (IsTerm term, v ~ TVarOf term, f ~ FunOf term, Monad m) => [(term, term)] -> m (Map v term) [21 of 25] Compiling Data.Logic.ATP.Tableaux ( src/Data/Logic/ATP/Tableaux.hs, dist/build/Data/Logic/ATP/Tableaux.o ) src/Data/Logic/ATP/Tableaux.hs:56:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: unify_refute :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), v ~ TVarOf term, atom ~ AtomOf lit, term ~ TermOf atom) => Set (Set lit) -> Map v term -> Failing (Map v term) src/Data/Logic/ATP/Tableaux.hs:83:1: warning: [-Wredundant-constraints] • Redundant constraints: (Ord formula, Show formula) • In the type signature for: prawitz :: (IsFirstOrder formula, Ord formula, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), HasSkolem function, Show formula, atom ~ AtomOf formula, term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function) => formula -> Int src/Data/Logic/ATP/Tableaux.hs:290:1: warning: [-Wredundant-constraints] • Redundant constraint: Pretty formula • In the type signature for: splittab :: (IsFirstOrder formula, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Ord formula, Pretty formula, HasSkolem function, atom ~ AtomOf formula, term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function) => formula -> [Failing ((K, Map v term), Depth)] src/Data/Logic/ATP/Tableaux.hs:295:1: warning: [-Wunused-top-binds] Defined but not used: ‘splittab’ [22 of 25] Compiling Data.Logic.ATP.Resolution ( src/Data/Logic/ATP/Resolution.hs, dist/build/Data/Logic/ATP/Resolution.o ) src/Data/Logic/ATP/Resolution.hs:70:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: mgu :: (JustLiteral lit, HasApply atom, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set lit -> StateT (Map v term) Failing (Map v term) src/Data/Logic/ATP/Resolution.hs:82:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: unifiable :: (JustLiteral lit, IsTerm term, HasApply atom, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => lit -> lit -> Bool src/Data/Logic/ATP/Resolution.hs:92:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: rename :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => (v -> v) -> Set lit -> Set lit src/Data/Logic/ATP/Resolution.hs:104:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: resolvents :: (JustLiteral lit, Ord lit, HasApply atom, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set lit -> Set lit -> lit -> Set lit -> Set lit src/Data/Logic/ATP/Resolution.hs:121:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: resolve_clauses :: (JustLiteral lit, Ord lit, HasApply atom, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set lit -> Set lit -> Set lit src/Data/Logic/ATP/Resolution.hs:133:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: resloop1 :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set (Set lit) -> Set (Set lit) -> Failing Bool src/Data/Logic/ATP/Resolution.hs:146:1: warning: [-Wredundant-constraints] • Redundant constraints: (Ord fof, Pretty fof) • In the type signature for: pure_resolution1 :: (atom ~ AtomOf fof, term ~ TermOf atom, v ~ TVarOf term, IsFirstOrder fof, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Ord fof, Pretty fof) => fof -> Failing Bool src/Data/Logic/ATP/Resolution.hs:199:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: match_atoms :: (JustApply atom, IsTerm term, term ~ TermOf atom, v ~ TVarOf term) => Map v term -> (atom, atom) -> Failing (Map v term) src/Data/Logic/ATP/Resolution.hs:204:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: match_atoms_eq :: (HasEquate atom, IsTerm term, term ~ TermOf atom, v ~ TVarOf term) => Map v term -> (atom, atom) -> Failing (Map v term) src/Data/Logic/ATP/Resolution.hs:210:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: match_literals :: (IsLiteral lit, HasApply atom, IsTerm term, Match (atom, atom) v term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Map v term -> lit -> lit -> Failing (Map v term) src/Data/Logic/ATP/Resolution.hs:229:1: warning: [-Wredundant-constraints] • Redundant constraints: (Ord fof, Pretty fof, HasApply atom, IsTerm term) • In the type signature for: pure_resolution2 :: (IsFirstOrder fof, Ord fof, Pretty fof, HasApply atom, IsTerm term, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Match (atom, atom) v term, atom ~ AtomOf fof, term ~ TermOf atom, v ~ TVarOf term) => fof -> Failing Bool src/Data/Logic/ATP/Resolution.hs:237:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: resloop2 :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Match (atom, atom) v term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set (Set lit) -> Set (Set lit) -> Failing Bool src/Data/Logic/ATP/Resolution.hs:251:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: incorporate :: (atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term, IsLiteral lit, Ord lit, HasApply atom, Match (atom, atom) v term, IsTerm term) => Set lit -> Set lit -> Set (Set lit) -> Set (Set lit) src/Data/Logic/ATP/Resolution.hs:264:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: replace :: (atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term, IsLiteral lit, Ord lit, IsTerm term, HasApply atom, Match (atom, atom) v term) => Set lit -> Set (Set lit) -> Set (Set lit) src/Data/Logic/ATP/Resolution.hs:279:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: subsumes_clause :: (IsLiteral lit, HasApply atom, IsTerm term, Match (atom, atom) v term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set lit -> Set lit -> Bool src/Data/Logic/ATP/Resolution.hs:298:1: warning: [-Wredundant-constraints] • Redundant constraint: Pretty fof • In the type signature for: presolution :: (IsFirstOrder fof, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Match (atom, atom) v term, HasSkolem function, Monad m, Ord fof, Pretty fof, atom ~ AtomOf fof, term ~ TermOf atom, function ~ FunOf term, v ~ VarOf fof, v ~ SVarOf function) => fof -> SkolemT m function (Set (Failing Bool)) src/Data/Logic/ATP/Resolution.hs:305:1: warning: [-Wredundant-constraints] • Redundant constraints: (Ord fof, Pretty fof) • In the type signature for: pure_presolution :: (IsFirstOrder fof, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Match (atom, atom) v term, Ord fof, Pretty fof, atom ~ AtomOf fof, term ~ TermOf atom, v ~ VarOf fof, v ~ TVarOf term) => fof -> Failing Bool src/Data/Logic/ATP/Resolution.hs:311:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: presloop :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term, Match (atom, atom) v term, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set (Set lit) -> Set (Set lit) -> Failing Bool src/Data/Logic/ATP/Resolution.hs:327:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: presolve_clauses :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set lit -> Set lit -> Set lit src/Data/Logic/ATP/Resolution.hs:343:1: warning: [-Wredundant-constraints] • Redundant constraints: (Ord fof, Pretty fof) • In the type signature for: pure_resolution3 :: (atom ~ AtomOf fof, term ~ TermOf atom, v ~ VarOf fof, v ~ TVarOf term, IsFirstOrder fof, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Match (atom, atom) v term, Ord fof, Pretty fof) => fof -> Failing Bool [23 of 25] Compiling Data.Logic.ATP.Meson ( src/Data/Logic/ATP/Meson.hs, dist/build/Data/Logic/ATP/Meson.o ) src/Data/Logic/ATP/Meson.hs:178:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: mexpand1 :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set (PrologRule lit) -> Set lit -> lit -> ((Map v term, Int, Int) -> Failing (Map v term, Int, Int)) -> (Map v term, Int, Int) -> Failing (Map v term, Int, Int) src/Data/Logic/ATP/Meson.hs:208:1: warning: [-Wredundant-constraints] • Redundant constraints: (Ord fof, function ~ FunOf term) • In the type signature for: puremeson1 :: (IsFirstOrder fof, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Ord fof, atom ~ AtomOf fof, term ~ TermOf atom, function ~ FunOf term, v ~ VarOf fof, v ~ TVarOf term) => Maybe Depth -> fof -> Failing Depth src/Data/Logic/ATP/Meson.hs:221:1: warning: [-Wredundant-constraints] • Redundant constraint: predicate ~ PredOf atom • In the type signature for: meson1 :: (IsFirstOrder fof, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Ord fof, HasSkolem function, Monad m, atom ~ AtomOf fof, term ~ TermOf atom, predicate ~ PredOf atom, function ~ FunOf term, v ~ VarOf fof, v ~ SVarOf function) => Maybe Depth -> fof -> SkolemT m function (Set (Failing Depth)) src/Data/Logic/ATP/Meson.hs:233:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: equal :: (JustLiteral lit, HasApply atom, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Map v term -> lit -> lit -> Bool src/Data/Logic/ATP/Meson.hs:260:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: mexpand2 :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set (PrologRule lit) -> Set lit -> lit -> ((Map v term, Int, Int) -> Failing (Map v term, Int, Int)) -> (Map v term, Int, Int) -> Failing (Map v term, Int, Int) src/Data/Logic/ATP/Meson.hs:287:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: mexpands :: (JustLiteral lit, Ord lit, HasApply atom, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set (PrologRule lit) -> Set lit -> Set lit -> ((Map v term, Int, Int) -> Failing (Map v term, Int, Int)) -> (Map v term, Int, Int) -> Failing (Map v term, Int, Int) src/Data/Logic/ATP/Meson.hs:317:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord fof • In the type signature for: puremeson2 :: (atom ~ AtomOf fof, term ~ TermOf atom, v ~ VarOf fof, v ~ TVarOf term, IsFirstOrder fof, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Ord fof) => Maybe Depth -> fof -> Failing Depth [24 of 25] Compiling Data.Logic.ATP.Equal ( src/Data/Logic/ATP/Equal.hs, dist/build/Data/Logic/ATP/Equal.o ) src/Data/Logic/ATP/Equal.hs:59:1: warning: [-Wredundant-constraints] • Redundant constraints: (p ~ PredOf atom, IsTerm term) • In the type signature for: function_congruence :: (atom ~ AtomOf fof, term ~ TermOf atom, p ~ PredOf atom, v ~ VarOf fof, v ~ TVarOf term, function ~ FunOf term, IsQuantified fof, HasEquate atom, IsTerm term, Ord fof) => (function, Int) -> Set fof src/Data/Logic/ATP/Equal.hs:77:1: warning: [-Wredundant-constraints] • Redundant constraints: (IsTerm term, Ord predicate) • In the type signature for: predicate_congruence :: (atom ~ AtomOf fof, predicate ~ PredOf atom, term ~ TermOf atom, v ~ VarOf fof, v ~ TVarOf term, IsQuantified fof, HasEquate atom, IsTerm term, Ord predicate) => AtomOf fof -> Set fof src/Data/Logic/ATP/Equal.hs:94:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: equivalence_axioms :: (atom ~ AtomOf fof, term ~ TermOf atom, v ~ VarOf fof, IsQuantified fof, HasEquate atom, IsTerm term, Ord fof) => Set fof src/Data/Logic/ATP/Equal.hs:109:1: warning: [-Wredundant-constraints] • Redundant constraints: (IsTerm term, Ord atom) • In the type signature for: equalitize :: (atom ~ AtomOf formula, term ~ TermOf atom, v ~ VarOf formula, v ~ TVarOf term, function ~ FunOf term, IsQuantified formula, HasEquate atom, IsTerm term, Ord formula, Ord atom) => formula -> formula src/Data/Logic/ATP/Equal.hs:229:1: warning: [-Wunused-top-binds] Defined but not used: ‘testEqual04’ [25 of 25] Compiling Data.Logic.ATP ( src/Data/Logic/ATP.hs, dist/build/Data/Logic/ATP.o ) Running Haddock for atp-haskell-1.14... Running hscolour for atp-haskell-1.14... Preprocessing library atp-haskell-1.14... Preprocessing library atp-haskell-1.14... src/Data/Logic/ATP/Pretty.hs:81:1: warning: [-Wredundant-constraints] • Redundant constraint: Eq a • In the type signature for: testParen :: (Eq a, Ord a, Num a) => Side -> a -> a -> Associativity -> Bool src/Data/Logic/ATP/Term.hs:162:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: precedenceTerm :: IsTerm term => term -> Precedence src/Data/Logic/ATP/Term.hs:165:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: associativityTerm :: IsTerm term => term -> Associativity src/Data/Logic/ATP/Term.hs:169:1: warning: [-Wredundant-constraints] • Redundant constraints: (HasFixity term, Pretty v, Pretty function) • In the type signature for: prettyTerm :: (v ~ TVarOf term, function ~ FunOf term, IsTerm term, HasFixity term, Pretty v, Pretty function) => PrettyLevel -> Rational -> term -> Doc src/Data/Logic/ATP/Term.hs:174:1: warning: [-Wredundant-constraints] • Redundant constraint: HasFixity term • In the type signature for: prettyFunctionApply :: (function ~ FunOf term, IsTerm term, HasFixity term) => PrettyLevel -> function -> [term] -> Doc src/Data/Logic/ATP/Term.hs:179:1: warning: [-Wredundant-constraints] • Redundant constraints: (Pretty v, Pretty function) • In the type signature for: showTerm :: (v ~ TVarOf term, function ~ FunOf term, IsTerm term, Pretty v, Pretty function) => term -> String src/Data/Logic/ATP/Term.hs:183:1: warning: [-Wredundant-constraints] • Redundant constraint: v ~ TVarOf term • In the type signature for: showFunctionApply :: (v ~ TVarOf term, function ~ FunOf term, IsTerm term) => function -> [term] -> String src/Data/Logic/ATP/Term.hs:194:10: warning: [-Wredundant-constraints] • Redundant constraint: IsFunction function • In the instance declaration for ‘IsString (Term function v)’ src/Data/Logic/ATP/Apply.hs:68:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord function • In the type signature for: functions :: (IsFormula formula, HasApply atom, Ord function, atom ~ AtomOf formula, term ~ TermOf atom, function ~ FunOf term) => formula -> Set (function, Arity) src/Data/Logic/ATP/Apply.hs:82:1: warning: [-Wredundant-constraints] • Redundant constraint: v ~ TVarOf term • In the type signature for: prettyApply :: (v ~ TVarOf term, IsPredicate predicate, IsTerm term) => predicate -> [term] -> Doc src/Data/Logic/ATP/Equate.hs:81:1: warning: [-Wredundant-constraints] • Redundant constraint: Show (TermOf atom) • In the type signature for: showApplyAndEquate :: (HasEquate atom, Show (TermOf atom)) => atom -> String src/Data/Logic/ATP/Lib.hs:149:1: warning: [-Wredundant-constraints] • Redundant constraint: SetLike c • In the type signature for: (∅) :: (Monoid (c a), SetLike c) => c a src/Data/Logic/ATP/Lib.hs:490:1: warning: [-Wredundant-constraints] • Redundant constraint: Foldable s • In the type signature for: optimize :: (SetLike s, Foldable s) => (b -> b -> Ordering) -> (a -> b) -> s a -> Maybe a src/Data/Logic/ATP/Lib.hs:494:1: warning: [-Wredundant-constraints] • Redundant constraint: Foldable s • In the type signature for: maximize :: (Ord b, SetLike s, Foldable s) => (a -> b) -> s a -> Maybe a src/Data/Logic/ATP/Lib.hs:497:1: warning: [-Wredundant-constraints] • Redundant constraint: Foldable s • In the type signature for: minimize :: (Ord b, SetLike s, Foldable s) => (a -> b) -> s a -> Maybe a src/Data/Logic/ATP/Lib.hs:570:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord a • In the type signature for: image :: (Ord b, Ord a) => (a -> b) -> Set a -> Set b src/Data/Logic/ATP/Lib.hs:893:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord k • In the type signature for: (|=>) :: Ord k => k -> a -> Map k a src/Data/Logic/ATP/Prop.hs:337:10: warning: [-Wredundant-constraints] • Redundant constraint: Show atom • In the instance declaration for ‘Show (PFormula atom)’ src/Data/Logic/ATP/Prop.hs:499:7: warning: [-Wunused-local-binds] Defined but not used: ‘byPrec’ src/Data/Logic/ATP/Prop.hs:504:7: warning: [-Wunused-local-binds] Defined but not used: ‘binops’ src/Data/Logic/ATP/Prop.hs:515:7: warning: [-Wunused-local-binds] Defined but not used: ‘preops’ src/Data/Logic/ATP/Prop.hs:878:1: warning: [-Wredundant-constraints] • Redundant constraint: IsFormula formula • In the type signature for: list_conj :: (Foldable t, IsFormula formula, IsPropositional formula) => t formula -> formula src/Data/Logic/ATP/Prop.hs:882:1: warning: [-Wredundant-constraints] • Redundant constraint: IsFormula formula • In the type signature for: list_disj :: (Foldable t, IsFormula formula, IsPropositional formula) => t formula -> formula src/Data/Logic/ATP/Prop.hs:1056:1: warning: [-Wredundant-constraints] • Redundant constraint: IsLiteral lit • In the type signature for: simpdnf :: (JustPropositional pf, IsLiteral lit, JustLiteral lit, Ord lit) => (AtomOf pf -> AtomOf lit) -> pf -> Set (Set lit) src/Data/Logic/ATP/DefCNF.hs:100:1: warning: [-Wredundant-constraints] • Redundant constraint: IsLiteral lit • In the type signature for: mk_defcnf :: (IsPropositional pf, JustPropositional pf, IsLiteral lit, JustLiteral lit, Ord lit, NumAtom (AtomOf pf)) => (AtomOf pf -> AtomOf lit) -> ((pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer)) -> pf -> Set (Set lit) src/Data/Logic/ATP/DefCNF.hs:150:1: warning: [-Wredundant-constraints] • Redundant constraint: IsPropositional pf • In the type signature for: andcnf :: (IsPropositional pf, JustPropositional pf, Ord pf, NumAtom (AtomOf pf)) => (pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer) src/Data/Logic/ATP/DefCNF.hs:157:1: warning: [-Wredundant-constraints] • Redundant constraint: IsPropositional pf • In the type signature for: orcnf :: (IsPropositional pf, JustPropositional pf, Ord pf, NumAtom (AtomOf pf)) => (pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer) src/Data/Logic/ATP/DefCNF.hs:164:1: warning: [-Wredundant-constraints] • Redundant constraints: (IsPropositional pf, NumAtom (AtomOf pf)) • In the type signature for: subcnf :: (IsPropositional pf, NumAtom (AtomOf pf)) => ((pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer)) -> (pf -> pf -> pf) -> pf -> pf -> (pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer) src/Data/Logic/ATP/DefCNF.hs:180:1: warning: [-Wredundant-constraints] • Redundant constraint: IsPropositional pf • In the type signature for: andcnf3 :: (IsPropositional pf, JustPropositional pf, Ord pf, NumAtom (AtomOf pf)) => (pf, Map pf pf, Integer) -> (pf, Map pf pf, Integer) src/Data/Logic/ATP/Quantified.hs:233:10: warning: [-Wredundant-constraints] • Redundant constraint: IsFormula (QFormula v atom) • In the instance declaration for ‘IsPropositional (QFormula v atom)’ src/Data/Logic/ATP/PropExamples.hs:44:10: warning: [-Wredundant-constraints] • Redundant constraint: Num a • In the instance declaration for ‘Pretty (Knows a)’ src/Data/Logic/ATP/PropExamples.hs:47:10: warning: [-Wredundant-constraints] • Redundant constraint: Num a • In the instance declaration for ‘HasFixity (Knows a)’ src/Data/Logic/ATP/PropExamples.hs:66:1: warning: [-Wunused-top-binds] Defined but not used: ‘halfcarry’ src/Data/Logic/ATP/PropExamples.hs:69:1: warning: [-Wunused-top-binds] Defined but not used: ‘ha’ src/Data/Logic/ATP/PropExamples.hs:82:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord a • In the type signature for: conjoin :: (IsPropositional formula, Ord formula, Ord a) => (a -> formula) -> Set a -> formula src/Data/Logic/ATP/PropExamples.hs:129:1: warning: [-Wunused-top-binds] Defined but not used: ‘ripplecarry1’ src/Data/Logic/ATP/PropExamples.hs:134:1: warning: [-Wunused-top-binds] Defined but not used: ‘mux’ src/Data/Logic/ATP/PropExamples.hs:137:1: warning: [-Wunused-top-binds] Defined but not used: ‘offset’ src/Data/Logic/ATP/PropExamples.hs:149:1: warning: [-Wunused-top-binds] Defined but not used: ‘carryselect’ src/Data/Logic/ATP/PropExamples.hs:164:1: warning: [-Wunused-top-binds] Defined but not used: ‘mk_adder_test’ src/Data/Logic/ATP/DP.hs:30:1: warning: [-Worphans] Orphan instance: instance NumAtom (Knows Integer) To avoid this move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. src/Data/Logic/ATP/DP.hs:168:1: warning: [-Wredundant-constraints] • Redundant constraint: Eq formula • In the type signature for: unassigned :: (IsLiteral formula, Ord formula, Eq formula) => Set (Set formula) -> Set (formula, TrailMix) -> Set formula src/Data/Logic/ATP/FOL.hs:249:1: warning: [-Wredundant-constraints] • Redundant constraints: (IsTerm term, Eq dom) • In the type signature for: holdsAtom :: (HasEquate atom, IsTerm term, Eq dom, term ~ TermOf atom, v ~ TVarOf term, function ~ FunOf term, predicate ~ PredOf atom) => Interp function predicate dom -> Map v dom -> atom -> Bool src/Data/Logic/ATP/FOL.hs:352:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: fva :: (HasApply atom, IsTerm term, term ~ TermOf atom, v ~ TVarOf term) => atom -> Set v src/Data/Logic/ATP/FOL.hs:400:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: lsubst :: (JustLiteral lit, HasApply atom, IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Map v term -> lit -> lit src/Data/Logic/ATP/FOL.hs:412:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: asubst :: (HasApply atom, IsTerm term, term ~ TermOf atom, v ~ TVarOf term) => Map v term -> atom -> atom src/Data/Logic/ATP/Prolog.hs:28:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: renamerule :: (IsLiteral lit, JustLiteral lit, Ord lit, HasApply atom, IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Int -> PrologRule lit -> (PrologRule lit, Int) src/Data/Logic/ATP/Skolem.hs:99:1: warning: [-Wredundant-constraints] • Redundant constraint: IsVariable (SVarOf function) • In the type signature for: showSkolem :: (HasSkolem function, IsVariable (SVarOf function)) => function -> String src/Data/Logic/ATP/Skolem.hs:270:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord function • In the type signature for: skolems :: (IsFormula formula, HasSkolem function, HasApply atom, Ord function, atom ~ AtomOf formula, term ~ TermOf atom, function ~ FunOf term) => formula -> Set function src/Data/Logic/ATP/Skolem.hs:416:1: warning: [-Wredundant-constraints] • Redundant constraints: (atom ~ AtomOf fof, term ~ TermOf atom, function ~ FunOf term, v ~ VarOf fof, v ~ TVarOf term) • In the type signature for: simpdnf' :: (IsFirstOrder fof, Ord fof, atom ~ AtomOf fof, term ~ TermOf atom, function ~ FunOf term, v ~ VarOf fof, v ~ TVarOf term) => fof -> Set (Set fof) src/Data/Logic/ATP/Skolem.hs:451:1: warning: [-Wredundant-constraints] • Redundant constraints: (atom ~ AtomOf fof, term ~ TermOf atom, predicate ~ PredOf atom, v ~ VarOf fof, v ~ TVarOf term, function ~ FunOf term) • In the type signature for: purecnf' :: (atom ~ AtomOf fof, term ~ TermOf atom, predicate ~ PredOf atom, v ~ VarOf fof, v ~ TVarOf term, function ~ FunOf term, IsFirstOrder fof, Ord fof) => fof -> Set (Set fof) src/Data/Logic/ATP/Parser.hs:28:1: warning: [-Worphans] Orphan instance: instance Pretty ParseError To avoid this move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. src/Data/Logic/ATP/Parser.hs:31:1: warning: [-Worphans] Orphan instance: instance Pretty Message To avoid this move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. Haddock coverage: 36% ( 8 / 22) in 'Data.Logic.ATP.Pretty' Missing documentation for: Module header Associativity (src/Data/Logic/ATP/Pretty.hs:67) testEquals (src/Data/Logic/ATP/Pretty.hs:121) leafPrec (src/Data/Logic/ATP/Pretty.hs:124) boolPrec (src/Data/Logic/ATP/Pretty.hs:139) notPrec (src/Data/Logic/ATP/Pretty.hs:129) atomPrec (src/Data/Logic/ATP/Pretty.hs:127) andPrec (src/Data/Logic/ATP/Pretty.hs:131) orPrec (src/Data/Logic/ATP/Pretty.hs:133) impPrec (src/Data/Logic/ATP/Pretty.hs:135) iffPrec (src/Data/Logic/ATP/Pretty.hs:137) quantPrec (src/Data/Logic/ATP/Pretty.hs:141) eqPrec (src/Data/Logic/ATP/Pretty.hs:143) pAppPrec (src/Data/Logic/ATP/Pretty.hs:145) 50% ( 4 / 8) in 'Data.Logic.ATP.Formulas' Missing documentation for: ⊥ (src/Data/Logic/ATP/Formulas.hs:50) ⊤ (src/Data/Logic/ATP/Formulas.hs:47) fromBool (src/Data/Logic/ATP/Formulas.hs:53) prettyBool (src/Data/Logic/ATP/Formulas.hs:57) 74% ( 17 / 23) in 'Data.Logic.ATP.Lit' Missing documentation for: positive (src/Data/Logic/ATP/Lit.hs:78) foldLiteral (src/Data/Logic/ATP/Lit.hs:81) precedenceLiteral (src/Data/Logic/ATP/Lit.hs:126) associativityLiteral (src/Data/Logic/ATP/Lit.hs:128) showLiteral (src/Data/Logic/ATP/Lit.hs:140) Lit (src/Data/Logic/ATP/Lit.hs:171) 61% ( 14 / 23) in 'Data.Logic.ATP.Term' Missing documentation for: IsVariable (src/Data/Logic/ATP/Term.hs:58) V (src/Data/Logic/ATP/Term.hs:78) IsFunction (src/Data/Logic/ATP/Term.hs:101) Arity (src/Data/Logic/ATP/Term.hs:103) precedenceTerm (src/Data/Logic/ATP/Term.hs:162) associativityTerm (src/Data/Logic/ATP/Term.hs:165) funcs (src/Data/Logic/ATP/Term.hs:186) Term (src/Data/Logic/ATP/Term.hs:189) testTerm (src/Data/Logic/ATP/Term.hs:228) 89% ( 16 / 18) in 'Data.Logic.ATP.Apply' Missing documentation for: Module header foldApply (src/Data/Logic/ATP/Apply.hs:78) 79% ( 11 / 14) in 'Data.Logic.ATP.Equate' Missing documentation for: showEquate (src/Data/Logic/ATP/Equate.hs:84) precedenceEquate (src/Data/Logic/ATP/Equate.hs:92) associativityEquate (src/Data/Logic/ATP/Equate.hs:95) 50% ( 1 / 2) in 'Data.Logic.ATP.LitWrapper' Missing documentation for: Module header 25% ( 11 / 44) in 'Data.Logic.ATP.Lib' Missing documentation for: Module header failing (src/Data/Logic/ATP/Lib.hs:82) slInsert (src/Data/Logic/ATP/Lib.hs:140) prettyFoldable (src/Data/Logic/ATP/Lib.hs:143) setAny (src/Data/Logic/ATP/Lib.hs:152) setAll (src/Data/Logic/ATP/Lib.hs:155) flatten (src/Data/Logic/ATP/Lib.hs:158) tryfind (src/Data/Logic/ATP/Lib.hs:450) tryfindM (src/Data/Logic/ATP/Lib.hs:453) runRS (src/Data/Logic/ATP/Lib.hs:460) evalRS (src/Data/Logic/ATP/Lib.hs:457) settryfind (src/Data/Logic/ATP/Lib.hs:473) |=> (src/Data/Logic/ATP/Lib.hs:893) |-> (src/Data/Logic/ATP/Lib.hs:900) fpf (src/Data/Logic/ATP/Lib.hs:903) defined (src/Data/Logic/ATP/Lib.hs:785) apply (src/Data/Logic/ATP/Lib.hs:763) tryApplyD (src/Data/Logic/ATP/Lib.hs:766) allpairs (src/Data/Logic/ATP/Lib.hs:312) distrib (src/Data/Logic/ATP/Lib.hs:317) image (src/Data/Logic/ATP/Lib.hs:570) optimize (src/Data/Logic/ATP/Lib.hs:490) minimize (src/Data/Logic/ATP/Lib.hs:497) maximize (src/Data/Logic/ATP/Lib.hs:494) can (src/Data/Logic/ATP/Lib.hs:200) allsets (src/Data/Logic/ATP/Lib.hs:595) allsubsets (src/Data/Logic/ATP/Lib.hs:602) allnonemptysubsets (src/Data/Logic/ATP/Lib.hs:611) mapfilter (src/Data/Logic/ATP/Lib.hs:479) setmapfilter (src/Data/Logic/ATP/Lib.hs:483) ∅ (src/Data/Logic/ATP/Lib.hs:149) Depth (src/Data/Logic/ATP/Lib.hs:990) testLib (src/Data/Logic/ATP/Lib.hs:999) 76% ( 52 / 68) in 'Data.Logic.ATP.Prop' Missing documentation for: associativityPropositional (src/Data/Logic/ATP/Prop.hs:251) TruthTable (src/Data/Logic/ATP/Prop.hs:431) onallvaluations (src/Data/Logic/ATP/Prop.hs:419) satisfiable (src/Data/Logic/ATP/Prop.hs:416) psimplify1 (src/Data/Logic/ATP/Prop.hs:730) nenf (src/Data/Logic/ATP/Prop.hs:822) list_disj (src/Data/Logic/ATP/Prop.hs:882) mk_lits (src/Data/Logic/ATP/Prop.hs:867) allsatvaluations (src/Data/Logic/ATP/Prop.hs:870) dnfSet (src/Data/Logic/ATP/Prop.hs:860) purednf (src/Data/Logic/ATP/Prop.hs:1010) rawdnf (src/Data/Logic/ATP/Prop.hs:981) simpcnf (src/Data/Logic/ATP/Prop.hs:1085) cnf' (src/Data/Logic/ATP/Prop.hs:1098) cnf_ (src/Data/Logic/ATP/Prop.hs:1095) testProp (src/Data/Logic/ATP/Prop.hs:1109) 60% ( 6 / 10) in 'Data.Logic.ATP.DefCNF' Missing documentation for: NumAtom (src/Data/Logic/ATP/DefCNF.hs:47) defcnfs (src/Data/Logic/ATP/DefCNF.hs:147) Atom (src/Data/Logic/ATP/DefCNF.hs:51) testDefCNF (src/Data/Logic/ATP/DefCNF.hs:200) 53% ( 9 / 17) in 'Data.Logic.ATP.Quantified' Missing documentation for: for_all (src/Data/Logic/ATP/Quantified.hs:69) exists (src/Data/Logic/ATP/Quantified.hs:71) ∃ (src/Data/Logic/ATP/Quantified.hs:78) precedenceQuantified (src/Data/Logic/ATP/Quantified.hs:82) associativityQuantified (src/Data/Logic/ATP/Quantified.hs:94) onatomsQuantified (src/Data/Logic/ATP/Quantified.hs:187) overatomsQuantified (src/Data/Logic/ATP/Quantified.hs:197) QFormula (src/Data/Logic/ATP/Quantified.hs:205) 29% ( 2 / 7) in 'Data.Logic.ATP.PropExamples' Missing documentation for: Knows (src/Data/Logic/ATP/PropExamples.hs:42) mk_knows (src/Data/Logic/ATP/PropExamples.hs:96) mk_knows2 (src/Data/Logic/ATP/PropExamples.hs:98) prime (src/Data/Logic/ATP/PropExamples.hs:226) testPropExamples (src/Data/Logic/ATP/PropExamples.hs:244) 50% ( 7 / 14) in 'Data.Logic.ATP.DP' Missing documentation for: dplisat (src/Data/Logic/ATP/DP.hs:203) dplitaut (src/Data/Logic/ATP/DP.hs:206) dpllsat (src/Data/Logic/ATP/DP.hs:142) dplltaut (src/Data/Logic/ATP/DP.hs:145) dplbsat (src/Data/Logic/ATP/DP.hs:235) dplbtaut (src/Data/Logic/ATP/DP.hs:238) testDP (src/Data/Logic/ATP/DP.hs:246) 85% ( 23 / 27) in 'Data.Logic.ATP.FOL' Missing documentation for: holds (src/Data/Logic/ATP/FOL.hs:227) termval (src/Data/Logic/ATP/FOL.hs:255) mod_interp (src/Data/Logic/ATP/FOL.hs:289) testFOL (src/Data/Logic/ATP/FOL.hs:444) 25% ( 1 / 4) in 'Data.Logic.ATP.Prolog' Missing documentation for: PrologRule (src/Data/Logic/ATP/Prolog.hs:22) renamerule (src/Data/Logic/ATP/Prolog.hs:28) testProlog (src/Data/Logic/ATP/Prolog.hs:205) 75% ( 21 / 28) in 'Data.Logic.ATP.Skolem' Missing documentation for: showSkolem (src/Data/Logic/ATP/Skolem.hs:99) prettySkolem (src/Data/Logic/ATP/Skolem.hs:102) SkolemM (src/Data/Logic/ATP/Skolem.hs:108) simpcnf' (src/Data/Logic/ATP/Skolem.hs:441) SkTerm (src/Data/Logic/ATP/Skolem.hs:388) SkAtom (src/Data/Logic/ATP/Skolem.hs:387) testSkolem (src/Data/Logic/ATP/Skolem.hs:455) 7% ( 4 / 61) in 'Data.Logic.ATP.Parser' Missing documentation for: Module header (src/Data/Logic/ATP/Parser.hs:28) (src/Data/Logic/ATP/Parser.hs:31) parseFOL (src/Data/Logic/ATP/Parser.hs:87) parsePL (src/Data/Logic/ATP/Parser.hs:89) parseLit (src/Data/Logic/ATP/Parser.hs:91) parseFOLTerm (src/Data/Logic/ATP/Parser.hs:93) def (src/Data/Logic/ATP/Parser.hs:96) m_parens (src/Data/Logic/ATP/Parser.hs:105) m_angles (src/Data/Logic/ATP/Parser.hs:106) m_symbol (src/Data/Logic/ATP/Parser.hs:107) m_integer (src/Data/Logic/ATP/Parser.hs:108) m_identifier (src/Data/Logic/ATP/Parser.hs:109) m_reservedOp (src/Data/Logic/ATP/Parser.hs:110) m_reserved (src/Data/Logic/ATP/Parser.hs:111) m_whiteSpace (src/Data/Logic/ATP/Parser.hs:112) litparser (src/Data/Logic/ATP/Parser.hs:137) propparser (src/Data/Logic/ATP/Parser.hs:139) folparser (src/Data/Logic/ATP/Parser.hs:141) litexprparser (src/Data/Logic/ATP/Parser.hs:144) propexprparser (src/Data/Logic/ATP/Parser.hs:150) litter src/Data/Logic/ATP/Herbrand.hs:38:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord function • In the type signature for: herbfuns :: (atom ~ AtomOf fof, term ~ TermOf atom, function ~ FunOf term, IsFormula fof, HasApply atom, Ord function) => fof -> (Set (function, Arity), Set (function, Arity)) src/Data/Logic/ATP/Herbrand.hs:60:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: herbloop :: (atom ~ AtomOf lit, term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function, JustLiteral lit, HasApply atom, IsTerm term) => (Set (Set lit) -> (lit -> lit) -> Set (Set lit) -> Set (Set lit)) -> (Set (Set lit) -> Bool) -> Set (Set lit) -> Set term -> Set (function, Int) -> [TVarOf term] -> Int -> Set (Set lit) -> Set [term] -> Set [term] -> Set [term] src/Data/Logic/ATP/Herbrand.hs:89:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: gilmore_loop :: (atom ~ AtomOf lit, term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function, JustLiteral lit, Ord lit, HasApply atom, IsTerm term) => Set (Set lit) -> Set term -> Set (function, Int) -> [TVarOf term] -> Int -> Set (Set lit) -> Set [term] -> Set [term] -> Set [term] src/Data/Logic/ATP/Herbrand.hs:107:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord fof • In the type signature for: gilmore :: (IsFirstOrder fof, Ord fof, HasSkolem function, atom ~ AtomOf fof, term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function) => fof -> Int src/Data/Logic/ATP/Herbrand.hs:205:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: dp_loop :: (atom ~ AtomOf lit, term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function, JustLiteral lit, Ord lit, HasApply atom, IsTerm term) => Set (Set lit) -> Set term -> Set (function, Int) -> [v] -> Int -> Set (Set lit) -> Set [term] -> Set [term] -> Set [term] src/Data/Logic/ATP/Herbrand.hs:220:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord formula • In the type signature for: davisputnam :: (IsFirstOrder formula, Ord formula, HasSkolem function, atom ~ AtomOf formula, term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function) => formula -> Int src/Data/Logic/ATP/Herbrand.hs:245:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord formula • In the type signature for: davisputnam' :: (IsFirstOrder formula, Ord formula, HasSkolem function, atom ~ AtomOf formula, term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function) => formula -> formula -> formula -> Int src/Data/Logic/ATP/Herbrand.hs:264:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: dp_refine_loop :: (atom ~ AtomOf lit, term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function, JustLiteral lit, Ord lit, IsTerm term, HasApply atom) => Set (Set lit) -> Set term -> Set (function, Int) -> [v] -> Int -> Set (Set lit) -> Set [term] -> Set [term] -> Set [term] src/Data/Logic/ATP/Herbrand.hs:281:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: dp_refine :: (atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term, HasApply atom, JustLiteral lit, Ord lit, IsTerm term) => Set (Set lit) -> [TVarOf term] -> Set [term] -> Set [term] -> Set [term] src/Data/Logic/ATP/Unif.hs:59:1: warning: [-Wredundant-constraints] • Redundant constraint: Monad m • In the type signature for: unify :: (Unify m a, Monad m) => a -> Map (TVarOf (UTermOf a)) (UTermOf a) -> m (Map (TVarOf (UTermOf a)) (UTermOf a)) src/Data/Logic/ATP/Unif.hs:102:1: warning: [-Wredundant-constraints] • Redundant constraint: f ~ FunOf term • In the type signature for: fullunify :: (IsTerm term, v ~ TVarOf term, f ~ FunOf term, Monad m) => [(term, term)] -> m (Map v term) src/Data/Logic/ATP/Tableaux.hs:56:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: unify_refute :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), v ~ TVarOf term, atom ~ AtomOf lit, term ~ TermOf atom) => Set (Set lit) -> Map v term -> Failing (Map v term) src/Data/Logic/ATP/Tableaux.hs:83:1: warning: [-Wredundant-constraints] • Redundant constraints: (Ord formula, Show formula) • In the type signature for: prawitz :: (IsFirstOrder formula, Ord formula, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), HasSkolem function, Show formula, atom ~ AtomOf formula, term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function) => formula -> Int src/Data/Logic/ATP/Tableaux.hs:290:1: warning: [-Wredundant-constraints] • Redundant constraint: Pretty formula • In the type signature for: splittab :: (IsFirstOrder formula, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Ord formula, Pretty formula, HasSkolem function, atom ~ AtomOf formula, term ~ TermOf atom, function ~ FunOf term, v ~ TVarOf term, v ~ SVarOf function) => formula -> [Failing ((K, Map v term), Depth)] src/Data/Logic/ATP/Tableaux.hs:295:1: warning: [-Wunused-top-binds] Defined but not used: ‘splittab’ src/Data/Logic/ATP/Resolution.hs:70:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: mgu :: (JustLiteral lit, HasApply atom, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set lit -> StateT (Map v term) Failing (Map v term) src/Data/Logic/ATP/Resolution.hs:82:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: unifiable :: (JustLiteral lit, IsTerm term, HasApply atom, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => lit -> lit -> Bool src/Data/Logic/ATP/Resolution.hs:92:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: rename :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => (v -> v) -> Set lit -> Set lit src/Data/Logic/ATP/Resolution.hs:104:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: resolvents :: (JustLiteral lit, Ord lit, HasApply atom, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set lit -> Set lit -> lit -> Set lit -> Set lit src/Data/Logic/ATP/Resolution.hs:121:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: resolve_clauses :: (JustLiteral lit, Ord lit, HasApply atom, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set lit -> Set lit -> Set lit src/Data/Logic/ATP/Resolution.hs:133:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: resloop1 :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set (Set lit) -> Set (Set lit) -> Failing Bool src/Data/Logic/ATP/Resolution.hs:146:1: warning: [-Wredundant-constraints] • Redundant constraints: (Ord fof, Pretty fof) • In the type signature for: pure_resolution1 :: (atom ~ AtomOf fof, term ~ TermOf atom, v ~ TVarOf term, IsFirstOrder fof, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Ord fof, Pretty fof) => fof -> Failing Bool src/Data/Logic/ATP/Resolution.hs:199:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: match_atoms :: (JustApply atom, IsTerm term, term ~ TermOf atom, v ~ TVarOf term) => Map v term -> (atom, atom) -> Failing (Map v term) src/Data/Logic/ATP/Resolution.hs:204:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: match_atoms_eq :: (HasEquate atom, IsTerm term, term ~ TermOf atom, v ~ TVarOf term) => Map v term -> (atom, atom) -> Failing (Map v term) src/Data/Logic/ATP/Resolution.hs:210:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: match_literals :: (IsLiteral lit, HasApply atom, IsTerm term, Match (atom, atom) v term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Map v term -> lit -> lit -> Failing (Map v term) src/Data/Logic/ATP/Resolution.hs:229:1: warning: [-Wredundant-constraints] • Redundant constraints: (Ord fof, Pretty fof, HasApply atom, IsTerm term) • In the type signature for: pure_resolution2 :: (IsFirstOrder fof, Ord fof, Pretty fof, HasApply atom, IsTerm term, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Match (atom, atom) v term, atom ~ AtomOf fof, term ~ TermOf atom, v ~ TVarOf term) => fof -> Failing Bool src/Data/Logic/ATP/Resolution.hs:237:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: resloop2 :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Match (atom, atom) v term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set (Set lit) -> Set (Set lit) -> Failing Bool src/Data/Logic/ATP/Resolution.hs:251:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: incorporate :: (atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term, IsLiteral lit, Ord lit, HasApply atom, Match (atom, atom) v term, IsTerm term) => Set lit -> Set lit -> Set (Set lit) -> Set (Set lit) src/Data/Logic/ATP/Resolution.hs:264:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: replace :: (atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term, IsLiteral lit, Ord lit, IsTerm term, HasApply atom, Match (atom, atom) v term) => Set lit -> Set (Set lit) -> Set (Set lit) src/Data/Logic/ATP/Resolution.hs:279:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: subsumes_clause :: (IsLiteral lit, HasApply atom, IsTerm term, Match (atom, atom) v term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set lit -> Set lit -> Bool src/Data/Logic/ATP/Resolution.hs:298:1: warning: [-Wredundant-constraints] • Redundant constraint: Pretty fof • In the type signature for: presolution :: (IsFirstOrder fof, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Match (atom, atom) v term, HasSkolem function, Monad m, Ord fof, Pretty fof, atom ~ AtomOf fof, term ~ TermOf atom, function ~ FunOf term, v ~ VarOf fof, v ~ SVarOf function) => fof -> SkolemT m function (Set (Failing Bool)) src/Data/Logic/ATP/Resolution.hs:305:1: warning: [-Wredundant-constraints] • Redundant constraints: (Ord fof, Pretty fof) • In the type signature for: pure_presolution :: (IsFirstOrder fof, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Match (atom, atom) v term, Ord fof, Pretty fof, atom ~ AtomOf fof, term ~ TermOf atom, v ~ VarOf fof, v ~ TVarOf term) => fof -> Failing Bool src/Data/Logic/ATP/Resolution.hs:311:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: presloop :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term, Match (atom, atom) v term, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set (Set lit) -> Set (Set lit) -> Failing Bool src/Data/Logic/ATP/Resolution.hs:327:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: presolve_clauses :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set lit -> Set lit -> Set lit src/Data/Logic/ATP/Resolution.hs:343:1: warning: [-Wredundant-constraints] • Redundant constraints: (Ord fof, Pretty fof) • In the type signature for: pure_resolution3 :: (atom ~ AtomOf fof, term ~ TermOf atom, v ~ VarOf fof, v ~ TVarOf term, IsFirstOrder fof, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Match (atom, atom) v term, Ord fof, Pretty fof) => fof -> Failing Bool src/Data/Logic/ATP/Meson.hs:178:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: mexpand1 :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set (PrologRule lit) -> Set lit -> lit -> ((Map v term, Int, Int) -> Failing (Map v term, Int, Int)) -> (Map v term, Int, Int) -> Failing (Map v term, Int, Int) src/Data/Logic/ATP/Meson.hs:208:1: warning: [-Wredundant-constraints] • Redundant constraints: (Ord fof, function ~ FunOf term) • In the type signature for: puremeson1 :: (IsFirstOrder fof, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Ord fof, atom ~ AtomOf fof, term ~ TermOf atom, function ~ FunOf term, v ~ VarOf fof, v ~ TVarOf term) => Maybe Depth -> fof -> Failing Depth src/Data/Logic/ATP/Meson.hs:221:1: warning: [-Wredundant-constraints] • Redundant constraint: predicate ~ PredOf atom • In the type signature for: meson1 :: (IsFirstOrder fof, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Ord fof, HasSkolem function, Monad m, atom ~ AtomOf fof, term ~ TermOf atom, predicate ~ PredOf atom, function ~ FunOf term, v ~ VarOf fof, v ~ SVarOf function) => Maybe Depth -> fof -> SkolemT m function (Set (Failing Depth)) src/Data/Logic/ATP/Meson.hs:233:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: equal :: (JustLiteral lit, HasApply atom, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Map v term -> lit -> lit -> Bool src/Data/Logic/ATP/Meson.hs:260:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: mexpand2 :: (JustLiteral lit, Ord lit, HasApply atom, IsTerm term, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set (PrologRule lit) -> Set lit -> lit -> ((Map v term, Int, Int) -> Failing (Map v term, Int, Int)) -> (Map v term, Int, Int) -> Failing (Map v term, Int, Int) src/Data/Logic/ATP/Meson.hs:287:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: mexpands :: (JustLiteral lit, Ord lit, HasApply atom, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), IsTerm term, atom ~ AtomOf lit, term ~ TermOf atom, v ~ TVarOf term) => Set (PrologRule lit) -> Set lit -> Set lit -> ((Map v term, Int, Int) -> Failing (Map v term, Int, Int)) -> (Map v term, Int, Int) -> Failing (Map v term, Int, Int) src/Data/Logic/ATP/Meson.hs:317:1: warning: [-Wredundant-constraints] • Redundant constraint: Ord fof • In the type signature for: puremeson2 :: (atom ~ AtomOf fof, term ~ TermOf atom, v ~ VarOf fof, v ~ TVarOf term, IsFirstOrder fof, Unify Failing (atom, atom), term ~ UTermOf (atom, atom), Ord fof) => Maybe Depth -> fof -> Failing Depth src/Data/Logic/ATP/Equal.hs:59:1: warning: [-Wredundant-constraints] • Redundant constraints: (p ~ PredOf atom, IsTerm term) • In the type signature for: function_congruence :: (atom ~ AtomOf fof, term ~ TermOf atom, p ~ PredOf atom, v ~ VarOf fof, v ~ TVarOf term, function ~ FunOf term, IsQuantified fof, HasEquate atom, IsTerm term, Ord fof) => (function, Int) -> Set fof src/Data/Logic/ATP/Equal.hs:77:1: warning: [-Wredundant-constraints] • Redundant constraints: (IsTerm term, Ord predicate) • In the type signature for: predicate_congruence :: (atom ~ AtomOf fof, predicate ~ PredOf atom, term ~ TermOf atom, v ~ VarOf fof, v ~ TVarOf term, IsQuantified fof, HasEquate atom, IsTerm term, Ord predicate) => AtomOf fof -> Set fof src/Data/Logic/ATP/Equal.hs:94:1: warning: [-Wredundant-constraints] • Redundant constraint: IsTerm term • In the type signature for: equivalence_axioms :: (atom ~ AtomOf fof, term ~ TermOf atom, v ~ VarOf fof, IsQuantified fof, HasEquate atom, IsTerm term, Ord fof) => Set fof src/Data/Logic/ATP/Equal.hs:109:1: warning: [-Wredundant-constraints] • Redundant constraints: (IsTerm term, Ord atom) • In the type signature for: equalitize :: (atom ~ AtomOf formula, term ~ TermOf atom, v ~ VarOf formula, v ~ TVarOf term, function ~ FunOf term, IsQuantified formula, HasEquate atom, IsTerm term, Ord formula, Ord atom) => formula -> formula src/Data/Logic/ATP/Equal.hs:229:1: warning: [-Wunused-top-binds] Defined but not used: ‘testEqual04’ m (src/Data/Logic/ATP/Parser.hs:160) propterm (src/Data/Logic/ATP/Parser.hs:167) folterm (src/Data/Logic/ATP/Parser.hs:174) existentialQuantifier (src/Data/Logic/ATP/Parser.hs:183) forallQuantifier (src/Data/Logic/ATP/Parser.hs:185) quantifierId (src/Data/Logic/ATP/Parser.hs:188) quantifierOp (src/Data/Logic/ATP/Parser.hs:197) folpredicate_infix (src/Data/Logic/ATP/Parser.hs:206) folpredicate (src/Data/Logic/ATP/Parser.hs:215) folfunction (src/Data/Logic/ATP/Parser.hs:221) folconstant_numeric (src/Data/Logic/ATP/Parser.hs:227) folconstant_reserved (src/Data/Logic/ATP/Parser.hs:232) folconstant (src/Data/Logic/ATP/Parser.hs:237) folsubterm (src/Data/Logic/ATP/Parser.hs:242) folsubterm_prefix (src/Data/Logic/ATP/Parser.hs:245) folfunction_infix (src/Data/Logic/ATP/Parser.hs:254) allOps (src/Data/Logic/ATP/Parser.hs:262) allIds (src/Data/Logic/ATP/Parser.hs:266) predicate_infix_symbols (src/Data/Logic/ATP/Parser.hs:269) constants (src/Data/Logic/ATP/Parser.hs:272) notOps (src/Data/Logic/ATP/Parser.hs:279) trueOps (src/Data/Logic/ATP/Parser.hs:282) trueIds (src/Data/Logic/ATP/Parser.hs:282) falseOps (src/Data/Logic/ATP/Parser.hs:282) falseIds (src/Data/Logic/ATP/Parser.hs:282) provesOps (src/Data/Logic/ATP/Parser.hs:282) entailsOps (src/Data/Logic/ATP/Parser.hs:282) equateOps (src/Data/Logic/ATP/Parser.hs:282) andOps (src/Data/Logic/ATP/Parser.hs:288) orOps (src/Data/Logic/ATP/Parser.hs:288) impOps (src/Data/Logic/ATP/Parser.hs:288) iffOps (src/Data/Logic/ATP/Parser.hs:288) forallIds (src/Data/Logic/ATP/Parser.hs:294) forallOps (src/Data/Logic/ATP/Parser.hs:294) existsIds (src/Data/Logic/ATP/Parser.hs:294) existsOps (src/Data/Logic/ATP/Parser.hs:294) 0% ( 0 / 4) in 'Data.Logic.ATP.ParserTests' Missing documentation for: Module header t (src/Data/Logic/ATP/ParserTests.hs:11) parseFOL' (src/Data/Logic/ATP/ParserTests.hs:14) testParser (src/Data/Logic/ATP/ParserTests.hs:17) 58% ( 11 / 19) in 'Data.Logic.ATP.Herbrand' Missing documentation for: groundtuples (src/Data/Logic/ATP/Herbrand.hs:51) gilmore (src/Data/Logic/ATP/Herbrand.hs:107) p24 (src/Data/Logic/ATP/Herbrand.hs:136) p45 (src/Data/Logic/ATP/Herbrand.hs:165) dp_loop (src/Data/Logic/ATP/Herbrand.hs:205) davisputnam (src/Data/Logic/ATP/Herbrand.hs:220) dp_refine (src/Data/Logic/ATP/Herbrand.hs:281) testHerbrand (src/Data/Logic/ATP/Herbrand.hs:310) 55% ( 6 / 11) in 'Data.Logic.ATP.Unif' Missing documentation for: unify (src/Data/Logic/ATP/Unif.hs:59) unify_terms (src/Data/Logic/ATP/Unif.hs:62) unify_atoms (src/Data/Logic/ATP/Unif.hs:130) unify_atoms_eq (src/Data/Logic/ATP/Unif.hs:137) testUnif (src/Data/Logic/ATP/Unif.hs:206) 20% ( 1 / 5) in 'Data.Logic.ATP.Tableaux' Missing documentation for: prawitz (src/Data/Logic/ATP/Tableaux.hs:83) K (src/Data/Logic/ATP/Tableaux.hs:170) tab (src/Data/Logic/ATP/Tableaux.hs:224) testTableaux (src/Data/Logic/ATP/Tableaux.hs:664) 56% ( 5 / 9) in 'Data.Logic.ATP.Resolution' Missing documentation for: match_atoms (src/Data/Logic/ATP/Resolution.hs:199) match_atoms_eq (src/Data/Logic/ATP/Resolution.hs:204) resolution1 (src/Data/Logic/ATP/Resolution.hs:154) testResolution (src/Data/Logic/ATP/Resolution.hs:1115) 20% ( 1 / 5) in 'Data.Logic.ATP.Meson' Missing documentation for: meson1 (src/Data/Logic/ATP/Meson.hs:221) meson2 (src/Data/Logic/ATP/Meson.hs:330) meson (src/Data/Logic/ATP/Meson.hs:339) testMeson (src/Data/Logic/ATP/Meson.hs:742) 67% ( 4 / 6) in 'Data.Logic.ATP.Equal' Missing documentation for: equalitize (src/Data/Logic/ATP/Equal.hs:109) testEqual (src/Data/Logic/ATP/Equal.hs:274) 96% ( 24 / 25) in 'Data.Logic.ATP' Missing documentation for: Module header Warning: Data.Logic.ATP.Pretty: could not find link destinations for: ~ Warning: Data.Logic.ATP.Formulas: could not find link destinations for: ~ Warning: Data.Logic.ATP.Lit: could not find link destinations for: ~ Warning: Data.Logic.ATP.Term: could not find link destinations for: ~ Warning: Data.Logic.ATP.Apply: could not find link destinations for: ~ Warning: Data.Logic.ATP.Equate: could not find link destinations for: ~ Warning: Data.Logic.ATP.Prop: could not find link destinations for: ~ TruthTableRow Warning: Data.Logic.ATP.Quantified: could not find link destinations for: ~ Warning: Data.Logic.ATP.PropExamples: could not find link destinations for: ~ Warning: Data.Logic.ATP.DP: could not find link destinations for: TrailMix ~ Warning: Data.Logic.ATP.FOL: could not find link destinations for: ~ FiniteInterpretation Warning: Data.Logic.ATP.Prolog: could not find link destinations for: ~ Warning: Data.Logic.ATP.Skolem: could not find link destinations for: SkolemState ~ Warning: Data.Logic.ATP.Herbrand: could not find link destinations for: ~ Warning: Data.Logic.ATP.Unif: could not find link destinations for: ~ Warning: Data.Logic.ATP.Tableaux: could not find link destinations for: ~ Warning: Data.Logic.ATP.Resolution: could not find link destinations for: ~ Match Warning: Data.Logic.ATP.Meson: could not find link destinations for: ~ Warning: Data.Logic.ATP.Equal: could not find link destinations for: ~ Documentation created: dist/doc/html/atp-haskell/index.html, dist/doc/html/atp-haskell/atp-haskell.txt Creating package registration file: /tmp/pkgConf-atp-haskell-11758179117278190158.14 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/atp-haskell-1.14-48ZfkZW0isj1V0Ogs3uyvo Registering atp-haskell-1.14... cabal: Leaving directory '/tmp/cabal-tmp-19051/atp-haskell-1.14' Installed atp-haskell-1.14