Build #1 for quickspec-0.9.6

[all reports]

Package quickspec-0.9.6
Install InstallOk
Docs Ok
Tests NotTried
Time submitted unknown
Compiler ghc-7.6.3
OS linux
Arch x86_64
Dependencies transformers-0.3.0.0, spoon-0.3.1, random-1.0.1.1, ghc-prim-0.3.0.0, containers-0.5.0.0, base-4.6.0.1, array-0.4.0.1, QuickCheck-2.7.6
Flags none

Build log

[view raw]

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