Build #1 for cryptol-2.2.2
| Package | cryptol-2.2.2 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-04-10 22:28:17.233598 UTC |
|---|---|
| Compiler | ghc-7.8.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | utf8-string-1, transformers-0.3.0.0, tf-random-0.5, text-1.2.0.4, template-haskell-2.9.0.0, syb-0.4.4, smtLib-1.0.7, sbv-4.2, random-1.1, process-1.2.0.0, pretty-1.1.1.1, presburger-1.3.1, old-time-1.1.0.2, monadLib-3.7.3, heredoc-0.2.0.0, haskeline-0.7.1.2, gitrev-1.0.0, filepath-1.3.0.2, directory-1.2.1.0, deepseq-1.3.0.2, containers-0.5.5.1, base-4.7.0.1, async-2.0.2, array-0.5.0.0, ansi-terminal-0.6.2.1, QuickCheck-2.8.1, GraphSCC-1.0.4 |
| Flags | -static self-contained relocatable |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring GraphSCC-1.0.4...
Building GraphSCC-1.0.4...
Preprocessing library GraphSCC-1.0.4...
[1 of 2] Compiling Data.Graph.ArraySCC ( Data/Graph/ArraySCC.hs, dist/build/Data/Graph/ArraySCC.o )
[2 of 2] Compiling Data.Graph.SCC ( Data/Graph/SCC.hs, dist/build/Data/Graph/SCC.o )
In-place registering GraphSCC-1.0.4...
Running Haddock for GraphSCC-1.0.4...
Running hscolour for GraphSCC-1.0.4...
Preprocessing library GraphSCC-1.0.4...
Preprocessing library GraphSCC-1.0.4...
Haddock coverage:
100% ( 2 / 2) in 'Data.Graph.ArraySCC'
57% ( 4 / 7) in 'Data.Graph.SCC'
Documentation created: dist/doc/html/GraphSCC/index.html,
dist/doc/html/GraphSCC/GraphSCC.txt
Creating package registration file: /tmp/pkgConf-GraphSCC-1.018779.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/GraphSCC-1.0.4
Registering GraphSCC-1.0.4...
Installed GraphSCC-1.0.4
Configuring HUnit-1.2.5.2...
Building HUnit-1.2.5.2...
Preprocessing library HUnit-1.2.5.2...
[1 of 5] Compiling Test.HUnit.Terminal ( Test/HUnit/Terminal.hs, dist/build/Test/HUnit/Terminal.o )
[2 of 5] Compiling Test.HUnit.Lang ( Test/HUnit/Lang.hs, dist/build/Test/HUnit/Lang.o )
[3 of 5] Compiling Test.HUnit.Base ( Test/HUnit/Base.hs, dist/build/Test/HUnit/Base.o )
[4 of 5] Compiling Test.HUnit.Text ( Test/HUnit/Text.hs, dist/build/Test/HUnit/Text.o )
[5 of 5] Compiling Test.HUnit ( Test/HUnit.hs, dist/build/Test/HUnit.o )
In-place registering HUnit-1.2.5.2...
Running Haddock for HUnit-1.2.5.2...
Running hscolour for HUnit-1.2.5.2...
Preprocessing library HUnit-1.2.5.2...
Preprocessing library HUnit-1.2.5.2...
Haddock coverage:
100% ( 2 / 2) in 'Test.HUnit.Terminal'
86% ( 6 / 7) in 'Test.HUnit.Lang'
100% ( 33 / 33) in 'Test.HUnit.Base'
100% ( 8 / 8) in 'Test.HUnit.Text'
100% ( 3 / 3) in 'Test.HUnit'
Documentation created: dist/doc/html/HUnit/index.html,
dist/doc/html/HUnit/HUnit.txt
Creating package registration file: /tmp/pkgConf-HUnit-1.2.518779.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/HUnit-1.2.5.2
Registering HUnit-1.2.5.2...
Installed HUnit-1.2.5.2
Configuring ansi-terminal-0.6.2.1...
Building ansi-terminal-0.6.2.1...
Preprocessing library ansi-terminal-0.6.2.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.2.1...
Running Haddock for ansi-terminal-0.6.2.1...
Running hscolour for ansi-terminal-0.6.2.1...
Preprocessing library ansi-terminal-0.6.2.1...
Preprocessing library ansi-terminal-0.6.2.1...
Haddock coverage:
88% ( 7 / 8) in 'System.Console.ANSI.Common'
38% ( 30 / 79) in 'System.Console.ANSI.Unix'
39% ( 31 / 79) in 'System.Console.ANSI'
Documentation created: dist/doc/html/ansi-terminal/index.html,
dist/doc/html/ansi-terminal/ansi-terminal.txt
Creating package registration file: /tmp/pkgConf-ansi-terminal-0.6.218779.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/ansi-terminal-0.6.2.1
Registering ansi-terminal-0.6.2.1...
Installed ansi-terminal-0.6.2.1
Configuring gitrev-1.0.0...
Building gitrev-1.0.0...
Preprocessing library gitrev-1.0.0...
[1 of 1] Compiling Development.GitRev ( src/Development/GitRev.hs, dist/build/Development/GitRev.o )
In-place registering gitrev-1.0.0...
Running Haddock for gitrev-1.0.0...
Running hscolour for gitrev-1.0.0...
Preprocessing library gitrev-1.0.0...
Preprocessing library gitrev-1.0.0...
Haddock coverage:
100% ( 4 / 4) in 'Development.GitRev'
Documentation created: dist/doc/html/gitrev/index.html,
dist/doc/html/gitrev/gitrev.txt
Creating package registration file: /tmp/pkgConf-gitrev-1.018779.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/gitrev-1.0.0
Registering gitrev-1.0.0...
Installed gitrev-1.0.0
Configuring heredoc-0.2.0.0...
Building heredoc-0.2.0.0...
Preprocessing library heredoc-0.2.0.0...
[1 of 1] Compiling Text.Heredoc ( src/Text/Heredoc.hs, dist/build/Text/Heredoc.o )
In-place registering heredoc-0.2.0.0...
Running Haddock for heredoc-0.2.0.0...
Running hscolour for heredoc-0.2.0.0...
Preprocessing library heredoc-0.2.0.0...
Preprocessing library heredoc-0.2.0.0...
Haddock coverage:
75% ( 3 / 4) in 'Text.Heredoc'
Documentation created: dist/doc/html/heredoc/index.html,
dist/doc/html/heredoc/heredoc.txt
Creating package registration file: /tmp/pkgConf-heredoc-0.2.018779.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/heredoc-0.2.0.0
Registering heredoc-0.2.0.0...
Installed heredoc-0.2.0.0
Configuring monadLib-3.7.3...
Building monadLib-3.7.3...
Preprocessing library monadLib-3.7.3...
[1 of 3] Compiling MonadLib ( src/MonadLib.hs, dist/build/MonadLib.o )
[2 of 3] Compiling MonadLib.Derive ( src/MonadLib/Derive.hs, dist/build/MonadLib/Derive.o )
[3 of 3] Compiling MonadLib.Monads ( src/MonadLib/Monads.hs, dist/build/MonadLib/Monads.o )
In-place registering monadLib-3.7.3...
Running Haddock for monadLib-3.7.3...
Running hscolour for monadLib-3.7.3...
Preprocessing library monadLib-3.7.3...
Preprocessing library monadLib-3.7.3...
Haddock coverage:
97% ( 62 / 64) in 'MonadLib'
92% ( 24 / 26) in 'MonadLib.Derive'
17% ( 2 / 12) in 'MonadLib.Monads'
Documentation created: dist/doc/html/monadLib/index.html,
dist/doc/html/monadLib/monadLib.txt
Creating package registration file: /tmp/pkgConf-monadLib-3.718779.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/monadLib-3.7.3
Registering monadLib-3.7.3...
Installed monadLib-3.7.3
Configuring mtl-2.1.3.1...
Building mtl-2.1.3.1...
Preprocessing library mtl-2.1.3.1...
[ 1 of 21] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 21] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 21] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 21] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 21] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 21] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 21] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 21] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 21] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 21] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[11 of 21] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[12 of 21] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[13 of 21] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[14 of 21] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[15 of 21] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[16 of 21] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[17 of 21] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[18 of 21] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[19 of 21] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[20 of 21] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[21 of 21] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
In-place registering mtl-2.1.3.1...
Running Haddock for mtl-2.1.3.1...
Running hscolour for mtl-2.1.3.1...
Preprocessing library mtl-2.1.3.1...
Preprocessing library mtl-2.1.3.1...
Haddock coverage:
75% ( 3 / 4) in 'Control.Monad.Writer.Class'
100% ( 4 / 4) in 'Control.Monad.State.Class'
100% ( 3 / 3) in 'Control.Monad.Reader.Class'
80% ( 4 / 5) in 'Control.Monad.RWS.Class'
100% ( 4 / 4) in 'Control.Monad.Identity'
100% ( 3 / 3) in 'Control.Monad.Error.Class'
50% ( 1 / 2) in 'Control.Monad.Cont.Class'
100% ( 3 / 3) in 'Control.Monad.Trans'
100% ( 14 / 14) in 'Control.Monad.Error'
100% ( 5 / 5) in 'Control.Monad.List'
100% ( 21 / 21) in 'Control.Monad.RWS.Lazy'
100% ( 2 / 2) in 'Control.Monad.RWS'
100% ( 22 / 22) in 'Control.Monad.Reader'
100% ( 21 / 21) in 'Control.Monad.RWS.Strict'
100% ( 23 / 23) in 'Control.Monad.State.Lazy'
100% ( 2 / 2) in 'Control.Monad.State'
100% ( 23 / 23) in 'Control.Monad.State.Strict'
94% ( 17 / 18) in 'Control.Monad.Writer.Lazy'
100% ( 2 / 2) in 'Control.Monad.Writer'
94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
95% ( 20 / 21) in 'Control.Monad.Cont'
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.1.318779.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/mtl-2.1.3.1
Registering mtl-2.1.3.1...
Installed mtl-2.1.3.1
Configuring presburger-1.3.1...
Building presburger-1.3.1...
Preprocessing library presburger-1.3.1...
[1 of 1] Compiling Data.Integer.SAT ( src/Data/Integer/SAT.hs, dist/build/Data/Integer/SAT.o )
src/Data/Integer/SAT.hs:44:1: Warning:
The import of ‘Debug.Trace’ is redundant
except perhaps to import instances from ‘Debug.Trace’
To import instances alone, use: import Debug.Trace()
In-place registering presburger-1.3.1...
Running Haddock for presburger-1.3.1...
Running hscolour for presburger-1.3.1...
Preprocessing library presburger-1.3.1...
Preprocessing library presburger-1.3.1...
src/Data/Integer/SAT.hs:44:1: Warning:
The import of ‘Debug.Trace’ is redundant
except perhaps to import instances from ‘Debug.Trace’
To import instances alone, use: import Debug.Trace()
Haddock coverage:
46% ( 13 / 28) in 'Data.Integer.SAT'
Warning: Data.Integer.SAT: could not find link destinations for:
Data.Integer.SAT.Solutions Data.Integer.SAT.Inerts Data.Integer.SAT.Term
Documentation created: dist/doc/html/presburger/index.html,
dist/doc/html/presburger/presburger.txt
Creating package registration file: /tmp/pkgConf-presburger-1.318779.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/presburger-1.3.1
Registering presburger-1.3.1...
Installed presburger-1.3.1
Configuring primitive-0.6...
Building primitive-0.6...
Preprocessing library primitive-0.6...
[ 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 )
[ 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.6...
Running Haddock for primitive-0.6...
Running hscolour for primitive-0.6...
Preprocessing library primitive-0.6...
Preprocessing library primitive-0.6...
Haddock coverage:
100% ( 3 / 3) in 'Data.Primitive.Internal.Compat'
3% ( 1 / 35) in 'Data.Primitive.MachDeps'
3% ( 1 / 29) in 'Data.Primitive.Internal.Operations'
75% ( 12 / 16) 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
Creating package registration file: /tmp/pkgConf-primitive-018779.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/primitive-0.6
Registering primitive-0.6...
Installed primitive-0.6
Configuring random-1.1...
Building random-1.1...
Preprocessing library random-1.1...
[1 of 1] Compiling System.Random ( System/Random.hs, dist/build/System/Random.o )
In-place registering random-1.1...
Running Haddock for random-1.1...
Running hscolour for random-1.1...
Preprocessing library random-1.1...
Preprocessing library random-1.1...
Haddock coverage:
Cannot find documentation for: $intro
100% ( 16 / 16) in 'System.Random'
Documentation created: dist/doc/html/random/index.html,
dist/doc/html/random/random.txt
Creating package registration file: /tmp/pkgConf-random-118779.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/random-1.1
Registering random-1.1...
Installed random-1.1
Configuring smtLib-1.0.7...
Building smtLib-1.0.7...
Preprocessing library smtLib-1.0.7...
[ 1 of 13] Compiling SMTLib2.AST ( src/SMTLib2/AST.hs, dist/build/SMTLib2/AST.o )
[ 2 of 13] Compiling SMTLib2.PP ( src/SMTLib2/PP.hs, dist/build/SMTLib2/PP.o )
[ 3 of 13] Compiling SMTLib2.Core ( src/SMTLib2/Core.hs, dist/build/SMTLib2/Core.o )
[ 4 of 13] Compiling SMTLib2.BitVector ( src/SMTLib2/BitVector.hs, dist/build/SMTLib2/BitVector.o )
[ 5 of 13] Compiling SMTLib2.Array ( src/SMTLib2/Array.hs, dist/build/SMTLib2/Array.o )
[ 6 of 13] Compiling SMTLib2.Int ( src/SMTLib2/Int.hs, dist/build/SMTLib2/Int.o )
[ 7 of 13] Compiling SMTLib2 ( src/SMTLib2.hs, dist/build/SMTLib2.o )
[ 8 of 13] Compiling SMTLib1.AST ( src/SMTLib1/AST.hs, dist/build/SMTLib1/AST.o )
[ 9 of 13] Compiling SMTLib1.PP ( src/SMTLib1/PP.hs, dist/build/SMTLib1/PP.o )
[10 of 13] Compiling SMTLib2.Compat1 ( src/SMTLib2/Compat1.hs, dist/build/SMTLib2/Compat1.o )
[11 of 13] Compiling SMTLib1 ( src/SMTLib1.hs, dist/build/SMTLib1.o )
[12 of 13] Compiling SMTLib1.QF_BV ( src/SMTLib1/QF_BV.hs, dist/build/SMTLib1/QF_BV.o )
[13 of 13] Compiling SMTLib1.QF_AUFBV ( src/SMTLib1/QF_AUFBV.hs, dist/build/SMTLib1/QF_AUFBV.o )
In-place registering smtLib-1.0.7...
Running Haddock for smtLib-1.0.7...
Running hscolour for smtLib-1.0.7...
Preprocessing library smtLib-1.0.7...
Preprocessing library smtLib-1.0.7...
Haddock coverage:
0% ( 0 / 22) in 'SMTLib2.AST'
0% ( 0 / 18) in 'SMTLib2.PP'
0% ( 0 / 12) in 'SMTLib2.Core'
0% ( 0 / 38) in 'SMTLib2.BitVector'
0% ( 0 / 4) in 'SMTLib2.Array'
0% ( 0 / 14) in 'SMTLib2.Int'
0% ( 0 / 17) in 'SMTLib2'
6% ( 2 / 31) in 'SMTLib1.AST'
0% ( 0 / 16) in 'SMTLib1.PP'
0% ( 0 / 18) in 'SMTLib2.Compat1'
7% ( 2 / 27) in 'SMTLib1'
Warning: smtLib-1.0.7:SMTLib1.QF_BV: Could not find documentation for exported module: X
8% ( 3 / 40) in 'SMTLib1.QF_BV'
Warning: smtLib-1.0.7:SMTLib1.QF_AUFBV: Could not find documentation for exported module: X
75% ( 3 / 4) in 'SMTLib1.QF_AUFBV'
Documentation created: dist/doc/html/smtLib/index.html,
dist/doc/html/smtLib/smtLib.txt
Creating package registration file: /tmp/pkgConf-smtLib-1.018779.7
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/smtLib-1.0.7
Registering smtLib-1.0.7...
Installed smtLib-1.0.7
Configuring stm-2.4.4...
Building stm-2.4.4...
Preprocessing library stm-2.4.4...
[ 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.4...
Running Haddock for stm-2.4.4...
Running hscolour for stm-2.4.4...
Preprocessing library stm-2.4.4...
Preprocessing library stm-2.4.4...
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% ( 16 / 16) 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
Creating package registration file: /tmp/pkgConf-stm-2.418779.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/stm-2.4.4
Registering stm-2.4.4...
Installed stm-2.4.4
Configuring syb-0.4.4...
Building syb-0.4.4...
Preprocessing library syb-0.4.4...
[ 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.4...
Running Haddock for syb-0.4.4...
Running hscolour for syb-0.4.4...
Preprocessing library syb-0.4.4...
Preprocessing library syb-0.4.4...
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
Creating package registration file: /tmp/pkgConf-syb-0.418779.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/syb-0.4.4
Registering syb-0.4.4...
Installed syb-0.4.4
Configuring text-1.2.0.4...
Building text-1.2.0.4...
Preprocessing library text-1.2.0.4...
[ 1 of 43] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o )
[ 2 of 43] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o )
[ 3 of 43] Compiling Data.Text.Internal.Builder.RealFloat.Functions ( Data/Text/Internal/Builder/RealFloat/Functions.hs, dist/build/Data/Text/Internal/Builder/RealFloat/Functions.o )
[ 4 of 43] Compiling Data.Text.Internal.Builder.Int.Digits ( Data/Text/Internal/Builder/Int/Digits.hs, dist/build/Data/Text/Internal/Builder/Int/Digits.o )
[ 5 of 43] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o )
[ 6 of 43] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o )
[ 7 of 43] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o )
[ 8 of 43] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o )
[ 9 of 43] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o )
[10 of 43] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o )
[11 of 43] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o )
[12 of 43] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o )
[13 of 43] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o )
[14 of 43] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o )
[15 of 43] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o )
[16 of 43] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o )
[17 of 43] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o )
[18 of 43] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o )
[19 of 43] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o )
[20 of 43] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o )
[21 of 43] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o )
[22 of 43] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o )
[23 of 43] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o )
[24 of 43] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o )
[25 of 43] Compiling Data.Text ( Data/Text.hs, dist/build/Data/Text.o )
[26 of 43] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o )
[27 of 43] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o )
[28 of 43] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o )
[29 of 43] Compiling Data.Text.IO ( Data/Text/IO.hs, dist/build/Data/Text/IO.o )
[30 of 43] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o )
[31 of 43] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o )
[32 of 43] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o )
[33 of 43] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o )
[34 of 43] Compiling Data.Text.Lazy ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o )
[35 of 43] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o )
[36 of 43] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o )
[37 of 43] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o )
[38 of 43] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o )
[39 of 43] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o )
[40 of 43] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o )
[41 of 43] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o )
[42 of 43] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o )
[43 of 43] Compiling Data.Text.Read ( Data/Text/Read.hs, dist/build/Data/Text/Read.o )
In-place registering text-1.2.0.4...
Running Haddock for text-1.2.0.4...
Running hscolour for text-1.2.0.4...
Preprocessing library text-1.2.0.4...
Preprocessing library text-1.2.0.4...
Haddock coverage:
14% ( 1 / 7) in 'Data.Text.Internal.Read'
50% ( 1 / 2) in 'Data.Text.Internal.Encoding.Utf32'
50% ( 1 / 2) in 'Data.Text.Internal.Builder.RealFloat.Functions'
0% ( 0 / 2) in 'Data.Text.Internal.Builder.Int.Digits'
100% ( 12 / 12) in 'Data.Text.Encoding.Error'
100% ( 2 / 2) in 'Data.Text.Internal.Unsafe.Shift'
25% ( 1 / 4) in 'Data.Text.Internal.Encoding.Utf16'
100% ( 2 / 2) in 'Data.Text.Internal.Functions'
100% ( 3 / 3) in 'Data.Text.Internal.Unsafe'
100% ( 16 / 16) in 'Data.Text.Array'
33% ( 2 / 6) in 'Data.Text.Internal.Unsafe.Char'
95% ( 19 / 20) in 'Data.Text.Internal'
38% ( 5 / 13) in 'Data.Text.Internal.Fusion.Size'
50% ( 5 / 10) in 'Data.Text.Internal.Fusion.Types'
0% ( 0 / 5) in 'Data.Text.Internal.Fusion.CaseMapping'
89% ( 64 / 72) in 'Data.Text.Internal.Fusion.Common'
93% ( 13 / 14) in 'Data.Text.Unsafe'
33% ( 1 / 3) in 'Data.Text.Internal.Private'
86% ( 19 / 22) in 'Data.Text.Internal.Fusion'
33% ( 2 / 6) in 'Data.Text.Internal.Encoding.Fusion.Common'
17% ( 2 / 12) in 'Data.Text.Internal.Encoding.Utf8'
91% ( 10 / 11) in 'Data.Text.Internal.Encoding.Fusion'
100% ( 10 / 10) in 'Data.Text.Internal.Lazy.Encoding.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Search'
100% (125 /125) in 'Data.Text'
100% ( 33 / 33) in 'Data.Text.Encoding'
100% ( 18 / 18) in 'Data.Text.Foreign'
100% ( 3 / 3) in 'Data.Text.Internal.IO'
100% ( 20 / 20) in 'Data.Text.IO'
93% ( 14 / 15) in 'Data.Text.Internal.Lazy'
100% ( 8 / 8) in 'Data.Text.Internal.Lazy.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Lazy.Search'
100% ( 2 / 2) in 'Data.Text.Lazy.Internal'
99% (124 /125) in 'Data.Text.Lazy'
94% ( 16 / 17) in 'Data.Text.Internal.Builder'
100% ( 12 / 12) in 'Data.Text.Lazy.Builder'
100% ( 3 / 3) in 'Data.Text.Internal.Builder.Functions'
0% ( 0 / 3) in 'Data.Text.Lazy.Builder.Int'
100% ( 19 / 19) in 'Data.Text.Lazy.IO'
100% ( 7 / 7) in 'Data.Text.Lazy.Read'
75% ( 3 / 4) in 'Data.Text.Lazy.Builder.RealFloat'
89% ( 24 / 27) in 'Data.Text.Lazy.Encoding'
100% ( 7 / 7) in 'Data.Text.Read'
Warning: Data.Text.Internal.Fusion.Common: could not find link destinations for:
Data.Text.Internal.Fusion.Common.findIndicesI
Warning: Data.Text.Unsafe: could not find link destinations for:
GHC.IO.bracket
Warning: Data.Text: could not find link destinations for:
Data.Text.replicateChar Data.Text.countChar
Warning: Data.Text.Internal.IO: could not find link destinations for:
GHC.IO.Handle.Types.Handle__
Warning: Data.Text.Lazy: could not find link destinations for:
Data.Text.Lazy.replicateChar Data.Text.Lazy.dropWords Data.Text.Lazy.splitAtWord Data.Text.Lazy.countChar
Warning: Data.Text.Internal.Builder: could not find link destinations for:
Data.Text.Internal.Builder.empty Data.Text.Internal.Builder.append
Warning: Data.Text.Lazy.Builder.RealFloat: could not find link destinations for:
Data.Text.Lazy.Builder.RealFloat.floatToDigits
Documentation created: dist/doc/html/text/index.html,
dist/doc/html/text/text.txt
Creating package registration file: /tmp/pkgConf-text-1.2.018779.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/text-1.2.0.4
Registering text-1.2.0.4...
Installed text-1.2.0.4
Configuring utf8-string-1...
Building utf8-string-1...
Preprocessing library utf8-string-1...
[1 of 5] Compiling Codec.Binary.UTF8.String ( Codec/Binary/UTF8/String.hs, dist/build/Codec/Binary/UTF8/String.o )
[2 of 5] Compiling Codec.Binary.UTF8.Generic ( Codec/Binary/UTF8/Generic.hs, dist/build/Codec/Binary/UTF8/Generic.o )
[3 of 5] Compiling Data.String.UTF8 ( Data/String/UTF8.hs, dist/build/Data/String/UTF8.o )
[4 of 5] Compiling Data.ByteString.UTF8 ( Data/ByteString/UTF8.hs, dist/build/Data/ByteString/UTF8.o )
[5 of 5] Compiling Data.ByteString.Lazy.UTF8 ( Data/ByteString/Lazy/UTF8.hs, dist/build/Data/ByteString/Lazy/UTF8.o )
In-place registering utf8-string-1...
Running Haddock for utf8-string-1...
Running hscolour for utf8-string-1...
Preprocessing library utf8-string-1...
Preprocessing library utf8-string-1...
Haddock coverage:
100% ( 8 / 8) in 'Codec.Binary.UTF8.String'
94% ( 16 / 17) in 'Codec.Binary.UTF8.Generic'
89% ( 24 / 27) in 'Data.String.UTF8'
100% ( 17 / 17) in 'Data.ByteString.UTF8'
100% ( 17 / 17) in 'Data.ByteString.Lazy.UTF8'
Documentation created: dist/doc/html/utf8-string/index.html,
dist/doc/html/utf8-string/utf8-string.txt
Creating package registration file: /tmp/pkgConf-utf8-string-118779
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/utf8-string-1
Registering utf8-string-1...
Installed utf8-string-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 )
src/System/Random/TF/Init.hs:94:5: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
[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...
src/System/Random/TF/Init.hs:94:5: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Haddock coverage:
100% ( 4 / 4) in 'System.Random.TF.Gen'
83% ( 5 / 6) in 'System.Random.TF.Init'
33% ( 1 / 3) in 'System.Random.TF.Instances'
100% ( 3 / 3) in 'System.Random.TF'
Documentation created: dist/doc/html/tf-random/index.html,
dist/doc/html/tf-random/tf-random.txt
Creating package registration file: /tmp/pkgConf-tf-random-018779.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/tf-random-0.5
Registering tf-random-0.5...
Installed tf-random-0.5
Configuring async-2.0.2...
Building async-2.0.2...
Preprocessing library async-2.0.2...
[1 of 1] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o )
In-place registering async-2.0.2...
Running Haddock for async-2.0.2...
Running hscolour for async-2.0.2...
Preprocessing library async-2.0.2...
Preprocessing library async-2.0.2...
Haddock coverage:
100% ( 46 / 46) in 'Control.Concurrent.Async'
Documentation created: dist/doc/html/async/index.html,
dist/doc/html/async/async.txt
Creating package registration file: /tmp/pkgConf-async-2.018779.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/async-2.0.2
Registering async-2.0.2...
Installed async-2.0.2
Configuring QuickCheck-2.8.1...
Building QuickCheck-2.8.1...
Preprocessing library QuickCheck-2.8.1...
[ 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.8.1...
Running Haddock for QuickCheck-2.8.1...
Running hscolour for QuickCheck-2.8.1...
Preprocessing library QuickCheck-2.8.1...
Preprocessing library QuickCheck-2.8.1...
Haddock coverage:
10% ( 2 / 20) in 'Test.QuickCheck.Random'
33% ( 3 / 9) in 'Test.QuickCheck.Exception'
6% ( 1 / 18) in 'Test.QuickCheck.Text'
100% ( 2 / 2) in 'Test.QuickCheck.State'
89% ( 25 / 28) in 'Test.QuickCheck.Gen'
80% ( 4 / 5) in 'Test.QuickCheck.Gen.Unsafe'
100% ( 32 / 32) in 'Test.QuickCheck.Arbitrary'
93% ( 14 / 15) in 'Test.QuickCheck.Modifiers'
14% ( 1 / 7) in 'Test.QuickCheck.Poly'
38% ( 3 / 8) in 'Test.QuickCheck.Function'
62% ( 44 / 71) in 'Test.QuickCheck.Property'
50% ( 14 / 28) in 'Test.QuickCheck.Test'
100% ( 9 / 9) in 'Test.QuickCheck.All'
78% ( 14 / 18) in 'Test.QuickCheck.Monadic'
99% (127 /128) in 'Test.QuickCheck'
Warning: Test.QuickCheck.Arbitrary: could not find link destinations for:
Test.QuickCheck.Arbitrary.RecursivelyShrink Test.QuickCheck.Arbitrary.GSubterms Test.QuickCheck.Arbitrary.GCoArbitrary Test.QuickCheck.Arbitrary.gSubterms Test.QuickCheck.Arbitrary.gSubtermsIncl
Warning: Test.QuickCheck: could not find link destinations for:
Test.QuickCheck.Arbitrary.GCoArbitrary Test.QuickCheck.Arbitrary.RecursivelyShrink Test.QuickCheck.Arbitrary.GSubterms
Documentation created: dist/doc/html/QuickCheck/index.html,
dist/doc/html/QuickCheck/QuickCheck.txt
Creating package registration file: /tmp/pkgConf-QuickCheck-2.818779.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/QuickCheck-2.8.1
Registering QuickCheck-2.8.1...
Installed QuickCheck-2.8.1
Configuring sbv-4.2...
Building sbv-4.2...
Preprocessing library sbv-4.2...
[ 1 of 71] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist/build/Data/SBV/Utils/TDiff.o )
[ 2 of 71] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist/build/Data/SBV/Utils/Lib.o )
[ 3 of 71] Compiling Data.SBV.Utils.Boolean ( Data/SBV/Utils/Boolean.hs, dist/build/Data/SBV/Utils/Boolean.o )
[ 4 of 71] Compiling Data.SBV.BitVectors.AlgReals ( Data/SBV/BitVectors/AlgReals.hs, dist/build/Data/SBV/BitVectors/AlgReals.o )
[ 5 of 71] Compiling Data.SBV.BitVectors.Data ( Data/SBV/BitVectors/Data.hs, dist/build/Data/SBV/BitVectors/Data.o )
[ 6 of 71] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist/build/Data/SBV/Compilers/CodeGen.o )
[ 7 of 71] Compiling Data.SBV.Tools.ExpectedValue ( Data/SBV/Tools/ExpectedValue.hs, dist/build/Data/SBV/Tools/ExpectedValue.o )
[ 8 of 71] Compiling Data.SBV.SMT.SMTLib1 ( Data/SBV/SMT/SMTLib1.hs, dist/build/Data/SBV/SMT/SMTLib1.o )
[ 9 of 71] Compiling Data.SBV.BitVectors.PrettyNum ( Data/SBV/BitVectors/PrettyNum.hs, dist/build/Data/SBV/BitVectors/PrettyNum.o )
[10 of 71] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, dist/build/Data/SBV/Compilers/C.o )
[11 of 71] Compiling Data.SBV.SMT.SMTLib2 ( Data/SBV/SMT/SMTLib2.hs, dist/build/Data/SBV/SMT/SMTLib2.o )
[12 of 71] Compiling Data.SBV.Tools.GenTest ( Data/SBV/Tools/GenTest.hs, dist/build/Data/SBV/Tools/GenTest.o )
[13 of 71] Compiling Data.SBV.SMT.SMT ( Data/SBV/SMT/SMT.hs, dist/build/Data/SBV/SMT/SMT.o )
[14 of 71] Compiling Data.SBV.Provers.SExpr ( Data/SBV/Provers/SExpr.hs, dist/build/Data/SBV/Provers/SExpr.o )
[15 of 71] Compiling Data.SBV.SMT.SMTLib ( Data/SBV/SMT/SMTLib.hs, dist/build/Data/SBV/SMT/SMTLib.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package syb-0.4.4 ... linking ... done.
Loading package array-0.5.0.0 ... linking ... done.
Loading package deepseq-1.3.0.2 ... linking ... done.
Loading package filepath-1.3.0.2 ... linking ... done.
Loading package old-locale-1.0.0.6 ... linking ... done.
Loading package time-1.4.2 ... linking ... done.
Loading package bytestring-0.10.4.0 ... linking ... done.
Loading package unix-2.7.0.1 ... linking ... done.
Loading package directory-1.2.1.0 ... linking ... done.
Loading package process-1.2.0.0 ... linking ... done.
Loading package old-time-1.1.0.2 ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package mtl-2.1.3.1 ... linking ... done.
Loading package stm-2.4.4 ... linking ... done.
Loading package async-2.0.2 ... linking ... done.
Loading package containers-0.5.5.1 ... linking ... done.
Loading package random-1.1 ... linking ... done.
Loading package pretty-1.1.1.1 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package primitive-0.6 ... linking ... done.
Loading package tf-random-0.5 ... linking ... done.
Loading package QuickCheck-2.8.1 ... linking ... done.
[16 of 71] Compiling Data.SBV.Provers.Yices ( Data/SBV/Provers/Yices.hs, dist/build/Data/SBV/Provers/Yices.o )
[17 of 71] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, dist/build/Data/SBV/Provers/Boolector.o )
[18 of 71] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, dist/build/Data/SBV/Provers/CVC4.o )
[19 of 71] Compiling Data.SBV.Provers.MathSAT ( Data/SBV/Provers/MathSAT.hs, dist/build/Data/SBV/Provers/MathSAT.o )
[20 of 71] Compiling Data.SBV.Provers.ABC ( Data/SBV/Provers/ABC.hs, dist/build/Data/SBV/Provers/ABC.o )
[21 of 71] Compiling Data.SBV.Provers.Z3 ( Data/SBV/Provers/Z3.hs, dist/build/Data/SBV/Provers/Z3.o )
[22 of 71] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, dist/build/Data/SBV/Provers/Prover.o )
[23 of 71] Compiling Data.SBV.BitVectors.Model ( Data/SBV/BitVectors/Model.hs, dist/build/Data/SBV/BitVectors/Model.o )
[24 of 71] Compiling Data.SBV.BitVectors.Rounding ( Data/SBV/BitVectors/Rounding.hs, dist/build/Data/SBV/BitVectors/Rounding.o )
[25 of 71] Compiling Data.SBV.BitVectors.SignCast ( Data/SBV/BitVectors/SignCast.hs, dist/build/Data/SBV/BitVectors/SignCast.o )
[26 of 71] Compiling Data.SBV.BitVectors.Splittable ( Data/SBV/BitVectors/Splittable.hs, dist/build/Data/SBV/BitVectors/Splittable.o )
[27 of 71] Compiling Data.SBV.BitVectors.STree ( Data/SBV/BitVectors/STree.hs, dist/build/Data/SBV/BitVectors/STree.o )
[28 of 71] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, dist/build/Data/SBV/Tools/Polynomial.o )
[29 of 71] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist/build/Data/SBV/Internals.o )
[30 of 71] Compiling Data.SBV.Tools.Optimize ( Data/SBV/Tools/Optimize.hs, dist/build/Data/SBV/Tools/Optimize.o )
[31 of 71] Compiling Data.SBV ( Data/SBV.hs, dist/build/Data/SBV.o )
[32 of 71] Compiling Data.SBV.Bridge.Boolector ( Data/SBV/Bridge/Boolector.hs, dist/build/Data/SBV/Bridge/Boolector.o )
[33 of 71] Compiling Data.SBV.Bridge.CVC4 ( Data/SBV/Bridge/CVC4.hs, dist/build/Data/SBV/Bridge/CVC4.o )
[34 of 71] Compiling Data.SBV.Bridge.MathSAT ( Data/SBV/Bridge/MathSAT.hs, dist/build/Data/SBV/Bridge/MathSAT.o )
[35 of 71] Compiling Data.SBV.Bridge.Yices ( Data/SBV/Bridge/Yices.hs, dist/build/Data/SBV/Bridge/Yices.o )
[36 of 71] Compiling Data.SBV.Bridge.Z3 ( Data/SBV/Bridge/Z3.hs, dist/build/Data/SBV/Bridge/Z3.o )
[37 of 71] Compiling Data.SBV.Bridge.ABC ( Data/SBV/Bridge/ABC.hs, dist/build/Data/SBV/Bridge/ABC.o )
[38 of 71] Compiling Data.SBV.Examples.BitPrecise.BitTricks ( Data/SBV/Examples/BitPrecise/BitTricks.hs, dist/build/Data/SBV/Examples/BitPrecise/BitTricks.o )
[39 of 71] Compiling Data.SBV.Examples.BitPrecise.Legato ( Data/SBV/Examples/BitPrecise/Legato.hs, dist/build/Data/SBV/Examples/BitPrecise/Legato.o )
[40 of 71] Compiling Data.SBV.Examples.BitPrecise.MergeSort ( Data/SBV/Examples/BitPrecise/MergeSort.hs, dist/build/Data/SBV/Examples/BitPrecise/MergeSort.o )
[41 of 71] Compiling Data.SBV.Examples.BitPrecise.PrefixSum ( Data/SBV/Examples/BitPrecise/PrefixSum.hs, dist/build/Data/SBV/Examples/BitPrecise/PrefixSum.o )
[42 of 71] Compiling Data.SBV.Examples.CodeGeneration.AddSub ( Data/SBV/Examples/CodeGeneration/AddSub.hs, dist/build/Data/SBV/Examples/CodeGeneration/AddSub.o )
[43 of 71] Compiling Data.SBV.Examples.CodeGeneration.CRC_USB5 ( Data/SBV/Examples/CodeGeneration/CRC_USB5.hs, dist/build/Data/SBV/Examples/CodeGeneration/CRC_USB5.o )
[44 of 71] Compiling Data.SBV.Examples.CodeGeneration.Fibonacci ( Data/SBV/Examples/CodeGeneration/Fibonacci.hs, dist/build/Data/SBV/Examples/CodeGeneration/Fibonacci.o )
[45 of 71] Compiling Data.SBV.Examples.CodeGeneration.GCD ( Data/SBV/Examples/CodeGeneration/GCD.hs, dist/build/Data/SBV/Examples/CodeGeneration/GCD.o )
[46 of 71] Compiling Data.SBV.Examples.CodeGeneration.PopulationCount ( Data/SBV/Examples/CodeGeneration/PopulationCount.hs, dist/build/Data/SBV/Examples/CodeGeneration/PopulationCount.o )
[47 of 71] Compiling Data.SBV.Examples.CodeGeneration.Uninterpreted ( Data/SBV/Examples/CodeGeneration/Uninterpreted.hs, dist/build/Data/SBV/Examples/CodeGeneration/Uninterpreted.o )
[48 of 71] Compiling Data.SBV.Examples.Crypto.AES ( Data/SBV/Examples/Crypto/AES.hs, dist/build/Data/SBV/Examples/Crypto/AES.o )
[49 of 71] Compiling Data.SBV.Examples.Crypto.RC4 ( Data/SBV/Examples/Crypto/RC4.hs, dist/build/Data/SBV/Examples/Crypto/RC4.o )
[50 of 71] Compiling Data.SBV.Examples.Existentials.CRCPolynomial ( Data/SBV/Examples/Existentials/CRCPolynomial.hs, dist/build/Data/SBV/Examples/Existentials/CRCPolynomial.o )
[51 of 71] Compiling Data.SBV.Examples.Existentials.Diophantine ( Data/SBV/Examples/Existentials/Diophantine.hs, dist/build/Data/SBV/Examples/Existentials/Diophantine.o )
[52 of 71] Compiling Data.SBV.Examples.Misc.Enumerate ( Data/SBV/Examples/Misc/Enumerate.hs, dist/build/Data/SBV/Examples/Misc/Enumerate.o )
[53 of 71] Compiling Data.SBV.Examples.Misc.Floating ( Data/SBV/Examples/Misc/Floating.hs, dist/build/Data/SBV/Examples/Misc/Floating.o )
[54 of 71] Compiling Data.SBV.Examples.Misc.SBranch ( Data/SBV/Examples/Misc/SBranch.hs, dist/build/Data/SBV/Examples/Misc/SBranch.o )
[55 of 71] Compiling Data.SBV.Examples.Misc.ModelExtract ( Data/SBV/Examples/Misc/ModelExtract.hs, dist/build/Data/SBV/Examples/Misc/ModelExtract.o )
[56 of 71] Compiling Data.SBV.Examples.Misc.Word4 ( Data/SBV/Examples/Misc/Word4.hs, dist/build/Data/SBV/Examples/Misc/Word4.o )
[57 of 71] Compiling Data.SBV.Examples.Polynomials.Polynomials ( Data/SBV/Examples/Polynomials/Polynomials.hs, dist/build/Data/SBV/Examples/Polynomials/Polynomials.o )
[58 of 71] Compiling Data.SBV.Examples.Puzzles.Coins ( Data/SBV/Examples/Puzzles/Coins.hs, dist/build/Data/SBV/Examples/Puzzles/Coins.o )
[59 of 71] Compiling Data.SBV.Examples.Puzzles.Counts ( Data/SBV/Examples/Puzzles/Counts.hs, dist/build/Data/SBV/Examples/Puzzles/Counts.o )
[60 of 71] Compiling Data.SBV.Examples.Puzzles.DogCatMouse ( Data/SBV/Examples/Puzzles/DogCatMouse.hs, dist/build/Data/SBV/Examples/Puzzles/DogCatMouse.o )
[61 of 71] Compiling Data.SBV.Examples.Puzzles.Euler185 ( Data/SBV/Examples/Puzzles/Euler185.hs, dist/build/Data/SBV/Examples/Puzzles/Euler185.o )
[62 of 71] Compiling Data.SBV.Examples.Puzzles.MagicSquare ( Data/SBV/Examples/Puzzles/MagicSquare.hs, dist/build/Data/SBV/Examples/Puzzles/MagicSquare.o )
[63 of 71] Compiling Data.SBV.Examples.Puzzles.NQueens ( Data/SBV/Examples/Puzzles/NQueens.hs, dist/build/Data/SBV/Examples/Puzzles/NQueens.o )
[64 of 71] Compiling Data.SBV.Examples.Puzzles.Sudoku ( Data/SBV/Examples/Puzzles/Sudoku.hs, dist/build/Data/SBV/Examples/Puzzles/Sudoku.o )
[65 of 71] Compiling Data.SBV.Examples.Puzzles.U2Bridge ( Data/SBV/Examples/Puzzles/U2Bridge.hs, dist/build/Data/SBV/Examples/Puzzles/U2Bridge.o )
[66 of 71] Compiling Data.SBV.Examples.Uninterpreted.AUF ( Data/SBV/Examples/Uninterpreted/AUF.hs, dist/build/Data/SBV/Examples/Uninterpreted/AUF.o )
[67 of 71] Compiling Data.SBV.Examples.Uninterpreted.Deduce ( Data/SBV/Examples/Uninterpreted/Deduce.hs, dist/build/Data/SBV/Examples/Uninterpreted/Deduce.o )
[68 of 71] Compiling Data.SBV.Examples.Uninterpreted.Function ( Data/SBV/Examples/Uninterpreted/Function.hs, dist/build/Data/SBV/Examples/Uninterpreted/Function.o )
[69 of 71] Compiling Data.SBV.Examples.Uninterpreted.Shannon ( Data/SBV/Examples/Uninterpreted/Shannon.hs, dist/build/Data/SBV/Examples/Uninterpreted/Shannon.o )
[70 of 71] Compiling Data.SBV.Examples.Uninterpreted.Sort ( Data/SBV/Examples/Uninterpreted/Sort.hs, dist/build/Data/SBV/Examples/Uninterpreted/Sort.o )
[71 of 71] Compiling Data.SBV.Examples.Uninterpreted.UISortAllSat ( Data/SBV/Examples/Uninterpreted/UISortAllSat.hs, dist/build/Data/SBV/Examples/Uninterpreted/UISortAllSat.o )
In-place registering sbv-4.2...
Preprocessing executable 'SBVUnitTests' for sbv-4.2...
[ 1 of 63] Compiling Examples.Arrays.Memory ( SBVUnitTest/Examples/Arrays/Memory.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Arrays/Memory.o )
[ 2 of 63] Compiling Examples.Basics.BasicTests ( SBVUnitTest/Examples/Basics/BasicTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/BasicTests.o )
[ 3 of 63] Compiling Examples.Basics.Higher ( SBVUnitTest/Examples/Basics/Higher.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/Higher.o )
[ 4 of 63] Compiling Examples.Basics.ProofTests ( SBVUnitTest/Examples/Basics/ProofTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/ProofTests.o )
[ 5 of 63] Compiling Examples.Basics.QRem ( SBVUnitTest/Examples/Basics/QRem.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/QRem.o )
[ 6 of 63] Compiling Examples.CRC.CCITT ( SBVUnitTest/Examples/CRC/CCITT.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/CCITT.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package array-0.5.0.0 ... linking ... done.
Loading package deepseq-1.3.0.2 ... linking ... done.
Loading package containers-0.5.5.1 ... linking ... done.
Loading package old-locale-1.0.0.6 ... linking ... done.
Loading package time-1.4.2 ... linking ... done.
Loading package random-1.1 ... linking ... done.
Loading package pretty-1.1.1.1 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package primitive-0.6 ... linking ... done.
Loading package tf-random-0.5 ... linking ... done.
Loading package QuickCheck-2.8.1 ... linking ... done.
Loading package stm-2.4.4 ... linking ... done.
Loading package async-2.0.2 ... linking ... done.
Loading package filepath-1.3.0.2 ... linking ... done.
Loading package bytestring-0.10.4.0 ... linking ... done.
Loading package unix-2.7.0.1 ... linking ... done.
Loading package directory-1.2.1.0 ... linking ... done.
Loading package mtl-2.1.3.1 ... linking ... done.
Loading package old-time-1.1.0.2 ... linking ... done.
Loading package process-1.2.0.0 ... linking ... done.
Loading package syb-0.4.4 ... linking ... done.
Loading package sbv-4.2 ... linking ... done.
Loading package HUnit-1.2.5.2 ... linking ... done.
[ 7 of 63] Compiling Examples.CRC.CCITT_Unidir ( SBVUnitTest/Examples/CRC/CCITT_Unidir.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/CCITT_Unidir.o )
[ 8 of 63] Compiling Examples.CRC.GenPoly ( SBVUnitTest/Examples/CRC/GenPoly.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/GenPoly.o )
[ 9 of 63] Compiling Examples.CRC.Parity ( SBVUnitTest/Examples/CRC/Parity.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/Parity.o )
[10 of 63] Compiling Examples.CRC.USB5 ( SBVUnitTest/Examples/CRC/USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/USB5.o )
[11 of 63] Compiling Examples.Puzzles.PowerSet ( SBVUnitTest/Examples/Puzzles/PowerSet.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Puzzles/PowerSet.o )
[12 of 63] Compiling Examples.Puzzles.Temperature ( SBVUnitTest/Examples/Puzzles/Temperature.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Puzzles/Temperature.o )
[13 of 63] Compiling Examples.Uninterpreted.Uninterpreted ( SBVUnitTest/Examples/Uninterpreted/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Uninterpreted/Uninterpreted.o )
[14 of 63] Compiling SBVUnitTestBuildTime ( SBVUnitTest/SBVUnitTestBuildTime.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVUnitTestBuildTime.o )
[15 of 63] Compiling Paths_sbv ( dist/build/autogen/Paths_sbv.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Paths_sbv.o )
[16 of 63] Compiling SBVTest ( SBVUnitTest/SBVTest.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVTest.o )
[17 of 63] Compiling TestSuite.Arrays.Memory ( SBVUnitTest/TestSuite/Arrays/Memory.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Arrays/Memory.o )
[18 of 63] Compiling TestSuite.Basics.ArithNoSolver ( SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ArithNoSolver.o )
[19 of 63] Compiling TestSuite.Basics.ArithSolver ( SBVUnitTest/TestSuite/Basics/ArithSolver.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ArithSolver.o )
[20 of 63] Compiling TestSuite.Basics.BasicTests ( SBVUnitTest/TestSuite/Basics/BasicTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/BasicTests.o )
[21 of 63] Compiling TestSuite.Basics.Higher ( SBVUnitTest/TestSuite/Basics/Higher.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/Higher.o )
[22 of 63] Compiling TestSuite.Basics.IteTest ( SBVUnitTest/TestSuite/Basics/IteTest.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/IteTest.o )
[23 of 63] Compiling TestSuite.Basics.ProofTests ( SBVUnitTest/TestSuite/Basics/ProofTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ProofTests.o )
[24 of 63] Compiling TestSuite.Basics.QRem ( SBVUnitTest/TestSuite/Basics/QRem.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/QRem.o )
[25 of 63] Compiling TestSuite.BitPrecise.BitTricks ( SBVUnitTest/TestSuite/BitPrecise/BitTricks.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/BitTricks.o )
[26 of 63] Compiling TestSuite.BitPrecise.Legato ( SBVUnitTest/TestSuite/BitPrecise/Legato.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/Legato.o )
[27 of 63] Compiling TestSuite.BitPrecise.MergeSort ( SBVUnitTest/TestSuite/BitPrecise/MergeSort.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/MergeSort.o )
[28 of 63] Compiling TestSuite.BitPrecise.PrefixSum ( SBVUnitTest/TestSuite/BitPrecise/PrefixSum.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/PrefixSum.o )
[29 of 63] Compiling TestSuite.CRC.CCITT ( SBVUnitTest/TestSuite/CRC/CCITT.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/CCITT.o )
[30 of 63] Compiling TestSuite.CRC.CCITT_Unidir ( SBVUnitTest/TestSuite/CRC/CCITT_Unidir.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/CCITT_Unidir.o )
[31 of 63] Compiling TestSuite.CRC.GenPoly ( SBVUnitTest/TestSuite/CRC/GenPoly.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/GenPoly.o )
[32 of 63] Compiling TestSuite.CRC.Parity ( SBVUnitTest/TestSuite/CRC/Parity.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/Parity.o )
[33 of 63] Compiling TestSuite.CRC.USB5 ( SBVUnitTest/TestSuite/CRC/USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/USB5.o )
[34 of 63] Compiling TestSuite.CodeGeneration.AddSub ( SBVUnitTest/TestSuite/CodeGeneration/AddSub.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/AddSub.o )
[35 of 63] Compiling TestSuite.CodeGeneration.CgTests ( SBVUnitTest/TestSuite/CodeGeneration/CgTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/CgTests.o )
[36 of 63] Compiling TestSuite.CodeGeneration.CRC_USB5 ( SBVUnitTest/TestSuite/CodeGeneration/CRC_USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/CRC_USB5.o )
[37 of 63] Compiling TestSuite.CodeGeneration.Fibonacci ( SBVUnitTest/TestSuite/CodeGeneration/Fibonacci.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/Fibonacci.o )
[38 of 63] Compiling TestSuite.CodeGeneration.GCD ( SBVUnitTest/TestSuite/CodeGeneration/GCD.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/GCD.o )
[39 of 63] Compiling TestSuite.CodeGeneration.PopulationCount ( SBVUnitTest/TestSuite/CodeGeneration/PopulationCount.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/PopulationCount.o )
[40 of 63] Compiling TestSuite.CodeGeneration.Uninterpreted ( SBVUnitTest/TestSuite/CodeGeneration/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/Uninterpreted.o )
[41 of 63] Compiling TestSuite.Crypto.AES ( SBVUnitTest/TestSuite/Crypto/AES.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Crypto/AES.o )
[42 of 63] Compiling TestSuite.Crypto.RC4 ( SBVUnitTest/TestSuite/Crypto/RC4.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Crypto/RC4.o )
[43 of 63] Compiling TestSuite.Existentials.CRCPolynomial ( SBVUnitTest/TestSuite/Existentials/CRCPolynomial.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Existentials/CRCPolynomial.o )
[44 of 63] Compiling TestSuite.Polynomials.Polynomials ( SBVUnitTest/TestSuite/Polynomials/Polynomials.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Polynomials/Polynomials.o )
[45 of 63] Compiling TestSuite.Puzzles.Coins ( SBVUnitTest/TestSuite/Puzzles/Coins.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Coins.o )
[46 of 63] Compiling TestSuite.Puzzles.Counts ( SBVUnitTest/TestSuite/Puzzles/Counts.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Counts.o )
[47 of 63] Compiling TestSuite.Puzzles.DogCatMouse ( SBVUnitTest/TestSuite/Puzzles/DogCatMouse.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/DogCatMouse.o )
[48 of 63] Compiling TestSuite.Puzzles.Euler185 ( SBVUnitTest/TestSuite/Puzzles/Euler185.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Euler185.o )
[49 of 63] Compiling TestSuite.Puzzles.MagicSquare ( SBVUnitTest/TestSuite/Puzzles/MagicSquare.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/MagicSquare.o )
[50 of 63] Compiling TestSuite.Puzzles.NQueens ( SBVUnitTest/TestSuite/Puzzles/NQueens.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/NQueens.o )
[51 of 63] Compiling TestSuite.Puzzles.PowerSet ( SBVUnitTest/TestSuite/Puzzles/PowerSet.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/PowerSet.o )
[52 of 63] Compiling TestSuite.Puzzles.Sudoku ( SBVUnitTest/TestSuite/Puzzles/Sudoku.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Sudoku.o )
[53 of 63] Compiling TestSuite.Puzzles.Temperature ( SBVUnitTest/TestSuite/Puzzles/Temperature.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Temperature.o )
[54 of 63] Compiling TestSuite.Puzzles.U2Bridge ( SBVUnitTest/TestSuite/Puzzles/U2Bridge.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/U2Bridge.o )
[55 of 63] Compiling TestSuite.Uninterpreted.AUF ( SBVUnitTest/TestSuite/Uninterpreted/AUF.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/AUF.o )
[56 of 63] Compiling TestSuite.Uninterpreted.Axioms ( SBVUnitTest/TestSuite/Uninterpreted/Axioms.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Axioms.o )
[57 of 63] Compiling TestSuite.Uninterpreted.Function ( SBVUnitTest/TestSuite/Uninterpreted/Function.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Function.o )
[58 of 63] Compiling TestSuite.Uninterpreted.Sort ( SBVUnitTest/TestSuite/Uninterpreted/Sort.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Sort.o )
[59 of 63] Compiling TestSuite.Uninterpreted.Uninterpreted ( SBVUnitTest/TestSuite/Uninterpreted/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Uninterpreted.o )
[60 of 63] Compiling Examples.Basics.Index ( SBVUnitTest/Examples/Basics/Index.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/Index.o )
[61 of 63] Compiling TestSuite.Basics.Index ( SBVUnitTest/TestSuite/Basics/Index.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/Index.o )
[62 of 63] Compiling SBVTestCollection ( SBVUnitTest/SBVTestCollection.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVTestCollection.o )
[63 of 63] Compiling Main ( SBVUnitTest/SBVUnitTest.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Main.o )
Linking dist/build/SBVUnitTests/SBVUnitTests ...
Running Haddock for sbv-4.2...
Running hscolour for sbv-4.2...
Preprocessing library sbv-4.2...
Preprocessing executable 'SBVUnitTests' for sbv-4.2...
Preprocessing library sbv-4.2...
Haddock coverage:
100% ( 2 / 2) in 'Data.SBV.Utils.TDiff'
100% ( 10 / 10) in 'Data.SBV.Utils.Lib'
100% ( 6 / 6) in 'Data.SBV.Utils.Boolean'
100% ( 9 / 9) in 'Data.SBV.BitVectors.AlgReals'
100% ( 99 / 99) in 'Data.SBV.BitVectors.Data'
100% ( 35 / 35) in 'Data.SBV.Compilers.CodeGen'
100% ( 3 / 3) in 'Data.SBV.Tools.ExpectedValue'
100% ( 3 / 3) in 'Data.SBV.SMT.SMTLib1'
100% ( 16 / 16) in 'Data.SBV.BitVectors.PrettyNum'
100% ( 5 / 5) in 'Data.SBV.Compilers.C'
100% ( 3 / 3) in 'Data.SBV.SMT.SMTLib2'
100% ( 6 / 6) in 'Data.SBV.Tools.GenTest'
100% ( 56 / 56) in 'Data.SBV.SMT.SMT'
100% ( 7 / 7) in 'Data.SBV.Provers.SExpr'
100% ( 8 / 8) in 'Data.SBV.SMT.SMTLib'
100% ( 2 / 2) in 'Data.SBV.Provers.Yices'
100% ( 2 / 2) in 'Data.SBV.Provers.Boolector'
100% ( 2 / 2) in 'Data.SBV.Provers.CVC4'
100% ( 2 / 2) in 'Data.SBV.Provers.MathSAT'
100% ( 2 / 2) in 'Data.SBV.Provers.ABC'
100% ( 2 / 2) in 'Data.SBV.Provers.Z3'
100% ( 42 / 42) in 'Data.SBV.Provers.Prover'
100% ( 75 / 75) in 'Data.SBV.BitVectors.Model'
100% ( 2 / 2) in 'Data.SBV.BitVectors.Rounding'
100% ( 2 / 2) in 'Data.SBV.BitVectors.SignCast'
100% ( 4 / 4) in 'Data.SBV.BitVectors.Splittable'
100% ( 5 / 5) in 'Data.SBV.BitVectors.STree'
100% ( 7 / 7) in 'Data.SBV.Tools.Polynomial'
100% ( 45 / 45) in 'Data.SBV.Internals'
100% ( 8 / 8) in 'Data.SBV.Tools.Optimize'
100% (287 /287) in 'Data.SBV'
100% ( 18 / 18) in 'Data.SBV.Bridge.Boolector'
100% ( 18 / 18) in 'Data.SBV.Bridge.CVC4'
100% ( 18 / 18) in 'Data.SBV.Bridge.MathSAT'
100% ( 18 / 18) in 'Data.SBV.Bridge.Yices'
100% ( 18 / 18) in 'Data.SBV.Bridge.Z3'
100% ( 16 / 16) in 'Data.SBV.Bridge.ABC'
100% ( 7 / 7) in 'Data.SBV.Examples.BitPrecise.BitTricks'
100% ( 47 / 47) in 'Data.SBV.Examples.BitPrecise.Legato'
100% ( 13 / 13) in 'Data.SBV.Examples.BitPrecise.MergeSort'
100% ( 24 / 24) in 'Data.SBV.Examples.BitPrecise.PrefixSum'
100% ( 3 / 3) in 'Data.SBV.Examples.CodeGeneration.AddSub'
100% ( 11 / 11) in 'Data.SBV.Examples.CodeGeneration.CRC_USB5'
100% ( 11 / 11) in 'Data.SBV.Examples.CodeGeneration.Fibonacci'
100% ( 9 / 9) in 'Data.SBV.Examples.CodeGeneration.GCD'
100% ( 11 / 11) in 'Data.SBV.Examples.CodeGeneration.PopulationCount'
100% ( 4 / 4) in 'Data.SBV.Examples.CodeGeneration.Uninterpreted'
100% ( 70 / 70) in 'Data.SBV.Examples.Crypto.AES'
100% ( 18 / 18) in 'Data.SBV.Examples.Crypto.RC4'
100% ( 8 / 8) in 'Data.SBV.Examples.Existentials.CRCPolynomial'
100% ( 9 / 9) in 'Data.SBV.Examples.Existentials.Diophantine'
100% ( 10 / 10) in 'Data.SBV.Examples.Misc.Enumerate'
100% ( 10 / 10) in 'Data.SBV.Examples.Misc.Floating'
100% ( 5 / 5) in 'Data.SBV.Examples.Misc.SBranch'
100% ( 3 / 3) in 'Data.SBV.Examples.Misc.ModelExtract'
100% ( 21 / 21) in 'Data.SBV.Examples.Misc.Word4'
100% ( 8 / 8) in 'Data.SBV.Examples.Polynomials.Polynomials'
100% ( 11 / 11) in 'Data.SBV.Examples.Puzzles.Coins'
100% ( 5 / 5) in 'Data.SBV.Examples.Puzzles.Counts'
100% ( 2 / 2) in 'Data.SBV.Examples.Puzzles.DogCatMouse'
100% ( 4 / 4) in 'Data.SBV.Examples.Puzzles.Euler185'
100% ( 9 / 9) in 'Data.SBV.Examples.Puzzles.MagicSquare'
100% ( 4 / 4) in 'Data.SBV.Examples.Puzzles.NQueens'
100% ( 20 / 20) in 'Data.SBV.Examples.Puzzles.Sudoku'
100% ( 44 / 44) in 'Data.SBV.Examples.Puzzles.U2Bridge'
100% ( 10 / 10) in 'Data.SBV.Examples.Uninterpreted.AUF'
100% ( 16 / 16) in 'Data.SBV.Examples.Uninterpreted.Deduce'
100% ( 6 / 6) in 'Data.SBV.Examples.Uninterpreted.Function'
100% ( 19 / 19) in 'Data.SBV.Examples.Uninterpreted.Shannon'
100% ( 7 / 7) in 'Data.SBV.Examples.Uninterpreted.Sort'
100% ( 6 / 6) in 'Data.SBV.Examples.Uninterpreted.UISortAllSat'
Warning: Data.SBV.Internals: could not find link destinations for:
Data.SBV.BitVectors.Data.Cached Data.SBV.BitVectors.Data.SW Data.SBV.BitVectors.AlgReals.Polynomial Data.SBV.BitVectors.Data.State
Warning: Data.SBV: could not find link destinations for:
Data.SBV.BitVectors.STree.STreeInternal Data.SBV.BitVectors.Data.Outputtable Data.SBV.BitVectors.Data.SMTModel Data.SBV.BitVectors.Data.SMTEngine Data.SBV.BitVectors.Data.SolverCapabilities
Documentation created: dist/doc/html/sbv/index.html, dist/doc/html/sbv/sbv.txt
Preprocessing executable 'SBVUnitTests' for sbv-4.2...
Creating package registration file: /tmp/pkgConf-sbv-418779.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/sbv-4.2
Installing executable(s) in
/home/builder/hackage-server/build-cache/tmp-install/bin
Warning: The directory
/home/builder/hackage-server/build-cache/tmp-install/bin is not in the system
search path.
Registering sbv-4.2...
Installed sbv-4.2
Downloading cryptol-2.2.2...
Configuring cryptol-2.2.2...
Building cryptol-2.2.2...
Preprocessing library cryptol-2.2.2...
[ 1 of 72] Compiling GitRev ( src/GitRev.hs, dist/build/GitRev.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package array-0.5.0.0 ... linking ... done.
Loading package deepseq-1.3.0.2 ... linking ... done.
Loading package bytestring-0.10.4.0 ... linking ... done.
Loading package utf8-string-1 ... linking ... done.
Loading package text-1.2.0.4 ... linking ... done.
Loading package pretty-1.1.1.1 ... linking ... done.
Loading package smtLib-1.0.7 ... linking ... done.
Loading package containers-0.5.5.1 ... linking ... done.
Loading package old-locale-1.0.0.6 ... linking ... done.
Loading package time-1.4.2 ... linking ... done.
Loading package random-1.1 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package primitive-0.6 ... linking ... done.
Loading package tf-random-0.5 ... linking ... done.
Loading package QuickCheck-2.8.1 ... linking ... done.
Loading package stm-2.4.4 ... linking ... done.
Loading package async-2.0.2 ... linking ... done.
Loading package filepath-1.3.0.2 ... linking ... done.
Loading package unix-2.7.0.1 ... linking ... done.
Loading package directory-1.2.1.0 ... linking ... done.
Loading package mtl-2.1.3.1 ... linking ... done.
Loading package old-time-1.1.0.2 ... linking ... done.
Loading package process-1.2.0.0 ... linking ... done.
Loading package syb-0.4.4 ... linking ... done.
Loading package sbv-4.2 ... linking ... done.
Loading package presburger-1.3.1 ... linking ... done.
Loading package monadLib-3.7.3 ... linking ... done.
Loading package heredoc-0.2.0.0 ... linking ... done.
Loading package gitrev-1.0.0 ... linking ... done.
Loading package GraphSCC-1.0.4 ... linking ... done.
[ 2 of 72] Compiling Cryptol.Version ( src/Cryptol/Version.hs, dist/build/Cryptol/Version.o )
[ 3 of 72] Compiling Paths_cryptol ( dist/build/autogen/Paths_cryptol.hs, dist/build/Paths_cryptol.o )
[ 4 of 72] Compiling Cryptol.Eval.Arch ( src/Cryptol/Eval/Arch.hs, dist/build/Cryptol/Eval/Arch.o )
[ 5 of 72] Compiling Cryptol.Utils.Panic ( src/Cryptol/Utils/Panic.hs, dist/build/Cryptol/Utils/Panic.o )
[ 6 of 72] Compiling Cryptol.TypeCheck.Solver.InfNat ( src/Cryptol/TypeCheck/Solver/InfNat.hs, dist/build/Cryptol/TypeCheck/Solver/InfNat.o )
[ 7 of 72] Compiling Cryptol.TypeCheck.Solver.Interval ( src/Cryptol/TypeCheck/Solver/Interval.hs, dist/build/Cryptol/TypeCheck/Solver/Interval.o )
[ 8 of 72] Compiling Cryptol.Parser.Unlit ( src/Cryptol/Parser/Unlit.hs, dist/build/Cryptol/Parser/Unlit.o )
[ 9 of 72] Compiling Cryptol.TypeCheck.Solver.CrySAT ( src/Cryptol/TypeCheck/Solver/CrySAT.hs, dist/build/Cryptol/TypeCheck/Solver/CrySAT.o )
[10 of 72] Compiling Cryptol.Symbolic.BitVector ( src/Cryptol/Symbolic/BitVector.hs, dist/build/Cryptol/Symbolic/BitVector.o )
[11 of 72] Compiling Cryptol.REPL.Trie ( src/Cryptol/REPL/Trie.hs, dist/build/Cryptol/REPL/Trie.o )
[12 of 72] Compiling Cryptol.Utils.PP ( src/Cryptol/Utils/PP.hs, dist/build/Cryptol/Utils/PP.o )
[13 of 72] Compiling Cryptol.Parser.Position ( src/Cryptol/Parser/Position.hs, dist/build/Cryptol/Parser/Position.o )
[14 of 72] Compiling Cryptol.Parser.LexerUtils ( src/Cryptol/Parser/LexerUtils.hs, dist/build/Cryptol/Parser/LexerUtils.o )
[15 of 72] Compiling Cryptol.Parser.Lexer ( dist/build/Cryptol/Parser/Lexer.hs, dist/build/Cryptol/Parser/Lexer.o )
[16 of 72] Compiling Cryptol.Utils.Debug ( src/Cryptol/Utils/Debug.hs, dist/build/Cryptol/Utils/Debug.o )
[17 of 72] Compiling Cryptol.TypeCheck.PP ( src/Cryptol/TypeCheck/PP.hs, dist/build/Cryptol/TypeCheck/PP.o )
[18 of 72] Compiling Cryptol.Prims.Syntax ( src/Cryptol/Prims/Syntax.hs, dist/build/Cryptol/Prims/Syntax.o )
[19 of 72] Compiling Cryptol.Parser.AST ( src/Cryptol/Parser/AST.hs, dist/build/Cryptol/Parser/AST.o )
[20 of 72] Compiling Cryptol.TypeCheck.AST ( src/Cryptol/TypeCheck/AST.hs, dist/build/Cryptol/TypeCheck/AST.o )
[21 of 72] Compiling Cryptol.Prims.Types ( src/Cryptol/Prims/Types.hs, dist/build/Cryptol/Prims/Types.o )
[22 of 72] Compiling Cryptol.Prims.Doc ( src/Cryptol/Prims/Doc.hs, dist/build/Cryptol/Prims/Doc.o )
[23 of 72] Compiling Cryptol.Eval.Error ( src/Cryptol/Eval/Error.hs, dist/build/Cryptol/Eval/Error.o )
[24 of 72] Compiling Cryptol.Eval.Value ( src/Cryptol/Eval/Value.hs, dist/build/Cryptol/Eval/Value.o )
[25 of 72] Compiling Cryptol.Testing.Eval ( src/Cryptol/Testing/Eval.hs, dist/build/Cryptol/Testing/Eval.o )
[26 of 72] Compiling Cryptol.Symbolic.Value ( src/Cryptol/Symbolic/Value.hs, dist/build/Cryptol/Symbolic/Value.o )
[27 of 72] Compiling Cryptol.Testing.Random ( src/Cryptol/Testing/Random.hs, dist/build/Cryptol/Testing/Random.o )
[28 of 72] Compiling Cryptol.Eval.Env ( src/Cryptol/Eval/Env.hs, dist/build/Cryptol/Eval/Env.o )
[29 of 72] Compiling Cryptol.Eval.Type ( src/Cryptol/Eval/Type.hs, dist/build/Cryptol/Eval/Type.o )
[30 of 72] Compiling Cryptol.Prims.Eval ( src/Cryptol/Prims/Eval.hs, dist/build/Cryptol/Prims/Eval.o )
[31 of 72] Compiling Cryptol.Eval ( src/Cryptol/Eval.hs, dist/build/Cryptol/Eval.o )
[32 of 72] Compiling Cryptol.TypeCheck.TypeMap ( src/Cryptol/TypeCheck/TypeMap.hs, dist/build/Cryptol/TypeCheck/TypeMap.o )
[33 of 72] Compiling Cryptol.TypeCheck.Subst ( src/Cryptol/TypeCheck/Subst.hs, dist/build/Cryptol/TypeCheck/Subst.o )
[34 of 72] Compiling Cryptol.TypeCheck.Unify ( src/Cryptol/TypeCheck/Unify.hs, dist/build/Cryptol/TypeCheck/Unify.o )
[35 of 72] Compiling Cryptol.TypeCheck.TypeOf ( src/Cryptol/TypeCheck/TypeOf.hs, dist/build/Cryptol/TypeCheck/TypeOf.o )
[36 of 72] Compiling Cryptol.TypeCheck.Solver.Utils ( src/Cryptol/TypeCheck/Solver/Utils.hs, dist/build/Cryptol/TypeCheck/Solver/Utils.o )
[37 of 72] Compiling Cryptol.Testing.Exhaust ( src/Cryptol/Testing/Exhaust.hs, dist/build/Cryptol/Testing/Exhaust.o )
[38 of 72] Compiling Cryptol.Parser.Names ( src/Cryptol/Parser/Names.hs, dist/build/Cryptol/Parser/Names.o )
[39 of 72] Compiling Cryptol.ModuleSystem.Interface ( src/Cryptol/ModuleSystem/Interface.hs, dist/build/Cryptol/ModuleSystem/Interface.o )
[40 of 72] Compiling Cryptol.Transform.MonoValues ( src/Cryptol/Transform/MonoValues.hs, dist/build/Cryptol/Transform/MonoValues.o )
[41 of 72] Compiling Cryptol.ModuleSystem.NamingEnv ( src/Cryptol/ModuleSystem/NamingEnv.hs, dist/build/Cryptol/ModuleSystem/NamingEnv.o )
[42 of 72] Compiling Cryptol.Parser.NoPat ( src/Cryptol/Parser/NoPat.hs, dist/build/Cryptol/Parser/NoPat.o )
[43 of 72] Compiling Cryptol.Parser.Utils ( src/Cryptol/Parser/Utils.hs, dist/build/Cryptol/Parser/Utils.o )
[44 of 72] Compiling Cryptol.Parser.ParserUtils ( src/Cryptol/Parser/ParserUtils.hs, dist/build/Cryptol/Parser/ParserUtils.o )
[45 of 72] Compiling Cryptol.Parser ( dist/build/Cryptol/Parser.hs, dist/build/Cryptol/Parser.o )
[46 of 72] Compiling Cryptol.Parser.NoInclude ( src/Cryptol/Parser/NoInclude.hs, dist/build/Cryptol/Parser/NoInclude.o )
[47 of 72] Compiling Cryptol.ModuleSystem.Renamer ( src/Cryptol/ModuleSystem/Renamer.hs, dist/build/Cryptol/ModuleSystem/Renamer.o )
[48 of 72] Compiling Cryptol.TypeCheck.InferTypes ( src/Cryptol/TypeCheck/InferTypes.hs, dist/build/Cryptol/TypeCheck/InferTypes.o )
[49 of 72] Compiling Cryptol.TypeCheck.Monad ( src/Cryptol/TypeCheck/Monad.hs, dist/build/Cryptol/TypeCheck/Monad.o )
[50 of 72] Compiling Cryptol.TypeCheck.Depends ( src/Cryptol/TypeCheck/Depends.hs, dist/build/Cryptol/TypeCheck/Depends.o )
[51 of 72] Compiling Cryptol.TypeCheck.Instantiate ( src/Cryptol/TypeCheck/Instantiate.hs, dist/build/Cryptol/TypeCheck/Instantiate.o )
[52 of 72] Compiling Cryptol.TypeCheck.Solver.FinOrd ( src/Cryptol/TypeCheck/Solver/FinOrd.hs, dist/build/Cryptol/TypeCheck/Solver/FinOrd.o )
[53 of 72] Compiling Cryptol.TypeCheck.Solver.Eval ( src/Cryptol/TypeCheck/Solver/Eval.hs, dist/build/Cryptol/TypeCheck/Solver/Eval.o )
[54 of 72] Compiling Cryptol.TypeCheck.Solver.Numeric ( src/Cryptol/TypeCheck/Solver/Numeric.hs, dist/build/Cryptol/TypeCheck/Solver/Numeric.o )
[55 of 72] Compiling Cryptol.TypeCheck.Defaulting ( src/Cryptol/TypeCheck/Defaulting.hs, dist/build/Cryptol/TypeCheck/Defaulting.o )
[56 of 72] Compiling Cryptol.TypeCheck.Solver.Class ( src/Cryptol/TypeCheck/Solver/Class.hs, dist/build/Cryptol/TypeCheck/Solver/Class.o )
[57 of 72] Compiling Cryptol.TypeCheck.Solver.Selector ( src/Cryptol/TypeCheck/Solver/Selector.hs, dist/build/Cryptol/TypeCheck/Solver/Selector.o )
[58 of 72] Compiling Cryptol.TypeCheck.Solver.Smtlib ( src/Cryptol/TypeCheck/Solver/Smtlib.hs, dist/build/Cryptol/TypeCheck/Solver/Smtlib.o )
[59 of 72] Compiling Cryptol.TypeCheck.Solve ( src/Cryptol/TypeCheck/Solve.hs, dist/build/Cryptol/TypeCheck/Solve.o )
[60 of 72] Compiling Cryptol.TypeCheck.Kind ( src/Cryptol/TypeCheck/Kind.hs, dist/build/Cryptol/TypeCheck/Kind.o )
[61 of 72] Compiling Cryptol.TypeCheck.Infer ( src/Cryptol/TypeCheck/Infer.hs, dist/build/Cryptol/TypeCheck/Infer.o )
[62 of 72] Compiling Cryptol.TypeCheck ( src/Cryptol/TypeCheck.hs, dist/build/Cryptol/TypeCheck.o )
[63 of 72] Compiling Cryptol.ModuleSystem.Env ( src/Cryptol/ModuleSystem/Env.hs, dist/build/Cryptol/ModuleSystem/Env.o )
[64 of 72] Compiling Cryptol.ModuleSystem.Monad ( src/Cryptol/ModuleSystem/Monad.hs, dist/build/Cryptol/ModuleSystem/Monad.o )
[65 of 72] Compiling Cryptol.Prelude ( src/Cryptol/Prelude.hs, dist/build/Cryptol/Prelude.o )
[66 of 72] Compiling Cryptol.ModuleSystem.Base ( src/Cryptol/ModuleSystem/Base.hs, dist/build/Cryptol/ModuleSystem/Base.o )
[67 of 72] Compiling Cryptol.ModuleSystem ( src/Cryptol/ModuleSystem.hs, dist/build/Cryptol/ModuleSystem.o )
[68 of 72] Compiling Cryptol.Transform.Specialize ( src/Cryptol/Transform/Specialize.hs, dist/build/Cryptol/Transform/Specialize.o )
[69 of 72] Compiling Cryptol.Symbolic.Prims ( src/Cryptol/Symbolic/Prims.hs, dist/build/Cryptol/Symbolic/Prims.o )
[70 of 72] Compiling Cryptol.Symbolic ( src/Cryptol/Symbolic.hs, dist/build/Cryptol/Symbolic.o )
[71 of 72] Compiling Cryptol.REPL.Monad ( src/Cryptol/REPL/Monad.hs, dist/build/Cryptol/REPL/Monad.o )
[72 of 72] Compiling Cryptol.REPL.Command ( src/Cryptol/REPL/Command.hs, dist/build/Cryptol/REPL/Command.o )
In-place registering cryptol-2.2.2...
Preprocessing executable 'cryptol' for cryptol-2.2.2...
[1 of 5] Compiling REPL.Haskeline ( cryptol/REPL/Haskeline.hs, dist/build/cryptol/cryptol-tmp/REPL/Haskeline.o )
[2 of 5] Compiling Paths_cryptol ( dist/build/autogen/Paths_cryptol.hs, dist/build/cryptol/cryptol-tmp/Paths_cryptol.o )
[3 of 5] Compiling REPL.Logo ( cryptol/REPL/Logo.hs, dist/build/cryptol/cryptol-tmp/REPL/Logo.o )
[4 of 5] Compiling OptParser ( cryptol/OptParser.hs, dist/build/cryptol/cryptol-tmp/OptParser.o )
[5 of 5] Compiling Main ( cryptol/Main.hs, dist/build/cryptol/cryptol-tmp/Main.o )
Linking dist/build/cryptol/cryptol ...
Running Haddock for cryptol-2.2.2...
Running hscolour for cryptol-2.2.2...
Preprocessing library cryptol-2.2.2...
Preprocessing executable 'cryptol' for cryptol-2.2.2...
Preprocessing library cryptol-2.2.2...
Haddock coverage:
25% ( 1 / 4) in 'GitRev'
20% ( 1 / 5) in 'Cryptol.Version'
0% ( 0 / 8) in 'Paths_cryptol'
100% ( 2 / 2) in 'Cryptol.Eval.Arch'
50% ( 1 / 2) in 'Cryptol.Utils.Panic'
59% ( 10 / 17) in 'Cryptol.TypeCheck.Solver.InfNat'
30% ( 6 / 20) in 'Cryptol.TypeCheck.Solver.Interval'
20% ( 1 / 5) in 'Cryptol.Parser.Unlit'
8% ( 1 / 13) in 'Cryptol.TypeCheck.Solver.CrySAT'
10% ( 3 / 29) in 'Cryptol.Symbolic.BitVector'
86% ( 6 / 7) in 'Cryptol.REPL.Trie'
58% ( 7 / 12) in 'Cryptol.Utils.PP'
9% ( 2 / 22) in 'Cryptol.Parser.Position'
8% ( 3 / 38) in 'Cryptol.Parser.LexerUtils'
20% ( 3 / 15) in 'Cryptol.Parser.Lexer'
33% ( 1 / 3) in 'Cryptol.Utils.Debug'
40% ( 4 / 10) in 'Cryptol.TypeCheck.PP'
50% ( 3 / 6) in 'Cryptol.Prims.Syntax'
47% ( 26 / 55) in 'Cryptol.Parser.AST'
22% ( 31 /138) in 'Cryptol.TypeCheck.AST'
100% ( 2 / 2) in 'Cryptol.Prims.Types'
33% ( 1 / 3) in 'Cryptol.Prims.Doc'
70% ( 7 / 10) in 'Cryptol.Eval.Error'
43% ( 20 / 47) in 'Cryptol.Eval.Value'
100% ( 3 / 3) in 'Cryptol.Testing.Eval'
52% ( 14 / 27) in 'Cryptol.Symbolic.Value'
91% ( 10 / 11) in 'Cryptol.Testing.Random'
50% ( 5 / 10) in 'Cryptol.Eval.Env'
100% ( 3 / 3) in 'Cryptol.Eval.Type'
25% ( 14 / 55) in 'Cryptol.Prims.Eval'
12% ( 1 / 8) in 'Cryptol.Eval'
9% ( 1 / 11) in 'Cryptol.TypeCheck.TypeMap'
16% ( 5 / 31) in 'Cryptol.TypeCheck.Subst'
18% ( 2 / 11) in 'Cryptol.TypeCheck.Unify'
67% ( 2 / 3) in 'Cryptol.TypeCheck.TypeOf'
83% ( 5 / 6) in 'Cryptol.TypeCheck.Solver.Utils'
100% ( 5 / 5) in 'Cryptol.Testing.Exhaust'
88% ( 22 / 25) in 'Cryptol.Parser.Names'
42% ( 5 / 12) in 'Cryptol.ModuleSystem.Interface'
100% ( 2 / 2) in 'Cryptol.Transform.MonoValues'
48% ( 13 / 27) in 'Cryptol.ModuleSystem.NamingEnv'
33% ( 1 / 3) in 'Cryptol.Parser.NoPat'
50% ( 1 / 2) in 'Cryptol.Parser.Utils'
5% ( 2 / 41) in 'Cryptol.Parser.ParserUtils'
0% ( 0 / 24) in 'Cryptol.Parser'
20% ( 1 / 5) in 'Cryptol.Parser.NoInclude'
44% ( 4 / 9) in 'Cryptol.ModuleSystem.Renamer'
18% ( 7 / 38) in 'Cryptol.TypeCheck.InferTypes'
69% ( 58 / 84) in 'Cryptol.TypeCheck.Monad'
64% ( 7 / 11) in 'Cryptol.TypeCheck.Depends'
50% ( 1 / 2) in 'Cryptol.TypeCheck.Instantiate'
50% ( 6 / 12) in 'Cryptol.TypeCheck.Solver.FinOrd'
26% ( 7 / 27) in 'Cryptol.TypeCheck.Solver.Eval'
75% ( 3 / 4) in 'Cryptol.TypeCheck.Solver.Numeric'
50% ( 2 / 4) in 'Cryptol.TypeCheck.Defaulting'
100% ( 3 / 3) in 'Cryptol.TypeCheck.Solver.Class'
100% ( 2 / 2) in 'Cryptol.TypeCheck.Solver.Selector'
50% ( 1 / 2) in 'Cryptol.TypeCheck.Solver.Smtlib'
40% ( 2 / 5) in 'Cryptol.TypeCheck.Solve'
80% ( 4 / 5) in 'Cryptol.TypeCheck.Kind'
43% ( 12 / 28) in 'Cryptol.TypeCheck.Infer'
50% ( 6 / 12) in 'Cryptol.TypeCheck'
42% ( 8 / 19) in 'Cryptol.ModuleSystem.Env'
8% ( 5 / 60) in 'Cryptol.ModuleSystem.Monad'
100% ( 2 / 2) in 'Cryptol.Prelude'
71% ( 20 / 28) in 'Cryptol.ModuleSystem.Base'
58% ( 14 / 24) in 'Cryptol.ModuleSystem'
27% ( 8 / 30) in 'Cryptol.Transform.Specialize'
27% ( 12 / 45) in 'Cryptol.Symbolic.Prims'
26% ( 10 / 39) in 'Cryptol.Symbolic'
50% ( 28 / 56) in 'Cryptol.REPL.Monad'
63% ( 12 / 19) in 'Cryptol.REPL.Command'
Warning: Cryptol.Parser.Unlit: could not find link destinations for:
Cryptol.Parser.Unlit.markdown Cryptol.Parser.Unlit.latex
Warning: Cryptol.TypeCheck.Solver.CrySAT: could not find link destinations for:
Cryptol.TypeCheck.Solver.CrySAT.S
Warning: Cryptol.ModuleSystem.Renamer: could not find link destinations for:
Cryptol.ModuleSystem.Renamer.RenameM
Warning: Cryptol.TypeCheck.Solver.FinOrd: could not find link destinations for:
Cryptol.TypeCheck.Solver.FinOrd.EdgeSrc Cryptol.TypeCheck.Solver.FinOrd.fin Cryptol.TypeCheck.Solver.FinOrd.FinNat''
Warning: Cryptol.REPL.Monad: could not find link destinations for:
Cryptol.REPL.Monad.RW Cryptol.REPL.Monad.OptionMap
Documentation created: dist/doc/html/cryptol/index.html,
dist/doc/html/cryptol/cryptol.txt
Preprocessing executable 'cryptol' for cryptol-2.2.2...
Creating package registration file: /tmp/pkgConf-cryptol-2.218779.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/cryptol-2.2.2
Installing executable(s) in
/home/builder/hackage-server/build-cache/tmp-install/bin
Warning: The directory
/home/builder/hackage-server/build-cache/tmp-install/bin is not in the system
search path.
Registering cryptol-2.2.2...
Installed cryptol-2.2.2
Test log
No test log was submitted for this report.