Build #1 for logic-TPTP-0.4.1.0

[all reports]

Package logic-TPTP-0.4.1.0
Install BuildFailed
Docs NotTried
Tests NotTried
Time submitted unknown
Compiler ghc-7.6.3
OS linux
Arch x86_64
Dependencies transformers-0.3.0.0, syb-0.4.1, pointed-4.1, mtl-2.1.2, containers-0.5.0.0, base-4.6.0.1, array-0.4.0.1, ansi-wl-pprint-0.6.7.1, QuickCheck-2.7.3
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring ansi-terminal-0.6.1.1...
Building ansi-terminal-0.6.1.1...
Preprocessing library ansi-terminal-0.6.1.1...
[1 of 3] Compiling System.Console.ANSI.Common ( System/Console/ANSI/Common.hs, dist/build/System/Console/ANSI/Common.o )
[2 of 3] Compiling System.Console.ANSI.Unix ( System/Console/ANSI/Unix.hs, dist/build/System/Console/ANSI/Unix.o )
[3 of 3] Compiling System.Console.ANSI ( System/Console/ANSI.hs, dist/build/System/Console/ANSI.o )
In-place registering ansi-terminal-0.6.1.1...
Running Haddock for ansi-terminal-0.6.1.1...
Running hscolour for ansi-terminal-0.6.1.1...
Preprocessing library ansi-terminal-0.6.1.1...
Preprocessing library ansi-terminal-0.6.1.1...
Haddock coverage:
  88% (  7 /  8) in 'System.Console.ANSI.Common'
  36% ( 28 / 77) in 'System.Console.ANSI.Unix'
  38% ( 29 / 77) in 'System.Console.ANSI'
Documentation created: dist/doc/html/ansi-terminal/index.html,
dist/doc/html/ansi-terminal/ansi-terminal.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/ansi-terminal-0.6.1.1
Registering ansi-terminal-0.6.1.1...
Installed ansi-terminal-0.6.1.1
Configuring data-default-class-0.0.1...
Building data-default-class-0.0.1...
Preprocessing library data-default-class-0.0.1...
[1 of 1] Compiling Data.Default.Class ( Data/Default/Class.hs, dist/build/Data/Default/Class.o )
In-place registering data-default-class-0.0.1...
Running Haddock for data-default-class-0.0.1...
Running hscolour for data-default-class-0.0.1...
Preprocessing library data-default-class-0.0.1...
Preprocessing library data-default-class-0.0.1...
Haddock coverage:
  67% (  2 /  3) in 'Data.Default.Class'
Documentation created: dist/doc/html/data-default-class/index.html,
dist/doc/html/data-default-class/data-default-class.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/data-default-class-0.0.1
Registering data-default-class-0.0.1...
Installed data-default-class-0.0.1
Configuring hashable-1.2.2.0...
Building hashable-1.2.2.0...
Preprocessing library hashable-1.2.2.0...
[1 of 3] Compiling Data.Hashable.Class ( Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o )
[2 of 3] Compiling Data.Hashable.Generic ( Data/Hashable/Generic.hs, dist/build/Data/Hashable/Generic.o )
[3 of 3] Compiling Data.Hashable    ( Data/Hashable.hs, dist/build/Data/Hashable.o )
In-place registering hashable-1.2.2.0...
Running Haddock for hashable-1.2.2.0...
Running hscolour for hashable-1.2.2.0...
Preprocessing library hashable-1.2.2.0...
Preprocessing library hashable-1.2.2.0...
Haddock coverage:
 100% ( 11 / 11) in 'Data.Hashable.Class'
 100% (  1 /  1) in 'Data.Hashable.Generic'
 100% ( 22 / 22) in 'Data.Hashable'
Warning: Data.Hashable: could not find link destinations for:
    Data.Hashable.Class.GHashable
Documentation created: dist/doc/html/hashable/index.html,
dist/doc/html/hashable/hashable.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/hashable-1.2.2.0
Registering hashable-1.2.2.0...
Installed hashable-1.2.2.0
Configuring primitive-0.5.3.0...
Building primitive-0.5.3.0...
Preprocessing library primitive-0.5.3.0...
[ 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 )

Data/Primitive/Array.hs:32:1: Warning:
    The import of `Control.Monad.ST' is redundant
      except perhaps to import instances from `Control.Monad.ST'
    To import instances alone, use: import Control.Monad.ST()
