Resolving dependencies... Configuring QuickCheck-2.6... Building QuickCheck-2.6... Preprocessing library QuickCheck-2.6... [ 1 of 13] Compiling Test.QuickCheck.Exception ( Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o ) [ 2 of 13] Compiling Test.QuickCheck.Text ( Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o ) [ 3 of 13] Compiling Test.QuickCheck.State ( Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o ) [ 4 of 13] Compiling Test.QuickCheck.Gen ( Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o ) [ 5 of 13] Compiling Test.QuickCheck.Arbitrary ( Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o ) [ 6 of 13] Compiling Test.QuickCheck.Poly ( Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o ) [ 7 of 13] Compiling Test.QuickCheck.Function ( Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o ) [ 8 of 13] Compiling Test.QuickCheck.Modifiers ( Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o ) [ 9 of 13] Compiling Test.QuickCheck.Property ( Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o ) [10 of 13] Compiling Test.QuickCheck.Test ( Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o ) [11 of 13] Compiling Test.QuickCheck.All ( Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o ) [12 of 13] Compiling Test.QuickCheck.Monadic ( Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o ) [13 of 13] Compiling Test.QuickCheck ( Test/QuickCheck.hs, dist/build/Test/QuickCheck.o ) In-place registering QuickCheck-2.6... Running Haddock for QuickCheck-2.6... Running hscolour for QuickCheck-2.6... Preprocessing library QuickCheck-2.6... Preprocessing library QuickCheck-2.6... Haddock coverage: 12% ( 1 / 8) in 'Test.QuickCheck.Exception' 0% ( 0 / 18) in 'Test.QuickCheck.Text' 50% ( 1 / 2) in 'Test.QuickCheck.State' 95% ( 20 / 21) in 'Test.QuickCheck.Gen' 92% ( 23 / 25) in 'Test.QuickCheck.Arbitrary' 14% ( 1 / 7) in 'Test.QuickCheck.Poly' 14% ( 1 / 7) in 'Test.QuickCheck.Function' 92% ( 12 / 13) in 'Test.QuickCheck.Modifiers' 59% ( 34 / 58) in 'Test.QuickCheck.Property' 48% ( 13 / 27) in 'Test.QuickCheck.Test' 100% ( 9 / 9) in 'Test.QuickCheck.All' 7% ( 1 / 15) in 'Test.QuickCheck.Monadic' 93% ( 95 /102) in 'Test.QuickCheck' Warning: Test.QuickCheck.Text: could not find link destinations for: Test.QuickCheck.Text.Output Warning: Test.QuickCheck.Property: could not find link destinations for: Test.QuickCheck.Exception.AnException Documentation created: dist/doc/html/QuickCheck/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/QuickCheck-2.6 Registering QuickCheck-2.6... Installed QuickCheck-2.6 Downloading spoon-0.3.1... 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 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 Downloading quickspec-0.9.1... Configuring quickspec-0.9.1... Building quickspec-0.9.1... Preprocessing library quickspec-0.9.1... [ 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.Typed ( src/Test/QuickSpec/Utils/Typed.hs, dist/build/Test/QuickSpec/Utils/Typed.o ) [ 5 of 20] Compiling Test.QuickSpec.Utils.TypeMap ( src/Test/QuickSpec/Utils/TypeMap.hs, dist/build/Test/QuickSpec/Utils/TypeMap.o ) [ 6 of 20] Compiling Test.QuickSpec.Utils ( src/Test/QuickSpec/Utils.hs, dist/build/Test/QuickSpec/Utils.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.1... Running Haddock for quickspec-0.9.1... Running hscolour for quickspec-0.9.1... Preprocessing library quickspec-0.9.1... Preprocessing library quickspec-0.9.1... dist/build/tmp-28309/src/Test/QuickSpec/Main.hs:6:0: fatal error: errors.h: No such file or directory compilation terminated. Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/quickspec-0.9.1 Registering quickspec-0.9.1... Installed quickspec-0.9.1