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