Resolving dependencies... 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 spoon-0.3.1... Building spoon-0.3.1... Preprocessing library spoon-0.3.1... [1 of 1] Compiling Control.Spoon ( Control/Spoon.hs, dist/build/Control/Spoon.o ) In-place registering spoon-0.3.1... Running Haddock for spoon-0.3.1... Running hscolour for spoon-0.3.1... Preprocessing library spoon-0.3.1... Preprocessing library spoon-0.3.1... Haddock coverage: 57% ( 4 / 7) in 'Control.Spoon' Documentation created: dist/doc/html/spoon/index.html, dist/doc/html/spoon/spoon.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/spoon-0.3.1 Registering spoon-0.3.1... Installed spoon-0.3.1 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-prolog3260.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 QuickCheck-2.7.6... Building QuickCheck-2.7.6... Preprocessing library QuickCheck-2.7.6... [ 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.6... Running Haddock for QuickCheck-2.7.6... Running hscolour for QuickCheck-2.7.6... Preprocessing library QuickCheck-2.7.6... Preprocessing library QuickCheck-2.7.6... 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.6 Registering QuickCheck-2.7.6... Installed QuickCheck-2.7.6 Downloading quickspec-0.9.6... Configuring quickspec-0.9.6... Building quickspec-0.9.6... Preprocessing library quickspec-0.9.6... [ 1 of 20] Compiling Test.QuickSpec.Reasoning.UnionFind ( src/Test/QuickSpec/Reasoning/UnionFind.hs, dist/build/Test/QuickSpec/Reasoning/UnionFind.o ) [ 2 of 20] Compiling Test.QuickSpec.Reasoning.CongruenceClosure ( src/Test/QuickSpec/Reasoning/CongruenceClosure.hs, dist/build/Test/QuickSpec/Reasoning/CongruenceClosure.o ) [ 3 of 20] Compiling Test.QuickSpec.Utils.Typeable ( src/Test/QuickSpec/Utils/Typeable.hs, dist/build/Test/QuickSpec/Utils/Typeable.o ) [ 4 of 20] Compiling Test.QuickSpec.Utils ( src/Test/QuickSpec/Utils.hs, dist/build/Test/QuickSpec/Utils.o ) [ 5 of 20] Compiling Test.QuickSpec.Utils.Typed ( src/Test/QuickSpec/Utils/Typed.hs, dist/build/Test/QuickSpec/Utils/Typed.o ) [ 6 of 20] Compiling Test.QuickSpec.Utils.TypeMap ( src/Test/QuickSpec/Utils/TypeMap.hs, dist/build/Test/QuickSpec/Utils/TypeMap.o ) [ 7 of 20] Compiling Test.QuickSpec.Utils.TypeRel ( src/Test/QuickSpec/Utils/TypeRel.hs, dist/build/Test/QuickSpec/Utils/TypeRel.o ) [ 8 of 20] Compiling Test.QuickSpec.Term ( src/Test/QuickSpec/Term.hs, dist/build/Test/QuickSpec/Term.o ) [ 9 of 20] Compiling Test.QuickSpec.TestTree ( src/Test/QuickSpec/TestTree.hs, dist/build/Test/QuickSpec/TestTree.o ) [10 of 20] Compiling Test.QuickSpec.Signature ( src/Test/QuickSpec/Signature.hs, dist/build/Test/QuickSpec/Signature.o ) [11 of 20] Compiling Test.QuickSpec.Equation ( src/Test/QuickSpec/Equation.hs, dist/build/Test/QuickSpec/Equation.o ) [12 of 20] Compiling Test.QuickSpec.Reasoning.NaiveEquationalReasoning ( src/Test/QuickSpec/Reasoning/NaiveEquationalReasoning.hs, dist/build/Test/QuickSpec/Reasoning/NaiveEquationalReasoning.o ) [13 of 20] Compiling Test.QuickSpec.Approximate ( src/Test/QuickSpec/Approximate.hs, dist/build/Test/QuickSpec/Approximate.o ) [14 of 20] Compiling Test.QuickSpec.Prelude ( src/Test/QuickSpec/Prelude.hs, dist/build/Test/QuickSpec/Prelude.o ) [15 of 20] Compiling Test.QuickSpec.Utils.MemoValuation ( src/Test/QuickSpec/Utils/MemoValuation.hs, dist/build/Test/QuickSpec/Utils/MemoValuation.o ) [16 of 20] Compiling Test.QuickSpec.Generate ( src/Test/QuickSpec/Generate.hs, dist/build/Test/QuickSpec/Generate.o ) [17 of 20] Compiling Test.QuickSpec.Reasoning.PartialEquationalReasoning ( src/Test/QuickSpec/Reasoning/PartialEquationalReasoning.hs, dist/build/Test/QuickSpec/Reasoning/PartialEquationalReasoning.o ) [18 of 20] Compiling Test.QuickSpec.TestTotality ( src/Test/QuickSpec/TestTotality.hs, dist/build/Test/QuickSpec/TestTotality.o ) [19 of 20] Compiling Test.QuickSpec.Main ( src/Test/QuickSpec/Main.hs, dist/build/Test/QuickSpec/Main.o ) [20 of 20] Compiling Test.QuickSpec ( src/Test/QuickSpec.hs, dist/build/Test/QuickSpec.o ) In-place registering quickspec-0.9.6... Running Haddock for quickspec-0.9.6... Running hscolour for quickspec-0.9.6... Preprocessing library quickspec-0.9.6... Preprocessing library quickspec-0.9.6... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: tf-random-0.5 Haddock coverage: 8% ( 1 / 12) in 'Test.QuickSpec.Reasoning.UnionFind' 6% ( 1 / 16) in 'Test.QuickSpec.Reasoning.CongruenceClosure' 29% ( 4 / 14) in 'Test.QuickSpec.Utils.Typeable' 10% ( 1 / 10) in 'Test.QuickSpec.Utils' 5% ( 1 / 21) in 'Test.QuickSpec.Utils.Typed' 11% ( 1 / 9) in 'Test.QuickSpec.Utils.TypeMap' 9% ( 1 / 11) in 'Test.QuickSpec.Utils.TypeRel' 3% ( 1 / 32) in 'Test.QuickSpec.Term' 8% ( 1 / 12) in 'Test.QuickSpec.TestTree' 37% ( 31 / 84) in 'Test.QuickSpec.Signature' 14% ( 1 / 7) in 'Test.QuickSpec.Equation' 5% ( 1 / 21) in 'Test.QuickSpec.Reasoning.NaiveEquationalReasoning' 0% ( 0 / 10) in 'Test.QuickSpec.Approximate' 80% ( 8 / 10) in 'Test.QuickSpec.Prelude' 50% ( 1 / 2) in 'Test.QuickSpec.Utils.MemoValuation' 9% ( 1 / 11) in 'Test.QuickSpec.Generate' 5% ( 1 / 19) in 'Test.QuickSpec.Reasoning.PartialEquationalReasoning' 25% ( 1 / 4) in 'Test.QuickSpec.TestTotality' 23% ( 3 / 13) in 'Test.QuickSpec.Main' 96% ( 48 / 50) in 'Test.QuickSpec' Warning: Test.QuickSpec.Utils.Typeable: could not find link destinations for: GHC.IO.Handle.Types.Handle__ Documentation created: dist/doc/html/quickspec/index.html, dist/doc/html/quickspec/quickspec.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/quickspec-0.9.6 Registering quickspec-0.9.6... Installed quickspec-0.9.6