Build #1 for copilot-2.1.2
| Package | copilot-2.1.2 |
|---|
| Install | DependencyFailed copilot-language-2.1.2 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2015-01-03 16:15:37.110092 UTC |
|---|---|
| Compiler | ghc-7.8.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | random-1.1, directory-1.2.1.0, copilot-sbv-2.1.2, copilot-libraries-2.1.1, copilot-language-2.1.2, copilot-core-2.1.2, copilot-cbmc-2.1.2, copilot-c99-2.1.2, base-4.7.0.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
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.532291.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
Downloading bimap-0.2.4...
Configuring bimap-0.2.4...
Building bimap-0.2.4...
Preprocessing library bimap-0.2.4...
[1 of 1] Compiling Data.Bimap ( Data/Bimap.hs, dist/build/Data/Bimap.o )
Data/Bimap.hs:81:1: Warning:
The qualified import of ‘Prelude’ is redundant
except perhaps to import instances from ‘Prelude’
To import instances alone, use: import Prelude()
In-place registering bimap-0.2.4...
Running Haddock for bimap-0.2.4...
Running hscolour for bimap-0.2.4...
Preprocessing library bimap-0.2.4...
Preprocessing library bimap-0.2.4...
Data/Bimap.hs:81:1: Warning:
The qualified import of ‘Prelude’ is redundant
except perhaps to import instances from ‘Prelude’
To import instances alone, use: import Prelude()
Haddock coverage:
100% ( 59 / 59) in 'Data.Bimap'
Documentation created: dist/doc/html/bimap/index.html,
dist/doc/html/bimap/bimap.txt
Creating package registration file: /tmp/pkgConf-bimap-0.232291.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/bimap-0.2.4
Registering bimap-0.2.4...
Installed bimap-0.2.4
Configuring data-reify-0.6...
Building data-reify-0.6...
Preprocessing library data-reify-0.6...
[1 of 2] Compiling Data.Reify.Graph ( Data/Reify/Graph.hs, dist/build/Data/Reify/Graph.o )
[2 of 2] Compiling Data.Reify ( Data/Reify.hs, dist/build/Data/Reify.o )
In-place registering data-reify-0.6...
Running Haddock for data-reify-0.6...
Running hscolour for data-reify-0.6...
Preprocessing library data-reify-0.6...
Preprocessing library data-reify-0.6...
Haddock coverage:
67% ( 2 / 3) in 'Data.Reify.Graph'
75% ( 3 / 4) in 'Data.Reify'
Documentation created: dist/doc/html/data-reify/index.html,
dist/doc/html/data-reify/data-reify.txt
Creating package registration file: /tmp/pkgConf-data-reify-032291.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/data-reify-0.6
Registering data-reify-0.6...
Installed data-reify-0.6
Configuring dlist-0.7.1...
Building dlist-0.7.1...
Preprocessing library dlist-0.7.1...
[1 of 1] Compiling Data.DList ( Data/DList.hs, dist/build/Data/DList.o )
In-place registering dlist-0.7.1...
Running Haddock for dlist-0.7.1...
Running hscolour for dlist-0.7.1...
Preprocessing library dlist-0.7.1...
Preprocessing library dlist-0.7.1...
Haddock coverage:
100% ( 20 / 20) in 'Data.DList'
Documentation created: dist/doc/html/dlist/index.html,
dist/doc/html/dlist/dlist.txt
Creating package registration file: /tmp/pkgConf-dlist-0.732291.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/dlist-0.7.1
Registering dlist-0.7.1...
Installed dlist-0.7.1
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.332291.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
Downloading pretty-ncols-0.1...
Configuring pretty-ncols-0.1...
Building pretty-ncols-0.1...
Preprocessing library pretty-ncols-0.1...
[1 of 1] Compiling Text.PrettyPrint.NCol ( Text/PrettyPrint/NCol.hs, dist/build/Text/PrettyPrint/NCol.o )
In-place registering pretty-ncols-0.1...
Running Haddock for pretty-ncols-0.1...
Running hscolour for pretty-ncols-0.1...
Preprocessing library pretty-ncols-0.1...
Preprocessing library pretty-ncols-0.1...
Haddock coverage:
0% ( 0 / 3) in 'Text.PrettyPrint.NCol'
Documentation created: dist/doc/html/pretty-ncols/index.html,
dist/doc/html/pretty-ncols/pretty-ncols.txt
Creating package registration file: /tmp/pkgConf-pretty-ncols-032291.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/pretty-ncols-0.1
Registering pretty-ncols-0.1...
Installed pretty-ncols-0.1
Configuring primitive-0.5.4.0...
Building primitive-0.5.4.0...
Preprocessing library primitive-0.5.4.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.4.0...
Running Haddock for primitive-0.5.4.0...
Running hscolour for primitive-0.5.4.0...
Preprocessing library primitive-0.5.4.0...
Preprocessing library primitive-0.5.4.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:
100% ( 3 / 3) in 'Data.Primitive.Internal.Compat'
3% ( 1 / 35) in 'Data.Primitive.MachDeps'
3% ( 1 / 29) in 'Data.Primitive.Internal.Operations'
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
Creating package registration file: /tmp/pkgConf-primitive-0.5.432291.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/primitive-0.5.4.0
Registering primitive-0.5.4.0...
Installed primitive-0.5.4.0
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-132291.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 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.432291.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.432291.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.3...
Building text-1.2.0.3...
Preprocessing library text-1.2.0.3...
[ 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.3...
Running Haddock for text-1.2.0.3...
Running hscolour for text-1.2.0.3...
Preprocessing library text-1.2.0.3...
Preprocessing library text-1.2.0.3...
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.032291.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/text-1.2.0.3
Registering text-1.2.0.3...
Installed text-1.2.0.3
Configuring vector-0.10.12.2...
Building vector-0.10.12.2...
Preprocessing library vector-0.10.12.2...
[ 1 of 19] Compiling Data.Vector.Storable.Internal ( Data/Vector/Storable/Internal.hs, dist/build/Data/Vector/Storable/Internal.o )
[ 2 of 19] Compiling Data.Vector.Fusion.Util ( Data/Vector/Fusion/Util.hs, dist/build/Data/Vector/Fusion/Util.o )
[ 3 of 19] Compiling Data.Vector.Fusion.Stream.Size ( Data/Vector/Fusion/Stream/Size.hs, dist/build/Data/Vector/Fusion/Stream/Size.o )
Data/Vector/Fusion/Stream/Size.hs:25:10: Warning:
No explicit implementation for
‘*’, ‘abs’, and ‘signum’
In the instance declaration for ‘Num Size’
[ 4 of 19] Compiling Data.Vector.Internal.Check ( Data/Vector/Internal/Check.hs, dist/build/Data/Vector/Internal/Check.o )
[ 5 of 19] Compiling Data.Vector.Fusion.Stream.Monadic ( Data/Vector/Fusion/Stream/Monadic.hs, dist/build/Data/Vector/Fusion/Stream/Monadic.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package primitive-0.5.4.0 ... linking ... done.
Loading package array-0.5.0.0 ... linking ... done.
Loading package deepseq-1.3.0.2 ... linking ... done.
[ 6 of 19] Compiling Data.Vector.Fusion.Stream ( Data/Vector/Fusion/Stream.hs, dist/build/Data/Vector/Fusion/Stream.o )
[ 7 of 19] Compiling Data.Vector.Generic.Mutable ( Data/Vector/Generic/Mutable.hs, dist/build/Data/Vector/Generic/Mutable.o )
[ 8 of 19] Compiling Data.Vector.Generic.Base ( Data/Vector/Generic/Base.hs, dist/build/Data/Vector/Generic/Base.o )
[ 9 of 19] Compiling Data.Vector.Generic.New ( Data/Vector/Generic/New.hs, dist/build/Data/Vector/Generic/New.o )
[10 of 19] Compiling Data.Vector.Generic ( Data/Vector/Generic.hs, dist/build/Data/Vector/Generic.o )
[11 of 19] Compiling Data.Vector.Primitive.Mutable ( Data/Vector/Primitive/Mutable.hs, dist/build/Data/Vector/Primitive/Mutable.o )
[12 of 19] Compiling Data.Vector.Primitive ( Data/Vector/Primitive.hs, dist/build/Data/Vector/Primitive.o )
[13 of 19] Compiling Data.Vector.Storable.Mutable ( Data/Vector/Storable/Mutable.hs, dist/build/Data/Vector/Storable/Mutable.o )
Data/Vector/Storable/Mutable.hs:450:1: Warning:
Rule "unsafeFromForeignPtr fp 0 n -> unsafeFromForeignPtr0 fp n " may never fire
because ‘unsafeFromForeignPtr’ might inline first
Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‘unsafeFromForeignPtr’
[14 of 19] Compiling Data.Vector.Storable ( Data/Vector/Storable.hs, dist/build/Data/Vector/Storable.o )
Data/Vector/Storable.hs:1398:1: Warning:
Rule "unsafeFromForeignPtr fp 0 n -> unsafeFromForeignPtr0 fp n " may never fire
because ‘unsafeFromForeignPtr’ might inline first
Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‘unsafeFromForeignPtr’
[15 of 19] Compiling Data.Vector.Unboxed.Base ( Data/Vector/Unboxed/Base.hs, dist/build/Data/Vector/Unboxed/Base.o )
[16 of 19] Compiling Data.Vector.Unboxed ( Data/Vector/Unboxed.hs, dist/build/Data/Vector/Unboxed.o )
[17 of 19] Compiling Data.Vector.Unboxed.Mutable ( Data/Vector/Unboxed/Mutable.hs, dist/build/Data/Vector/Unboxed/Mutable.o )
[18 of 19] Compiling Data.Vector.Mutable ( Data/Vector/Mutable.hs, dist/build/Data/Vector/Mutable.o )
[19 of 19] Compiling Data.Vector ( Data/Vector.hs, dist/build/Data/Vector.o )
In-place registering vector-0.10.12.2...
Running Haddock for vector-0.10.12.2...
Running hscolour for vector-0.10.12.2...
Preprocessing library vector-0.10.12.2...
Preprocessing library vector-0.10.12.2...
Data/Vector/Fusion/Stream/Size.hs:25:10: Warning:
No explicit implementation for
‘*’, ‘abs’, and ‘signum’
In the instance declaration for ‘Num Size’
Haddock coverage:
25% ( 1 / 4) in 'Data.Vector.Storable.Internal'
100% ( 5 / 5) in 'Data.Vector.Fusion.Util'
100% ( 6 / 6) in 'Data.Vector.Fusion.Stream.Size'
11% ( 1 / 9) in 'Data.Vector.Internal.Check'
83% (104 /126) in 'Data.Vector.Fusion.Stream.Monadic'
85% ( 88 /104) in 'Data.Vector.Fusion.Stream'
64% ( 42 / 66) in 'Data.Vector.Generic.Mutable'
100% ( 3 / 3) in 'Data.Vector.Generic.Base'
5% ( 1 / 20) in 'Data.Vector.Generic.New'
93% (215 /232) in 'Data.Vector.Generic'
76% ( 38 / 50) in 'Data.Vector.Primitive.Mutable'
97% (185 /191) in 'Data.Vector.Primitive'
79% ( 46 / 58) in 'Data.Vector.Storable.Mutable'
97% (194 /200) in 'Data.Vector.Storable'
17% ( 1 / 6) in 'Data.Vector.Unboxed.Base'
96% (201 /210) in 'Data.Vector.Unboxed'
77% ( 47 / 61) in 'Data.Vector.Unboxed.Mutable'
76% ( 37 / 49) in 'Data.Vector.Mutable'
94% (199 /212) in 'Data.Vector'
Warning: Data.Vector.Unboxed: could not find link destinations for:
Data.Vector.Unboxed.Base.TFCo:R:VectorBool Data.Vector.Unboxed.Base.V_Bool Data.Vector.Unboxed.Base.TFCo:R:VectorChar Data.Vector.Unboxed.Base.V_Char Data.Vector.Unboxed.Base.TFCo:R:VectorDouble Data.Vector.Unboxed.Base.V_Double Data.Vector.Unboxed.Base.TFCo:R:VectorFloat Data.Vector.Unboxed.Base.V_Float Data.Vector.Unboxed.Base.TFCo:R:VectorInt Data.Vector.Unboxed.Base.V_Int Data.Vector.Unboxed.Base.TFCo:R:VectorInt8 Data.Vector.Unboxed.Base.V_Int8 Data.Vector.Unboxed.Base.TFCo:R:VectorInt16 Data.Vector.Unboxed.Base.V_Int16 Data.Vector.Unboxed.Base.TFCo:R:VectorInt32 Data.Vector.Unboxed.Base.V_Int32 Data.Vector.Unboxed.Base.TFCo:R:VectorInt64 Data.Vector.Unboxed.Base.V_Int64 Data.Vector.Unboxed.Base.TFCo:R:VectorWord Data.Vector.Unboxed.Base.V_Word Data.Vector.Unboxed.Base.TFCo:R:VectorWord8 Data.Vector.Unboxed.Base.V_Word8 Data.Vector.Unboxed.Base.TFCo:R:VectorWord16 Data.Vector.Unboxed.Base.V_Word16 Data.Vector.Unboxed.Base.TFCo:R:VectorWord32 Data.Vector.Unboxed.Base.V_Word32 Data.Vector.Unboxed.Base.TFCo:R:VectorWord64 Data.Vector.Unboxed.Base.V_Word64 Data.Vector.Unboxed.Base.TFCo:R:Vector() Data.Vector.Unboxed.Base.V_Unit Data.Vector.Unboxed.Base.TFCo:R:VectorComplex Data.Vector.Unboxed.Base.V_Complex Data.Vector.Unboxed.Base.TFCo:R:Vector(,) Data.Vector.Unboxed.Base.V_2 Data.Vector.Unboxed.Base.TFCo:R:Vector(,,) Data.Vector.Unboxed.Base.V_3 Data.Vector.Unboxed.Base.TFCo:R:Vector(,,,) Data.Vector.Unboxed.Base.V_4 Data.Vector.Unboxed.Base.TFCo:R:Vector(,,,,) Data.Vector.Unboxed.Base.V_5 Data.Vector.Unboxed.Base.TFCo:R:Vector(,,,,,) Data.Vector.Unboxed.Base.V_6 Data.Vector.Unboxed.Base.TFCo:R:MVectorsBool Data.Vector.Unboxed.Base.MV_Bool Data.Vector.Unboxed.Base.TFCo:R:MVectorsChar Data.Vector.Unboxed.Base.MV_Char Data.Vector.Unboxed.Base.TFCo:R:MVectorsDouble Data.Vector.Unboxed.Base.MV_Double Data.Vector.Unboxed.Base.TFCo:R:MVectorsFloat Data.Vector.Unboxed.Base.MV_Float Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord64 Data.Vector.Unboxed.Base.MV_Word64 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord32 Data.Vector.Unboxed.Base.MV_Word32 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord16 Data.Vector.Unboxed.Base.MV_Word16 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord8 Data.Vector.Unboxed.Base.MV_Word8 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord Data.Vector.Unboxed.Base.MV_Word Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt64 Data.Vector.Unboxed.Base.MV_Int64 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt32 Data.Vector.Unboxed.Base.MV_Int32 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt16 Data.Vector.Unboxed.Base.MV_Int16 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt8 Data.Vector.Unboxed.Base.MV_Int8 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt Data.Vector.Unboxed.Base.MV_Int Data.Vector.Unboxed.Base.TFCo:R:MVectors() Data.Vector.Unboxed.Base.MV_Unit Data.Vector.Unboxed.Base.TFCo:R:MVectorsComplex Data.Vector.Unboxed.Base.MV_Complex Data.Vector.Unboxed.Base.TFCo:R:MVectors(,) Data.Vector.Unboxed.Base.MV_2 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,) Data.Vector.Unboxed.Base.MV_3 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,,) Data.Vector.Unboxed.Base.MV_4 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,,,) Data.Vector.Unboxed.Base.MV_5 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,,,,) Data.Vector.Unboxed.Base.MV_6
Warning: Data.Vector.Unboxed.Mutable: could not find link destinations for:
Data.Vector.Unboxed.Base.TFCo:R:MVectorsBool Data.Vector.Unboxed.Base.MV_Bool Data.Vector.Unboxed.Base.TFCo:R:MVectorsChar Data.Vector.Unboxed.Base.MV_Char Data.Vector.Unboxed.Base.TFCo:R:MVectorsDouble Data.Vector.Unboxed.Base.MV_Double Data.Vector.Unboxed.Base.TFCo:R:MVectorsFloat Data.Vector.Unboxed.Base.MV_Float Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord64 Data.Vector.Unboxed.Base.MV_Word64 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord32 Data.Vector.Unboxed.Base.MV_Word32 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord16 Data.Vector.Unboxed.Base.MV_Word16 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord8 Data.Vector.Unboxed.Base.MV_Word8 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord Data.Vector.Unboxed.Base.MV_Word Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt64 Data.Vector.Unboxed.Base.MV_Int64 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt32 Data.Vector.Unboxed.Base.MV_Int32 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt16 Data.Vector.Unboxed.Base.MV_Int16 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt8 Data.Vector.Unboxed.Base.MV_Int8 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt Data.Vector.Unboxed.Base.MV_Int Data.Vector.Unboxed.Base.TFCo:R:MVectors() Data.Vector.Unboxed.Base.MV_Unit Data.Vector.Unboxed.Base.TFCo:R:MVectorsComplex Data.Vector.Unboxed.Base.MV_Complex Data.Vector.Unboxed.Base.TFCo:R:MVectors(,) Data.Vector.Unboxed.Base.MV_2 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,) Data.Vector.Unboxed.Base.MV_3 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,,) Data.Vector.Unboxed.Base.MV_4 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,,,) Data.Vector.Unboxed.Base.MV_5 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,,,,) Data.Vector.Unboxed.Base.MV_6
Documentation created: dist/doc/html/vector/index.html,
dist/doc/html/vector/vector.txt
Creating package registration file: /tmp/pkgConf-vector-0.10.1232291.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/vector-0.10.12.2
Registering vector-0.10.12.2...
Installed vector-0.10.12.2
Downloading copilot-core-2.1.2...
Configuring copilot-core-2.1.2...
Building copilot-core-2.1.2...
Preprocessing library copilot-core-2.1.2...
[ 1 of 23] Compiling Copilot.Core.Type.Equality ( src/Copilot/Core/Type/Equality.hs, dist/build/Copilot/Core/Type/Equality.o )
[ 2 of 23] Compiling Copilot.Core.Random.Weights ( src/Copilot/Core/Random/Weights.hs, dist/build/Copilot/Core/Random/Weights.o )
[ 3 of 23] Compiling Copilot.Core.Type.Dynamic ( src/Copilot/Core/Type/Dynamic.hs, dist/build/Copilot/Core/Type/Dynamic.o )
[ 4 of 23] Compiling Copilot.Core.Type ( src/Copilot/Core/Type.hs, dist/build/Copilot/Core/Type.o )
[ 5 of 23] Compiling Copilot.Core.Type.Uninitialized ( src/Copilot/Core/Type/Uninitialized.hs, dist/build/Copilot/Core/Type/Uninitialized.o )
[ 6 of 23] Compiling Copilot.Core.Type.Show ( src/Copilot/Core/Type/Show.hs, dist/build/Copilot/Core/Type/Show.o )
[ 7 of 23] Compiling Copilot.Core.Operators ( src/Copilot/Core/Operators.hs, dist/build/Copilot/Core/Operators.o )
[ 8 of 23] Compiling Copilot.Core.Expr ( src/Copilot/Core/Expr.hs, dist/build/Copilot/Core/Expr.o )
[ 9 of 23] Compiling Copilot.Core.Spec ( src/Copilot/Core/Spec.hs, dist/build/Copilot/Core/Spec.o )
[10 of 23] Compiling Copilot.Core.External ( src/Copilot/Core/External.hs, dist/build/Copilot/Core/External.o )
[11 of 23] Compiling Copilot.Core.MakeTags ( src/Copilot/Core/MakeTags.hs, dist/build/Copilot/Core/MakeTags.o )
[12 of 23] Compiling Copilot.Core.Error ( src/Copilot/Core/Error.hs, dist/build/Copilot/Core/Error.o )
[13 of 23] Compiling Copilot.Core.Random.Gen ( src/Copilot/Core/Random/Gen.hs, dist/build/Copilot/Core/Random/Gen.o )
src/Copilot/Core/Random/Gen.hs:37:10: Warning:
‘Gen’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[14 of 23] Compiling Copilot.Core.Type.Eq ( src/Copilot/Core/Type/Eq.hs, dist/build/Copilot/Core/Type/Eq.o )
[15 of 23] Compiling Copilot.Core.Type.Read ( src/Copilot/Core/Type/Read.hs, dist/build/Copilot/Core/Type/Read.o )
[16 of 23] Compiling Copilot.Core ( src/Copilot/Core.hs, dist/build/Copilot/Core.o )
[17 of 23] Compiling Copilot.Core.Interpret.Eval ( src/Copilot/Core/Interpret/Eval.hs, dist/build/Copilot/Core/Interpret/Eval.o )
[18 of 23] Compiling Copilot.Core.Interpret.Render ( src/Copilot/Core/Interpret/Render.hs, dist/build/Copilot/Core/Interpret/Render.o )
[19 of 23] Compiling Copilot.Core.Interpret ( src/Copilot/Core/Interpret.hs, dist/build/Copilot/Core/Interpret.o )
[20 of 23] Compiling Copilot.Core.Locals ( src/Copilot/Core/Locals.hs, dist/build/Copilot/Core/Locals.o )
[21 of 23] Compiling Copilot.Core.Random ( src/Copilot/Core/Random.hs, dist/build/Copilot/Core/Random.o )
[22 of 23] Compiling Copilot.Core.PrettyPrint ( src/Copilot/Core/PrettyPrint.hs, dist/build/Copilot/Core/PrettyPrint.o )
[23 of 23] Compiling Copilot.Compile.Header.C99 ( src/Copilot/Compile/Header/C99.hs, dist/build/Copilot/Compile/Header/C99.o )
In-place registering copilot-core-2.1.2...
Running Haddock for copilot-core-2.1.2...
Running hscolour for copilot-core-2.1.2...
Preprocessing library copilot-core-2.1.2...
Preprocessing library copilot-core-2.1.2...
src/Copilot/Core/Random/Gen.hs:37:10: Warning:
‘Gen’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
Haddock coverage:
0% ( 0 / 8) in 'Copilot.Core.Type.Equality'
0% ( 0 / 4) in 'Copilot.Core.Random.Weights'
14% ( 1 / 7) in 'Copilot.Core.Type.Dynamic'
40% ( 2 / 5) in 'Copilot.Core.Type'
50% ( 1 / 2) in 'Copilot.Core.Type.Uninitialized'
0% ( 0 / 6) in 'Copilot.Core.Type.Show'
50% ( 2 / 4) in 'Copilot.Core.Operators'
71% ( 5 / 7) in 'Copilot.Core.Expr'
83% ( 5 / 6) in 'Copilot.Core.Spec'
0% ( 0 / 7) in 'Copilot.Core.External'
50% ( 1 / 2) in 'Copilot.Core.MakeTags'
0% ( 0 / 3) in 'Copilot.Core.Error'
17% ( 2 / 12) in 'Copilot.Core.Random.Gen'
0% ( 0 / 4) in 'Copilot.Core.Type.Eq'
0% ( 0 / 4) in 'Copilot.Core.Type.Read'
100% ( 11 / 11) in 'Copilot.Core'
20% ( 1 / 5) in 'Copilot.Core.Interpret.Eval'
33% ( 1 / 3) in 'Copilot.Core.Interpret.Render'
67% ( 2 / 3) in 'Copilot.Core.Interpret'
33% ( 1 / 3) in 'Copilot.Core.Locals'
50% ( 1 / 2) in 'Copilot.Core.Random'
100% ( 2 / 2) in 'Copilot.Core.PrettyPrint'
33% ( 1 / 3) in 'Copilot.Compile.Header.C99'
Documentation created: dist/doc/html/copilot-core/index.html,
dist/doc/html/copilot-core/copilot-core.txt
Creating package registration file: /tmp/pkgConf-copilot-core-2.132291.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/copilot-core-2.1.2
Registering copilot-core-2.1.2...
Installed copilot-core-2.1.2
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-032291.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.032291.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
Downloading atom-1.0.12...
Configuring atom-1.0.12...
Building atom-1.0.12...
Preprocessing library atom-1.0.12...
[ 1 of 12] Compiling Language.Atom.Expressions ( Language/Atom/Expressions.hs, dist/build/Language/Atom/Expressions.o )
Language/Atom/Expressions.hs:571:10: Warning:
No explicit implementation for
‘bitSizeMaybe’, ‘testBit’, ‘bit’, and ‘popCount’
In the instance declaration for ‘Bits (E a)’
[ 2 of 12] Compiling Language.Atom.UeMap ( Language/Atom/UeMap.hs, dist/build/Language/Atom/UeMap.o )
[ 3 of 12] Compiling Language.Atom.Elaboration ( Language/Atom/Elaboration.hs, dist/build/Language/Atom/Elaboration.o )
Language/Atom/Elaboration.hs:209:10: Warning:
‘Atom’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[ 4 of 12] Compiling Language.Atom.Analysis ( Language/Atom/Analysis.hs, dist/build/Language/Atom/Analysis.o )
[ 5 of 12] Compiling Language.Atom.Scheduling ( Language/Atom/Scheduling.hs, dist/build/Language/Atom/Scheduling.o )
[ 6 of 12] Compiling Language.Atom.Language ( Language/Atom/Language.hs, dist/build/Language/Atom/Language.o )
[ 7 of 12] Compiling Language.Atom.Common ( Language/Atom/Common.hs, dist/build/Language/Atom/Common.o )
[ 8 of 12] Compiling Language.Atom.Code ( Language/Atom/Code.hs, dist/build/Language/Atom/Code.o )
[ 9 of 12] Compiling Language.Atom.Compile ( Language/Atom/Compile.hs, dist/build/Language/Atom/Compile.o )
[10 of 12] Compiling Language.Atom.Unit ( Language/Atom/Unit.hs, dist/build/Language/Atom/Unit.o )
[11 of 12] Compiling Language.Atom ( Language/Atom.hs, dist/build/Language/Atom.o )
[12 of 12] Compiling Language.Atom.Example ( Language/Atom/Example.hs, dist/build/Language/Atom/Example.o )
In-place registering atom-1.0.12...
Running Haddock for atom-1.0.12...
Running hscolour for atom-1.0.12...
Preprocessing library atom-1.0.12...
Preprocessing library atom-1.0.12...
Language/Atom/Expressions.hs:571:10: Warning:
No explicit implementation for
‘bitSizeMaybe’, ‘testBit’, ‘bit’, and ‘popCount’
In the instance declaration for ‘Bits (E a)’
Language/Atom/Elaboration.hs:209:10: Warning:
‘Atom’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
Haddock coverage:
73% ( 56 / 77) in 'Language.Atom.Expressions'
76% ( 13 / 17) in 'Language.Atom.UeMap'
57% ( 13 / 23) in 'Language.Atom.Elaboration'
67% ( 2 / 3) in 'Language.Atom.Analysis'
25% ( 1 / 4) in 'Language.Atom.Scheduling'
98% ( 59 / 60) in 'Language.Atom.Language'
100% ( 17 / 17) in 'Language.Atom.Common'
62% ( 5 / 8) in 'Language.Atom.Code'
50% ( 2 / 4) in 'Language.Atom.Compile'
73% ( 8 / 11) in 'Language.Atom.Unit'
100% ( 5 / 5) in 'Language.Atom'
100% ( 3 / 3) in 'Language.Atom.Example'
Warning: Language.Atom.Expressions: could not find link destinations for:
Language.Atom.Expressions.signed
Warning: Language.Atom.Elaboration: could not find link destinations for:
Language.Atom.Elaboration.AtomSt
Documentation created: dist/doc/html/atom/index.html,
dist/doc/html/atom/atom.txt
Creating package registration file: /tmp/pkgConf-atom-1.032291.12
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/atom-1.0.12
Registering atom-1.0.12...
Installed atom-1.0.12
Configuring parsec-3.1.7...
Building parsec-3.1.7...
Preprocessing library parsec-3.1.7...
[ 1 of 25] Compiling Text.Parsec.Pos ( Text/Parsec/Pos.hs, dist/build/Text/Parsec/Pos.o )
[ 2 of 25] Compiling Text.Parsec.Error ( Text/Parsec/Error.hs, dist/build/Text/Parsec/Error.o )
[ 3 of 25] Compiling Text.ParserCombinators.Parsec.Error ( Text/ParserCombinators/Parsec/Error.hs, dist/build/Text/ParserCombinators/Parsec/Error.o )
[ 4 of 25] Compiling Text.Parsec.Prim ( Text/Parsec/Prim.hs, dist/build/Text/Parsec/Prim.o )
[ 5 of 25] Compiling Text.Parsec.Combinator ( Text/Parsec/Combinator.hs, dist/build/Text/Parsec/Combinator.o )
[ 6 of 25] Compiling Text.ParserCombinators.Parsec.Combinator ( Text/ParserCombinators/Parsec/Combinator.hs, dist/build/Text/ParserCombinators/Parsec/Combinator.o )
[ 7 of 25] Compiling Text.Parsec.String ( Text/Parsec/String.hs, dist/build/Text/Parsec/String.o )
[ 8 of 25] Compiling Text.Parsec.ByteString ( Text/Parsec/ByteString.hs, dist/build/Text/Parsec/ByteString.o )
[ 9 of 25] Compiling Text.Parsec.ByteString.Lazy ( Text/Parsec/ByteString/Lazy.hs, dist/build/Text/Parsec/ByteString/Lazy.o )
[10 of 25] Compiling Text.Parsec.Text ( Text/Parsec/Text.hs, dist/build/Text/Parsec/Text.o )
[11 of 25] Compiling Text.Parsec.Text.Lazy ( Text/Parsec/Text/Lazy.hs, dist/build/Text/Parsec/Text/Lazy.o )
[12 of 25] Compiling Text.Parsec.Expr ( Text/Parsec/Expr.hs, dist/build/Text/Parsec/Expr.o )
[13 of 25] Compiling Text.ParserCombinators.Parsec.Prim ( Text/ParserCombinators/Parsec/Prim.hs, dist/build/Text/ParserCombinators/Parsec/Prim.o )
[14 of 25] Compiling Text.ParserCombinators.Parsec.Pos ( Text/ParserCombinators/Parsec/Pos.hs, dist/build/Text/ParserCombinators/Parsec/Pos.o )
[15 of 25] Compiling Text.Parsec.Char ( Text/Parsec/Char.hs, dist/build/Text/Parsec/Char.o )
[16 of 25] Compiling Text.Parsec.Token ( Text/Parsec/Token.hs, dist/build/Text/Parsec/Token.o )
[17 of 25] Compiling Text.ParserCombinators.Parsec.Token ( Text/ParserCombinators/Parsec/Token.hs, dist/build/Text/ParserCombinators/Parsec/Token.o )
[18 of 25] Compiling Text.ParserCombinators.Parsec.Char ( Text/ParserCombinators/Parsec/Char.hs, dist/build/Text/ParserCombinators/Parsec/Char.o )
[19 of 25] Compiling Text.ParserCombinators.Parsec ( Text/ParserCombinators/Parsec.hs, dist/build/Text/ParserCombinators/Parsec.o )
[20 of 25] Compiling Text.ParserCombinators.Parsec.Expr ( Text/ParserCombinators/Parsec/Expr.hs, dist/build/Text/ParserCombinators/Parsec/Expr.o )
[21 of 25] Compiling Text.Parsec ( Text/Parsec.hs, dist/build/Text/Parsec.o )
[22 of 25] Compiling Text.Parsec.Language ( Text/Parsec/Language.hs, dist/build/Text/Parsec/Language.o )
[23 of 25] Compiling Text.ParserCombinators.Parsec.Language ( Text/ParserCombinators/Parsec/Language.hs, dist/build/Text/ParserCombinators/Parsec/Language.o )
[24 of 25] Compiling Text.Parsec.Perm ( Text/Parsec/Perm.hs, dist/build/Text/Parsec/Perm.o )
[25 of 25] Compiling Text.ParserCombinators.Parsec.Perm ( Text/ParserCombinators/Parsec/Perm.hs, dist/build/Text/ParserCombinators/Parsec/Perm.o )
In-place registering parsec-3.1.7...
Running Haddock for parsec-3.1.7...
Running hscolour for parsec-3.1.7...
Preprocessing library parsec-3.1.7...
Preprocessing library parsec-3.1.7...
Haddock coverage:
82% ( 14 / 17) in 'Text.Parsec.Pos'
43% ( 6 / 14) in 'Text.Parsec.Error'
38% ( 6 / 16) in 'Text.ParserCombinators.Parsec.Error'
64% ( 32 / 50) in 'Text.Parsec.Prim'
100% ( 24 / 24) in 'Text.Parsec.Combinator'
100% ( 24 / 24) in 'Text.ParserCombinators.Parsec.Combinator'
50% ( 2 / 4) in 'Text.Parsec.String'
50% ( 2 / 4) in 'Text.Parsec.ByteString'
50% ( 2 / 4) in 'Text.Parsec.ByteString.Lazy'
33% ( 1 / 3) in 'Text.Parsec.Text'
33% ( 1 / 3) in 'Text.Parsec.Text.Lazy'
100% ( 5 / 5) in 'Text.Parsec.Expr'
70% ( 21 / 30) in 'Text.ParserCombinators.Parsec.Prim'
82% ( 14 / 17) in 'Text.ParserCombinators.Parsec.Pos'
100% ( 20 / 20) in 'Text.Parsec.Char'
67% ( 4 / 6) in 'Text.Parsec.Token'
67% ( 4 / 6) in 'Text.ParserCombinators.Parsec.Token'
95% ( 18 / 19) in 'Text.ParserCombinators.Parsec.Char'
83% ( 15 / 18) in 'Text.ParserCombinators.Parsec'
40% ( 2 / 5) in 'Text.ParserCombinators.Parsec.Expr'
78% ( 73 / 93) in 'Text.Parsec'
80% ( 8 / 10) in 'Text.Parsec.Language'
80% ( 8 / 10) in 'Text.ParserCombinators.Parsec.Language'
100% ( 8 / 8) in 'Text.Parsec.Perm'
100% ( 7 / 7) in 'Text.ParserCombinators.Parsec.Perm'
Documentation created: dist/doc/html/parsec/index.html,
dist/doc/html/parsec/parsec.txt
Creating package registration file: /tmp/pkgConf-parsec-3.132291.7
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/parsec-3.1.7
Registering parsec-3.1.7...
Installed parsec-3.1.7
Downloading copilot-language-2.1.2...
Configuring copilot-language-2.1.2...
Building copilot-language-2.1.2...
Preprocessing library copilot-language-2.1.2...
target ‘base’ is not a module name or a source file
Failed to install copilot-language-2.1.2
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...
Haddock coverage:
10% ( 2 / 20) 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'
88% ( 22 / 25) 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'
56% ( 40 / 72) in 'Test.QuickCheck.Property'
52% ( 14 / 27) in 'Test.QuickCheck.Test'
100% ( 9 / 9) in 'Test.QuickCheck.All'
5% ( 1 / 20) in 'Test.QuickCheck.Monadic'
98% (121 /123) in 'Test.QuickCheck'
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
Creating package registration file: /tmp/pkgConf-QuickCheck-2.732291.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/QuickCheck-2.7.6
Registering QuickCheck-2.7.6...
Installed QuickCheck-2.7.6
Configuring csv-0.1.2...
Building csv-0.1.2...
Preprocessing library csv-0.1.2...
[1 of 1] Compiling Text.CSV ( Text/CSV.hs, dist/build/Text/CSV.o )
In-place registering csv-0.1.2...
Running Haddock for csv-0.1.2...
Running hscolour for csv-0.1.2...
Preprocessing library csv-0.1.2...
Preprocessing library csv-0.1.2...
Haddock coverage:
100% ( 9 / 9) in 'Text.CSV'
Documentation created: dist/doc/html/csv/index.html, dist/doc/html/csv/csv.txt
Creating package registration file: /tmp/pkgConf-csv-0.132291.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/csv-0.1.2
Registering csv-0.1.2...
Installed csv-0.1.2
Configuring sbv-3.4...
Building sbv-3.4...
Preprocessing library sbv-3.4...
[ 1 of 66] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist/build/Data/SBV/Utils/TDiff.o )
[ 2 of 66] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist/build/Data/SBV/Utils/Lib.o )
[ 3 of 66] Compiling Data.SBV.Utils.Boolean ( Data/SBV/Utils/Boolean.hs, dist/build/Data/SBV/Utils/Boolean.o )
[ 4 of 66] Compiling Data.SBV.BitVectors.AlgReals ( Data/SBV/BitVectors/AlgReals.hs, dist/build/Data/SBV/BitVectors/AlgReals.o )
[ 5 of 66] Compiling Data.SBV.BitVectors.Data ( Data/SBV/BitVectors/Data.hs, dist/build/Data/SBV/BitVectors/Data.o )
[ 6 of 66] Compiling Data.SBV.BitVectors.PrettyNum ( Data/SBV/BitVectors/PrettyNum.hs, dist/build/Data/SBV/BitVectors/PrettyNum.o )
[ 7 of 66] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist/build/Data/SBV/Compilers/CodeGen.o )
[ 8 of 66] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, dist/build/Data/SBV/Compilers/C.o )
[ 9 of 66] Compiling Data.SBV.Tools.ExpectedValue ( Data/SBV/Tools/ExpectedValue.hs, dist/build/Data/SBV/Tools/ExpectedValue.o )
[10 of 66] Compiling Data.SBV.SMT.SMTLib1 ( Data/SBV/SMT/SMTLib1.hs, dist/build/Data/SBV/SMT/SMTLib1.o )
[11 of 66] Compiling Data.SBV.Tools.GenTest ( Data/SBV/Tools/GenTest.hs, dist/build/Data/SBV/Tools/GenTest.o )
[12 of 66] Compiling Data.SBV.SMT.SMT ( Data/SBV/SMT/SMT.hs, dist/build/Data/SBV/SMT/SMT.o )
[13 of 66] Compiling Data.SBV.Provers.SExpr ( Data/SBV/Provers/SExpr.hs, dist/build/Data/SBV/Provers/SExpr.o )
[14 of 66] Compiling Data.SBV.SMT.SMTLib2 ( Data/SBV/SMT/SMTLib2.hs, dist/build/Data/SBV/SMT/SMTLib2.o )
[15 of 66] Compiling Data.SBV.SMT.SMTLib ( Data/SBV/SMT/SMTLib.hs, dist/build/Data/SBV/SMT/SMTLib.o )
[16 of 66] Compiling Data.SBV.Provers.Yices ( Data/SBV/Provers/Yices.hs, dist/build/Data/SBV/Provers/Yices.o )
[17 of 66] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, dist/build/Data/SBV/Provers/Boolector.o )
[18 of 66] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, dist/build/Data/SBV/Provers/CVC4.o )
[19 of 66] Compiling Data.SBV.Provers.MathSAT ( Data/SBV/Provers/MathSAT.hs, dist/build/Data/SBV/Provers/MathSAT.o )
[20 of 66] Compiling Data.SBV.Provers.Z3 ( Data/SBV/Provers/Z3.hs, dist/build/Data/SBV/Provers/Z3.o )
[21 of 66] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, dist/build/Data/SBV/Provers/Prover.o )
[22 of 66] Compiling Data.SBV.BitVectors.Model ( Data/SBV/BitVectors/Model.hs, dist/build/Data/SBV/BitVectors/Model.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 random-1.1 ... linking ... done.
Loading package containers-0.5.5.1 ... linking ... done.
Loading package pretty-1.1.1.1 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package primitive-0.5.4.0 ... linking ... done.
Loading package tf-random-0.5 ... linking ... done.
Loading package QuickCheck-2.7.6 ... linking ... done.
[23 of 66] Compiling Data.SBV.BitVectors.SignCast ( Data/SBV/BitVectors/SignCast.hs, dist/build/Data/SBV/BitVectors/SignCast.o )
[24 of 66] Compiling Data.SBV.BitVectors.Splittable ( Data/SBV/BitVectors/Splittable.hs, dist/build/Data/SBV/BitVectors/Splittable.o )
[25 of 66] Compiling Data.SBV.BitVectors.STree ( Data/SBV/BitVectors/STree.hs, dist/build/Data/SBV/BitVectors/STree.o )
[26 of 66] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, dist/build/Data/SBV/Tools/Polynomial.o )
[27 of 66] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist/build/Data/SBV/Internals.o )
[28 of 66] Compiling Data.SBV.Tools.Optimize ( Data/SBV/Tools/Optimize.hs, dist/build/Data/SBV/Tools/Optimize.o )
[29 of 66] Compiling Data.SBV ( Data/SBV.hs, dist/build/Data/SBV.o )
[30 of 66] Compiling Data.SBV.Bridge.Boolector ( Data/SBV/Bridge/Boolector.hs, dist/build/Data/SBV/Bridge/Boolector.o )
[31 of 66] Compiling Data.SBV.Bridge.CVC4 ( Data/SBV/Bridge/CVC4.hs, dist/build/Data/SBV/Bridge/CVC4.o )
[32 of 66] Compiling Data.SBV.Bridge.MathSAT ( Data/SBV/Bridge/MathSAT.hs, dist/build/Data/SBV/Bridge/MathSAT.o )
[33 of 66] Compiling Data.SBV.Bridge.Yices ( Data/SBV/Bridge/Yices.hs, dist/build/Data/SBV/Bridge/Yices.o )
[34 of 66] Compiling Data.SBV.Bridge.Z3 ( Data/SBV/Bridge/Z3.hs, dist/build/Data/SBV/Bridge/Z3.o )
[35 of 66] Compiling Data.SBV.Examples.BitPrecise.BitTricks ( Data/SBV/Examples/BitPrecise/BitTricks.hs, dist/build/Data/SBV/Examples/BitPrecise/BitTricks.o )
[36 of 66] Compiling Data.SBV.Examples.BitPrecise.Legato ( Data/SBV/Examples/BitPrecise/Legato.hs, dist/build/Data/SBV/Examples/BitPrecise/Legato.o )
[37 of 66] Compiling Data.SBV.Examples.BitPrecise.MergeSort ( Data/SBV/Examples/BitPrecise/MergeSort.hs, dist/build/Data/SBV/Examples/BitPrecise/MergeSort.o )
[38 of 66] Compiling Data.SBV.Examples.BitPrecise.PrefixSum ( Data/SBV/Examples/BitPrecise/PrefixSum.hs, dist/build/Data/SBV/Examples/BitPrecise/PrefixSum.o )
[39 of 66] Compiling Data.SBV.Examples.CodeGeneration.AddSub ( Data/SBV/Examples/CodeGeneration/AddSub.hs, dist/build/Data/SBV/Examples/CodeGeneration/AddSub.o )
[40 of 66] Compiling Data.SBV.Examples.CodeGeneration.CRC_USB5 ( Data/SBV/Examples/CodeGeneration/CRC_USB5.hs, dist/build/Data/SBV/Examples/CodeGeneration/CRC_USB5.o )
[41 of 66] Compiling Data.SBV.Examples.CodeGeneration.Fibonacci ( Data/SBV/Examples/CodeGeneration/Fibonacci.hs, dist/build/Data/SBV/Examples/CodeGeneration/Fibonacci.o )
[42 of 66] Compiling Data.SBV.Examples.CodeGeneration.GCD ( Data/SBV/Examples/CodeGeneration/GCD.hs, dist/build/Data/SBV/Examples/CodeGeneration/GCD.o )
[43 of 66] Compiling Data.SBV.Examples.CodeGeneration.PopulationCount ( Data/SBV/Examples/CodeGeneration/PopulationCount.hs, dist/build/Data/SBV/Examples/CodeGeneration/PopulationCount.o )
[44 of 66] Compiling Data.SBV.Examples.CodeGeneration.Uninterpreted ( Data/SBV/Examples/CodeGeneration/Uninterpreted.hs, dist/build/Data/SBV/Examples/CodeGeneration/Uninterpreted.o )
[45 of 66] Compiling Data.SBV.Examples.Crypto.AES ( Data/SBV/Examples/Crypto/AES.hs, dist/build/Data/SBV/Examples/Crypto/AES.o )
[46 of 66] Compiling Data.SBV.Examples.Crypto.RC4 ( Data/SBV/Examples/Crypto/RC4.hs, dist/build/Data/SBV/Examples/Crypto/RC4.o )
[47 of 66] Compiling Data.SBV.Examples.Existentials.CRCPolynomial ( Data/SBV/Examples/Existentials/CRCPolynomial.hs, dist/build/Data/SBV/Examples/Existentials/CRCPolynomial.o )
[48 of 66] Compiling Data.SBV.Examples.Existentials.Diophantine ( Data/SBV/Examples/Existentials/Diophantine.hs, dist/build/Data/SBV/Examples/Existentials/Diophantine.o )
[49 of 66] Compiling Data.SBV.Examples.Misc.Floating ( Data/SBV/Examples/Misc/Floating.hs, dist/build/Data/SBV/Examples/Misc/Floating.o )
[50 of 66] Compiling Data.SBV.Examples.Misc.SBranch ( Data/SBV/Examples/Misc/SBranch.hs, dist/build/Data/SBV/Examples/Misc/SBranch.o )
[51 of 66] Compiling Data.SBV.Examples.Misc.ModelExtract ( Data/SBV/Examples/Misc/ModelExtract.hs, dist/build/Data/SBV/Examples/Misc/ModelExtract.o )
[52 of 66] Compiling Data.SBV.Examples.Polynomials.Polynomials ( Data/SBV/Examples/Polynomials/Polynomials.hs, dist/build/Data/SBV/Examples/Polynomials/Polynomials.o )
[53 of 66] Compiling Data.SBV.Examples.Puzzles.Coins ( Data/SBV/Examples/Puzzles/Coins.hs, dist/build/Data/SBV/Examples/Puzzles/Coins.o )
[54 of 66] Compiling Data.SBV.Examples.Puzzles.Counts ( Data/SBV/Examples/Puzzles/Counts.hs, dist/build/Data/SBV/Examples/Puzzles/Counts.o )
[55 of 66] Compiling Data.SBV.Examples.Puzzles.DogCatMouse ( Data/SBV/Examples/Puzzles/DogCatMouse.hs, dist/build/Data/SBV/Examples/Puzzles/DogCatMouse.o )
[56 of 66] Compiling Data.SBV.Examples.Puzzles.Euler185 ( Data/SBV/Examples/Puzzles/Euler185.hs, dist/build/Data/SBV/Examples/Puzzles/Euler185.o )
[57 of 66] Compiling Data.SBV.Examples.Puzzles.MagicSquare ( Data/SBV/Examples/Puzzles/MagicSquare.hs, dist/build/Data/SBV/Examples/Puzzles/MagicSquare.o )
[58 of 66] Compiling Data.SBV.Examples.Puzzles.NQueens ( Data/SBV/Examples/Puzzles/NQueens.hs, dist/build/Data/SBV/Examples/Puzzles/NQueens.o )
[59 of 66] Compiling Data.SBV.Examples.Puzzles.Sudoku ( Data/SBV/Examples/Puzzles/Sudoku.hs, dist/build/Data/SBV/Examples/Puzzles/Sudoku.o )
[60 of 66] Compiling Data.SBV.Examples.Puzzles.U2Bridge ( Data/SBV/Examples/Puzzles/U2Bridge.hs, dist/build/Data/SBV/Examples/Puzzles/U2Bridge.o )
[61 of 66] Compiling Data.SBV.Examples.Uninterpreted.AUF ( Data/SBV/Examples/Uninterpreted/AUF.hs, dist/build/Data/SBV/Examples/Uninterpreted/AUF.o )
[62 of 66] Compiling Data.SBV.Examples.Uninterpreted.Deduce ( Data/SBV/Examples/Uninterpreted/Deduce.hs, dist/build/Data/SBV/Examples/Uninterpreted/Deduce.o )
[63 of 66] Compiling Data.SBV.Examples.Uninterpreted.Function ( Data/SBV/Examples/Uninterpreted/Function.hs, dist/build/Data/SBV/Examples/Uninterpreted/Function.o )
[64 of 66] Compiling Data.SBV.Examples.Uninterpreted.Shannon ( Data/SBV/Examples/Uninterpreted/Shannon.hs, dist/build/Data/SBV/Examples/Uninterpreted/Shannon.o )
[65 of 66] Compiling Data.SBV.Examples.Uninterpreted.Sort ( Data/SBV/Examples/Uninterpreted/Sort.hs, dist/build/Data/SBV/Examples/Uninterpreted/Sort.o )
[66 of 66] Compiling Data.SBV.Examples.Uninterpreted.UISortAllSat ( Data/SBV/Examples/Uninterpreted/UISortAllSat.hs, dist/build/Data/SBV/Examples/Uninterpreted/UISortAllSat.o )
In-place registering sbv-3.4...
Preprocessing executable 'SBVUnitTests' for sbv-3.4...
[ 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 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 containers-0.5.5.1 ... linking ... done.
Loading package pretty-1.1.1.1 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package primitive-0.5.4.0 ... linking ... done.
Loading package tf-random-0.5 ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package QuickCheck-2.7.6 ... 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-3.4 ... 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-3.4...
Running hscolour for sbv-3.4...
Preprocessing library sbv-3.4...
Preprocessing executable 'SBVUnitTests' for sbv-3.4...
Preprocessing library sbv-3.4...
Haddock coverage:
100% ( 2 / 2) in 'Data.SBV.Utils.TDiff'
100% ( 8 / 8) in 'Data.SBV.Utils.Lib'
100% ( 6 / 6) in 'Data.SBV.Utils.Boolean'
100% ( 9 / 9) in 'Data.SBV.BitVectors.AlgReals'
100% ( 97 / 97) in 'Data.SBV.BitVectors.Data'
100% ( 14 / 14) in 'Data.SBV.BitVectors.PrettyNum'
100% ( 35 / 35) in 'Data.SBV.Compilers.CodeGen'
100% ( 5 / 5) in 'Data.SBV.Compilers.C'
100% ( 3 / 3) in 'Data.SBV.Tools.ExpectedValue'
100% ( 3 / 3) in 'Data.SBV.SMT.SMTLib1'
100% ( 6 / 6) in 'Data.SBV.Tools.GenTest'
100% ( 54 / 54) in 'Data.SBV.SMT.SMT'
100% ( 4 / 4) in 'Data.SBV.Provers.SExpr'
100% ( 3 / 3) in 'Data.SBV.SMT.SMTLib2'
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.Z3'
100% ( 41 / 41) in 'Data.SBV.Provers.Prover'
100% ( 66 / 66) in 'Data.SBV.BitVectors.Model'
100% ( 2 / 2) in 'Data.SBV.BitVectors.SignCast'
100% ( 3 / 3) in 'Data.SBV.BitVectors.Splittable'
100% ( 5 / 5) in 'Data.SBV.BitVectors.STree'
100% ( 4 / 4) in 'Data.SBV.Tools.Polynomial'
100% ( 21 / 21) in 'Data.SBV.Internals'
100% ( 8 / 8) in 'Data.SBV.Tools.Optimize'
100% (278 /278) 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% ( 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% ( 8 / 8) 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% ( 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% ( 37 / 37) 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.Quantifier
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 Data.SBV.BitVectors.Data.Quantifier
Documentation created: dist/doc/html/sbv/index.html, dist/doc/html/sbv/sbv.txt
Preprocessing executable 'SBVUnitTests' for sbv-3.4...
Creating package registration file: /tmp/pkgConf-sbv-332291.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/sbv-3.4
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-3.4...
Installed sbv-3.4
Downloading copilot-c99-2.1.2...
Configuring copilot-c99-2.1.2...
Building copilot-c99-2.1.2...
Preprocessing library copilot-c99-2.1.2...
[ 1 of 13] Compiling Copilot.Compile.C99.Common ( src/Copilot/Compile/C99/Common.hs, dist/build/Copilot/Compile/C99/Common.o )
[ 2 of 13] Compiling Copilot.Compile.C99.Witness ( src/Copilot/Compile/C99/Witness.hs, dist/build/Copilot/Compile/C99/Witness.o )
[ 3 of 13] Compiling Copilot.Compile.C99.Queue ( src/Copilot/Compile/C99/Queue.hs, dist/build/Copilot/Compile/C99/Queue.o )
[ 4 of 13] Compiling Copilot.Compile.C99.MetaTable ( src/Copilot/Compile/C99/MetaTable.hs, dist/build/Copilot/Compile/C99/MetaTable.o )
[ 5 of 13] Compiling Copilot.Compile.C99.C2A ( src/Copilot/Compile/C99/C2A.hs, dist/build/Copilot/Compile/C99/C2A.o )
[ 6 of 13] Compiling Copilot.Compile.C99.Test.Iteration ( src/Copilot/Compile/C99/Test/Iteration.hs, dist/build/Copilot/Compile/C99/Test/Iteration.o )
[ 7 of 13] Compiling Copilot.Compile.C99.Test.ReadCSV ( src/Copilot/Compile/C99/Test/ReadCSV.hs, dist/build/Copilot/Compile/C99/Test/ReadCSV.o )
src/Copilot/Compile/C99/Test/ReadCSV.hs:12:1: Warning:
The qualified import of ‘Data.Vector’ is redundant
except perhaps to import instances from ‘Data.Vector’
To import instances alone, use: import Data.Vector()
src/Copilot/Compile/C99/Test/ReadCSV.hs:18:1: Warning:
Defined but not used: ‘parseError’
[ 8 of 13] Compiling Copilot.Compile.C99.Test.Driver ( src/Copilot/Compile/C99/Test/Driver.hs, dist/build/Copilot/Compile/C99/Test/Driver.o )
[ 9 of 13] Compiling Copilot.Compile.C99.Params ( src/Copilot/Compile/C99/Params.hs, dist/build/Copilot/Compile/C99/Params.o )
[10 of 13] Compiling Copilot.Compile.C99.Phases ( src/Copilot/Compile/C99/Phases.hs, dist/build/Copilot/Compile/C99/Phases.o )
[11 of 13] Compiling Copilot.Compile.C99.PrePostCode ( src/Copilot/Compile/C99/PrePostCode.hs, dist/build/Copilot/Compile/C99/PrePostCode.o )
[12 of 13] Compiling Copilot.Compile.C99 ( src/Copilot/Compile/C99.hs, dist/build/Copilot/Compile/C99.o )
[13 of 13] Compiling Copilot.Compile.C99.Test.CheckSpec ( src/Copilot/Compile/C99/Test/CheckSpec.hs, dist/build/Copilot/Compile/C99/Test/CheckSpec.o )
In-place registering copilot-c99-2.1.2...
Preprocessing executable 'copilot-c99-qc' for copilot-c99-2.1.2...
[ 1 of 14] Compiling Copilot.Compile.C99.Witness ( src/Copilot/Compile/C99/Witness.hs, dist/build/copilot-c99-qc/copilot-c99-qc-tmp/Copilot/Compile/C99/Witness.o )
[ 2 of 14] Compiling Copilot.Compile.C99.Queue ( src/Copilot/Compile/C99/Queue.hs, dist/build/copilot-c99-qc/copilot-c99-qc-tmp/Copilot/Compile/C99/Queue.o )
[ 3 of 14] Compiling Copilot.Compile.C99.Params ( src/Copilot/Compile/C99/Params.hs, dist/build/copilot-c99-qc/copilot-c99-qc-tmp/Copilot/Compile/C99/Params.o )
[ 4 of 14] Compiling Copilot.Compile.C99.MetaTable ( src/Copilot/Compile/C99/MetaTable.hs, dist/build/copilot-c99-qc/copilot-c99-qc-tmp/Copilot/Compile/C99/MetaTable.o )
[ 5 of 14] Compiling Copilot.Compile.C99.Common ( src/Copilot/Compile/C99/Common.hs, dist/build/copilot-c99-qc/copilot-c99-qc-tmp/Copilot/Compile/C99/Common.o )
[ 6 of 14] Compiling Copilot.Compile.C99.C2A ( src/Copilot/Compile/C99/C2A.hs, dist/build/copilot-c99-qc/copilot-c99-qc-tmp/Copilot/Compile/C99/C2A.o )
[ 7 of 14] Compiling Copilot.Compile.C99.Phases ( src/Copilot/Compile/C99/Phases.hs, dist/build/copilot-c99-qc/copilot-c99-qc-tmp/Copilot/Compile/C99/Phases.o )
[ 8 of 14] Compiling Copilot.Compile.C99.PrePostCode ( src/Copilot/Compile/C99/PrePostCode.hs, dist/build/copilot-c99-qc/copilot-c99-qc-tmp/Copilot/Compile/C99/PrePostCode.o )
[ 9 of 14] Compiling Copilot.Compile.C99 ( src/Copilot/Compile/C99.hs, dist/build/copilot-c99-qc/copilot-c99-qc-tmp/Copilot/Compile/C99.o )
[10 of 14] Compiling Copilot.Compile.C99.Test.Iteration ( src/Copilot/Compile/C99/Test/Iteration.hs, dist/build/copilot-c99-qc/copilot-c99-qc-tmp/Copilot/Compile/C99/Test/Iteration.o )
[11 of 14] Compiling Copilot.Compile.C99.Test.ReadCSV ( src/Copilot/Compile/C99/Test/ReadCSV.hs, dist/build/copilot-c99-qc/copilot-c99-qc-tmp/Copilot/Compile/C99/Test/ReadCSV.o )
src/Copilot/Compile/C99/Test/ReadCSV.hs:12:1: Warning:
The qualified import of ‘Data.Vector’ is redundant
except perhaps to import instances from ‘Data.Vector’
To import instances alone, use: import Data.Vector()
src/Copilot/Compile/C99/Test/ReadCSV.hs:18:1: Warning:
Defined but not used: ‘parseError’
[12 of 14] Compiling Copilot.Compile.C99.Test.Driver ( src/Copilot/Compile/C99/Test/Driver.hs, dist/build/copilot-c99-qc/copilot-c99-qc-tmp/Copilot/Compile/C99/Test/Driver.o )
[13 of 14] Compiling Copilot.Compile.C99.Test.CheckSpec ( src/Copilot/Compile/C99/Test/CheckSpec.hs, dist/build/copilot-c99-qc/copilot-c99-qc-tmp/Copilot/Compile/C99/Test/CheckSpec.o )
[14 of 14] Compiling Main ( test/CopilotC99Test.hs, dist/build/copilot-c99-qc/copilot-c99-qc-tmp/Main.o )
Linking dist/build/copilot-c99-qc/copilot-c99-qc ...
Running Haddock for copilot-c99-2.1.2...
Running hscolour for copilot-c99-2.1.2...
Preprocessing library copilot-c99-2.1.2...
Preprocessing executable 'copilot-c99-qc' for copilot-c99-2.1.2...
Preprocessing library copilot-c99-2.1.2...
src/Copilot/Compile/C99/Test/ReadCSV.hs:12:1: Warning:
The qualified import of ‘Data.Vector’ is redundant
except perhaps to import instances from ‘Data.Vector’
To import instances alone, use: import Data.Vector()
src/Copilot/Compile/C99/Test/ReadCSV.hs:18:1: Warning:
Defined but not used: ‘parseError’
Haddock coverage:
0% ( 0 / 3) in 'Copilot.Compile.C99.Common'
0% ( 0 / 17) in 'Copilot.Compile.C99.Witness'
0% ( 0 / 6) in 'Copilot.Compile.C99.Queue'
0% ( 0 / 10) in 'Copilot.Compile.C99.MetaTable'
0% ( 0 / 3) in 'Copilot.Compile.C99.C2A'
0% ( 0 / 3) in 'Copilot.Compile.C99.Test.Iteration'
0% ( 0 / 2) in 'Copilot.Compile.C99.Test.ReadCSV'
0% ( 0 / 2) in 'Copilot.Compile.C99.Test.Driver'
0% ( 0 / 4) in 'Copilot.Compile.C99.Params'
0% ( 0 / 3) in 'Copilot.Compile.C99.Phases'
0% ( 0 / 3) in 'Copilot.Compile.C99.PrePostCode'
40% ( 2 / 5) in 'Copilot.Compile.C99'
0% ( 0 / 2) in 'Copilot.Compile.C99.Test.CheckSpec'
Warning: Copilot.Compile.C99.Queue: could not find link destinations for:
Copilot.Compile.C99.Queue.QueueIndexType
Warning: Copilot.Compile.C99.MetaTable: could not find link destinations for:
Copilot.Compile.C99.MetaTable.ExternArrayInfoMap
Documentation created: dist/doc/html/copilot-c99/index.html,
dist/doc/html/copilot-c99/copilot-c99.txt
Preprocessing executable 'copilot-c99-qc' for copilot-c99-2.1.2...
Creating package registration file: /tmp/pkgConf-copilot-c99-2.132291.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/copilot-c99-2.1.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 copilot-c99-2.1.2...
Installed copilot-c99-2.1.2
Downloading copilot-sbv-2.1.2...
Configuring copilot-sbv-2.1.2...
Building copilot-sbv-2.1.2...
Preprocessing library copilot-sbv-2.1.2...
[ 1 of 10] Compiling Copilot.Compile.SBV.Queue ( src/Copilot/Compile/SBV/Queue.hs, dist/build/Copilot/Compile/SBV/Queue.o )
[ 2 of 10] Compiling Copilot.Compile.SBV.Common ( src/Copilot/Compile/SBV/Common.hs, dist/build/Copilot/Compile/SBV/Common.o )
[ 3 of 10] Compiling Copilot.Compile.SBV.Witness ( src/Copilot/Compile/SBV/Witness.hs, dist/build/Copilot/Compile/SBV/Witness.o )
[ 4 of 10] Compiling Copilot.Compile.SBV.Copilot2SBV ( src/Copilot/Compile/SBV/Copilot2SBV.hs, dist/build/Copilot/Compile/SBV/Copilot2SBV.o )
[ 5 of 10] Compiling Copilot.Compile.SBV.MetaTable ( src/Copilot/Compile/SBV/MetaTable.hs, dist/build/Copilot/Compile/SBV/MetaTable.o )
[ 6 of 10] Compiling Copilot.Compile.SBV.Code ( src/Copilot/Compile/SBV/Code.hs, dist/build/Copilot/Compile/SBV/Code.o )
[ 7 of 10] Compiling Copilot.Compile.SBV.Params ( src/Copilot/Compile/SBV/Params.hs, dist/build/Copilot/Compile/SBV/Params.o )
[ 8 of 10] Compiling Copilot.Compile.SBV.Driver ( src/Copilot/Compile/SBV/Driver.hs, dist/build/Copilot/Compile/SBV/Driver.o )
[ 9 of 10] Compiling Copilot.Compile.SBV.Makefile ( src/Copilot/Compile/SBV/Makefile.hs, dist/build/Copilot/Compile/SBV/Makefile.o )
[10 of 10] Compiling Copilot.Compile.SBV ( src/Copilot/Compile/SBV.hs, dist/build/Copilot/Compile/SBV.o )
In-place registering copilot-sbv-2.1.2...
Running Haddock for copilot-sbv-2.1.2...
Running hscolour for copilot-sbv-2.1.2...
Preprocessing library copilot-sbv-2.1.2...
Preprocessing library copilot-sbv-2.1.2...
Haddock coverage:
25% ( 1 / 4) in 'Copilot.Compile.SBV.Queue'
0% ( 0 / 14) in 'Copilot.Compile.SBV.Common'
0% ( 0 / 20) in 'Copilot.Compile.SBV.Witness'
0% ( 0 / 8) in 'Copilot.Compile.SBV.Copilot2SBV'
0% ( 0 / 14) in 'Copilot.Compile.SBV.MetaTable'
0% ( 0 / 6) in 'Copilot.Compile.SBV.Code'
0% ( 0 / 4) in 'Copilot.Compile.SBV.Params'
33% ( 1 / 3) in 'Copilot.Compile.SBV.Driver'
0% ( 0 / 3) in 'Copilot.Compile.SBV.Makefile'
40% ( 2 / 5) in 'Copilot.Compile.SBV'
Warning: Copilot.Compile.SBV.Witness: could not find link destinations for:
Copilot.Compile.SBV.Witness.SBVCast
Warning: Copilot.Compile.SBV.Code: could not find link destinations for:
Copilot.Compile.SBV.Code.SBVFunc
Documentation created: dist/doc/html/copilot-sbv/index.html,
dist/doc/html/copilot-sbv/copilot-sbv.txt
Creating package registration file: /tmp/pkgConf-copilot-sbv-2.132291.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/copilot-sbv-2.1.2
Registering copilot-sbv-2.1.2...
Installed copilot-sbv-2.1.2
Downloading copilot-cbmc-2.1.2...
Configuring copilot-cbmc-2.1.2...
Building copilot-cbmc-2.1.2...
Preprocessing library copilot-cbmc-2.1.2...
[1 of 1] Compiling Copilot.Tools.CBMC ( src/Copilot/Tools/CBMC.hs, dist/build/Copilot/Tools/CBMC.o )
In-place registering copilot-cbmc-2.1.2...
Running Haddock for copilot-cbmc-2.1.2...
Running hscolour for copilot-cbmc-2.1.2...
Preprocessing library copilot-cbmc-2.1.2...
Preprocessing library copilot-cbmc-2.1.2...
Haddock coverage:
0% ( 0 / 7) in 'Copilot.Tools.CBMC'
Documentation created: dist/doc/html/copilot-cbmc/index.html,
dist/doc/html/copilot-cbmc/copilot-cbmc.txt
Creating package registration file: /tmp/pkgConf-copilot-cbmc-2.132291.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/copilot-cbmc-2.1.2
Registering copilot-cbmc-2.1.2...
Installed copilot-cbmc-2.1.2
cabal: Error: some packages failed to install:
copilot-2.1.2 depends on copilot-language-2.1.2 which failed to install.
copilot-language-2.1.2 failed during the building phase. The exception was:
ExitFailure 1
copilot-libraries-2.1.1 depends on copilot-language-2.1.2 which failed to
install.
Test log
No test log was submitted for this report.