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