[ 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.5.3.0...
Running Haddock for primitive-0.5.3.0...
Running hscolour for primitive-0.5.3.0...
Preprocessing library primitive-0.5.3.0...
Preprocessing library primitive-0.5.3.0...

Data/Primitive/Array.hs:32:1: Warning:
    The import of `Control.Monad.ST' is redundant
      except perhaps to import instances from `Control.Monad.ST'
    To import instances alone, use: import Control.Monad.ST()
Haddock coverage:
  67% (  2 /  3) in 'Data.Primitive.Internal.Compat'
   3% (  1 / 35) in 'Data.Primitive.MachDeps'
   3% (  1 / 29) in 'Data.Primitive.Internal.Operations'
Warning: Control.Monad.Primitive: We do not support associated types in instances yet. These instances are affected:
Control.Monad.Primitive.PrimMonad GHC.Types.IO, Control.Monad.Primitive.PrimMonad (GHC.ST.ST s)
  71% ( 10 / 14) 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
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/primitive-0.5.3.0
Registering primitive-0.5.3.0...
Installed primitive-0.5.3.0
Configuring stm-2.4.3...
Building stm-2.4.3...
Preprocessing library stm-2.4.3...
[ 1 of 10] Compiling Control.Sequential.STM ( Control/Sequential/STM.hs, dist/build/Control/Sequential/STM.o )
[ 2 of 10] Compiling Control.Concurrent.STM.TBQueue ( Control/Concurrent/STM/TBQueue.hs, dist/build/Control/Concurrent/STM/TBQueue.o )
[ 3 of 10] Compiling Control.Concurrent.STM.TQueue ( Control/Concurrent/STM/TQueue.hs, dist/build/Control/Concurrent/STM/TQueue.o )
[ 4 of 10] Compiling Control.Concurrent.STM.TChan ( Control/Concurrent/STM/TChan.hs, dist/build/Control/Concurrent/STM/TChan.o )
[ 5 of 10] Compiling Control.Concurrent.STM.TMVar ( Control/Concurrent/STM/TMVar.hs, dist/build/Control/Concurrent/STM/TMVar.o )
[ 6 of 10] Compiling Control.Concurrent.STM.TVar ( Control/Concurrent/STM/TVar.hs, dist/build/Control/Concurrent/STM/TVar.o )
[ 7 of 10] Compiling Control.Concurrent.STM.TArray ( Control/Concurrent/STM/TArray.hs, dist/build/Control/Concurrent/STM/TArray.o )
[ 8 of 10] Compiling Control.Monad.STM ( Control/Monad/STM.hs, dist/build/Control/Monad/STM.o )
[ 9 of 10] Compiling Control.Concurrent.STM ( Control/Concurrent/STM.hs, dist/build/Control/Concurrent/STM.o )
[10 of 10] Compiling Control.Concurrent.STM.TSem ( Control/Concurrent/STM/TSem.hs, dist/build/Control/Concurrent/STM/TSem.o )
In-place registering stm-2.4.3...
Running Haddock for stm-2.4.3...
Running hscolour for stm-2.4.3...
Preprocessing library stm-2.4.3...
Preprocessing library stm-2.4.3...
Haddock coverage:
   0% (  0 / 11) in 'Control.Sequential.STM'
 100% ( 13 / 13) in 'Control.Concurrent.STM.TBQueue'
 100% ( 12 / 12) in 'Control.Concurrent.STM.TQueue'
 100% ( 18 / 18) in 'Control.Concurrent.STM.TChan'
 100% ( 15 / 15) in 'Control.Concurrent.STM.TMVar'
 100% ( 13 / 13) in 'Control.Concurrent.STM.TVar'
 100% (  2 /  2) in 'Control.Concurrent.STM.TArray'
  90% (  9 / 10) in 'Control.Monad.STM'
 100% (  8 /  8) in 'Control.Concurrent.STM'
  40% (  2 /  5) in 'Control.Concurrent.STM.TSem'
Documentation created: dist/doc/html/stm/index.html, dist/doc/html/stm/stm.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/stm-2.4.3
Registering stm-2.4.3...
Installed stm-2.4.3
Configuring syb-0.4.1...
Building syb-0.4.1...
Preprocessing library syb-0.4.1...
[ 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.1...
Running Haddock for syb-0.4.1...
Running hscolour for syb-0.4.1...
Preprocessing library syb-0.4.1...
Preprocessing library syb-0.4.1...
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
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/syb-0.4.1
Registering syb-0.4.1...
Installed syb-0.4.1
Configuring tagged-0.7.2...
Building tagged-0.7.2...
Preprocessing library tagged-0.7.2...
[1 of 2] Compiling Data.Proxy       ( old/Data/Proxy.hs, dist/build/Data/Proxy.o )
[2 of 2] Compiling Data.Tagged      ( src/Data/Tagged.hs, dist/build/Data/Tagged.o )
In-place registering tagged-0.7.2...
Running Haddock for tagged-0.7.2...
Running hscolour for tagged-0.7.2...
Preprocessing library tagged-0.7.2...
Preprocessing library tagged-0.7.2...
Haddock coverage:
  80% (  4 /  5) in 'Data.Proxy'
  92% ( 12 / 13) in 'Data.Tagged'
Documentation created: dist/doc/html/tagged/index.html,
dist/doc/html/tagged/tagged.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/tagged-0.7.2
Registering tagged-0.7.2...
Installed tagged-0.7.2
Configuring transformers-compat-0.3.3...
Building transformers-compat-0.3.3...
Preprocessing library transformers-compat-0.3.3...
[1 of 5] Compiling Paths_transformers_compat ( dist/build/autogen/Paths_transformers_compat.hs, dist/build/Paths_transformers_compat.o )
[2 of 5] Compiling Data.Functor.Classes ( 0.3/Data/Functor/Classes.hs, dist/build/Data/Functor/Classes.o )
[3 of 5] Compiling Data.Functor.Sum ( 0.3/Data/Functor/Sum.hs, dist/build/Data/Functor/Sum.o )
[4 of 5] Compiling Control.Monad.Signatures ( 0.3/Control/Monad/Signatures.hs, dist/build/Control/Monad/Signatures.o )
[5 of 5] Compiling Control.Monad.Trans.Except ( 0.3/Control/Monad/Trans/Except.hs, dist/build/Control/Monad/Trans/Except.o )
In-place registering transformers-compat-0.3.3...
Running Haddock for transformers-compat-0.3.3...
Running hscolour for transformers-compat-0.3.3...
Preprocessing library transformers-compat-0.3.3...
Preprocessing library transformers-compat-0.3.3...
Haddock coverage:
   0% (  0 /  8) in 'Paths_transformers_compat'
 100% ( 14 / 14) in 'Data.Functor.Classes'
 100% (  2 /  2) in 'Data.Functor.Sum'
 100% (  5 /  5) in 'Control.Monad.Signatures'
 100% ( 18 / 18) in 'Control.Monad.Trans.Except'
Documentation created: dist/doc/html/transformers-compat/index.html,
dist/doc/html/transformers-compat/transformers-compat.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/transformers-compat-0.3.3
Registering transformers-compat-0.3.3...
Installed transformers-compat-0.3.3
Configuring ansi-wl-pprint-0.6.7.1...
Building ansi-wl-pprint-0.6.7.1...
Preprocessing library ansi-wl-pprint-0.6.7.1...
[1 of 1] Compiling Text.PrettyPrint.ANSI.Leijen ( Text/PrettyPrint/ANSI/Leijen.hs, dist/build/Text/PrettyPrint/ANSI/Leijen.o )
In-place registering ansi-wl-pprint-0.6.7.1...
Running Haddock for ansi-wl-pprint-0.6.7.1...
Running hscolour for ansi-wl-pprint-0.6.7.1...
Preprocessing library ansi-wl-pprint-0.6.7.1...
Preprocessing library ansi-wl-pprint-0.6.7.1...
Haddock coverage:
  96% (129 /134) in 'Text.PrettyPrint.ANSI.Leijen'
Documentation created: dist/doc/html/ansi-wl-pprint/index.html,
dist/doc/html/ansi-wl-pprint/ansi-wl-pprint.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/ansi-wl-pprint-0.6.7.1
Registering ansi-wl-pprint-0.6.7.1...
Installed ansi-wl-pprint-0.6.7.1
Configuring nats-0.2...
Building nats-0.2...
Preprocessing library nats-0.2...
[1 of 2] Compiling Numeric.Natural.Internal ( src/Numeric/Natural/Internal.hs, dist/build/Numeric/Natural/Internal.o )
[2 of 2] Compiling Numeric.Natural  ( src/Numeric/Natural.hs, dist/build/Numeric/Natural.o )
In-place registering nats-0.2...
Running Haddock for nats-0.2...
Running hscolour for nats-0.2...
Preprocessing library nats-0.2...
Preprocessing library nats-0.2...
Haddock coverage:
  75% (  3 /  4) in 'Numeric.Natural.Internal'
  75% (  3 /  4) in 'Numeric.Natural'
Documentation created: dist/doc/html/nats/index.html,
dist/doc/html/nats/nats.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/nats-0.2
Registering nats-0.2...
Installed nats-0.2
Configuring unordered-containers-0.2.4.0...
Building unordered-containers-0.2.4.0...
Preprocessing library unordered-containers-0.2.4.0...
[1 of 8] Compiling Data.HashMap.UnsafeShift ( Data/HashMap/UnsafeShift.hs, dist/build/Data/HashMap/UnsafeShift.o )
[2 of 8] Compiling Data.HashMap.PopCount ( Data/HashMap/PopCount.hs, dist/build/Data/HashMap/PopCount.o )
[3 of 8] Compiling Data.HashMap.Unsafe ( Data/HashMap/Unsafe.hs, dist/build/Data/HashMap/Unsafe.o )
[4 of 8] Compiling Data.HashMap.Array ( Data/HashMap/Array.hs, dist/build/Data/HashMap/Array.o )
[5 of 8] Compiling Data.HashMap.Base ( Data/HashMap/Base.hs, dist/build/Data/HashMap/Base.o )
[6 of 8] Compiling Data.HashMap.Strict ( Data/HashMap/Strict.hs, dist/build/Data/HashMap/Strict.o )
[7 of 8] Compiling Data.HashMap.Lazy ( Data/HashMap/Lazy.hs, dist/build/Data/HashMap/Lazy.o )
[8 of 8] Compiling Data.HashSet     ( Data/HashSet.hs, dist/build/Data/HashSet.o )
In-place registering unordered-containers-0.2.4.0...
Running Haddock for unordered-containers-0.2.4.0...
Running hscolour for unordered-containers-0.2.4.0...
Preprocessing library unordered-containers-0.2.4.0...
Preprocessing library unordered-containers-0.2.4.0...
Haddock coverage:
   0% (  0 /  3) in 'Data.HashMap.UnsafeShift'
  50% (  1 /  2) in 'Data.HashMap.PopCount'
 100% (  2 /  2) in 'Data.HashMap.Unsafe'
  38% ( 14 / 37) in 'Data.HashMap.Array'
  87% ( 54 / 62) in 'Data.HashMap.Base'
 100% ( 46 / 46) in 'Data.HashMap.Strict'
 100% ( 46 / 46) in 'Data.HashMap.Lazy'
 100% ( 27 / 27) in 'Data.HashSet'
Documentation created: dist/doc/html/unordered-containers/index.html,
dist/doc/html/unordered-containers/unordered-containers.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/unordered-containers-0.2.4.0
Registering unordered-containers-0.2.4.0...
Installed unordered-containers-0.2.4.0
Configuring tf-random-0.5...
Building tf-random-0.5...
Preprocessing library tf-random-0.5...
[1 of 4] Compiling System.Random.TF.Gen ( src/System/Random/TF/Gen.hs, dist/build/System/Random/TF/Gen.o )
[2 of 4] Compiling System.Random.TF.Init ( src/System/Random/TF/Init.hs, dist/build/System/Random/TF/Init.o )
[3 of 4] Compiling System.Random.TF.Instances ( src/System/Random/TF/Instances.hs, dist/build/System/Random/TF/Instances.o )
[4 of 4] Compiling System.Random.TF ( src/System/Random/TF.hs, dist/build/System/Random/TF.o )
In-place registering tf-random-0.5...
Running Haddock for tf-random-0.5...
Running hscolour for tf-random-0.5...
Preprocessing library tf-random-0.5...
Preprocessing library tf-random-0.5...
cabal: dist/doc/html/tf-random/haddock-prolog22937.txt: invalid argument
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/tf-random-0.5
Registering tf-random-0.5...
Installed tf-random-0.5
Configuring contravariant-0.6...
Building contravariant-0.6...
Preprocessing library contravariant-0.6...
[1 of 3] Compiling Data.Functor.Contravariant ( Data/Functor/Contravariant.hs, dist/build/Data/Functor/Contravariant.o )
[2 of 3] Compiling Data.Functor.Contravariant.Compose ( Data/Functor/Contravariant/Compose.hs, dist/build/Data/Functor/Contravariant/Compose.o )
[3 of 3] Compiling Data.Functor.Contravariant.Day ( Data/Functor/Contravariant/Day.hs, dist/build/Data/Functor/Contravariant/Day.o )
In-place registering contravariant-0.6...
Running Haddock for contravariant-0.6...
Running hscolour for contravariant-0.6...
Preprocessing library contravariant-0.6...
Preprocessing library contravariant-0.6...
Haddock coverage:
  81% ( 13 / 16) in 'Data.Functor.Contravariant'
 100% (  4 /  4) in 'Data.Functor.Contravariant.Compose'
 100% ( 14 / 14) in 'Data.Functor.Contravariant.Day'
Documentation created: dist/doc/html/contravariant/index.html,
dist/doc/html/contravariant/contravariant.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/contravariant-0.6
Registering contravariant-0.6...
Installed contravariant-0.6
[1 of 1] Compiling Main             ( /tmp/distributive-0.4.4-22937/distributive-0.4.4/Setup.lhs, /tmp/distributive-0.4.4-22937/distributive-0.4.4/dist/setup/Main.o )
Linking /tmp/distributive-0.4.4-22937/distributive-0.4.4/dist/setup/setup ...
Configuring distributive-0.4.4...
Building distributive-0.4.4...
Preprocessing library distributive-0.4.4...
[1 of 2] Compiling Data.Distributive.Generic ( src/Data/Distributive/Generic.hs, dist/build/Data/Distributive/Generic.o )
[2 of 2] Compiling Data.Distributive ( src/Data/Distributive.hs, dist/build/Data/Distributive.o )
In-place registering distributive-0.4.4...
Running Haddock for distributive-0.4.4...
Running hscolour for distributive-0.4.4...
Preprocessing library distributive-0.4.4...
Preprocessing library distributive-0.4.4...
Haddock coverage:
  67% (  2 /  3) in 'Data.Distributive.Generic'
 100% (  4 /  4) in 'Data.Distributive'
Documentation created: dist/doc/html/distributive/index.html,
dist/doc/html/distributive/distributive.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/distributive-0.4.4
Registering distributive-0.4.4...
Installed distributive-0.4.4
Configuring semigroups-0.14...
Building semigroups-0.14...
Preprocessing library semigroups-0.14...
[1 of 2] Compiling Data.List.NonEmpty ( src/Data/List/NonEmpty.hs, dist/build/Data/List/NonEmpty.o )
[2 of 2] Compiling Data.Semigroup   ( src/Data/Semigroup.hs, dist/build/Data/Semigroup.o )
In-place registering semigroups-0.14...
Running Haddock for semigroups-0.14...
Running hscolour for semigroups-0.14...
Preprocessing library semigroups-0.14...
Preprocessing library semigroups-0.14...
Haddock coverage:
doc comment parse failed:  'transpose' for 'NonEmpty', behaves the same as 'Data.List.transpose'
 The rows/columns need not be the same length, in which case
 > transpose . transpose /= id
  93% ( 64 / 69) in 'Data.List.NonEmpty'
  87% ( 20 / 23) in 'Data.Semigroup'
Documentation created: dist/doc/html/semigroups/index.html,
dist/doc/html/semigroups/semigroups.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/semigroups-0.14
Registering semigroups-0.14...
Installed semigroups-0.14
Configuring QuickCheck-2.7.3...
Building QuickCheck-2.7.3...
Preprocessing library QuickCheck-2.7.3...
[ 1 of 15] Compiling Test.QuickCheck.Random ( Test/QuickCheck/Random.hs, dist/build/Test/QuickCheck/Random.o )
[ 2 of 15] Compiling Test.QuickCheck.Exception ( Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o )
[ 3 of 15] Compiling Test.QuickCheck.Text ( Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o )
[ 4 of 15] Compiling Test.QuickCheck.State ( Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o )
[ 5 of 15] Compiling Test.QuickCheck.Gen ( Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o )
[ 6 of 15] Compiling Test.QuickCheck.Gen.Unsafe ( Test/QuickCheck/Gen/Unsafe.hs, dist/build/Test/QuickCheck/Gen/Unsafe.o )
[ 7 of 15] Compiling Test.QuickCheck.Arbitrary ( Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o )
[ 8 of 15] Compiling Test.QuickCheck.Modifiers ( Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o )
[ 9 of 15] Compiling Test.QuickCheck.Poly ( Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o )
[10 of 15] Compiling Test.QuickCheck.Function ( Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o )
[11 of 15] Compiling Test.QuickCheck.Property ( Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o )
[12 of 15] Compiling Test.QuickCheck.Test ( Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o )
[13 of 15] Compiling Test.QuickCheck.All ( Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o )
[14 of 15] Compiling Test.QuickCheck.Monadic ( Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o )
[15 of 15] Compiling Test.QuickCheck  ( Test/QuickCheck.hs, dist/build/Test/QuickCheck.o )
In-place registering QuickCheck-2.7.3...
Running Haddock for QuickCheck-2.7.3...
Running hscolour for QuickCheck-2.7.3...
Preprocessing library QuickCheck-2.7.3...
Preprocessing library QuickCheck-2.7.3...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: tf-random-0.5
Haddock coverage:
  12% (  2 / 17) in 'Test.QuickCheck.Random'
  25% (  2 /  8) in 'Test.QuickCheck.Exception'
   6% (  1 / 18) in 'Test.QuickCheck.Text'
 100% (  2 /  2) in 'Test.QuickCheck.State'
 100% ( 22 / 22) in 'Test.QuickCheck.Gen'
  80% (  4 /  5) in 'Test.QuickCheck.Gen.Unsafe'
 100% ( 30 / 30) in 'Test.QuickCheck.Arbitrary'
  93% ( 14 / 15) in 'Test.QuickCheck.Modifiers'
  14% (  1 /  7) in 'Test.QuickCheck.Poly'
  14% (  1 /  7) in 'Test.QuickCheck.Function'
  65% ( 40 / 62) in 'Test.QuickCheck.Property'
  52% ( 14 / 27) in 'Test.QuickCheck.Test'
 100% (  9 /  9) in 'Test.QuickCheck.All'
   7% (  1 / 15) in 'Test.QuickCheck.Monadic'
  98% (121 /123) in 'Test.QuickCheck'
Warning: Test.QuickCheck.Random: could not find link destinations for:
    System.Random.TF.Gen.TFGen
Warning: Test.QuickCheck.Text: could not find link destinations for:
    Test.QuickCheck.Text.Output
Warning: Test.QuickCheck.Arbitrary: could not find link destinations for:
    Test.QuickCheck.Arbitrary.RecursivelyShrink Test.QuickCheck.Arbitrary.Subterms
Warning: Test.QuickCheck: could not find link destinations for:
    Test.QuickCheck.Arbitrary.RecursivelyShrink Test.QuickCheck.Arbitrary.Subterms
Documentation created: dist/doc/html/QuickCheck/index.html,
dist/doc/html/QuickCheck/QuickCheck.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/QuickCheck-2.7.3
Registering QuickCheck-2.7.3...
Installed QuickCheck-2.7.3
[1 of 1] Compiling Main             ( /tmp/comonad-4.2-22937/comonad-4.2/Setup.lhs, /tmp/comonad-4.2-22937/comonad-4.2/dist/setup/Main.o )
Linking /tmp/comonad-4.2-22937/comonad-4.2/dist/setup/setup ...
Configuring comonad-4.2...
Building comonad-4.2...
Preprocessing library comonad-4.2...
[ 1 of 16] Compiling Data.Functor.Composition ( src/Data/Functor/Composition.hs, dist/build/Data/Functor/Composition.o )
[ 2 of 16] Compiling Control.Comonad.Trans.Identity ( src/Control/Comonad/Trans/Identity.hs, dist/build/Control/Comonad/Trans/Identity.o )
[ 3 of 16] Compiling Control.Comonad  ( src/Control/Comonad.hs, dist/build/Control/Comonad.o )
[ 4 of 16] Compiling Control.Comonad.Trans.Class ( src/Control/Comonad/Trans/Class.hs, dist/build/Control/Comonad/Trans/Class.o )
[ 5 of 16] Compiling Control.Comonad.Hoist.Class ( src/Control/Comonad/Hoist/Class.hs, dist/build/Control/Comonad/Hoist/Class.o )
[ 6 of 16] Compiling Control.Comonad.Trans.Env ( src/Control/Comonad/Trans/Env.hs, dist/build/Control/Comonad/Trans/Env.o )
[ 7 of 16] Compiling Control.Comonad.Trans.Store ( src/Control/Comonad/Trans/Store.hs, dist/build/Control/Comonad/Trans/Store.o )
[ 8 of 16] Compiling Control.Comonad.Trans.Traced ( src/Control/Comonad/Trans/Traced.hs, dist/build/Control/Comonad/Trans/Traced.o )
[ 9 of 16] Compiling Control.Comonad.Env.Class ( src/Control/Comonad/Env/Class.hs, dist/build/Control/Comonad/Env/Class.o )
[10 of 16] Compiling Control.Comonad.Env ( src/Control/Comonad/Env.hs, dist/build/Control/Comonad/Env.o )
[11 of 16] Compiling Control.Comonad.Identity ( src/Control/Comonad/Identity.hs, dist/build/Control/Comonad/Identity.o )
[12 of 16] Compiling Control.Comonad.Store.Class ( src/Control/Comonad/Store/Class.hs, dist/build/Control/Comonad/Store/Class.o )
[13 of 16] Compiling Control.Comonad.Store ( src/Control/Comonad/Store.hs, dist/build/Control/Comonad/Store.o )
[14 of 16] Compiling Control.Comonad.Traced.Class ( src/Control/Comonad/Traced/Class.hs, dist/build/Control/Comonad/Traced/Class.o )
[15 of 16] Compiling Control.Comonad.Traced ( src/Control/Comonad/Traced.hs, dist/build/Control/Comonad/Traced.o )
[16 of 16] Compiling Data.Functor.Coproduct ( src/Data/Functor/Coproduct.hs, dist/build/Data/Functor/Coproduct.o )
In-place registering comonad-4.2...
Running Haddock for comonad-4.2...
Running hscolour for comonad-4.2...
Preprocessing library comonad-4.2...
Preprocessing library comonad-4.2...
Haddock coverage:
  50% (  1 /  2) in 'Data.Functor.Composition'
 100% (  2 /  2) in 'Control.Comonad.Trans.Identity'
 100% ( 21 / 21) in 'Control.Comonad'
  50% (  1 /  2) in 'Control.Comonad.Trans.Class'
  50% (  1 /  2) in 'Control.Comonad.Hoist.Class'
  69% (  9 / 13) in 'Control.Comonad.Trans.Env'
  73% ( 11 / 15) in 'Control.Comonad.Trans.Store'
  33% (  4 / 12) in 'Control.Comonad.Trans.Traced'
  33% (  1 /  3) in 'Control.Comonad.Env.Class'
  60% (  9 / 15) in 'Control.Comonad.Env'
 100% (  4 /  4) in 'Control.Comonad.Identity'
  25% (  1 /  4) in 'Control.Comonad.Store.Class'
  62% (  8 / 13) in 'Control.Comonad.Store'
  33% (  1 /  3) in 'Control.Comonad.Traced.Class'
  57% (  8 / 14) in 'Control.Comonad.Traced'
  20% (  1 /  5) in 'Data.Functor.Coproduct'
Warning: Control.Comonad: could not find link destinations for:
    Data.Traversable.Id Data.Traversable.StateL Data.Traversable.StateR
Documentation created: dist/doc/html/comonad/index.html,
dist/doc/html/comonad/comonad.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/comonad-4.2
Registering comonad-4.2...
Installed comonad-4.2
Configuring semigroupoids-4.0.2...
Building semigroupoids-4.0.2...
Preprocessing library semigroupoids-4.0.2...
[ 1 of 20] Compiling Data.Traversable.Instances ( src/Data/Traversable/Instances.hs, dist/build/Data/Traversable/Instances.o )
[ 2 of 20] Compiling Data.Functor.Extend ( src/Data/Functor/Extend.hs, dist/build/Data/Functor/Extend.o )
[ 3 of 20] Compiling Data.Functor.Bind ( src/Data/Functor/Bind.hs, dist/build/Data/Functor/Bind.o )
[ 4 of 20] Compiling Data.Functor.Bind.Trans ( src/Data/Functor/Bind/Trans.hs, dist/build/Data/Functor/Bind/Trans.o )
[ 5 of 20] Compiling Data.Semigroupoid ( src/Data/Semigroupoid.hs, dist/build/Data/Semigroupoid.o )
[ 6 of 20] Compiling Data.Semigroupoid.Dual ( src/Data/Semigroupoid/Dual.hs, dist/build/Data/Semigroupoid/Dual.o )
[ 7 of 20] Compiling Data.Groupoid    ( src/Data/Groupoid.hs, dist/build/Data/Groupoid.o )
[ 8 of 20] Compiling Data.Isomorphism ( src/Data/Isomorphism.hs, dist/build/Data/Isomorphism.o )
[ 9 of 20] Compiling Data.Semigroupoid.Product ( src/Data/Semigroupoid/Product.hs, dist/build/Data/Semigroupoid/Product.o )
[10 of 20] Compiling Data.Semigroupoid.Coproduct ( src/Data/Semigroupoid/Coproduct.hs, dist/build/Data/Semigroupoid/Coproduct.o )
[11 of 20] Compiling Data.Semigroupoid.Ob ( src/Data/Semigroupoid/Ob.hs, dist/build/Data/Semigroupoid/Ob.o )
[12 of 20] Compiling Data.Functor.Apply ( src/Data/Functor/Apply.hs, dist/build/Data/Functor/Apply.o )
[13 of 20] Compiling Data.Semigroup.Foldable ( src/Data/Semigroup/Foldable.hs, dist/build/Data/Semigroup/Foldable.o )
[14 of 20] Compiling Data.Semigroup.Traversable ( src/Data/Semigroup/Traversable.hs, dist/build/Data/Semigroup/Traversable.o )
[15 of 20] Compiling Data.Semifunctor ( src/Data/Semifunctor.hs, dist/build/Data/Semifunctor.o )
[16 of 20] Compiling Data.Semifunctor.Associative ( src/Data/Semifunctor/Associative.hs, dist/build/Data/Semifunctor/Associative.o )
[17 of 20] Compiling Data.Semifunctor.Braided ( src/Data/Semifunctor/Braided.hs, dist/build/Data/Semifunctor/Braided.o )
[18 of 20] Compiling Data.Functor.Alt ( src/Data/Functor/Alt.hs, dist/build/Data/Functor/Alt.o )
[19 of 20] Compiling Data.Functor.Plus ( src/Data/Functor/Plus.hs, dist/build/Data/Functor/Plus.o )
[20 of 20] Compiling Data.Semigroupoid.Static ( src/Data/Semigroupoid/Static.hs, dist/build/Data/Semigroupoid/Static.o )
In-place registering semigroupoids-4.0.2...
Running Haddock for semigroupoids-4.0.2...
Running hscolour for semigroupoids-4.0.2...
Preprocessing library semigroupoids-4.0.2...
Preprocessing library semigroupoids-4.0.2...
Haddock coverage:
 100% (  1 /  1) in 'Data.Traversable.Instances'
  75% (  3 /  4) in 'Data.Functor.Extend'
  75% ( 15 / 20) in 'Data.Functor.Bind'
 100% (  2 /  2) in 'Data.Functor.Bind.Trans'
  50% (  2 /  4) in 'Data.Semigroupoid'
  50% (  1 /  2) in 'Data.Semigroupoid.Dual'
  50% (  1 /  2) in 'Data.Groupoid'
   0% (  0 /  2) in 'Data.Isomorphism'
   0% (  0 /  4) in 'Data.Semigroupoid.Product'
   0% (  0 /  6) in 'Data.Semigroupoid.Coproduct'
  50% (  1 /  2) in 'Data.Semigroupoid.Ob'
 100% ( 13 / 13) in 'Data.Functor.Apply'
  33% (  2 /  6) in 'Data.Semigroup.Foldable'
  33% (  1 /  3) in 'Data.Semigroup.Traversable'
  40% (  6 / 15) in 'Data.Semifunctor'
  14% (  1 /  7) in 'Data.Semifunctor.Associative'
  17% (  1 /  6) in 'Data.Semifunctor.Braided'
 100% (  3 /  3) in 'Data.Functor.Alt'
 100% (  3 /  3) in 'Data.Functor.Plus'
   0% (  0 /  2) in 'Data.Semigroupoid.Static'
Warning: Data.Functor.Bind: could not find link destinations for:
    Data.Traversable.Id Data.Sequence.Digit Data.Sequence.Node Data.Sequence.Elem Data.Sequence.Id Data.Sequence.FingerTree Data.Traversable.StateL Data.Traversable.StateR Data.Sequence.State
Warning: Data.Functor.Apply: could not find link destinations for:
    Data.Traversable.Id Data.Sequence.Digit Data.Sequence.Node Data.Sequence.Elem Data.Sequence.Id Data.Sequence.FingerTree Data.Traversable.StateL Data.Traversable.StateR Data.Sequence.State
Documentation created: dist/doc/html/semigroupoids/index.html,
dist/doc/html/semigroupoids/semigroupoids.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/semigroupoids-4.0.2
Registering semigroupoids-4.0.2...
Installed semigroupoids-4.0.2
Configuring pointed-4.1...
Building pointed-4.1...
Preprocessing library pointed-4.1...
[1 of 2] Compiling Data.Copointed   ( src/Data/Copointed.hs, dist/build/Data/Copointed.o )
[2 of 2] Compiling Data.Pointed     ( src/Data/Pointed.hs, dist/build/Data/Pointed.o )
In-place registering pointed-4.1...
Running Haddock for pointed-4.1...
Running hscolour for pointed-4.1...
Preprocessing library pointed-4.1...
Preprocessing library pointed-4.1...
Haddock coverage:
  50% (  1 /  2) in 'Data.Copointed'
   0% (  0 /  2) in 'Data.Pointed'
Documentation created: dist/doc/html/pointed/index.html,
dist/doc/html/pointed/pointed.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/pointed-4.1
Registering pointed-4.1...
Installed pointed-4.1
Downloading logic-TPTP-0.4.1.0...
Configuring logic-TPTP-0.4.1.0...
Building logic-TPTP-0.4.1.0...
Preprocessing library logic-TPTP-0.4.1.0...
[ 1 of 11] Compiling Util             ( Util.hs, dist/build/Util.o )
[ 2 of 11] Compiling Codec.TPTP.QuickCheck ( Codec/TPTP/QuickCheck.hs, dist/build/Codec/TPTP/QuickCheck.o )
[ 3 of 11] Compiling Codec.TPTP.Base  ( Codec/TPTP/Base.hs, dist/build/Codec/TPTP/Base.o )

Codec/TPTP/Base.hs:301:30:
    Overlapping instances for Eq
                                (Identity (Formula0 (T Identity) (F Identity)))
      arising from the 'deriving' clause of a data type declaration
    Matching instances:
      instance Eq a => Eq (Identity a)
        -- Defined in `transformers-compat-0.3.3:Data.Functor.Classes'
      instance [overlap ok] Eq a => Eq (Identity a)
        -- Defined at Codec/TPTP/Base.hs:39:1
    When deriving the instance for (Eq GData)

Codec/TPTP/Base.hs:301:33:
    Overlapping instances for Ord
                                (Identity (Formula0 (T Identity) (F Identity)))
      arising from the 'deriving' clause of a data type declaration
    Matching instances:
      instance Ord a => Ord (Identity a)
        -- Defined in `transformers-compat-0.3.3:Data.Functor.Classes'
      instance [overlap ok] Ord a => Ord (Identity a)
        -- Defined at Codec/TPTP/Base.hs:40:1
    When deriving the instance for (Ord GData)

Codec/TPTP/Base.hs:301:37:
    Overlapping instances for Show
                                (Identity (Formula0 (T Identity) (F Identity)))
      arising from the 'deriving' clause of a data type declaration
    Matching instances:
      instance Show a => Show (Identity a)
        -- Defined in `transformers-compat-0.3.3:Data.Functor.Classes'
      instance [overlap ok] Show a => Show (Identity a)
        -- Defined at Codec/TPTP/Base.hs:41:1
    When deriving the instance for (Show GData)

Codec/TPTP/Base.hs:301:42:
    Overlapping instances for Read
                                (Identity (Formula0 (T Identity) (F Identity)))
      arising from the 'deriving' clause of a data type declaration
    Matching instances:
      instance Read a => Read (Identity a)
        -- Defined in `transformers-compat-0.3.3:Data.Functor.Classes'
      instance [overlap ok] Read a => Read (Identity a)
        -- Defined at Codec/TPTP/Base.hs:42:1
    When deriving the instance for (Read GData)
Failed to install logic-TPTP-0.4.1.0
cabal: Error: some packages failed to install:
logic-TPTP-0.4.1.0 failed during the building phase. The exception was:
ExitFailure 1

Test log

No test log was submitted for this report.