Build #1 for atp-haskell-1.13
| Package | atp-haskell-1.13 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2016-02-25 21:02:19.75738 UTC |
|---|---|
| Compiler | ghc-7.10.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | time-1.5.0.1, template-haskell-2.10.0.0, pretty-1.1.2.0, parsec-3.1.9, mtl-2.2.1, containers-0.5.6.2, base-4.8.2.0, applicative-extras-0.1.8, HUnit-1.3.1.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring HUnit-1.3.1.1...
Building HUnit-1.3.1.1...
Preprocessing library HUnit-1.3.1.1...
[1 of 5] Compiling Test.HUnit.Terminal ( Test/HUnit/Terminal.hs, dist/build/Test/HUnit/Terminal.o )
[2 of 5] Compiling Test.HUnit.Lang ( Test/HUnit/Lang.hs, dist/build/Test/HUnit/Lang.o )
[3 of 5] Compiling Test.HUnit.Base ( Test/HUnit/Base.hs, dist/build/Test/HUnit/Base.o )
[4 of 5] Compiling Test.HUnit.Text ( Test/HUnit/Text.hs, dist/build/Test/HUnit/Text.o )
[5 of 5] Compiling Test.HUnit ( Test/HUnit.hs, dist/build/Test/HUnit.o )
In-place registering HUnit-1.3.1.1...
Running Haddock for HUnit-1.3.1.1...
Running hscolour for HUnit-1.3.1.1...
Preprocessing library HUnit-1.3.1.1...
Preprocessing library HUnit-1.3.1.1...
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.1278722862233665123.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/HUnit-1.3.1.1-7IPmJa5HmrxHl6ny5upchm
Registering HUnit-1.3.1.1...
Installed HUnit-1.3.1.1
Downloading 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.Backwards ( Control/Applicative/Backwards.hs, dist/build/Control/Applicative/Backwards.o )
[2 of 3] Compiling Control.Applicative.Error ( Control/Applicative/Error.hs, dist/build/Control/Applicative/Error.o )
[3 of 3] Compiling Control.Applicative.Compose ( Control/Applicative/Compose.hs, dist/build/Control/Applicative/Compose.o )
In-place registering applicative-extras-0.1.8...
Running Haddock for applicative-extras-0.1.8...
Running hscolour for applicative-extras-0.1.8...
Preprocessing library applicative-extras-0.1.8...
Preprocessing library applicative-extras-0.1.8...
Haddock coverage:
0% ( 0 / 6) in 'Control.Applicative.Backwards'
Missing documentation for:
Module header
Backwards (Control/Applicative/Backwards.hs:9)
(Control/Applicative/Backwards.hs:11)
(Control/Applicative/Backwards.hs:14)
(Control/Applicative/Backwards.hs:18)
(Control/Applicative/Backwards.hs:25)
40% ( 4 / 10) in 'Control.Applicative.Error'
Missing documentation for:
Module header
ErrorMsg (Control/Applicative/Error.hs:10)
(Control/Applicative/Error.hs:12)
(Control/Applicative/Error.hs:16)
(Control/Applicative/Error.hs:23)
maybeRead (Control/Applicative/Error.hs:29)
25% ( 1 / 4) in 'Control.Applicative.Compose'
Missing documentation for:
Module header
(Control/Applicative/Compose.hs:9)
(Control/Applicative/Compose.hs:13)
Documentation created: dist/doc/html/applicative-extras/index.html,
dist/doc/html/applicative-extras/applicative-extras.txt
Creating package registration file:
/tmp/pkgConf-applicative-extras-0.11255179497524872353.8
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/applicative-extras-0.1.8-6L6MwYwhWpQ6P8LRd5u1oK
Registering applicative-extras-0.1.8...
Installed applicative-extras-0.1.8
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Preprocessing library mtl-2.2.1...
[ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o )
[11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
In-place registering mtl-2.2.1...
Running Haddock for mtl-2.2.1...
Running hscolour for mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Haddock coverage:
75% ( 3 / 4) in 'Control.Monad.Writer.Class'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
100% ( 5 / 5) in 'Control.Monad.State.Class'
100% ( 3 / 3) in 'Control.Monad.Reader.Class'
80% ( 4 / 5) in 'Control.Monad.RWS.Class'
Missing documentation for:
MonadRWS (Control/Monad/RWS/Class.hs:44)
100% ( 4 / 4) in 'Control.Monad.Identity'
100% ( 3 / 3) in 'Control.Monad.Error.Class'
50% ( 1 / 2) in 'Control.Monad.Cont.Class'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
100% ( 3 / 3) in 'Control.Monad.Trans'
93% ( 14 / 15) in 'Control.Monad.Error'
Missing documentation for:
runErrorT
100% ( 19 / 19) in 'Control.Monad.Except'
100% ( 5 / 5) in 'Control.Monad.List'
95% ( 21 / 22) in 'Control.Monad.RWS.Lazy'
Missing documentation for:
runRWST
100% ( 2 / 2) in 'Control.Monad.RWS'
96% ( 22 / 23) in 'Control.Monad.Reader'
Missing documentation for:
runReaderT
95% ( 21 / 22) in 'Control.Monad.RWS.Strict'
Missing documentation for:
runRWST
96% ( 24 / 25) in 'Control.Monad.State.Lazy'
Missing documentation for:
runStateT
100% ( 2 / 2) in 'Control.Monad.State'
96% ( 24 / 25) in 'Control.Monad.State.Strict'
Missing documentation for:
runStateT
89% ( 17 / 19) in 'Control.Monad.Writer.Lazy'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
runWriterT
100% ( 2 / 2) in 'Control.Monad.Writer'
94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
91% ( 20 / 22) in 'Control.Monad.Cont'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
runContT
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.2706043324496987743.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/mtl-2.2.1-Aue4leSeVkpKLsfHIV51E8
Registering mtl-2.2.1...
Installed mtl-2.2.1
Configuring text-1.2.2.0...
Building text-1.2.2.0...
Preprocessing library text-1.2.2.0...
[ 1 of 44] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o )
[ 2 of 44] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o )
[ 3 of 44] Compiling Data.Text.Internal.Builder.RealFloat.Functions ( Data/Text/Internal/Builder/RealFloat/Functions.hs, dist/build/Data/Text/Internal/Builder/RealFloat/Functions.o )
[ 4 of 44] Compiling Data.Text.Internal.Builder.Int.Digits ( Data/Text/Internal/Builder/Int/Digits.hs, dist/build/Data/Text/Internal/Builder/Int/Digits.o )
[ 5 of 44] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o )
[ 6 of 44] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o )
[ 7 of 44] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o )
[ 8 of 44] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o )
[ 9 of 44] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o )
[10 of 44] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o )
[11 of 44] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o )
[12 of 44] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o )
[13 of 44] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o )
[14 of 44] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o )
[15 of 44] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o )
[16 of 44] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o )
[17 of 44] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o )
[18 of 44] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o )
[19 of 44] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o )
[20 of 44] Compiling Data.Text.Show ( Data/Text/Show.hs, dist/build/Data/Text/Show.o )
[21 of 44] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o )
[22 of 44] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o )
[23 of 44] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o )
[24 of 44] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o )
[25 of 44] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o )
[26 of 44] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o )
[27 of 44] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o )
[28 of 44] Compiling Data.Text ( Data/Text.hs, dist/build/Data/Text.o )
[29 of 44] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o )
[30 of 44] Compiling Data.Text.IO ( Data/Text/IO.hs, dist/build/Data/Text/IO.o )
[31 of 44] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o )
[32 of 44] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o )
[33 of 44] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o )
[34 of 44] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o )
[35 of 44] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o )
[36 of 44] Compiling Data.Text.Lazy ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o )
[37 of 44] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o )
[38 of 44] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o )
[39 of 44] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o )
[40 of 44] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o )
[41 of 44] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o )
[42 of 44] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o )
[43 of 44] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o )
[44 of 44] Compiling Data.Text.Read ( Data/Text/Read.hs, dist/build/Data/Text/Read.o )
In-place registering text-1.2.2.0...
Running Haddock for text-1.2.2.0...
Running hscolour for text-1.2.2.0...
Preprocessing library text-1.2.2.0...
Preprocessing library text-1.2.2.0...
Haddock coverage:
14% ( 1 / 7) in 'Data.Text.Internal.Read'
Missing documentation for:
IReader (Data/Text/Internal/Read.hs:26)
IParser (Data/Text/Internal/Read.hs:28)
T (Data/Text/Internal/Read.hs:48)
digitToInt (Data/Text/Internal/Read.hs:61)
hexDigitToInt (Data/Text/Internal/Read.hs:55)
perhaps (Data/Text/Internal/Read.hs:50)
50% ( 1 / 2) in 'Data.Text.Internal.Encoding.Utf32'
Missing documentation for:
validate (Data/Text/Internal/Encoding/Utf32.hs:24)
50% ( 1 / 2) in 'Data.Text.Internal.Builder.RealFloat.Functions'
Missing documentation for:
roundTo (Data/Text/Internal/Builder/RealFloat/Functions.hs:17)
0% ( 0 / 2) in 'Data.Text.Internal.Builder.Int.Digits'
Missing documentation for:
Module header
digits (Data/Text/Internal/Builder/Int/Digits.hs:21)
100% ( 12 / 12) in 'Data.Text.Encoding.Error'
100% ( 2 / 2) in 'Data.Text.Internal.Unsafe.Shift'
25% ( 1 / 4) in 'Data.Text.Internal.Encoding.Utf16'
Missing documentation for:
chr2 (Data/Text/Internal/Encoding/Utf16.hs:29)
validate1 (Data/Text/Internal/Encoding/Utf16.hs:38)
validate2 (Data/Text/Internal/Encoding/Utf16.hs:42)
100% ( 2 / 2) in 'Data.Text.Internal.Functions'
100% ( 3 / 3) in 'Data.Text.Internal.Unsafe'
100% ( 16 / 16) in 'Data.Text.Array'
33% ( 2 / 6) in 'Data.Text.Internal.Unsafe.Char'
Missing documentation for:
ord (Data/Text/Internal/Unsafe/Char.hs:39)
unsafeChr (Data/Text/Internal/Unsafe/Char.hs:43)
unsafeChr8 (Data/Text/Internal/Unsafe/Char.hs:47)
unsafeChr32 (Data/Text/Internal/Unsafe/Char.hs:51)
95% ( 19 / 20) in 'Data.Text.Internal'
Missing documentation for:
textP (Data/Text/Internal.hs:97)
38% ( 5 / 13) in 'Data.Text.Internal.Fusion.Size'
Missing documentation for:
Size (Data/Text/Internal/Fusion/Size.hs:40)
exactly (Data/Text/Internal/Fusion/Size.hs:44)
exactSize (Data/Text/Internal/Fusion/Size.hs:49)
maxSize (Data/Text/Internal/Fusion/Size.hs:57)
betweenSize (Data/Text/Internal/Fusion/Size.hs:65)
unknownSize (Data/Text/Internal/Fusion/Size.hs:74)
compareSize (Data/Text/Internal/Fusion/Size.hs:143)
isEmpty (Data/Text/Internal/Fusion/Size.hs:151)
88% ( 7 / 8) in 'Data.Text.Internal.Fusion.Types'
Missing documentation for:
Stream (Data/Text/Internal/Fusion/Types.hs:83)
0% ( 0 / 5) in 'Data.Text.Internal.Fusion.CaseMapping'
Missing documentation for:
Module header
upperMapping (Data/Text/Internal/Fusion/CaseMapping.hs:13)
lowerMapping (Data/Text/Internal/Fusion/CaseMapping.hs:220)
titleMapping (Data/Text/Internal/Fusion/CaseMapping.hs:225)
foldMapping (Data/Text/Internal/Fusion/CaseMapping.hs:324)
89% ( 63 / 71) in 'Data.Text.Internal.Fusion.Common'
Missing documentation for:
singleton (Data/Text/Internal/Fusion/Common.hs:119)
streamList (Data/Text/Internal/Fusion/Common.hs:125)
unstreamList (Data/Text/Internal/Fusion/Common.hs:131)
intercalate (Data/Text/Internal/Fusion/Common.hs:577)
justifyLeftI (Data/Text/Internal/Fusion/Common.hs:479)
scanl (Data/Text/Internal/Fusion/Common.hs:656)
replicateCharI (Data/Text/Internal/Fusion/Common.hs:671)
replicateI (Data/Text/Internal/Fusion/Common.hs:682)
93% ( 13 / 14) in 'Data.Text.Unsafe'
Missing documentation for:
Iter (Data/Text/Unsafe.hs:62)
33% ( 1 / 3) in 'Data.Text.Internal.Private'
Missing documentation for:
runText (Data/Text/Internal/Private.hs:33)
span_ (Data/Text/Internal/Private.hs:23)
91% ( 20 / 22) in 'Data.Text.Internal.Fusion'
Missing documentation for:
Stream (Data/Text/Internal/Fusion/Types.hs:83)
length (Data/Text/Internal/Fusion.hs:127)
100% ( 4 / 4) in 'Data.Text.Show'
33% ( 2 / 6) in 'Data.Text.Internal.Encoding.Fusion.Common'
Missing documentation for:
restreamUtf16LE (Data/Text/Internal/Encoding/Fusion/Common.hs:63)
restreamUtf16BE (Data/Text/Internal/Encoding/Fusion/Common.hs:39)
restreamUtf32LE (Data/Text/Internal/Encoding/Fusion/Common.hs:106)
restreamUtf32BE (Data/Text/Internal/Encoding/Fusion/Common.hs:87)
17% ( 2 / 12) in 'Data.Text.Internal.Encoding.Utf8'
Missing documentation for:
ord2 (Data/Text/Internal/Encoding/Utf8.hs:58)
ord3 (Data/Text/Internal/Encoding/Utf8.hs:69)
ord4 (Data/Text/Internal/Encoding/Utf8.hs:81)
chr2 (Data/Text/Internal/Encoding/Utf8.hs:94)
chr3 (Data/Text/Internal/Encoding/Utf8.hs:103)
chr4 (Data/Text/Internal/Encoding/Utf8.hs:114)
validate1 (Data/Text/Internal/Encoding/Utf8.hs:128)
validate2 (Data/Text/Internal/Encoding/Utf8.hs:132)
validate3 (Data/Text/Internal/Encoding/Utf8.hs:136)
validate4 (Data/Text/Internal/Encoding/Utf8.hs:153)
91% ( 10 / 11) in 'Data.Text.Internal.Encoding.Fusion'
Missing documentation for:
streamASCII (Data/Text/Internal/Encoding/Fusion.hs:57)
100% ( 33 / 33) in 'Data.Text.Encoding'
100% ( 10 / 10) in 'Data.Text.Internal.Lazy.Encoding.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Search'
100% ( 18 / 18) in 'Data.Text.Foreign'
100% (127 /127) in 'Data.Text'
100% ( 3 / 3) in 'Data.Text.Internal.IO'
100% ( 20 / 20) in 'Data.Text.IO'
93% ( 14 / 15) in 'Data.Text.Internal.Lazy'
Missing documentation for:
Text (Data/Text/Internal/Lazy.hs:47)
100% ( 8 / 8) in 'Data.Text.Internal.Lazy.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Lazy.Search'
100% ( 2 / 2) in 'Data.Text.Lazy.Internal'
89% ( 24 / 27) in 'Data.Text.Lazy.Encoding'
Missing documentation for:
encodeUtf8 (Data/Text/Lazy/Encoding.hs:148)
encodeUtf8Builder (Data/Text/Lazy/Encoding.hs:162)
encodeUtf8BuilderEscaped (Data/Text/Lazy/Encoding.hs:167)
99% (128 /129) in 'Data.Text.Lazy'
Missing documentation for:
Text (Data/Text/Internal/Lazy.hs:47)
94% ( 16 / 17) in 'Data.Text.Internal.Builder'
Missing documentation for:
append' (Data/Text/Internal/Builder.hs:301)
100% ( 12 / 12) in 'Data.Text.Lazy.Builder'
100% ( 3 / 3) in 'Data.Text.Internal.Builder.Functions'
0% ( 0 / 3) in 'Data.Text.Lazy.Builder.Int'
Missing documentation for:
Module header
decimal (Data/Text/Lazy/Builder/Int.hs:52)
hexadecimal (Data/Text/Lazy/Builder/Int.hs:162)
100% ( 19 / 19) in 'Data.Text.Lazy.IO'
100% ( 7 / 7) in 'Data.Text.Lazy.Read'
75% ( 3 / 4) in 'Data.Text.Lazy.Builder.RealFloat'
Missing documentation for:
formatRealFloat (Data/Text/Lazy/Builder/RealFloat.hs:46)
100% ( 7 / 7) in 'Data.Text.Read'
Warning: Data.Text.Internal.Fusion.Common: could not find link destinations for:
findIndicesI
Warning: Data.Text.Unsafe: could not find link destinations for:
bracket
Warning: Data.Text: could not find link destinations for:
replicateChar countChar
Warning: Data.Text.Internal.IO: could not find link destinations for:
Handle__
Warning: Data.Text.Lazy: could not find link destinations for:
replicateChar dropWords splitAtWord countChar
Warning: Data.Text.Internal.Builder: could not find link destinations for:
empty append
Warning: Data.Text.Lazy.Builder.RealFloat: could not find link destinations for:
floatToDigits
Documentation created: dist/doc/html/text/index.html,
dist/doc/html/text/text.txt
Creating package registration file:
/tmp/pkgConf-text-1.2.218747990511426819080.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/text-1.2.2.0-5c7VCmRXJenGcMPs3kwpkI
Registering text-1.2.2.0...
Installed text-1.2.2.0
Configuring parsec-3.1.9...
Building parsec-3.1.9...
Preprocessing library parsec-3.1.9...
[ 1 of 25] Compiling Text.Parsec.Pos ( Text/Parsec/Pos.hs, dist/build/Text/Parsec/Pos.o )
[ 2 of 25] Compiling Text.Parsec.Error ( Text/Parsec/Error.hs, dist/build/Text/Parsec/Error.o )
[ 3 of 25] Compiling Text.ParserCombinators.Parsec.Error ( Text/ParserCombinators/Parsec/Error.hs, dist/build/Text/ParserCombinators/Parsec/Error.o )
[ 4 of 25] Compiling Text.Parsec.Prim ( Text/Parsec/Prim.hs, dist/build/Text/Parsec/Prim.o )
[ 5 of 25] Compiling Text.Parsec.Combinator ( Text/Parsec/Combinator.hs, dist/build/Text/Parsec/Combinator.o )
[ 6 of 25] Compiling Text.ParserCombinators.Parsec.Combinator ( Text/ParserCombinators/Parsec/Combinator.hs, dist/build/Text/ParserCombinators/Parsec/Combinator.o )
[ 7 of 25] Compiling Text.Parsec.String ( Text/Parsec/String.hs, dist/build/Text/Parsec/String.o )
[ 8 of 25] Compiling Text.Parsec.ByteString ( Text/Parsec/ByteString.hs, dist/build/Text/Parsec/ByteString.o )
[ 9 of 25] Compiling Text.Parsec.ByteString.Lazy ( Text/Parsec/ByteString/Lazy.hs, dist/build/Text/Parsec/ByteString/Lazy.o )
[10 of 25] Compiling Text.Parsec.Text ( Text/Parsec/Text.hs, dist/build/Text/Parsec/Text.o )
[11 of 25] Compiling Text.Parsec.Text.Lazy ( Text/Parsec/Text/Lazy.hs, dist/build/Text/Parsec/Text/Lazy.o )
[12 of 25] Compiling Text.Parsec.Expr ( Text/Parsec/Expr.hs, dist/build/Text/Parsec/Expr.o )
[13 of 25] Compiling Text.ParserCombinators.Parsec.Prim ( Text/ParserCombinators/Parsec/Prim.hs, dist/build/Text/ParserCombinators/Parsec/Prim.o )
[14 of 25] Compiling Text.ParserCombinators.Parsec.Pos ( Text/ParserCombinators/Parsec/Pos.hs, dist/build/Text/ParserCombinators/Parsec/Pos.o )
[15 of 25] Compiling Text.Parsec.Char ( Text/Parsec/Char.hs, dist/build/Text/Parsec/Char.o )
[16 of 25] Compiling Text.Parsec.Token ( Text/Parsec/Token.hs, dist/build/Text/Parsec/Token.o )
[17 of 25] Compiling Text.ParserCombinators.Parsec.Token ( Text/ParserCombinators/Parsec/Token.hs, dist/build/Text/ParserCombinators/Parsec/Token.o )
[18 of 25] Compiling Text.ParserCombinators.Parsec.Char ( Text/ParserCombinators/Parsec/Char.hs, dist/build/Text/ParserCombinators/Parsec/Char.o )
[19 of 25] Compiling Text.ParserCombinators.Parsec ( Text/ParserCombinators/Parsec.hs, dist/build/Text/ParserCombinators/Parsec.o )
[20 of 25] Compiling Text.ParserCombinators.Parsec.Expr ( Text/ParserCombinators/Parsec/Expr.hs, dist/build/Text/ParserCombinators/Parsec/Expr.o )
[21 of 25] Compiling Text.Parsec ( Text/Parsec.hs, dist/build/Text/Parsec.o )
[22 of 25] Compiling Text.Parsec.Language ( Text/Parsec/Language.hs, dist/build/Text/Parsec/Language.o )
Text/Parsec/Language.hs:44:30: Warning: Tab character
Text/Parsec/Language.hs:45:26: Warning: Tab character
Text/Parsec/Language.hs:46:27: Warning: Tab character
Text/Parsec/Language.hs:58:1: Warning: Tab character
Text/Parsec/Language.hs:58:31: Warning: Tab character
Text/Parsec/Language.hs:59:1: Warning: Tab character
Text/Parsec/Language.hs:59:29: Warning: Tab character
Text/Parsec/Language.hs:60:1: Warning: Tab character
Text/Parsec/Language.hs:60:30: Warning: Tab character
Text/Parsec/Language.hs:61:1: Warning: Tab character
Text/Parsec/Language.hs:62:1: Warning: Tab character
Text/Parsec/Language.hs:62:29: Warning: Tab character
Text/Parsec/Language.hs:63:1: Warning: Tab character
Text/Parsec/Language.hs:63:30: Warning: Tab character
Text/Parsec/Language.hs:64:1: Warning: Tab character
Text/Parsec/Language.hs:65:1: Warning: Tab character
Text/Parsec/Language.hs:67:1: Warning: Tab character
Text/Parsec/Language.hs:109:1: Warning: Tab character
Text/Parsec/Language.hs:109:30: Warning: Tab character
Text/Parsec/Language.hs:110:1: Warning: Tab character
Text/Parsec/Language.hs:110:32: Warning: Tab character
Text/Parsec/Language.hs:111:5: Warning: Tab character
Text/Parsec/Language.hs:112:5: Warning: Tab character
Text/Parsec/Language.hs:113:5: Warning: Tab character
Text/Parsec/Language.hs:114:5: Warning: Tab character
Text/Parsec/Language.hs:146:1: Warning: Tab character
Text/Parsec/Language.hs:147:1: Warning: Tab character
Text/Parsec/Language.hs:148:1: Warning: Tab character
Text/Parsec/Language.hs:150:1: Warning: Tab character
[23 of 25] Compiling Text.ParserCombinators.Parsec.Language ( Text/ParserCombinators/Parsec/Language.hs, dist/build/Text/ParserCombinators/Parsec/Language.o )
[24 of 25] Compiling Text.Parsec.Perm ( Text/Parsec/Perm.hs, dist/build/Text/Parsec/Perm.o )
[25 of 25] Compiling Text.ParserCombinators.Parsec.Perm ( Text/ParserCombinators/Parsec/Perm.hs, dist/build/Text/ParserCombinators/Parsec/Perm.o )
In-place registering parsec-3.1.9...
Running Haddock for parsec-3.1.9...
Running hscolour for parsec-3.1.9...
Preprocessing library parsec-3.1.9...
Preprocessing library parsec-3.1.9...
Text/Parsec/Language.hs:44:30: Warning: Tab character
Text/Parsec/Language.hs:45:26: Warning: Tab character
Text/Parsec/Language.hs:46:27: Warning: Tab character
Text/Parsec/Language.hs:58:1: Warning: Tab character
Text/Parsec/Language.hs:58:31: Warning: Tab character
Text/Parsec/Language.hs:59:1: Warning: Tab character
Text/Parsec/Language.hs:59:29: Warning: Tab character
Text/Parsec/Language.hs:60:1: Warning: Tab character
Text/Parsec/Language.hs:60:30: Warning: Tab character
Text/Parsec/Language.hs:61:1: Warning: Tab character
Text/Parsec/Language.hs:62:1: Warning: Tab character
Text/Parsec/Language.hs:62:29: Warning: Tab character
Text/Parsec/Language.hs:63:1: Warning: Tab character
Text/Parsec/Language.hs:63:30: Warning: Tab character
Text/Parsec/Language.hs:64:1: Warning: Tab character
Text/Parsec/Language.hs:65:1: Warning: Tab character
Text/Parsec/Language.hs:67:1: Warning: Tab character
Text/Parsec/Language.hs:109:1: Warning: Tab character
Text/Parsec/Language.hs:109:30: Warning: Tab character
Text/Parsec/Language.hs:110:1: Warning: Tab character
Text/Parsec/Language.hs:110:32: Warning: Tab character
Text/Parsec/Language.hs:111:5: Warning: Tab character
Text/Parsec/Language.hs:112:5: Warning: Tab character
Text/Parsec/Language.hs:113:5: Warning: Tab character
Text/Parsec/Language.hs:114:5: Warning: Tab character
Text/Parsec/Language.hs:146:1: Warning: Tab character
Text/Parsec/Language.hs:147:1: Warning: Tab character
Text/Parsec/Language.hs:148:1: Warning: Tab character
Text/Parsec/Language.hs:150:1: Warning: Tab character
Haddock coverage:
82% ( 14 / 17) in 'Text.Parsec.Pos'
Missing documentation for:
SourceName (Text/Parsec/Pos.hs:35)
Line (Text/Parsec/Pos.hs:36)
Column (Text/Parsec/Pos.hs:37)
43% ( 6 / 14) in 'Text.Parsec.Error'
Missing documentation for:
errorIsUnknown (Text/Parsec/Error.hs:110)
showErrorMessages (Text/Parsec/Error.hs:173)
newErrorMessage (Text/Parsec/Error.hs:120)
newErrorUnknown (Text/Parsec/Error.hs:116)
addErrorMessage (Text/Parsec/Error.hs:124)
setErrorPos (Text/Parsec/Error.hs:128)
setErrorMessage (Text/Parsec/Error.hs:132)
mergeError (Text/Parsec/Error.hs:136)
38% ( 6 / 16) in 'Text.ParserCombinators.Parsec.Error'
Missing documentation for:
messageCompare (Text/ParserCombinators/Parsec/Error.hs:36)
messageEq (Text/ParserCombinators/Parsec/Error.hs:39)
errorIsUnknown (Text/Parsec/Error.hs:110)
showErrorMessages (Text/Parsec/Error.hs:173)
newErrorMessage (Text/Parsec/Error.hs:120)
newErrorUnknown (Text/Parsec/Error.hs:116)
addErrorMessage (Text/Parsec/Error.hs:124)
setErrorPos (Text/Parsec/Error.hs:128)
setErrorMessage (Text/Parsec/Error.hs:132)
mergeError (Text/Parsec/Error.hs:136)
64% ( 32 / 50) in 'Text.Parsec.Prim'
Missing documentation for:
unknownError (Text/Parsec/Prim.hs:91)
sysUnExpectError (Text/Parsec/Prim.hs:94)
Parsec (Text/Parsec/Prim.hs:152)
Consumed (Text/Parsec/Prim.hs:154)
Reply (Text/Parsec/Prim.hs:157)
State (Text/Parsec/Prim.hs:160)
parsecMap (Text/Parsec/Prim.hs:177)
parserReturn (Text/Parsec/Prim.hs:221)
parserBind (Text/Parsec/Prim.hs:226)
mergeErrorReply (Text/Parsec/Prim.hs:266)
parserFail (Text/Parsec/Prim.hs:272)
parserPlus (Text/Parsec/Prim.hs:290)
labels (Text/Parsec/Prim.hs:345)
tokens (Text/Parsec/Prim.hs:396)
tokenPrimEx (Text/Parsec/Prim.hs:533)
manyAccum (Text/Parsec/Prim.hs:592)
runPT (Text/Parsec/Prim.hs:610)
runP (Text/Parsec/Prim.hs:624)
100% ( 24 / 24) in 'Text.Parsec.Combinator'
100% ( 24 / 24) in 'Text.ParserCombinators.Parsec.Combinator'
50% ( 2 / 4) in 'Text.Parsec.String'
Missing documentation for:
Parser (Text/Parsec/String.hs:22)
GenParser (Text/Parsec/String.hs:23)
50% ( 2 / 4) in 'Text.Parsec.ByteString'
Missing documentation for:
Parser (Text/Parsec/ByteString.hs:24)
GenParser (Text/Parsec/ByteString.hs:25)
50% ( 2 / 4) in 'Text.Parsec.ByteString.Lazy'
Missing documentation for:
Parser (Text/Parsec/ByteString/Lazy.hs:24)
GenParser (Text/Parsec/ByteString/Lazy.hs:25)
33% ( 1 / 3) in 'Text.Parsec.Text'
Missing documentation for:
Parser (Text/Parsec/Text.hs:23)
GenParser (Text/Parsec/Text.hs:24)
33% ( 1 / 3) in 'Text.Parsec.Text.Lazy'
Missing documentation for:
Parser (Text/Parsec/Text/Lazy.hs:23)
GenParser (Text/Parsec/Text/Lazy.hs:24)
100% ( 5 / 5) in 'Text.Parsec.Expr'
70% ( 21 / 30) in 'Text.ParserCombinators.Parsec.Prim'
Missing documentation for:
Parser (Text/Parsec/String.hs:22)
GenParser (Text/Parsec/String.hs:23)
runParser (Text/ParserCombinators/Parsec/Prim.hs:57)
tokens (Text/Parsec/Prim.hs:396)
tokenPrimEx (Text/Parsec/Prim.hs:533)
try (Text/ParserCombinators/Parsec/Prim.hs:64)
labels (Text/Parsec/Prim.hs:345)
pzero (Text/ParserCombinators/Parsec/Prim.hs:54)
State (Text/Parsec/Prim.hs:160)
82% ( 14 / 17) in 'Text.ParserCombinators.Parsec.Pos'
Missing documentation for:
SourceName (Text/Parsec/Pos.hs:35)
Line (Text/Parsec/Pos.hs:36)
Column (Text/Parsec/Pos.hs:37)
100% ( 20 / 20) in 'Text.Parsec.Char'
67% ( 4 / 6) in 'Text.Parsec.Token'
Missing documentation for:
LanguageDef (Text/Parsec/Token.hs:38)
TokenParser (Text/Parsec/Token.hs:106)
67% ( 4 / 6) in 'Text.ParserCombinators.Parsec.Token'
Missing documentation for:
LanguageDef (Text/Parsec/Token.hs:38)
TokenParser (Text/Parsec/Token.hs:106)
95% ( 18 / 19) in 'Text.ParserCombinators.Parsec.Char'
Missing documentation for:
CharParser (Text/ParserCombinators/Parsec/Char.hs:40)
83% ( 15 / 18) in 'Text.ParserCombinators.Parsec'
Missing documentation for:
SourceName (Text/Parsec/Pos.hs:35)
Line (Text/Parsec/Pos.hs:36)
Column (Text/Parsec/Pos.hs:37)
40% ( 2 / 5) in 'Text.ParserCombinators.Parsec.Expr'
Missing documentation for:
Operator (Text/ParserCombinators/Parsec/Expr.hs:28)
OperatorTable (Text/ParserCombinators/Parsec/Expr.hs:32)
buildExpressionParser (Text/ParserCombinators/Parsec/Expr.hs:39)
78% ( 73 / 94) in 'Text.Parsec'
Missing documentation for:
Parsec (Text/Parsec/Prim.hs:152)
tokens (Text/Parsec/Prim.hs:396)
labels (Text/Parsec/Prim.hs:345)
SourceName (Text/Parsec/Pos.hs:35)
Line (Text/Parsec/Pos.hs:36)
Column (Text/Parsec/Pos.hs:37)
manyAccum (Text/Parsec/Prim.hs:592)
tokenPrimEx (Text/Parsec/Prim.hs:533)
runPT (Text/Parsec/Prim.hs:610)
unknownError (Text/Parsec/Prim.hs:91)
sysUnExpectError (Text/Parsec/Prim.hs:94)
mergeErrorReply (Text/Parsec/Prim.hs:266)
runP (Text/Parsec/Prim.hs:624)
Consumed (Text/Parsec/Prim.hs:154)
Reply (Text/Parsec/Prim.hs:157)
State (Text/Parsec/Prim.hs:160)
parsecMap (Text/Parsec/Prim.hs:177)
parserReturn (Text/Parsec/Prim.hs:221)
parserBind (Text/Parsec/Prim.hs:226)
parserFail (Text/Parsec/Prim.hs:272)
parserPlus (Text/Parsec/Prim.hs:290)
80% ( 8 / 10) in 'Text.Parsec.Language'
Missing documentation for:
emptyDef (Text/Parsec/Language.hs:79)
LanguageDef (Text/Parsec/Token.hs:38)
80% ( 8 / 10) in 'Text.ParserCombinators.Parsec.Language'
Missing documentation for:
emptyDef (Text/Parsec/Language.hs:79)
LanguageDef (Text/Parsec/Token.hs:38)
100% ( 8 / 8) in 'Text.Parsec.Perm'
100% ( 7 / 7) in 'Text.ParserCombinators.Parsec.Perm'
Documentation created: dist/doc/html/parsec/index.html,
dist/doc/html/parsec/parsec.txt
Creating package registration file:
/tmp/pkgConf-parsec-3.14118269691978701535.9
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/parsec-3.1.9-EE5NO1mlYLh4J8mgDEshNv
Registering parsec-3.1.9...
Installed parsec-3.1.9
Downloading atp-haskell-1.13...
Configuring atp-haskell-1.13...
Building atp-haskell-1.13...
Preprocessing library atp-haskell-1.13...
[ 1 of 25] Compiling Data.Logic.ATP.Pretty ( src/Data/Logic/ATP/Pretty.hs, dist/build/Data/Logic/ATP/Pretty.o )
[ 2 of 25] Compiling Data.Logic.ATP.Formulas ( src/Data/Logic/ATP/Formulas.hs, dist/build/Data/Logic/ATP/Formulas.o )
[ 3 of 25] Compiling Data.Logic.ATP.Lit ( src/Data/Logic/ATP/Lit.hs, dist/build/Data/Logic/ATP/Lit.o )
[ 4 of 25] Compiling Data.Logic.ATP.Term ( src/Data/Logic/ATP/Term.hs, dist/build/Data/Logic/ATP/Term.o )
[ 5 of 25] Compiling Data.Logic.ATP.Apply ( src/Data/Logic/ATP/Apply.hs, dist/build/Data/Logic/ATP/Apply.o )
[ 6 of 25] Compiling Data.Logic.ATP.Equate ( src/Data/Logic/ATP/Equate.hs, dist/build/Data/Logic/ATP/Equate.o )
[ 7 of 25] Compiling Data.Logic.ATP.LitWrapper ( src/Data/Logic/ATP/LitWrapper.hs, dist/build/Data/Logic/ATP/LitWrapper.o )
[ 8 of 25] Compiling Data.Logic.ATP.Lib ( src/Data/Logic/ATP/Lib.hs, dist/build/Data/Logic/ATP/Lib.o )
[ 9 of 25] Compiling Data.Logic.ATP.Prop ( src/Data/Logic/ATP/Prop.hs, dist/build/Data/Logic/ATP/Prop.o )
src/Data/Logic/ATP/Prop.hs:499:7: Warning:
Defined but not used: ‘byPrec’
src/Data/Logic/ATP/Prop.hs:504:7: Warning:
Defined but not used: ‘binops’
src/Data/Logic/ATP/Prop.hs:515:7: Warning:
Defined but not used: ‘preops’
[10 of 25] Compiling Data.Logic.ATP.DefCNF ( src/Data/Logic/ATP/DefCNF.hs, dist/build/Data/Logic/ATP/DefCNF.o )
[11 of 25] Compiling Data.Logic.ATP.Quantified ( src/Data/Logic/ATP/Quantified.hs, dist/build/Data/Logic/ATP/Quantified.o )
[12 of 25] Compiling Data.Logic.ATP.PropExamples ( src/Data/Logic/ATP/PropExamples.hs, dist/build/Data/Logic/ATP/PropExamples.o )
src/Data/Logic/ATP/PropExamples.hs:66:1: Warning:
Defined but not used: ‘halfcarry’
src/Data/Logic/ATP/PropExamples.hs:69:1: Warning:
Defined but not used: ‘ha’
src/Data/Logic/ATP/PropExamples.hs:129:1: Warning:
Defined but not used: ‘ripplecarry1’
src/Data/Logic/ATP/PropExamples.hs:134:1: Warning:
Defined but not used: ‘mux’
src/Data/Logic/ATP/PropExamples.hs:137:1: Warning:
Defined but not used: ‘offset’
src/Data/Logic/ATP/PropExamples.hs:149:1: Warning:
Defined but not used: ‘carryselect’
src/Data/Logic/ATP/PropExamples.hs:164:1: Warning:
Defined but not used: ‘mk_adder_test’
[13 of 25] Compiling Data.Logic.ATP.DP ( src/Data/Logic/ATP/DP.hs, dist/build/Data/Logic/ATP/DP.o )
src/Data/Logic/ATP/DP.hs:30:10: Warning:
Orphan instance: instance NumAtom (Knows Integer)
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
[14 of 25] Compiling Data.Logic.ATP.FOL ( src/Data/Logic/ATP/FOL.hs, dist/build/Data/Logic/ATP/FOL.o )
[15 of 25] Compiling Data.Logic.ATP.Prolog ( src/Data/Logic/ATP/Prolog.hs, dist/build/Data/Logic/ATP/Prolog.o )
[16 of 25] Compiling Data.Logic.ATP.Skolem ( src/Data/Logic/ATP/Skolem.hs, dist/build/Data/Logic/ATP/Skolem.o )
[17 of 25] Compiling Data.Logic.ATP.Parser ( src/Data/Logic/ATP/Parser.hs, dist/build/Data/Logic/ATP/Parser.o )
src/Data/Logic/ATP/Parser.hs:28:10: Warning:
Orphan instance: instance Pretty ParseError
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
src/Data/Logic/ATP/Parser.hs:31:10: Warning:
Orphan instance: instance Pretty Message
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
[18 of 25] Compiling Data.Logic.ATP.ParserTests ( src/Data/Logic/ATP/ParserTests.hs, dist/build/Data/Logic/ATP/ParserTests.o )
[19 of 25] Compiling Data.Logic.ATP.Herbrand ( src/Data/Logic/ATP/Herbrand.hs, dist/build/Data/Logic/ATP/Herbrand.o )
[20 of 25] Compiling Data.Logic.ATP.Unif ( src/Data/Logic/ATP/Unif.hs, dist/build/Data/Logic/ATP/Unif.o )
[21 of 25] Compiling Data.Logic.ATP.Tableaux ( src/Data/Logic/ATP/Tableaux.hs, dist/build/Data/Logic/ATP/Tableaux.o )
src/Data/Logic/ATP/Tableaux.hs:295:1: Warning:
Defined but not used: ‘splittab’
[22 of 25] Compiling Data.Logic.ATP.Resolution ( src/Data/Logic/ATP/Resolution.hs, dist/build/Data/Logic/ATP/Resolution.o )
[23 of 25] Compiling Data.Logic.ATP.Meson ( src/Data/Logic/ATP/Meson.hs, dist/build/Data/Logic/ATP/Meson.o )
[24 of 25] Compiling Data.Logic.ATP.Equal ( src/Data/Logic/ATP/Equal.hs, dist/build/Data/Logic/ATP/Equal.o )
src/Data/Logic/ATP/Equal.hs:229:1: Warning:
Defined but not used: ‘testEqual04’
[25 of 25] Compiling Data.Logic.ATP ( src/Data/Logic/ATP.hs, dist/build/Data/Logic/ATP.o )
In-place registering atp-haskell-1.13...
Running Haddock for atp-haskell-1.13...
Running hscolour for atp-haskell-1.13...
Preprocessing library atp-haskell-1.13...
Preprocessing library atp-haskell-1.13...
src/Data/Logic/ATP/Prop.hs:499:7: Warning:
Defined but not used: ‘byPrec’
src/Data/Logic/ATP/Prop.hs:504:7: Warning:
Defined but not used: ‘binops’
src/Data/Logic/ATP/Prop.hs:515:7: Warning:
Defined but not used: ‘preops’
src/Data/Logic/ATP/PropExamples.hs:66:1: Warning:
Defined but not used: ‘halfcarry’
src/Data/Logic/ATP/PropExamples.hs:69:1: Warning:
Defined but not used: ‘ha’
src/Data/Logic/ATP/PropExamples.hs:129:1: Warning:
Defined but not used: ‘ripplecarry1’
src/Data/Logic/ATP/PropExamples.hs:134:1: Warning:
Defined but not used: ‘mux’
src/Data/Logic/ATP/PropExamples.hs:137:1: Warning:
Defined but not used: ‘offset’
src/Data/Logic/ATP/PropExamples.hs:149:1: Warning:
Defined but not used: ‘carryselect’
src/Data/Logic/ATP/PropExamples.hs:164:1: Warning:
Defined but not used: ‘mk_adder_test’
src/Data/Logic/ATP/DP.hs:30:10: Warning:
Orphan instance: instance NumAtom (Knows Integer)
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
src/Data/Logic/ATP/Parser.hs:28:10: Warning:
Orphan instance: instance Pretty ParseError
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
src/Data/Logic/ATP/Parser.hs:31:10: Warning:
Orphan instance: instance Pretty Message
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
Haddock coverage:
36% ( 8 / 22) in 'Data.Logic.ATP.Pretty'
Missing documentation for:
Module header
Associativity (src/Data/Logic/ATP/Pretty.hs:67)
testEquals (src/Data/Logic/ATP/Pretty.hs:121)
leafPrec (src/Data/Logic/ATP/Pretty.hs:124)
boolPrec (src/Data/Logic/ATP/Pretty.hs:139)
notPrec (src/Data/Logic/ATP/Pretty.hs:129)
atomPrec (src/Data/Logic/ATP/Pretty.hs:127)
andPrec (src/Data/Logic/ATP/Pretty.hs:131)
orPrec (src/Data/Logic/ATP/Pretty.hs:133)
impPrec (src/Data/Logic/ATP/Pretty.hs:135)
iffPrec (src/Data/Logic/ATP/Pretty.hs:137)
quantPrec (src/Data/Logic/ATP/Pretty.hs:141)
eqPrec (src/Data/Logic/ATP/Pretty.hs:143)
pAppPrec (src/Data/Logic/ATP/Pretty.hs:145)
50% ( 4 / 8) in 'Data.Logic.ATP.Formulas'
Missing documentation for:
⊥ (src/Data/Logic/ATP/Formulas.hs:50)
⊤ (src/Data/Logic/ATP/Formulas.hs:47)
fromBool (src/Data/Logic/ATP/Formulas.hs:53)
prettyBool (src/Data/Logic/ATP/Formulas.hs:57)
74% ( 17 / 23) in 'Data.Logic.ATP.Lit'
Missing documentation for:
positive (src/Data/Logic/ATP/Lit.hs:78)
foldLiteral (src/Data/Logic/ATP/Lit.hs:81)
precedenceLiteral (src/Data/Logic/ATP/Lit.hs:126)
associativityLiteral (src/Data/Logic/ATP/Lit.hs:128)
showLiteral (src/Data/Logic/ATP/Lit.hs:140)
Lit (src/Data/Logic/ATP/Lit.hs:171)
61% ( 14 / 23) in 'Data.Logic.ATP.Term'
Missing documentation for:
IsVariable (src/Data/Logic/ATP/Term.hs:58)
V (src/Data/Logic/ATP/Term.hs:78)
IsFunction (src/Data/Logic/ATP/Term.hs:101)
Arity (src/Data/Logic/ATP/Term.hs:103)
precedenceTerm (src/Data/Logic/ATP/Term.hs:162)
associativityTerm (src/Data/Logic/ATP/Term.hs:165)
funcs (src/Data/Logic/ATP/Term.hs:186)
Term (src/Data/Logic/ATP/Term.hs:189)
testTerm (src/Data/Logic/ATP/Term.hs:228)
89% ( 16 / 18) in 'Data.Logic.ATP.Apply'
Missing documentation for:
Module header
foldApply (src/Data/Logic/ATP/Apply.hs:78)
79% ( 11 / 14) in 'Data.Logic.ATP.Equate'
Missing documentation for:
showEquate (src/Data/Logic/ATP/Equate.hs:84)
precedenceEquate (src/Data/Logic/ATP/Equate.hs:92)
associativityEquate (src/Data/Logic/ATP/Equate.hs:95)
50% ( 1 / 2) in 'Data.Logic.ATP.LitWrapper'
Missing documentation for:
Module header
25% ( 11 / 44) in 'Data.Logic.ATP.Lib'
Missing documentation for:
Module header
failing (src/Data/Logic/ATP/Lib.hs:82)
slInsert (src/Data/Logic/ATP/Lib.hs:140)
prettyFoldable (src/Data/Logic/ATP/Lib.hs:143)
setAny (src/Data/Logic/ATP/Lib.hs:152)
setAll (src/Data/Logic/ATP/Lib.hs:155)
flatten (src/Data/Logic/ATP/Lib.hs:158)
tryfind (src/Data/Logic/ATP/Lib.hs:450)
tryfindM (src/Data/Logic/ATP/Lib.hs:453)
runRS (src/Data/Logic/ATP/Lib.hs:460)
evalRS (src/Data/Logic/ATP/Lib.hs:457)
settryfind (src/Data/Logic/ATP/Lib.hs:473)
|=> (src/Data/Logic/ATP/Lib.hs:893)
|-> (src/Data/Logic/ATP/Lib.hs:900)
fpf (src/Data/Logic/ATP/Lib.hs:903)
defined (src/Data/Logic/ATP/Lib.hs:785)
apply (src/Data/Logic/ATP/Lib.hs:763)
tryApplyD (src/Data/Logic/ATP/Lib.hs:766)
allpairs (src/Data/Logic/ATP/Lib.hs:312)
distrib (src/Data/Logic/ATP/Lib.hs:317)
image (src/Data/Logic/ATP/Lib.hs:570)
optimize (src/Data/Logic/ATP/Lib.hs:490)
minimize (src/Data/Logic/ATP/Lib.hs:497)
maximize (src/Data/Logic/ATP/Lib.hs:494)
can (src/Data/Logic/ATP/Lib.hs:200)
allsets (src/Data/Logic/ATP/Lib.hs:595)
allsubsets (src/Data/Logic/ATP/Lib.hs:602)
allnonemptysubsets (src/Data/Logic/ATP/Lib.hs:611)
mapfilter (src/Data/Logic/ATP/Lib.hs:479)
setmapfilter (src/Data/Logic/ATP/Lib.hs:483)
∅ (src/Data/Logic/ATP/Lib.hs:149)
Depth (src/Data/Logic/ATP/Lib.hs:990)
testLib (src/Data/Logic/ATP/Lib.hs:999)
76% ( 52 / 68) in 'Data.Logic.ATP.Prop'
Missing documentation for:
associativityPropositional (src/Data/Logic/ATP/Prop.hs:251)
TruthTable (src/Data/Logic/ATP/Prop.hs:431)
onallvaluations (src/Data/Logic/ATP/Prop.hs:419)
satisfiable (src/Data/Logic/ATP/Prop.hs:416)
psimplify1 (src/Data/Logic/ATP/Prop.hs:730)
nenf (src/Data/Logic/ATP/Prop.hs:822)
list_disj (src/Data/Logic/ATP/Prop.hs:882)
mk_lits (src/Data/Logic/ATP/Prop.hs:867)
allsatvaluations (src/Data/Logic/ATP/Prop.hs:870)
dnfSet (src/Data/Logic/ATP/Prop.hs:860)
purednf (src/Data/Logic/ATP/Prop.hs:1010)
rawdnf (src/Data/Logic/ATP/Prop.hs:981)
simpcnf (src/Data/Logic/ATP/Prop.hs:1085)
cnf' (src/Data/Logic/ATP/Prop.hs:1098)
cnf_ (src/Data/Logic/ATP/Prop.hs:1095)
testProp (src/Data/Logic/ATP/Prop.hs:1109)
60% ( 6 / 10) in 'Data.Logic.ATP.DefCNF'
Missing documentation for:
NumAtom (src/Data/Logic/ATP/DefCNF.hs:47)
defcnfs (src/Data/Logic/ATP/DefCNF.hs:147)
Atom (src/Data/Logic/ATP/DefCNF.hs:51)
testDefCNF (src/Data/Logic/ATP/DefCNF.hs:200)
53% ( 9 / 17) in 'Data.Logic.ATP.Quantified'
Missing documentation for:
for_all (src/Data/Logic/ATP/Quantified.hs:69)
exists (src/Data/Logic/ATP/Quantified.hs:71)
∃ (src/Data/Logic/ATP/Quantified.hs:78)
precedenceQuantified (src/Data/Logic/ATP/Quantified.hs:82)
associativityQuantified (src/Data/Logic/ATP/Quantified.hs:94)
onatomsQuantified (src/Data/Logic/ATP/Quantified.hs:187)
overatomsQuantified (src/Data/Logic/ATP/Quantified.hs:197)
QFormula (src/Data/Logic/ATP/Quantified.hs:205)
29% ( 2 / 7) in 'Data.Logic.ATP.PropExamples'
Missing documentation for:
Knows (src/Data/Logic/ATP/PropExamples.hs:42)
mk_knows (src/Data/Logic/ATP/PropExamples.hs:96)
mk_knows2 (src/Data/Logic/ATP/PropExamples.hs:98)
prime (src/Data/Logic/ATP/PropExamples.hs:226)
testPropExamples (src/Data/Logic/ATP/PropExamples.hs:244)
50% ( 7 / 14) in 'Data.Logic.ATP.DP'
Missing documentation for:
dplisat (src/Data/Logic/ATP/DP.hs:203)
dplitaut (src/Data/Logic/ATP/DP.hs:206)
dpllsat (src/Data/Logic/ATP/DP.hs:142)
dplltaut (src/Data/Logic/ATP/DP.hs:145)
dplbsat (src/Data/Logic/ATP/DP.hs:235)
dplbtaut (src/Data/Logic/ATP/DP.hs:238)
testDP (src/Data/Logic/ATP/DP.hs:246)
85% ( 23 / 27) in 'Data.Logic.ATP.FOL'
Missing documentation for:
holds (src/Data/Logic/ATP/FOL.hs:227)
termval (src/Data/Logic/ATP/FOL.hs:255)
mod_interp (src/Data/Logic/ATP/FOL.hs:289)
testFOL (src/Data/Logic/ATP/FOL.hs:444)
25% ( 1 / 4) in 'Data.Logic.ATP.Prolog'
Missing documentation for:
PrologRule (src/Data/Logic/ATP/Prolog.hs:22)
renamerule (src/Data/Logic/ATP/Prolog.hs:28)
testProlog (src/Data/Logic/ATP/Prolog.hs:205)
75% ( 21 / 28) in 'Data.Logic.ATP.Skolem'
Missing documentation for:
showSkolem (src/Data/Logic/ATP/Skolem.hs:99)
prettySkolem (src/Data/Logic/ATP/Skolem.hs:102)
SkolemM (src/Data/Logic/ATP/Skolem.hs:108)
simpcnf' (src/Data/Logic/ATP/Skolem.hs:441)
SkTerm (src/Data/Logic/ATP/Skolem.hs:388)
SkAtom (src/Data/Logic/ATP/Skolem.hs:387)
testSkolem (src/Data/Logic/ATP/Skolem.hs:455)
7% ( 4 / 61) in 'Data.Logic.ATP.Parser'
Missing documentation for:
Module header
(src/Data/Logic/ATP/Parser.hs:28)
(src/Data/Logic/ATP/Parser.hs:31)
parseFOL (src/Data/Logic/ATP/Parser.hs:87)
parsePL (src/Data/Logic/ATP/Parser.hs:89)
parseLit (src/Data/Logic/ATP/Parser.hs:91)
parseFOLTerm (src/Data/Logic/ATP/Parser.hs:93)
def (src/Data/Logic/ATP/Parser.hs:96)
m_parens (src/Data/Logic/ATP/Parser.hs:105)
m_angles (src/Data/Logic/ATP/Parser.hs:106)
m_symbol (src/Data/Logic/ATP/Parser.hs:107)
m_integer (src/Data/Logic/ATP/Parser.hs:108)
m_identifier (src/Data/Logic/ATP/Parser.hs:109)
m_reservedOp (src/Data/Logic/ATP/Parser.hs:110)
m_reserved (src/Data/Logic/ATP/Parser.hs:111)
m_whiteSpace (src/Data/Logic/ATP/Parser.hs:112)
litparser (src/Data/Logic/ATP/Parser.hs:137)
propparser (src/Data/Logic/ATP/Parser.hs:139)
folparser (src/Data/Logic/ATP/Parser.hs:141)
litexprparser (src/Data/Logic/ATP/Parser.hs:144)
propexprparser (src/Data/Logic/ATP/Parser.hs:150)
litter
src/Data/Logic/ATP/Tableaux.hs:295:1: Warning:
Defined but not used: ‘splittab’
src/Data/Logic/ATP/Equal.hs:229:1: Warning:
Defined but not used: ‘testEqual04’
m (src/Data/Logic/ATP/Parser.hs:160)
propterm (src/Data/Logic/ATP/Parser.hs:167)
folterm (src/Data/Logic/ATP/Parser.hs:174)
existentialQuantifier (src/Data/Logic/ATP/Parser.hs:183)
forallQuantifier (src/Data/Logic/ATP/Parser.hs:185)
quantifierId (src/Data/Logic/ATP/Parser.hs:188)
quantifierOp (src/Data/Logic/ATP/Parser.hs:197)
folpredicate_infix (src/Data/Logic/ATP/Parser.hs:206)
folpredicate (src/Data/Logic/ATP/Parser.hs:215)
folfunction (src/Data/Logic/ATP/Parser.hs:221)
folconstant_numeric (src/Data/Logic/ATP/Parser.hs:227)
folconstant_reserved (src/Data/Logic/ATP/Parser.hs:232)
folconstant (src/Data/Logic/ATP/Parser.hs:237)
folsubterm (src/Data/Logic/ATP/Parser.hs:242)
folsubterm_prefix (src/Data/Logic/ATP/Parser.hs:245)
folfunction_infix (src/Data/Logic/ATP/Parser.hs:254)
allOps (src/Data/Logic/ATP/Parser.hs:262)
allIds (src/Data/Logic/ATP/Parser.hs:266)
predicate_infix_symbols (src/Data/Logic/ATP/Parser.hs:269)
constants (src/Data/Logic/ATP/Parser.hs:272)
notOps (src/Data/Logic/ATP/Parser.hs:279)
trueOps (src/Data/Logic/ATP/Parser.hs:282)
trueIds (src/Data/Logic/ATP/Parser.hs:282)
falseOps (src/Data/Logic/ATP/Parser.hs:282)
falseIds (src/Data/Logic/ATP/Parser.hs:282)
provesOps (src/Data/Logic/ATP/Parser.hs:282)
entailsOps (src/Data/Logic/ATP/Parser.hs:282)
equateOps (src/Data/Logic/ATP/Parser.hs:282)
andOps (src/Data/Logic/ATP/Parser.hs:288)
orOps (src/Data/Logic/ATP/Parser.hs:288)
impOps (src/Data/Logic/ATP/Parser.hs:288)
iffOps (src/Data/Logic/ATP/Parser.hs:288)
forallIds (src/Data/Logic/ATP/Parser.hs:294)
forallOps (src/Data/Logic/ATP/Parser.hs:294)
existsIds (src/Data/Logic/ATP/Parser.hs:294)
existsOps (src/Data/Logic/ATP/Parser.hs:294)
0% ( 0 / 4) in 'Data.Logic.ATP.ParserTests'
Missing documentation for:
Module header
t (src/Data/Logic/ATP/ParserTests.hs:11)
parseFOL' (src/Data/Logic/ATP/ParserTests.hs:14)
testParser (src/Data/Logic/ATP/ParserTests.hs:17)
58% ( 11 / 19) in 'Data.Logic.ATP.Herbrand'
Missing documentation for:
groundtuples (src/Data/Logic/ATP/Herbrand.hs:51)
gilmore (src/Data/Logic/ATP/Herbrand.hs:107)
p24 (src/Data/Logic/ATP/Herbrand.hs:136)
p45 (src/Data/Logic/ATP/Herbrand.hs:165)
dp_loop (src/Data/Logic/ATP/Herbrand.hs:205)
davisputnam (src/Data/Logic/ATP/Herbrand.hs:220)
dp_refine (src/Data/Logic/ATP/Herbrand.hs:281)
testHerbrand (src/Data/Logic/ATP/Herbrand.hs:310)
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.Prop: could not find link destinations for:
TruthTableRow
Warning: Data.Logic.ATP.DP: could not find link destinations for:
TrailMix
Warning: Data.Logic.ATP.FOL: could not find link destinations for:
FiniteInterpretation
Warning: Data.Logic.ATP.Skolem: could not find link destinations for:
SkolemState
Warning: Data.Logic.ATP.Resolution: could not find link destinations for:
Match
Documentation created: dist/doc/html/atp-haskell/index.html,
dist/doc/html/atp-haskell/atp-haskell.txt
Creating package registration file:
/tmp/pkgConf-atp-haskell-110917149371364180570.13
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/atp-haskell-1.13-0Az3KW3O3EtGfQ1t2c6dhO
Registering atp-haskell-1.13...
Installed atp-haskell-1.13
Test log
No test log was submitted for this report.