Build #1 for quickspec-0.9.6
| 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 |
Code Coverage
No Code Coverage was submitted for this report.
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
Test log
No test log was submitted for this report.