Build #1 for logic-classes-1.5.2
| Package | logic-classes-1.5.2 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-04-18 19:01:49.904 UTC |
|---|---|
| Compiler | ghc-7.8.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | template-haskell-2.9.0.0, syb-0.4.4, set-extra-1.3.2, safecopy-0.8.5, pretty-1.1.1.1, mtl-2.1.3.1, containers-0.5.5.1, base-4.7.0.1, applicative-extras-0.1.8, PropLogic-0.9.0.4, HUnit-1.2.5.2 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring HUnit-1.2.5.2...
Building HUnit-1.2.5.2...
Preprocessing library HUnit-1.2.5.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 )
In-place registering HUnit-1.2.5.2...
Running Haddock for HUnit-1.2.5.2...
Running hscolour for HUnit-1.2.5.2...
Preprocessing library HUnit-1.2.5.2...
Preprocessing library HUnit-1.2.5.2...
Haddock coverage:
100% ( 2 / 2) in 'Test.HUnit.Terminal'
86% ( 6 / 7) in 'Test.HUnit.Lang'
100% ( 33 / 33) in 'Test.HUnit.Base'
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.2.54138.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/HUnit-1.2.5.2
Registering HUnit-1.2.5.2...
Installed HUnit-1.2.5.2
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'
40% ( 4 / 10) in 'Control.Applicative.Error'
25% ( 1 / 4) in 'Control.Applicative.Compose'
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.14138.8
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/applicative-extras-0.1.8
Registering applicative-extras-0.1.8...
Installed applicative-extras-0.1.8
Configuring cereal-0.4.1.1...
Building cereal-0.4.1.1...
Preprocessing library cereal-0.4.1.1...
[1 of 5] Compiling Data.Serialize.Builder ( src/Data/Serialize/Builder.hs, dist/build/Data/Serialize/Builder.o )
[2 of 5] Compiling Data.Serialize.Put ( src/Data/Serialize/Put.hs, dist/build/Data/Serialize/Put.o )
[3 of 5] Compiling Data.Serialize.Get ( src/Data/Serialize/Get.hs, dist/build/Data/Serialize/Get.o )
[4 of 5] Compiling Data.Serialize.IEEE754 ( src/Data/Serialize/IEEE754.hs, dist/build/Data/Serialize/IEEE754.o )
[5 of 5] Compiling Data.Serialize ( src/Data/Serialize.hs, dist/build/Data/Serialize.o )
In-place registering cereal-0.4.1.1...
Running Haddock for cereal-0.4.1.1...
Running hscolour for cereal-0.4.1.1...
Preprocessing library cereal-0.4.1.1...
Preprocessing library cereal-0.4.1.1...
Haddock coverage:
96% ( 26 / 27) in 'Data.Serialize.Builder'
69% ( 29 / 42) in 'Data.Serialize.Put'
94% ( 50 / 53) in 'Data.Serialize.Get'
100% ( 11 / 11) in 'Data.Serialize.IEEE754'
Cannot find documentation for: $example
100% ( 12 / 12) in 'Data.Serialize'
Warning: Data.Serialize.Put: could not find link destinations for:
Data.Serialize.Put.PairS
Warning: Data.Serialize.Get: could not find link destinations for:
Data.Serialize.Get.get
Documentation created: dist/doc/html/cereal/index.html,
dist/doc/html/cereal/cereal.txt
Creating package registration file: /tmp/pkgConf-cereal-0.4.14138.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/cereal-0.4.1.1
Registering cereal-0.4.1.1...
Installed cereal-0.4.1.1
Configuring mtl-2.1.3.1...
Building mtl-2.1.3.1...
Preprocessing library mtl-2.1.3.1...
[ 1 of 21] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 21] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 21] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 21] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 21] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 21] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 21] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 21] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 21] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 21] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[11 of 21] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[12 of 21] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[13 of 21] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[14 of 21] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[15 of 21] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[16 of 21] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[17 of 21] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[18 of 21] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[19 of 21] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[20 of 21] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[21 of 21] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
In-place registering mtl-2.1.3.1...
Running Haddock for mtl-2.1.3.1...
Running hscolour for mtl-2.1.3.1...
Preprocessing library mtl-2.1.3.1...
Preprocessing library mtl-2.1.3.1...
Haddock coverage:
75% ( 3 / 4) in 'Control.Monad.Writer.Class'
100% ( 4 / 4) in 'Control.Monad.State.Class'
100% ( 3 / 3) in 'Control.Monad.Reader.Class'
80% ( 4 / 5) in 'Control.Monad.RWS.Class'
100% ( 4 / 4) in 'Control.Monad.Identity'
100% ( 3 / 3) in 'Control.Monad.Error.Class'
50% ( 1 / 2) in 'Control.Monad.Cont.Class'
100% ( 3 / 3) in 'Control.Monad.Trans'
100% ( 14 / 14) in 'Control.Monad.Error'
100% ( 5 / 5) in 'Control.Monad.List'
100% ( 21 / 21) in 'Control.Monad.RWS.Lazy'
100% ( 2 / 2) in 'Control.Monad.RWS'
100% ( 22 / 22) in 'Control.Monad.Reader'
100% ( 21 / 21) in 'Control.Monad.RWS.Strict'
100% ( 23 / 23) in 'Control.Monad.State.Lazy'
100% ( 2 / 2) in 'Control.Monad.State'
100% ( 23 / 23) in 'Control.Monad.State.Strict'
94% ( 17 / 18) in 'Control.Monad.Writer.Lazy'
100% ( 2 / 2) in 'Control.Monad.Writer'
94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
95% ( 20 / 21) in 'Control.Monad.Cont'
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.1.34138.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/mtl-2.1.3.1
Registering mtl-2.1.3.1...
Installed mtl-2.1.3.1
Configuring primitive-0.6...
Building primitive-0.6...
Preprocessing library primitive-0.6...
[ 1 of 10] Compiling Data.Primitive.Internal.Compat ( Data/Primitive/Internal/Compat.hs, dist/build/Data/Primitive/Internal/Compat.o )
[ 2 of 10] Compiling Data.Primitive.MachDeps ( Data/Primitive/MachDeps.hs, dist/build/Data/Primitive/MachDeps.o )
[ 3 of 10] Compiling Data.Primitive.Internal.Operations ( Data/Primitive/Internal/Operations.hs, dist/build/Data/Primitive/Internal/Operations.o )
[ 4 of 10] Compiling Control.Monad.Primitive ( Control/Monad/Primitive.hs, dist/build/Control/Monad/Primitive.o )
[ 5 of 10] Compiling Data.Primitive.Types ( Data/Primitive/Types.hs, dist/build/Data/Primitive/Types.o )
[ 6 of 10] Compiling Data.Primitive.Array ( Data/Primitive/Array.hs, dist/build/Data/Primitive/Array.o )
[ 7 of 10] Compiling Data.Primitive.ByteArray ( Data/Primitive/ByteArray.hs, dist/build/Data/Primitive/ByteArray.o )
[ 8 of 10] Compiling Data.Primitive.Addr ( Data/Primitive/Addr.hs, dist/build/Data/Primitive/Addr.o )
[ 9 of 10] Compiling Data.Primitive ( Data/Primitive.hs, dist/build/Data/Primitive.o )
[10 of 10] Compiling Data.Primitive.MutVar ( Data/Primitive/MutVar.hs, dist/build/Data/Primitive/MutVar.o )
In-place registering primitive-0.6...
Running Haddock for primitive-0.6...
Running hscolour for primitive-0.6...
Preprocessing library primitive-0.6...
Preprocessing library primitive-0.6...
Haddock coverage:
100% ( 3 / 3) in 'Data.Primitive.Internal.Compat'
3% ( 1 / 35) in 'Data.Primitive.MachDeps'
3% ( 1 / 29) in 'Data.Primitive.Internal.Operations'
75% ( 12 / 16) in 'Control.Monad.Primitive'
100% ( 3 / 3) in 'Data.Primitive.Types'
100% ( 15 / 15) in 'Data.Primitive.Array'
93% ( 27 / 29) in 'Data.Primitive.ByteArray'
100% ( 16 / 16) in 'Data.Primitive.Addr'
100% ( 7 / 7) in 'Data.Primitive'
100% ( 9 / 9) in 'Data.Primitive.MutVar'
Documentation created: dist/doc/html/primitive/index.html,
dist/doc/html/primitive/primitive.txt
Creating package registration file: /tmp/pkgConf-primitive-04138.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/primitive-0.6
Registering primitive-0.6...
Installed primitive-0.6
Configuring random-1.1...
Building random-1.1...
Preprocessing library random-1.1...
[1 of 1] Compiling System.Random ( System/Random.hs, dist/build/System/Random.o )
In-place registering random-1.1...
Running Haddock for random-1.1...
Running hscolour for random-1.1...
Preprocessing library random-1.1...
Preprocessing library random-1.1...
Haddock coverage:
Cannot find documentation for: $intro
100% ( 16 / 16) in 'System.Random'
Documentation created: dist/doc/html/random/index.html,
dist/doc/html/random/random.txt
Creating package registration file: /tmp/pkgConf-random-14138.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/random-1.1
Registering random-1.1...
Installed random-1.1
Configuring syb-0.4.4...
Building syb-0.4.4...
Preprocessing library syb-0.4.4...
[ 1 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o )
[ 2 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o )
[ 3 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o )
[ 4 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o )
[ 5 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o )
[ 6 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o )
[ 7 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o )
[ 8 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o )
[ 9 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o )
[10 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o )
[11 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o )
[12 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o )
[13 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o )
[14 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o )
[15 of 16] Compiling Data.Generics ( src/Data/Generics.hs, dist/build/Data/Generics.o )
[16 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, dist/build/Generics/SYB.o )
In-place registering syb-0.4.4...
Running Haddock for syb-0.4.4...
Running hscolour for syb-0.4.4...
Preprocessing library syb-0.4.4...
Preprocessing library syb-0.4.4...
Haddock coverage:
100% ( 2 / 2) in 'Data.Generics.Basics'
100% ( 2 / 2) in 'Generics.SYB.Basics'
100% ( 1 / 1) in 'Data.Generics.Instances'
100% ( 1 / 1) in 'Generics.SYB.Instances'
96% ( 43 / 45) in 'Data.Generics.Aliases'
100% ( 19 / 19) in 'Data.Generics.Schemes'
100% ( 2 / 2) in 'Generics.SYB.Schemes'
100% ( 6 / 6) in 'Data.Generics.Text'
100% ( 2 / 2) in 'Generics.SYB.Text'
100% ( 16 / 16) in 'Data.Generics.Twins'
100% ( 2 / 2) in 'Generics.SYB.Twins'
100% ( 3 / 3) in 'Data.Generics.Builders'
100% ( 2 / 2) in 'Generics.SYB.Builders'
100% ( 2 / 2) in 'Generics.SYB.Aliases'
100% ( 8 / 8) in 'Data.Generics'
100% ( 2 / 2) in 'Generics.SYB'
Documentation created: dist/doc/html/syb/index.html, dist/doc/html/syb/syb.txt
Creating package registration file: /tmp/pkgConf-syb-0.44138.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/syb-0.4.4
Registering syb-0.4.4...
Installed syb-0.4.4
Configuring text-1.2.0.4...
Building text-1.2.0.4...
Preprocessing library text-1.2.0.4...
[ 1 of 43] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o )
[ 2 of 43] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o )
[ 3 of 43] 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 43] 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 43] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o )
[ 6 of 43] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o )
[ 7 of 43] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o )
[ 8 of 43] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o )
[ 9 of 43] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o )
[10 of 43] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o )
[11 of 43] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o )
[12 of 43] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o )
[13 of 43] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o )
[14 of 43] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o )
[15 of 43] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o )
[16 of 43] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o )
[17 of 43] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o )
[18 of 43] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o )
[19 of 43] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o )
[20 of 43] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o )
[21 of 43] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o )
[22 of 43] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o )
[23 of 43] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o )
[24 of 43] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o )
[25 of 43] Compiling Data.Text ( Data/Text.hs, dist/build/Data/Text.o )
[26 of 43] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o )
[27 of 43] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o )
[28 of 43] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o )
[29 of 43] Compiling Data.Text.IO ( Data/Text/IO.hs, dist/build/Data/Text/IO.o )
[30 of 43] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o )
[31 of 43] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o )
[32 of 43] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o )
[33 of 43] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o )
[34 of 43] Compiling Data.Text.Lazy ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o )
[35 of 43] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o )
[36 of 43] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o )
[37 of 43] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o )
[38 of 43] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o )
[39 of 43] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o )
[40 of 43] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o )
[41 of 43] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o )
[42 of 43] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o )
[43 of 43] Compiling Data.Text.Read ( Data/Text/Read.hs, dist/build/Data/Text/Read.o )
In-place registering text-1.2.0.4...
Running Haddock for text-1.2.0.4...
Running hscolour for text-1.2.0.4...
Preprocessing library text-1.2.0.4...
Preprocessing library text-1.2.0.4...
Haddock coverage:
14% ( 1 / 7) in 'Data.Text.Internal.Read'
50% ( 1 / 2) in 'Data.Text.Internal.Encoding.Utf32'
50% ( 1 / 2) in 'Data.Text.Internal.Builder.RealFloat.Functions'
0% ( 0 / 2) in 'Data.Text.Internal.Builder.Int.Digits'
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'
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'
95% ( 19 / 20) in 'Data.Text.Internal'
38% ( 5 / 13) in 'Data.Text.Internal.Fusion.Size'
50% ( 5 / 10) in 'Data.Text.Internal.Fusion.Types'
0% ( 0 / 5) in 'Data.Text.Internal.Fusion.CaseMapping'
89% ( 64 / 72) in 'Data.Text.Internal.Fusion.Common'
93% ( 13 / 14) in 'Data.Text.Unsafe'
33% ( 1 / 3) in 'Data.Text.Internal.Private'
86% ( 19 / 22) in 'Data.Text.Internal.Fusion'
33% ( 2 / 6) in 'Data.Text.Internal.Encoding.Fusion.Common'
17% ( 2 / 12) in 'Data.Text.Internal.Encoding.Utf8'
91% ( 10 / 11) in 'Data.Text.Internal.Encoding.Fusion'
100% ( 10 / 10) in 'Data.Text.Internal.Lazy.Encoding.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Search'
100% (125 /125) in 'Data.Text'
100% ( 33 / 33) in 'Data.Text.Encoding'
100% ( 18 / 18) in 'Data.Text.Foreign'
100% ( 3 / 3) in 'Data.Text.Internal.IO'
100% ( 20 / 20) in 'Data.Text.IO'
93% ( 14 / 15) in 'Data.Text.Internal.Lazy'
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'
99% (124 /125) in 'Data.Text.Lazy'
94% ( 16 / 17) in 'Data.Text.Internal.Builder'
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'
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'
89% ( 24 / 27) in 'Data.Text.Lazy.Encoding'
100% ( 7 / 7) in 'Data.Text.Read'
Warning: Data.Text.Internal.Fusion.Common: could not find link destinations for:
Data.Text.Internal.Fusion.Common.findIndicesI
Warning: Data.Text.Unsafe: could not find link destinations for:
GHC.IO.bracket
Warning: Data.Text: could not find link destinations for:
Data.Text.replicateChar Data.Text.countChar
Warning: Data.Text.Internal.IO: could not find link destinations for:
GHC.IO.Handle.Types.Handle__
Warning: Data.Text.Lazy: could not find link destinations for:
Data.Text.Lazy.replicateChar Data.Text.Lazy.dropWords Data.Text.Lazy.splitAtWord Data.Text.Lazy.countChar
Warning: Data.Text.Internal.Builder: could not find link destinations for:
Data.Text.Internal.Builder.empty Data.Text.Internal.Builder.append
Warning: Data.Text.Lazy.Builder.RealFloat: could not find link destinations for:
Data.Text.Lazy.Builder.RealFloat.floatToDigits
Documentation created: dist/doc/html/text/index.html,
dist/doc/html/text/text.txt
Creating package registration file: /tmp/pkgConf-text-1.2.04138.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/text-1.2.0.4
Registering text-1.2.0.4...
Installed text-1.2.0.4
Configuring vector-0.10.12.3...
Building vector-0.10.12.3...
Preprocessing library vector-0.10.12.3...
[ 1 of 19] Compiling Data.Vector.Storable.Internal ( Data/Vector/Storable/Internal.hs, dist/build/Data/Vector/Storable/Internal.o )
[ 2 of 19] Compiling Data.Vector.Fusion.Util ( Data/Vector/Fusion/Util.hs, dist/build/Data/Vector/Fusion/Util.o )
[ 3 of 19] Compiling Data.Vector.Fusion.Stream.Size ( Data/Vector/Fusion/Stream/Size.hs, dist/build/Data/Vector/Fusion/Stream/Size.o )
Data/Vector/Fusion/Stream/Size.hs:25:10: Warning:
No explicit implementation for
‘*’, ‘abs’, and ‘signum’
In the instance declaration for ‘Num Size’
[ 4 of 19] Compiling Data.Vector.Internal.Check ( Data/Vector/Internal/Check.hs, dist/build/Data/Vector/Internal/Check.o )
[ 5 of 19] Compiling Data.Vector.Fusion.Stream.Monadic ( Data/Vector/Fusion/Stream/Monadic.hs, dist/build/Data/Vector/Fusion/Stream/Monadic.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package primitive-0.6 ... linking ... done.
Loading package array-0.5.0.0 ... linking ... done.
Loading package deepseq-1.3.0.2 ... linking ... done.
[ 6 of 19] Compiling Data.Vector.Fusion.Stream ( Data/Vector/Fusion/Stream.hs, dist/build/Data/Vector/Fusion/Stream.o )
[ 7 of 19] Compiling Data.Vector.Generic.Mutable ( Data/Vector/Generic/Mutable.hs, dist/build/Data/Vector/Generic/Mutable.o )
[ 8 of 19] Compiling Data.Vector.Generic.Base ( Data/Vector/Generic/Base.hs, dist/build/Data/Vector/Generic/Base.o )
[ 9 of 19] Compiling Data.Vector.Generic.New ( Data/Vector/Generic/New.hs, dist/build/Data/Vector/Generic/New.o )
[10 of 19] Compiling Data.Vector.Generic ( Data/Vector/Generic.hs, dist/build/Data/Vector/Generic.o )
[11 of 19] Compiling Data.Vector.Primitive.Mutable ( Data/Vector/Primitive/Mutable.hs, dist/build/Data/Vector/Primitive/Mutable.o )
[12 of 19] Compiling Data.Vector.Primitive ( Data/Vector/Primitive.hs, dist/build/Data/Vector/Primitive.o )
[13 of 19] Compiling Data.Vector.Storable.Mutable ( Data/Vector/Storable/Mutable.hs, dist/build/Data/Vector/Storable/Mutable.o )
Data/Vector/Storable/Mutable.hs:450:1: Warning:
Rule "unsafeFromForeignPtr fp 0 n -> unsafeFromForeignPtr0 fp n " may never fire
because ‘unsafeFromForeignPtr’ might inline first
Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‘unsafeFromForeignPtr’
[14 of 19] Compiling Data.Vector.Storable ( Data/Vector/Storable.hs, dist/build/Data/Vector/Storable.o )
Data/Vector/Storable.hs:1398:1: Warning:
Rule "unsafeFromForeignPtr fp 0 n -> unsafeFromForeignPtr0 fp n " may never fire
because ‘unsafeFromForeignPtr’ might inline first
Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‘unsafeFromForeignPtr’
[15 of 19] Compiling Data.Vector.Unboxed.Base ( Data/Vector/Unboxed/Base.hs, dist/build/Data/Vector/Unboxed/Base.o )
[16 of 19] Compiling Data.Vector.Unboxed ( Data/Vector/Unboxed.hs, dist/build/Data/Vector/Unboxed.o )
[17 of 19] Compiling Data.Vector.Unboxed.Mutable ( Data/Vector/Unboxed/Mutable.hs, dist/build/Data/Vector/Unboxed/Mutable.o )
[18 of 19] Compiling Data.Vector.Mutable ( Data/Vector/Mutable.hs, dist/build/Data/Vector/Mutable.o )
[19 of 19] Compiling Data.Vector ( Data/Vector.hs, dist/build/Data/Vector.o )
In-place registering vector-0.10.12.3...
Running Haddock for vector-0.10.12.3...
Running hscolour for vector-0.10.12.3...
Preprocessing library vector-0.10.12.3...
Preprocessing library vector-0.10.12.3...
Data/Vector/Fusion/Stream/Size.hs:25:10: Warning:
No explicit implementation for
‘*’, ‘abs’, and ‘signum’
In the instance declaration for ‘Num Size’
Haddock coverage:
25% ( 1 / 4) in 'Data.Vector.Storable.Internal'
100% ( 5 / 5) in 'Data.Vector.Fusion.Util'
100% ( 6 / 6) in 'Data.Vector.Fusion.Stream.Size'
11% ( 1 / 9) in 'Data.Vector.Internal.Check'
83% (104 /126) in 'Data.Vector.Fusion.Stream.Monadic'
85% ( 88 /104) in 'Data.Vector.Fusion.Stream'
64% ( 42 / 66) in 'Data.Vector.Generic.Mutable'
100% ( 3 / 3) in 'Data.Vector.Generic.Base'
5% ( 1 / 20) in 'Data.Vector.Generic.New'
93% (215 /232) in 'Data.Vector.Generic'
76% ( 38 / 50) in 'Data.Vector.Primitive.Mutable'
97% (185 /191) in 'Data.Vector.Primitive'
79% ( 46 / 58) in 'Data.Vector.Storable.Mutable'
97% (194 /200) in 'Data.Vector.Storable'
17% ( 1 / 6) in 'Data.Vector.Unboxed.Base'
96% (201 /210) in 'Data.Vector.Unboxed'
77% ( 47 / 61) in 'Data.Vector.Unboxed.Mutable'
76% ( 37 / 49) in 'Data.Vector.Mutable'
94% (199 /212) in 'Data.Vector'
Warning: Data.Vector.Unboxed: could not find link destinations for:
Data.Vector.Unboxed.Base.TFCo:R:VectorBool Data.Vector.Unboxed.Base.V_Bool Data.Vector.Unboxed.Base.TFCo:R:VectorChar Data.Vector.Unboxed.Base.V_Char Data.Vector.Unboxed.Base.TFCo:R:VectorDouble Data.Vector.Unboxed.Base.V_Double Data.Vector.Unboxed.Base.TFCo:R:VectorFloat Data.Vector.Unboxed.Base.V_Float Data.Vector.Unboxed.Base.TFCo:R:VectorInt Data.Vector.Unboxed.Base.V_Int Data.Vector.Unboxed.Base.TFCo:R:VectorInt8 Data.Vector.Unboxed.Base.V_Int8 Data.Vector.Unboxed.Base.TFCo:R:VectorInt16 Data.Vector.Unboxed.Base.V_Int16 Data.Vector.Unboxed.Base.TFCo:R:VectorInt32 Data.Vector.Unboxed.Base.V_Int32 Data.Vector.Unboxed.Base.TFCo:R:VectorInt64 Data.Vector.Unboxed.Base.V_Int64 Data.Vector.Unboxed.Base.TFCo:R:VectorWord Data.Vector.Unboxed.Base.V_Word Data.Vector.Unboxed.Base.TFCo:R:VectorWord8 Data.Vector.Unboxed.Base.V_Word8 Data.Vector.Unboxed.Base.TFCo:R:VectorWord16 Data.Vector.Unboxed.Base.V_Word16 Data.Vector.Unboxed.Base.TFCo:R:VectorWord32 Data.Vector.Unboxed.Base.V_Word32 Data.Vector.Unboxed.Base.TFCo:R:VectorWord64 Data.Vector.Unboxed.Base.V_Word64 Data.Vector.Unboxed.Base.TFCo:R:Vector() Data.Vector.Unboxed.Base.V_Unit Data.Vector.Unboxed.Base.TFCo:R:VectorComplex Data.Vector.Unboxed.Base.V_Complex Data.Vector.Unboxed.Base.TFCo:R:Vector(,) Data.Vector.Unboxed.Base.V_2 Data.Vector.Unboxed.Base.TFCo:R:Vector(,,) Data.Vector.Unboxed.Base.V_3 Data.Vector.Unboxed.Base.TFCo:R:Vector(,,,) Data.Vector.Unboxed.Base.V_4 Data.Vector.Unboxed.Base.TFCo:R:Vector(,,,,) Data.Vector.Unboxed.Base.V_5 Data.Vector.Unboxed.Base.TFCo:R:Vector(,,,,,) Data.Vector.Unboxed.Base.V_6 Data.Vector.Unboxed.Base.TFCo:R:MVectorsBool Data.Vector.Unboxed.Base.MV_Bool Data.Vector.Unboxed.Base.TFCo:R:MVectorsChar Data.Vector.Unboxed.Base.MV_Char Data.Vector.Unboxed.Base.TFCo:R:MVectorsDouble Data.Vector.Unboxed.Base.MV_Double Data.Vector.Unboxed.Base.TFCo:R:MVectorsFloat Data.Vector.Unboxed.Base.MV_Float Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord64 Data.Vector.Unboxed.Base.MV_Word64 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord32 Data.Vector.Unboxed.Base.MV_Word32 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord16 Data.Vector.Unboxed.Base.MV_Word16 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord8 Data.Vector.Unboxed.Base.MV_Word8 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord Data.Vector.Unboxed.Base.MV_Word Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt64 Data.Vector.Unboxed.Base.MV_Int64 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt32 Data.Vector.Unboxed.Base.MV_Int32 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt16 Data.Vector.Unboxed.Base.MV_Int16 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt8 Data.Vector.Unboxed.Base.MV_Int8 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt Data.Vector.Unboxed.Base.MV_Int Data.Vector.Unboxed.Base.TFCo:R:MVectors() Data.Vector.Unboxed.Base.MV_Unit Data.Vector.Unboxed.Base.TFCo:R:MVectorsComplex Data.Vector.Unboxed.Base.MV_Complex Data.Vector.Unboxed.Base.TFCo:R:MVectors(,) Data.Vector.Unboxed.Base.MV_2 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,) Data.Vector.Unboxed.Base.MV_3 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,,) Data.Vector.Unboxed.Base.MV_4 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,,,) Data.Vector.Unboxed.Base.MV_5 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,,,,) Data.Vector.Unboxed.Base.MV_6
Warning: Data.Vector.Unboxed.Mutable: could not find link destinations for:
Data.Vector.Unboxed.Base.TFCo:R:MVectorsBool Data.Vector.Unboxed.Base.MV_Bool Data.Vector.Unboxed.Base.TFCo:R:MVectorsChar Data.Vector.Unboxed.Base.MV_Char Data.Vector.Unboxed.Base.TFCo:R:MVectorsDouble Data.Vector.Unboxed.Base.MV_Double Data.Vector.Unboxed.Base.TFCo:R:MVectorsFloat Data.Vector.Unboxed.Base.MV_Float Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord64 Data.Vector.Unboxed.Base.MV_Word64 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord32 Data.Vector.Unboxed.Base.MV_Word32 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord16 Data.Vector.Unboxed.Base.MV_Word16 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord8 Data.Vector.Unboxed.Base.MV_Word8 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord Data.Vector.Unboxed.Base.MV_Word Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt64 Data.Vector.Unboxed.Base.MV_Int64 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt32 Data.Vector.Unboxed.Base.MV_Int32 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt16 Data.Vector.Unboxed.Base.MV_Int16 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt8 Data.Vector.Unboxed.Base.MV_Int8 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt Data.Vector.Unboxed.Base.MV_Int Data.Vector.Unboxed.Base.TFCo:R:MVectors() Data.Vector.Unboxed.Base.MV_Unit Data.Vector.Unboxed.Base.TFCo:R:MVectorsComplex Data.Vector.Unboxed.Base.MV_Complex Data.Vector.Unboxed.Base.TFCo:R:MVectors(,) Data.Vector.Unboxed.Base.MV_2 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,) Data.Vector.Unboxed.Base.MV_3 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,,) Data.Vector.Unboxed.Base.MV_4 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,,,) Data.Vector.Unboxed.Base.MV_5 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,,,,) Data.Vector.Unboxed.Base.MV_6
Documentation created: dist/doc/html/vector/index.html,
dist/doc/html/vector/vector.txt
Creating package registration file: /tmp/pkgConf-vector-0.10.124138.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/vector-0.10.12.3
Registering vector-0.10.12.3...
Installed vector-0.10.12.3
Configuring PropLogic-0.9.0.4...
Building PropLogic-0.9.0.4...
Preprocessing library PropLogic-0.9.0.4...
[1 of 8] Compiling Costack ( Costack.hs, dist/build/Costack.o )
[2 of 8] Compiling Olist ( Olist.hs, dist/build/Olist.o )
[3 of 8] Compiling TextDisplay ( TextDisplay.hs, dist/build/TextDisplay.o )
[4 of 8] Compiling PropLogicCore ( PropLogicCore.hs, dist/build/PropLogicCore.o )
[5 of 8] Compiling DefaultPropLogic ( DefaultPropLogic.hs, dist/build/DefaultPropLogic.o )
[6 of 8] Compiling FastPropLogic ( FastPropLogic.hs, dist/build/FastPropLogic.o )
[7 of 8] Compiling PropLogicTest ( PropLogicTest.hs, dist/build/PropLogicTest.o )
[8 of 8] Compiling PropLogic ( PropLogic.hs, dist/build/PropLogic.o )
In-place registering PropLogic-0.9.0.4...
Preprocessing executable 'program' for PropLogic-0.9.0.4...
[1 of 9] Compiling Olist ( Olist.hs, dist/build/program/program-tmp/Olist.o )
[2 of 9] Compiling Costack ( Costack.hs, dist/build/program/program-tmp/Costack.o )
[3 of 9] Compiling TextDisplay ( TextDisplay.hs, dist/build/program/program-tmp/TextDisplay.o )
[4 of 9] Compiling PropLogicCore ( PropLogicCore.hs, dist/build/program/program-tmp/PropLogicCore.o )
[5 of 9] Compiling DefaultPropLogic ( DefaultPropLogic.hs, dist/build/program/program-tmp/DefaultPropLogic.o )
[6 of 9] Compiling FastPropLogic ( FastPropLogic.hs, dist/build/program/program-tmp/FastPropLogic.o )
[7 of 9] Compiling PropLogicTest ( PropLogicTest.hs, dist/build/program/program-tmp/PropLogicTest.o )
[8 of 9] Compiling PropLogic ( PropLogic.hs, dist/build/program/program-tmp/PropLogic.o )
[9 of 9] Compiling Main ( Main.hs, dist/build/program/program-tmp/Main.o )
Linking dist/build/program/program ...
Running Haddock for PropLogic-0.9.0.4...
Running hscolour for PropLogic-0.9.0.4...
Preprocessing library PropLogic-0.9.0.4...
Preprocessing executable 'program' for PropLogic-0.9.0.4...
Preprocessing library PropLogic-0.9.0.4...
Haddock coverage:
0% ( 0 / 23) in 'Costack'
57% ( 25 / 44) in 'Olist'
47% ( 21 / 45) in 'TextDisplay'
70% ( 7 / 10) in 'PropLogicCore'
59% (118 /201) in 'DefaultPropLogic'
21% ( 28 /133) in 'FastPropLogic'
42% ( 41 / 97) in 'PropLogicTest'
100% ( 29 / 29) in 'PropLogic'
Documentation created: dist/doc/html/PropLogic/index.html,
dist/doc/html/PropLogic/PropLogic.txt
Preprocessing executable 'program' for PropLogic-0.9.0.4...
Creating package registration file: /tmp/pkgConf-PropLogic-0.9.04138.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/PropLogic-0.9.0.4
Installing executable(s) in
/home/builder/hackage-server/build-cache/tmp-install/bin
Warning: The directory
/home/builder/hackage-server/build-cache/tmp-install/bin is not in the system
search path.
Registering PropLogic-0.9.0.4...
Installed PropLogic-0.9.0.4
Configuring set-extra-1.3.2...
Building set-extra-1.3.2...
Preprocessing library set-extra-1.3.2...
[1 of 2] Compiling Data.Set.ExtraG ( Data/Set/ExtraG.hs, dist/build/Data/Set/ExtraG.o )
[2 of 2] Compiling Data.Set.Extra ( Data/Set/Extra.hs, dist/build/Data/Set/Extra.o )
In-place registering set-extra-1.3.2...
Running Haddock for set-extra-1.3.2...
Running hscolour for set-extra-1.3.2...
Preprocessing library set-extra-1.3.2...
Preprocessing library set-extra-1.3.2...
Haddock coverage:
0% ( 0 / 2) in 'Data.Set.ExtraG'
Warning: set-extra-1.3.2:Data.Set.Extra: Could not find documentation for exported module: Set
13% ( 3 / 23) in 'Data.Set.Extra'
Documentation created: dist/doc/html/set-extra/index.html,
dist/doc/html/set-extra/set-extra.txt
Creating package registration file: /tmp/pkgConf-set-extra-1.34138.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/set-extra-1.3.2
Registering set-extra-1.3.2...
Installed set-extra-1.3.2
Configuring safecopy-0.8.5...
Building safecopy-0.8.5...
Preprocessing library safecopy-0.8.5...
[1 of 4] Compiling Data.SafeCopy.SafeCopy ( src/Data/SafeCopy/SafeCopy.hs, dist/build/Data/SafeCopy/SafeCopy.o )
[2 of 4] Compiling Data.SafeCopy.Derive ( src/Data/SafeCopy/Derive.hs, dist/build/Data/SafeCopy/Derive.o )
src/Data/SafeCopy/Derive.hs:236:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘tyVarName’: Patterns not matched: KindedTV _ _
[3 of 4] Compiling Data.SafeCopy.Instances ( src/Data/SafeCopy/Instances.hs, dist/build/Data/SafeCopy/Instances.o )
src/Data/SafeCopy/Instances.hs:381:15: Warning:
In the use of type constructor or class ‘Typeable1’
(imported from Data.Typeable, but defined in Data.Typeable.Internal):
Deprecated: "renamed to 'Typeable'"
src/Data/SafeCopy/Instances.hs:384:15: Warning:
In the use of type constructor or class ‘Typeable2’
(imported from Data.Typeable, but defined in Data.Typeable.Internal):
Deprecated: "renamed to 'Typeable'"
[4 of 4] Compiling Data.SafeCopy ( src/Data/SafeCopy.hs, dist/build/Data/SafeCopy.o )
In-place registering safecopy-0.8.5...
Running Haddock for safecopy-0.8.5...
Running hscolour for safecopy-0.8.5...
Preprocessing library safecopy-0.8.5...
Preprocessing library safecopy-0.8.5...
src/Data/SafeCopy/Derive.hs:236:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘tyVarName’: Patterns not matched: KindedTV _ _
src/Data/SafeCopy/Instances.hs:381:15: Warning:
In the use of type constructor or class ‘Typeable1’
(imported from Data.Typeable, but defined in Data.Typeable.Internal):
Deprecated: "renamed to 'Typeable'"
src/Data/SafeCopy/Instances.hs:384:15: Warning:
In the use of type constructor or class ‘Typeable2’
(imported from Data.Typeable, but defined in Data.Typeable.Internal):
Deprecated: "renamed to 'Typeable'"
Haddock coverage:
43% ( 18 / 42) in 'Data.SafeCopy.SafeCopy'
43% ( 3 / 7) in 'Data.SafeCopy.Derive'
0% ( 0 / 67) in 'Data.SafeCopy.Instances'
85% ( 23 / 27) in 'Data.SafeCopy'
Warning: Data.SafeCopy: could not find link destinations for:
Data.SafeCopy.SafeCopy.Proxy
Documentation created: dist/doc/html/safecopy/index.html,
dist/doc/html/safecopy/safecopy.txt
Creating package registration file: /tmp/pkgConf-safecopy-0.84138.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/safecopy-0.8.5
Registering safecopy-0.8.5...
Installed safecopy-0.8.5
Downloading logic-classes-1.5.2...
Configuring logic-classes-1.5.2...
Building logic-classes-1.5.2...
Preprocessing library logic-classes-1.5.2...
[ 1 of 54] Compiling Data.Boolean ( Data/Boolean.hs, dist/build/Data/Boolean.o )
[ 2 of 54] Compiling Data.Boolean.SatSolver ( Data/Boolean/SatSolver.hs, dist/build/Data/Boolean/SatSolver.o )
[ 3 of 54] Compiling Data.Logic.Failing ( Data/Logic/Failing.hs, dist/build/Data/Logic/Failing.o )
Data/Logic/Failing.hs:23:19: Warning:
In the use of type constructor or class ‘Typeable1’
(imported from Data.Generics, but defined in Data.Typeable.Internal):
Deprecated: "renamed to 'Typeable'"
[ 4 of 54] Compiling Data.Logic.Harrison.Lib ( Data/Logic/Harrison/Lib.hs, dist/build/Data/Logic/Harrison/Lib.o )
[ 5 of 54] Compiling Data.Logic.Classes.Negate ( Data/Logic/Classes/Negate.hs, dist/build/Data/Logic/Classes/Negate.o )
[ 6 of 54] Compiling Data.Logic.Classes.ClauseNormalForm ( Data/Logic/Classes/ClauseNormalForm.hs, dist/build/Data/Logic/Classes/ClauseNormalForm.o )
[ 7 of 54] Compiling Data.Logic.Classes.Atom ( Data/Logic/Classes/Atom.hs, dist/build/Data/Logic/Classes/Atom.o )
[ 8 of 54] Compiling Data.Logic.Classes.Pretty ( Data/Logic/Classes/Pretty.hs, dist/build/Data/Logic/Classes/Pretty.o )
[ 9 of 54] Compiling Data.Logic.Classes.Combine ( Data/Logic/Classes/Combine.hs, dist/build/Data/Logic/Classes/Combine.o )
[10 of 54] Compiling Data.Logic.Classes.Variable ( Data/Logic/Classes/Variable.hs, dist/build/Data/Logic/Classes/Variable.o )
[11 of 54] Compiling Data.Logic.Classes.Skolem ( Data/Logic/Classes/Skolem.hs, dist/build/Data/Logic/Classes/Skolem.o )
[12 of 54] Compiling Data.Logic.Classes.Term ( Data/Logic/Classes/Term.hs, dist/build/Data/Logic/Classes/Term.o )
[13 of 54] Compiling Data.Logic.Harrison.Unif ( Data/Logic/Harrison/Unif.hs, dist/build/Data/Logic/Harrison/Unif.o )
[14 of 54] Compiling Data.Logic.Types.Common ( Data/Logic/Types/Common.hs, dist/build/Data/Logic/Types/Common.o )
Data/Logic/Types/Common.hs:8:10: Warning:
Orphan instance: instance Variable String
[15 of 54] Compiling Data.Logic.Classes.Formula ( Data/Logic/Classes/Formula.hs, dist/build/Data/Logic/Classes/Formula.o )
[16 of 54] Compiling Data.Logic.Classes.Constants ( Data/Logic/Classes/Constants.hs, dist/build/Data/Logic/Classes/Constants.o )
Data/Logic/Classes/Constants.hs:39:10: Warning:
Orphan instance: instance Pretty Bool
[17 of 54] Compiling Data.Logic.Classes.Propositional ( Data/Logic/Classes/Propositional.hs, dist/build/Data/Logic/Classes/Propositional.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package array-0.5.0.0 ... linking ... done.
Loading package deepseq-1.3.0.2 ... linking ... done.
Loading package containers-0.5.5.1 ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package mtl-2.1.3.1 ... linking ... done.
Loading package syb-0.4.4 ... linking ... done.
Loading package set-extra-1.3.2 ... linking ... done.
Loading package bytestring-0.10.4.0 ... linking ... done.
Loading package cereal-0.4.1.1 ... linking ... done.
Loading package old-locale-1.0.0.6 ... linking ... done.
Loading package old-time-1.1.0.2 ... linking ... done.
Loading package pretty-1.1.1.1 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package text-1.2.0.4 ... linking ... done.
Loading package time-1.4.2 ... linking ... done.
Loading package primitive-0.6 ... linking ... done.
Loading package vector-0.10.12.3 ... linking ... done.
Loading package safecopy-0.8.5 ... linking ... done.
Loading package applicative-extras-0.1.8 ... linking ... done.
Loading package random-1.1 ... linking ... done.
Loading package PropLogic-0.9.0.4 ... linking ... done.
Loading package HUnit-1.2.5.2 ... linking ... done.
[18 of 54] Compiling Data.Logic.Classes.Literal ( Data/Logic/Classes/Literal.hs, dist/build/Data/Logic/Classes/Literal.o )
[19 of 54] Compiling Data.Logic.Classes.FirstOrder ( Data/Logic/Classes/FirstOrder.hs, dist/build/Data/Logic/Classes/FirstOrder.o )
[20 of 54] Compiling Data.Logic.Harrison.Formulas.FirstOrder ( Data/Logic/Harrison/Formulas/FirstOrder.hs, dist/build/Data/Logic/Harrison/Formulas/FirstOrder.o )
[21 of 54] Compiling Data.Logic.Harrison.Formulas.Propositional ( Data/Logic/Harrison/Formulas/Propositional.hs, dist/build/Data/Logic/Harrison/Formulas/Propositional.o )
[22 of 54] Compiling Data.Logic.Harrison.Prop ( Data/Logic/Harrison/Prop.hs, dist/build/Data/Logic/Harrison/Prop.o )
[23 of 54] Compiling Data.Logic.Types.Propositional ( Data/Logic/Types/Propositional.hs, dist/build/Data/Logic/Types/Propositional.o )
[24 of 54] Compiling Data.Logic.Harrison.PropExamples ( Data/Logic/Harrison/PropExamples.hs, dist/build/Data/Logic/Harrison/PropExamples.o )
Data/Logic/Harrison/PropExamples.hs:55:22: Warning:
This binding for ‘n’ shadows the existing binding
bound at Data/Logic/Harrison/PropExamples.hs:51:12
Data/Logic/Harrison/PropExamples.hs:178:1: Warning:
Defined but not used: ‘halfcarry’
Data/Logic/Harrison/PropExamples.hs:181:1: Warning:
Defined but not used: ‘ha’
Data/Logic/Harrison/PropExamples.hs:225:1: Warning:
Top-level binding with no type signature: test02 :: Test
Data/Logic/Harrison/PropExamples.hs:261:1: Warning:
Defined but not used: ‘ripplecarry1’
Data/Logic/Harrison/PropExamples.hs:266:1: Warning:
Defined but not used: ‘mux’
Data/Logic/Harrison/PropExamples.hs:269:1: Warning:
Defined but not used: ‘offset’
Data/Logic/Harrison/PropExamples.hs:281:1: Warning:
Defined but not used: ‘carryselect’
Data/Logic/Harrison/PropExamples.hs:299:1: Warning:
Defined but not used: ‘mk_adder_test’
[25 of 54] Compiling Data.Logic.Harrison.DefCNF ( Data/Logic/Harrison/DefCNF.hs, dist/build/Data/Logic/Harrison/DefCNF.o )
[26 of 54] Compiling Data.Logic.Types.Harrison.Formulas.FirstOrder ( Data/Logic/Types/Harrison/Formulas/FirstOrder.hs, dist/build/Data/Logic/Types/Harrison/Formulas/FirstOrder.o )
[27 of 54] Compiling Data.Logic.Types.Harrison.Formulas.Propositional ( Data/Logic/Types/Harrison/Formulas/Propositional.hs, dist/build/Data/Logic/Types/Harrison/Formulas/Propositional.o )
[28 of 54] Compiling Data.Logic.Types.Harrison.Prop ( Data/Logic/Types/Harrison/Prop.hs, dist/build/Data/Logic/Types/Harrison/Prop.o )
Data/Logic/Types/Harrison/Prop.hs:27:10: Warning:
Orphan instance: instance HasFixity String
Data/Logic/Types/Harrison/Prop.hs:36:10: Warning:
Orphan instance: instance Show (Formula String)
[29 of 54] Compiling Data.Logic.Classes.Arity ( Data/Logic/Classes/Arity.hs, dist/build/Data/Logic/Classes/Arity.o )
[30 of 54] Compiling Data.Logic.Classes.Apply ( Data/Logic/Classes/Apply.hs, dist/build/Data/Logic/Classes/Apply.o )
[31 of 54] Compiling Data.Logic.Classes.Equals ( Data/Logic/Classes/Equals.hs, dist/build/Data/Logic/Classes/Equals.o )
Data/Logic/Classes/Equals.hs:139:7: Warning:
This binding for ‘parens’ shadows the existing binding
imported from ‘Text.PrettyPrint’ at Data/Logic/Classes/Equals.hs:34:57-62
(and originally defined in ‘Text.PrettyPrint.HughesPJ’)
[32 of 54] Compiling Data.Logic.Harrison.Equal ( Data/Logic/Harrison/Equal.hs, dist/build/Data/Logic/Harrison/Equal.o )
[33 of 54] Compiling Data.Logic.Harrison.FOL ( Data/Logic/Harrison/FOL.hs, dist/build/Data/Logic/Harrison/FOL.o )
Data/Logic/Harrison/FOL.hs:62:1: Warning:
Defined but not used: ‘mkLits’
Data/Logic/Harrison/FOL.hs:69:1: Warning:
Defined but not used: ‘on_formula’
Data/Logic/Harrison/FOL.hs:232:1: Warning:
Defined but not used: ‘fv'’
Data/Logic/Harrison/FOL.hs:272:1: Warning:
Defined but not used: ‘subst'’
[34 of 54] Compiling Data.Logic.Harrison.Skolem ( Data/Logic/Harrison/Skolem.hs, dist/build/Data/Logic/Harrison/Skolem.o )
[35 of 54] Compiling Data.Logic.Harrison.Normal ( Data/Logic/Harrison/Normal.hs, dist/build/Data/Logic/Harrison/Normal.o )
[36 of 54] Compiling Data.Logic.Normal.Clause ( Data/Logic/Normal/Clause.hs, dist/build/Data/Logic/Normal/Clause.o )
[37 of 54] Compiling Data.Logic.Instances.PropLogic ( Data/Logic/Instances/PropLogic.hs, dist/build/Data/Logic/Instances/PropLogic.o )
Data/Logic/Instances/PropLogic.hs:41:29: Warning:
This binding for ‘at’ shadows the existing binding
imported from ‘PropLogic’ at Data/Logic/Instances/PropLogic.hs:22:1-16
(and originally defined in ‘PropLogicCore’)
[38 of 54] Compiling Data.Logic.Normal.Implicative ( Data/Logic/Normal/Implicative.hs, dist/build/Data/Logic/Normal/Implicative.o )
[39 of 54] Compiling Data.Logic.Instances.SatSolver ( Data/Logic/Instances/SatSolver.hs, dist/build/Data/Logic/Instances/SatSolver.o )
[40 of 54] Compiling Data.Logic.Satisfiable ( Data/Logic/Satisfiable.hs, dist/build/Data/Logic/Satisfiable.o )
[41 of 54] Compiling Data.Logic.Harrison.Prolog ( Data/Logic/Harrison/Prolog.hs, dist/build/Data/Logic/Harrison/Prolog.o )
[42 of 54] Compiling Data.Logic.Types.Harrison.FOL ( Data/Logic/Types/Harrison/FOL.hs, dist/build/Data/Logic/Types/Harrison/FOL.o )
[43 of 54] Compiling Data.Logic.HUnit ( Data/Logic/HUnit.hs, dist/build/Data/Logic/HUnit.o )
Data/Logic/HUnit.hs:66:10: Warning:
Orphan instance: instance IsString Function
[44 of 54] Compiling Data.Logic.Harrison.DP ( Data/Logic/Harrison/DP.hs, dist/build/Data/Logic/Harrison/DP.o )
Data/Logic/Harrison/DP.hs:13:1: Warning:
The import of ‘tautology, cnf’
from module ‘Data.Logic.Harrison.Prop’ is redundant
Data/Logic/Harrison/DP.hs:20:1: Warning:
The import of ‘Debug.Trace’ is redundant
except perhaps to import instances from ‘Debug.Trace’
To import instances alone, use: import Debug.Trace()
Data/Logic/Harrison/DP.hs:26:1: Warning:
Top-level binding with no type signature:
tests :: Test.HUnit.Base.Test
Data/Logic/Harrison/DP.hs:116:1: Warning:
Top-level binding with no type signature:
test01 :: forall t. Test t
Data/Logic/Harrison/DP.hs:164:1: Warning:
Top-level binding with no type signature:
test02 :: forall t. Test t
Data/Logic/Harrison/DP.hs:200:13: Warning:
Defined but not used: ‘fn'’
Data/Logic/Harrison/DP.hs:205:12: Warning:
Defined but not used: ‘p’
Data/Logic/Harrison/DP.hs:239:12: Warning:
Defined but not used: ‘q’
Data/Logic/Harrison/DP.hs:240:19: Warning:
Defined but not used: ‘trail'’
Data/Logic/Harrison/DP.hs:275:1: Warning:
Top-level binding with no type signature:
test03 :: forall t. Test t
Data/Logic/Harrison/DP.hs:22:10: Warning:
Orphan instance: instance NumAtom (Atom N)
[45 of 54] Compiling Data.Logic.Harrison.Herbrand ( Data/Logic/Harrison/Herbrand.hs, dist/build/Data/Logic/Harrison/Herbrand.o )
[46 of 54] Compiling Data.Logic.Harrison.Tableaux ( Data/Logic/Harrison/Tableaux.hs, dist/build/Data/Logic/Harrison/Tableaux.o )
Data/Logic/Harrison/Tableaux.hs:15:1: Warning:
The import of ‘Data.Logic.Classes.FirstOrder’ is redundant
except perhaps to import instances from ‘Data.Logic.Classes.FirstOrder’
To import instances alone, use: import Data.Logic.Classes.FirstOrder()
Data/Logic/Harrison/Tableaux.hs:19:1: Warning:
The import of ‘Data.Logic.Classes.Propositional’ is redundant
except perhaps to import instances from ‘Data.Logic.Classes.Propositional’
To import instances alone, use: import Data.Logic.Classes.Propositional()
Data/Logic/Harrison/Tableaux.hs:21:1: Warning:
The import of ‘Data.Logic.Harrison.FOL’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.FOL’
To import instances alone, use: import Data.Logic.Harrison.FOL()
Data/Logic/Harrison/Tableaux.hs:22:1: Warning:
The import of ‘Data.Logic.Harrison.Herbrand’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.Herbrand’
To import instances alone, use: import Data.Logic.Harrison.Herbrand()
Data/Logic/Harrison/Tableaux.hs:24:1: Warning:
The import of ‘Data.Logic.Harrison.Prop’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.Prop’
To import instances alone, use: import Data.Logic.Harrison.Prop()
Data/Logic/Harrison/Tableaux.hs:25:1: Warning:
The import of ‘Data.Logic.Harrison.Skolem’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.Skolem’
To import instances alone, use: import Data.Logic.Harrison.Skolem()
Data/Logic/Harrison/Tableaux.hs:80:1: Warning:
Defined but not used: ‘unify_complements’
Data/Logic/Harrison/Tableaux.hs:87:1: Warning:
Defined but not used: ‘unify_refute’
Data/Logic/Harrison/Tableaux.hs:102:1: Warning:
Defined but not used: ‘prawitz_loop’
[47 of 54] Compiling Data.Logic.Harrison.Meson ( Data/Logic/Harrison/Meson.hs, dist/build/Data/Logic/Harrison/Meson.o )
Data/Logic/Harrison/Meson.hs:9:1: Warning:
The import of ‘Constants’
from module ‘Data.Logic.Classes.Constants’ is redundant
[48 of 54] Compiling Data.Logic.Harrison.Resolution ( Data/Logic/Harrison/Resolution.hs, dist/build/Data/Logic/Harrison/Resolution.o )
[49 of 54] Compiling Data.Logic.Instances.Chiou ( Data/Logic/Instances/Chiou.hs, dist/build/Data/Logic/Instances/Chiou.o )
[50 of 54] Compiling Data.Logic.Resolution ( Data/Logic/Resolution.hs, dist/build/Data/Logic/Resolution.o )
[51 of 54] Compiling Data.Logic.KnowledgeBase ( Data/Logic/KnowledgeBase.hs, dist/build/Data/Logic/KnowledgeBase.o )
[52 of 54] Compiling Data.Logic.Types.FirstOrder ( Data/Logic/Types/FirstOrder.hs, dist/build/Data/Logic/Types/FirstOrder.o )
Data/Logic/Types/FirstOrder.hs:18:1: Warning:
The import of ‘pApp, .=.’
from module ‘Data.Logic.Classes.Equals’ is redundant
[53 of 54] Compiling Data.Logic.Types.FirstOrderPublic ( Data/Logic/Types/FirstOrderPublic.hs, dist/build/Data/Logic/Types/FirstOrderPublic.o )
[54 of 54] Compiling Data.Logic.Types.Harrison.Equal ( Data/Logic/Types/Harrison/Equal.hs, dist/build/Data/Logic/Types/Harrison/Equal.o )
Data/Logic/Types/Harrison/Equal.hs:19:1: Warning:
The import of ‘mapAtomsFirstOrder, foldAtomsFirstOrder’
from module ‘Data.Logic.Classes.FirstOrder’ is redundant
In-place registering logic-classes-1.5.2...
Running Haddock for logic-classes-1.5.2...
Running hscolour for logic-classes-1.5.2...
Preprocessing library logic-classes-1.5.2...
Preprocessing library logic-classes-1.5.2...
Data/Logic/Failing.hs:23:19: Warning:
In the use of type constructor or class ‘Typeable1’
(imported from Data.Generics, but defined in Data.Typeable.Internal):
Deprecated: "renamed to 'Typeable'"
Data/Logic/Types/Common.hs:8:10: Warning:
Orphan instance: instance Variable String
Data/Logic/Classes/Constants.hs:39:10: Warning:
Orphan instance: instance Pretty Bool
Data/Logic/Harrison/PropExamples.hs:55:22: Warning:
This binding for ‘n’ shadows the existing binding
bound at Data/Logic/Harrison/PropExamples.hs:51:12
Data/Logic/Harrison/PropExamples.hs:178:1: Warning:
Defined but not used: ‘halfcarry’
Data/Logic/Harrison/PropExamples.hs:181:1: Warning:
Defined but not used: ‘ha’
Data/Logic/Harrison/PropExamples.hs:225:1: Warning:
Top-level binding with no type signature: test02 :: Test
Data/Logic/Harrison/PropExamples.hs:261:1: Warning:
Defined but not used: ‘ripplecarry1’
Data/Logic/Harrison/PropExamples.hs:266:1: Warning:
Defined but not used: ‘mux’
Data/Logic/Harrison/PropExamples.hs:269:1: Warning:
Defined but not used: ‘offset’
Data/Logic/Harrison/PropExamples.hs:281:1: Warning:
Defined but not used: ‘carryselect’
Data/Logic/Harrison/PropExamples.hs:299:1: Warning:
Defined but not used: ‘mk_adder_test’
Data/Logic/Types/Harrison/Prop.hs:27:10: Warning:
Orphan instance: instance HasFixity String
Data/Logic/Types/Harrison/Prop.hs:36:10: Warning:
Orphan instance: instance Show (Formula String)
Data/Logic/Classes/Equals.hs:139:7: Warning:
This binding for ‘parens’ shadows the existing binding
imported from ‘Text.PrettyPrint’ at Data/Logic/Classes/Equals.hs:34:57-62
(and originally defined in ‘Text.PrettyPrint.HughesPJ’)
Data/Logic/Harrison/FOL.hs:62:1: Warning:
Defined but not used: ‘mkLits’
Data/Logic/Harrison/FOL.hs:69:1: Warning:
Defined but not used: ‘on_formula’
Data/Logic/Harrison/FOL.hs:232:1: Warning:
Defined but not used: ‘fv'’
Data/Logic/Harrison/FOL.hs:272:1: Warning:
Defined but not used: ‘subst'’
Data/Logic/Instances/PropLogic.hs:41:29: Warning:
This binding for ‘at’ shadows the existing binding
imported from ‘PropLogic’ at Data/Logic/Instances/PropLogic.hs:22:1-16
(and originally defined in ‘PropLogicCore’)
Data/Logic/HUnit.hs:66:10: Warning:
Orphan instance: instance IsString Function
Data/Logic/Harrison/DP.hs:13:1: Warning:
The import of ‘tautology, cnf’
from module ‘Data.Logic.Harrison.Prop’ is redundant
Data/Logic/Harrison/DP.hs:20:1: Warning:
The import of ‘Debug.Trace’ is redundant
except perhaps to import instances from ‘Debug.Trace’
To import instances alone, use: import Debug.Trace()
Data/Logic/Harrison/DP.hs:26:1: Warning:
Top-level binding with no type signature:
tests :: Test.HUnit.Base.Test
Data/Logic/Harrison/DP.hs:116:1: Warning:
Top-level binding with no type signature:
test01 :: forall t. Test t
Data/Logic/Harrison/DP.hs:164:1: Warning:
Top-level binding with no type signature:
test02 :: forall t. Test t
Data/Logic/Harrison/DP.hs:200:13: Warning:
Defined but not used: ‘fn'’
Data/Logic/Harrison/DP.hs:205:12: Warning:
Defined but not used: ‘p’
Data/Logic/Harrison/DP.hs:239:12: Warning:
Defined but not used: ‘q’
Data/Logic/Harrison/DP.hs:240:19: Warning:
Defined but not used: ‘trail'’
Data/Logic/Harrison/DP.hs:275:1: Warning:
Top-level binding with no type signature:
test03 :: forall t. Test t
Data/Logic/Harrison/DP.hs:22:10: Warning:
Orphan instance: instance NumAtom (Atom N)
Data/Logic/Harrison/Tableaux.hs:15:1: Warning:
The import of ‘Data.Logic.Classes.FirstOrder’ is redundant
except perhaps to import instances from ‘Data.Logic.Classes.FirstOrder’
To import instances alone, use: import Data.Logic.Classes.FirstOrder()
Data/Logic/Harrison/Tableaux.hs:19:1: Warning:
The import of ‘Data.Logic.Classes.Propositional’ is redundant
except perhaps to import instances from ‘Data.Logic.Classes.Propositional’
To import instances alone, use: import Data.Logic.Classes.Propositional()
Data/Logic/Harrison/Tableaux.hs:21:1: Warning:
The import of ‘Data.Logic.Harrison.FOL’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.FOL’
To import instances alone, use: import Data.Logic.Harrison.FOL()
Data/Logic/Harrison/Tableaux.hs:22:1: Warning:
The import of ‘Data.Logic.Harrison.Herbrand’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.Herbrand’
To import instances alone, use: import Data.Logic.Harrison.Herbrand()
Data/Logic/Harrison/Tableaux.hs:24:1: Warning:
The import of ‘Data.Logic.Harrison.Prop’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.Prop’
To import instances alone, use: import Data.Logic.Harrison.Prop()
Data/Logic/Harrison/Tableaux.hs:25:1: Warning:
The import of ‘Data.Logic.Harrison.Skolem’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.Skolem’
To import instances alone, use: import Data.Logic.Harrison.Skolem()
Data/Logic/Harrison/Tableaux.hs:80:1: Warning:
Defined but not used: ‘unify_complements’
Data/Logic/Harrison/Tableaux.hs:87:1: Warning:
Defined but not used: ‘unify_refute’
Data/Logic/Harrison/Tableaux.hs:102:1: Warning:
Defined but not used: ‘prawitz_loop’
Data/Logic/Harrison/Meson.hs:9:1: Warning:
The import of ‘Constants’
from module ‘Data.Logic.Classes.Constants’ is redundant
Data/Logic/Types/FirstOrder.hs:18:1: Warning:
The import of ‘pApp, .=.’
from module ‘Data.Logic.Classes.Equals’ is redundant
Data/Logic/Types/Harrison/Equal.hs:19:1: Warning:
The import of ‘mapAtomsFirstOrder, foldAtomsFirstOrder’
from module ‘Data.Logic.Classes.FirstOrder’ is redundant
Haddock coverage:
89% ( 8 / 9) in 'Data.Boolean'
89% ( 17 / 19) in 'Data.Boolean.SatSolver'
33% ( 1 / 3) in 'Data.Logic.Failing'
0% ( 0 / 29) in 'Data.Logic.Harrison.Lib'
43% ( 3 / 7) in 'Data.Logic.Classes.Negate'
50% ( 1 / 2) in 'Data.Logic.Classes.ClauseNormalForm'
50% ( 1 / 2) in 'Data.Logic.Classes.Atom'
57% ( 4 / 7) in 'Data.Logic.Classes.Pretty'
53% ( 8 / 15) in 'Data.Logic.Classes.Combine'
25% ( 1 / 4) in 'Data.Logic.Classes.Variable'
50% ( 1 / 2) in 'Data.Logic.Classes.Skolem'
0% ( 0 / 9) in 'Data.Logic.Classes.Term'
0% ( 0 / 5) in 'Data.Logic.Harrison.Unif'
0% ( 0 / 2) in 'Data.Logic.Types.Common'
0% ( 0 / 2) in 'Data.Logic.Classes.Formula'
12% ( 1 / 8) in 'Data.Logic.Classes.Constants'
59% ( 10 / 17) in 'Data.Logic.Classes.Propositional'
17% ( 1 / 6) in 'Data.Logic.Classes.Literal'
56% ( 14 / 25) in 'Data.Logic.Classes.FirstOrder'
0% ( 0 / 6) in 'Data.Logic.Harrison.Formulas.FirstOrder'
0% ( 0 / 6) in 'Data.Logic.Harrison.Formulas.Propositional'
0% ( 0 / 33) in 'Data.Logic.Harrison.Prop'
10% ( 1 / 10) in 'Data.Logic.Types.Propositional'
0% ( 0 / 6) in 'Data.Logic.Harrison.PropExamples'
0% ( 0 / 17) in 'Data.Logic.Harrison.DefCNF'
0% ( 0 / 2) in 'Data.Logic.Types.Harrison.Formulas.FirstOrder'
0% ( 0 / 2) in 'Data.Logic.Types.Harrison.Formulas.Propositional'
0% ( 0 / 2) in 'Data.Logic.Types.Harrison.Prop'
50% ( 1 / 2) in 'Data.Logic.Classes.Arity'
15% ( 4 / 26) in 'Data.Logic.Classes.Apply'
18% ( 6 / 33) in 'Data.Logic.Classes.Equals'
0% ( 0 / 7) in 'Data.Logic.Harrison.Equal'
25% ( 2 / 8) in 'Data.Logic.Harrison.FOL'
73% ( 11 / 15) in 'Data.Logic.Harrison.Skolem'
17% ( 1 / 6) in 'Data.Logic.Harrison.Normal'
67% ( 2 / 3) in 'Data.Logic.Normal.Clause'
0% ( 0 / 4) in 'Data.Logic.Instances.PropLogic'
40% ( 4 / 10) in 'Data.Logic.Normal.Implicative'
17% ( 1 / 6) in 'Data.Logic.Instances.SatSolver'
100% ( 5 / 5) in 'Data.Logic.Satisfiable'
0% ( 0 / 2) in 'Data.Logic.Harrison.Prolog'
25% ( 1 / 4) in 'Data.Logic.Types.Harrison.FOL'
29% ( 2 / 7) in 'Data.Logic.HUnit'
0% ( 0 / 3) in 'Data.Logic.Harrison.DP'
0% ( 0 / 15) in 'Data.Logic.Harrison.Herbrand'
25% ( 1 / 4) in 'Data.Logic.Harrison.Tableaux'
0% ( 0 / 5) in 'Data.Logic.Harrison.Meson'
0% ( 0 / 6) in 'Data.Logic.Harrison.Resolution'
0% ( 0 / 10) in 'Data.Logic.Instances.Chiou'
14% ( 1 / 7) in 'Data.Logic.Resolution'
56% ( 9 / 16) in 'Data.Logic.KnowledgeBase'
100% ( 4 / 4) in 'Data.Logic.Types.FirstOrder'
100% ( 3 / 3) in 'Data.Logic.Types.FirstOrderPublic'
6% ( 1 / 18) in 'Data.Logic.Types.Harrison.Equal'
Warning: Data.Logic.Harrison.Skolem: could not find link destinations for:
Data.Logic.Harrison.Skolem.SkolemState
Warning: Data.Logic.KnowledgeBase: could not find link destinations for:
Data.Logic.KnowledgeBase.ProverState Data.Logic.KnowledgeBase.ProverT' Data.Logic.KnowledgeBase.SentenceCount Data.Logic.KnowledgeBase.KnowledgeBase
Documentation created: dist/doc/html/logic-classes/index.html,
dist/doc/html/logic-classes/logic-classes.txt
Creating package registration file: /tmp/pkgConf-logic-classes-1.54138.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/logic-classes-1.5.2
Registering logic-classes-1.5.2...
Installed logic-classes-1.5.2
Test log
No test log was submitted for this report.