Build #1 for copilot-2.0.7
| Package | copilot-2.0.7 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | random-1.0.1.1, directory-1.2.0.1, copilot-sbv-2.1.1, copilot-libraries-2.1.1, copilot-language-2.1.1, copilot-core-2.1.1, copilot-cbmc-2.1.1, copilot-c99-2.1.1, base-4.6.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
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/HUnit-1.2.5.2
Registering HUnit-1.2.5.2...
Installed HUnit-1.2.5.2
Configuring QuickCheck-2.6...
Building QuickCheck-2.6...
Preprocessing library QuickCheck-2.6...
[ 1 of 13] Compiling Test.QuickCheck.Exception ( Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o )
[ 2 of 13] Compiling Test.QuickCheck.Text ( Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o )
[ 3 of 13] Compiling Test.QuickCheck.State ( Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o )
[ 4 of 13] Compiling Test.QuickCheck.Gen ( Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o )
[ 5 of 13] Compiling Test.QuickCheck.Arbitrary ( Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o )
[ 6 of 13] Compiling Test.QuickCheck.Poly ( Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o )
[ 7 of 13] Compiling Test.QuickCheck.Function ( Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o )
[ 8 of 13] Compiling Test.QuickCheck.Modifiers ( Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o )
[ 9 of 13] Compiling Test.QuickCheck.Property ( Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o )
[10 of 13] Compiling Test.QuickCheck.Test ( Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o )
[11 of 13] Compiling Test.QuickCheck.All ( Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o )
[12 of 13] Compiling Test.QuickCheck.Monadic ( Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o )
[13 of 13] Compiling Test.QuickCheck ( Test/QuickCheck.hs, dist/build/Test/QuickCheck.o )
In-place registering QuickCheck-2.6...
Running Haddock for QuickCheck-2.6...
Running hscolour for QuickCheck-2.6...
Preprocessing library QuickCheck-2.6...
Preprocessing library QuickCheck-2.6...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: random-1.0.1.1
Haddock coverage:
12% ( 1 / 8) in 'Test.QuickCheck.Exception'
0% ( 0 / 18) in 'Test.QuickCheck.Text'
50% ( 1 / 2) in 'Test.QuickCheck.State'
95% ( 20 / 21) in 'Test.QuickCheck.Gen'
92% ( 23 / 25) in 'Test.QuickCheck.Arbitrary'
14% ( 1 / 7) in 'Test.QuickCheck.Poly'
14% ( 1 / 7) in 'Test.QuickCheck.Function'
92% ( 12 / 13) in 'Test.QuickCheck.Modifiers'
59% ( 34 / 58) in 'Test.QuickCheck.Property'
48% ( 13 / 27) in 'Test.QuickCheck.Test'
100% ( 9 / 9) in 'Test.QuickCheck.All'
7% ( 1 / 15) in 'Test.QuickCheck.Monadic'
93% ( 95 /102) in 'Test.QuickCheck'
Warning: Test.QuickCheck.Text: could not find link destinations for:
Test.QuickCheck.Text.Output
Warning: Test.QuickCheck.State: could not find link destinations for:
System.Random.StdGen
Warning: Test.QuickCheck.Gen: could not find link destinations for:
System.Random.StdGen System.Random.Random
Warning: Test.QuickCheck.Arbitrary: could not find link destinations for:
System.Random.Random
Warning: Test.QuickCheck.Property: could not find link destinations for:
Test.QuickCheck.Exception.AnException
Warning: Test.QuickCheck.Test: could not find link destinations for:
System.Random.StdGen
Warning: Test.QuickCheck: could not find link destinations for:
System.Random.StdGen System.Random.Random
Documentation created: dist/doc/html/QuickCheck/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/QuickCheck-2.6
Registering QuickCheck-2.6...
Installed QuickCheck-2.6
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 )
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...
Haddock coverage:
100% ( 59 / 59) in 'Data.Bimap'
Documentation created: dist/doc/html/bimap/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.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
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/data-reify-0.6
Registering data-reify-0.6...
Installed data-reify-0.6
Configuring dlist-0.6...
Building dlist-0.6...
Preprocessing library dlist-0.6...
[1 of 1] Compiling Data.DList ( Data/DList.hs, dist/build/Data/DList.o )
In-place registering dlist-0.6...
Running Haddock for dlist-0.6...
Running hscolour for dlist-0.6...
Preprocessing library dlist-0.6...
Preprocessing library dlist-0.6...
Haddock coverage:
95% ( 20 / 21) in 'Data.DList'
Documentation created: dist/doc/html/dlist/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/dlist-0.6
Registering dlist-0.6...
Installed dlist-0.6
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
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/pretty-ncols-0.1
Registering pretty-ncols-0.1...
Installed pretty-ncols-0.1
Configuring syb-0.4.1...
Building syb-0.4.1...
Preprocessing library syb-0.4.1...
[ 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.1...
Running Haddock for syb-0.4.1...
Running hscolour for syb-0.4.1...
Preprocessing library syb-0.4.1...
Preprocessing library syb-0.4.1...
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
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/syb-0.4.1
Registering syb-0.4.1...
Installed syb-0.4.1
Downloading bytestring-csv-0.1.2...
Configuring bytestring-csv-0.1.2...
Building bytestring-csv-0.1.2...
Preprocessing library bytestring-csv-0.1.2...
dist/build/Text/CSV/ByteString/Lex.hs:1:12: Warning:
-fglasgow-exts is deprecated: Use individual extensions instead
[1 of 2] Compiling Text.CSV.ByteString.Lex ( dist/build/Text/CSV/ByteString/Lex.hs, dist/build/Text/CSV/ByteString/Lex.o )
dist/build/Text/CSV/ByteString/Lex.hs:321:17: Warning:
Pattern bindings containing unlifted types should use an outermost bang pattern:
(I# (ord_c)) = ord c
In the expression:
let
base = alexIndexInt32OffAddr alex_base s
(I# (ord_c)) = ord c
offset = (base +# ord_c)
....
in
case new_s of {
-1# -> (new_acc, input)
_ -> alex_scan_tkn
user orig_input (len +# 1#) new_input new_s new_acc }
In a case alternative:
Just (c, new_input)
-> let
base = alexIndexInt32OffAddr alex_base s
(I# (ord_c)) = ord c
....
in
case new_s of {
-1# -> (new_acc, input)
_ -> alex_scan_tkn
user orig_input (len +# 1#) new_input new_s new_acc }
In the second argument of `seq', namely
`case alexGetChar input of {
Nothing -> (new_acc, input)
Just (c, new_input)
-> let
base = ...
....
in
case new_s of {
-1# -> ...
_ -> alex_scan_tkn
user orig_input (len +# 1#) new_input new_s new_acc } }'
[2 of 2] Compiling Text.CSV.ByteString ( Text/CSV/ByteString.hs, dist/build/Text/CSV/ByteString.o )
In-place registering bytestring-csv-0.1.2...
Running Haddock for bytestring-csv-0.1.2...
Running hscolour for bytestring-csv-0.1.2...
Preprocessing library bytestring-csv-0.1.2...
Preprocessing library bytestring-csv-0.1.2...
dist/build/tmp-31447/dist/build/Text/CSV/ByteString/Lex.hs:1:12: Warning:
-fglasgow-exts is deprecated: Use individual extensions instead
dist/build/tmp-31447/dist/build/Text/CSV/ByteString/Lex.hs:321:17: Warning:
Pattern bindings containing unlifted types should use an outermost bang pattern:
(I# (ord_c)) = ord c
In the expression:
let
base = alexIndexInt32OffAddr alex_base s
(I# (ord_c)) = ord c
offset = (base +# ord_c)
....
in
case new_s of {
-1# -> (new_acc, input)
_ -> alex_scan_tkn
user orig_input (len +# 1#) new_input new_s new_acc }
In a case alternative:
Just (c, new_input)
-> let
base = alexIndexInt32OffAddr alex_base s
(I# (ord_c)) = ord c
....
in
case new_s of {
-1# -> (new_acc, input)
_ -> alex_scan_tkn
user orig_input (len +# 1#) new_input new_s new_acc }
In the second argument of `seq', namely
`case alexGetChar input of {
Nothing -> (new_acc, input)
Just (c, new_input)
-> let
base = ...
....
in
case new_s of {
-1# -> ...
_ -> alex_scan_tkn
user orig_input (len +# 1#) new_input new_s new_acc } }'
Haddock coverage:
67% ( 2 / 3) in 'Text.CSV.ByteString.Lex'
100% ( 5 / 5) in 'Text.CSV.ByteString'
Documentation created: dist/doc/html/bytestring-csv/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/bytestring-csv-0.1.2
Registering bytestring-csv-0.1.2...
Installed bytestring-csv-0.1.2
Downloading copilot-core-2.1.1...
Configuring copilot-core-2.1.1...
Building copilot-core-2.1.1...
Preprocessing library copilot-core-2.1.1...
[ 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 )
[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.1...
Running Haddock for copilot-core-2.1.1...
Running hscolour for copilot-core-2.1.1...
Preprocessing library copilot-core-2.1.1...
Preprocessing library copilot-core-2.1.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: mtl-2.1.2, random-1.0.1.1,
transformers-0.3.0.0
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'
80% ( 4 / 5) 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'
Warning: Copilot.Core.Random.Gen: could not find link destinations for:
System.Random.StdGen System.Random.Random
Warning: Copilot.Core.Random: could not find link destinations for:
System.Random.StdGen
Documentation created: dist/doc/html/copilot-core/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/copilot-core-2.1.1
Registering copilot-core-2.1.1...
Installed copilot-core-2.1.1
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 method or default declaration for `bit'
In the instance declaration for `Bits (E a)'
Language/Atom/Expressions.hs:571:10: Warning:
No explicit method or default declaration for `testBit'
In the instance declaration for `Bits (E a)'
Language/Atom/Expressions.hs:571:10: Warning:
No explicit method or default declaration for `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 )
[ 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...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: mtl-2.1.2, transformers-0.3.0.0
dist/build/tmp-31447/Language/Atom/Expressions.hs:571:10: Warning:
No explicit method or default declaration for `bit'
In the instance declaration for `Bits (E a)'
dist/build/tmp-31447/Language/Atom/Expressions.hs:571:10: Warning:
No explicit method or default declaration for `testBit'
In the instance declaration for `Bits (E a)'
dist/build/tmp-31447/Language/Atom/Expressions.hs:571:10: Warning:
No explicit method or default declaration for `popCount'
In the instance declaration for `Bits (E a)'
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'
Warning: Couldn't find .haddock for export Control.Monad.IO.Class.liftIO
97% ( 58 / 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.UeMap: could not find link destinations for:
Control.Monad.Trans.State.Strict.State
Warning: Language.Atom.Elaboration: could not find link destinations for:
Control.Monad.IO.Class.MonadIO Language.Atom.Elaboration.AtomSt
Warning: Language.Atom.Language: could not find link destinations for:
Control.Monad.IO.Class.MonadIO
Documentation created: dist/doc/html/atom/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/atom-1.0.12
Registering atom-1.0.12...
Installed atom-1.0.12
Downloading sbv-2.10...
Configuring sbv-2.10...
Building sbv-2.10...
Preprocessing library sbv-2.10...
[ 1 of 60] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist/build/Data/SBV/Utils/TDiff.o )
[ 2 of 60] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist/build/Data/SBV/Utils/Lib.o )
[ 3 of 60] Compiling Data.SBV.Utils.Boolean ( Data/SBV/Utils/Boolean.hs, dist/build/Data/SBV/Utils/Boolean.o )
[ 4 of 60] Compiling Data.SBV.BitVectors.AlgReals ( Data/SBV/BitVectors/AlgReals.hs, dist/build/Data/SBV/BitVectors/AlgReals.o )
[ 5 of 60] Compiling Data.SBV.BitVectors.Data ( Data/SBV/BitVectors/Data.hs, dist/build/Data/SBV/BitVectors/Data.o )
[ 6 of 60] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist/build/Data/SBV/Compilers/CodeGen.o )
[ 7 of 60] Compiling Data.SBV.Tools.ExpectedValue ( Data/SBV/Tools/ExpectedValue.hs, dist/build/Data/SBV/Tools/ExpectedValue.o )
[ 8 of 60] Compiling Data.SBV.SMT.SMTLib1 ( Data/SBV/SMT/SMTLib1.hs, dist/build/Data/SBV/SMT/SMTLib1.o )
[ 9 of 60] 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.1 ... linking ... done.
Loading package array-0.4.0.1 ... linking ... done.
Loading package deepseq-1.3.0.1 ... linking ... done.
Loading package filepath-1.3.0.1 ... linking ... done.
Loading package old-locale-1.0.0.5 ... linking ... done.
Loading package time-1.4.0.1 ... linking ... done.
Loading package bytestring-0.10.0.2 ... linking ... done.
Loading package unix-2.6.0.1 ... linking ... done.
Loading package directory-1.2.0.1 ... linking ... done.
Loading package process-1.1.0.2 ... linking ... done.
Loading package old-time-1.1.0.1 ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package mtl-2.1.2 ... linking ... done.
Loading package random-1.0.1.1 ... linking ... done.
Loading package containers-0.5.0.0 ... linking ... done.
Loading package pretty-1.1.1.0 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package QuickCheck-2.6 ... linking ... done.
[10 of 60] Compiling Data.SBV.BitVectors.PrettyNum ( Data/SBV/BitVectors/PrettyNum.hs, dist/build/Data/SBV/BitVectors/PrettyNum.o )
[11 of 60] Compiling Data.SBV.BitVectors.SignCast ( Data/SBV/BitVectors/SignCast.hs, dist/build/Data/SBV/BitVectors/SignCast.o )
[12 of 60] Compiling Data.SBV.BitVectors.Splittable ( Data/SBV/BitVectors/Splittable.hs, dist/build/Data/SBV/BitVectors/Splittable.o )
[13 of 60] Compiling Data.SBV.BitVectors.STree ( Data/SBV/BitVectors/STree.hs, dist/build/Data/SBV/BitVectors/STree.o )
[14 of 60] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, dist/build/Data/SBV/Tools/Polynomial.o )
[15 of 60] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, dist/build/Data/SBV/Compilers/C.o )
[16 of 60] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist/build/Data/SBV/Internals.o )
[17 of 60] Compiling Data.SBV.Tools.GenTest ( Data/SBV/Tools/GenTest.hs, dist/build/Data/SBV/Tools/GenTest.o )
[18 of 60] Compiling Data.SBV.SMT.SMT ( Data/SBV/SMT/SMT.hs, dist/build/Data/SBV/SMT/SMT.o )
[19 of 60] Compiling Data.SBV.Provers.SExpr ( Data/SBV/Provers/SExpr.hs, dist/build/Data/SBV/Provers/SExpr.o )
[20 of 60] Compiling Data.SBV.SMT.SMTLib2 ( Data/SBV/SMT/SMTLib2.hs, dist/build/Data/SBV/SMT/SMTLib2.o )
[21 of 60] Compiling Data.SBV.SMT.SMTLib ( Data/SBV/SMT/SMTLib.hs, dist/build/Data/SBV/SMT/SMTLib.o )
[22 of 60] Compiling Data.SBV.Provers.Yices ( Data/SBV/Provers/Yices.hs, dist/build/Data/SBV/Provers/Yices.o )
[23 of 60] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, dist/build/Data/SBV/Provers/Boolector.o )
[24 of 60] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, dist/build/Data/SBV/Provers/CVC4.o )
[25 of 60] Compiling Data.SBV.Provers.Z3 ( Data/SBV/Provers/Z3.hs, dist/build/Data/SBV/Provers/Z3.o )
[26 of 60] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, dist/build/Data/SBV/Provers/Prover.o )
[27 of 60] Compiling Data.SBV.Tools.Optimize ( Data/SBV/Tools/Optimize.hs, dist/build/Data/SBV/Tools/Optimize.o )
[28 of 60] Compiling Data.SBV ( Data/SBV.hs, dist/build/Data/SBV.o )
[29 of 60] Compiling Data.SBV.Bridge.Boolector ( Data/SBV/Bridge/Boolector.hs, dist/build/Data/SBV/Bridge/Boolector.o )
[30 of 60] Compiling Data.SBV.Bridge.CVC4 ( Data/SBV/Bridge/CVC4.hs, dist/build/Data/SBV/Bridge/CVC4.o )
[31 of 60] Compiling Data.SBV.Bridge.Yices ( Data/SBV/Bridge/Yices.hs, dist/build/Data/SBV/Bridge/Yices.o )
[32 of 60] Compiling Data.SBV.Bridge.Z3 ( Data/SBV/Bridge/Z3.hs, dist/build/Data/SBV/Bridge/Z3.o )
[33 of 60] Compiling Data.SBV.Examples.BitPrecise.BitTricks ( Data/SBV/Examples/BitPrecise/BitTricks.hs, dist/build/Data/SBV/Examples/BitPrecise/BitTricks.o )
[34 of 60] Compiling Data.SBV.Examples.BitPrecise.Legato ( Data/SBV/Examples/BitPrecise/Legato.hs, dist/build/Data/SBV/Examples/BitPrecise/Legato.o )
[35 of 60] Compiling Data.SBV.Examples.BitPrecise.MergeSort ( Data/SBV/Examples/BitPrecise/MergeSort.hs, dist/build/Data/SBV/Examples/BitPrecise/MergeSort.o )
[36 of 60] Compiling Data.SBV.Examples.BitPrecise.PrefixSum ( Data/SBV/Examples/BitPrecise/PrefixSum.hs, dist/build/Data/SBV/Examples/BitPrecise/PrefixSum.o )
[37 of 60] Compiling Data.SBV.Examples.CodeGeneration.AddSub ( Data/SBV/Examples/CodeGeneration/AddSub.hs, dist/build/Data/SBV/Examples/CodeGeneration/AddSub.o )
[38 of 60] Compiling Data.SBV.Examples.CodeGeneration.CRC_USB5 ( Data/SBV/Examples/CodeGeneration/CRC_USB5.hs, dist/build/Data/SBV/Examples/CodeGeneration/CRC_USB5.o )
[39 of 60] Compiling Data.SBV.Examples.CodeGeneration.Fibonacci ( Data/SBV/Examples/CodeGeneration/Fibonacci.hs, dist/build/Data/SBV/Examples/CodeGeneration/Fibonacci.o )
[40 of 60] Compiling Data.SBV.Examples.CodeGeneration.GCD ( Data/SBV/Examples/CodeGeneration/GCD.hs, dist/build/Data/SBV/Examples/CodeGeneration/GCD.o )
[41 of 60] Compiling Data.SBV.Examples.CodeGeneration.PopulationCount ( Data/SBV/Examples/CodeGeneration/PopulationCount.hs, dist/build/Data/SBV/Examples/CodeGeneration/PopulationCount.o )
[42 of 60] Compiling Data.SBV.Examples.CodeGeneration.Uninterpreted ( Data/SBV/Examples/CodeGeneration/Uninterpreted.hs, dist/build/Data/SBV/Examples/CodeGeneration/Uninterpreted.o )
[43 of 60] Compiling Data.SBV.Examples.Crypto.AES ( Data/SBV/Examples/Crypto/AES.hs, dist/build/Data/SBV/Examples/Crypto/AES.o )
[44 of 60] Compiling Data.SBV.Examples.Crypto.RC4 ( Data/SBV/Examples/Crypto/RC4.hs, dist/build/Data/SBV/Examples/Crypto/RC4.o )
[45 of 60] Compiling Data.SBV.Examples.Existentials.CRCPolynomial ( Data/SBV/Examples/Existentials/CRCPolynomial.hs, dist/build/Data/SBV/Examples/Existentials/CRCPolynomial.o )
[46 of 60] Compiling Data.SBV.Examples.Existentials.Diophantine ( Data/SBV/Examples/Existentials/Diophantine.hs, dist/build/Data/SBV/Examples/Existentials/Diophantine.o )
[47 of 60] Compiling Data.SBV.Examples.Polynomials.Polynomials ( Data/SBV/Examples/Polynomials/Polynomials.hs, dist/build/Data/SBV/Examples/Polynomials/Polynomials.o )
[48 of 60] Compiling Data.SBV.Examples.Puzzles.Coins ( Data/SBV/Examples/Puzzles/Coins.hs, dist/build/Data/SBV/Examples/Puzzles/Coins.o )
[49 of 60] Compiling Data.SBV.Examples.Puzzles.Counts ( Data/SBV/Examples/Puzzles/Counts.hs, dist/build/Data/SBV/Examples/Puzzles/Counts.o )
[50 of 60] Compiling Data.SBV.Examples.Puzzles.DogCatMouse ( Data/SBV/Examples/Puzzles/DogCatMouse.hs, dist/build/Data/SBV/Examples/Puzzles/DogCatMouse.o )
[51 of 60] Compiling Data.SBV.Examples.Puzzles.Euler185 ( Data/SBV/Examples/Puzzles/Euler185.hs, dist/build/Data/SBV/Examples/Puzzles/Euler185.o )
[52 of 60] Compiling Data.SBV.Examples.Puzzles.MagicSquare ( Data/SBV/Examples/Puzzles/MagicSquare.hs, dist/build/Data/SBV/Examples/Puzzles/MagicSquare.o )
[53 of 60] Compiling Data.SBV.Examples.Puzzles.NQueens ( Data/SBV/Examples/Puzzles/NQueens.hs, dist/build/Data/SBV/Examples/Puzzles/NQueens.o )
[54 of 60] Compiling Data.SBV.Examples.Puzzles.Sudoku ( Data/SBV/Examples/Puzzles/Sudoku.hs, dist/build/Data/SBV/Examples/Puzzles/Sudoku.o )
[55 of 60] Compiling Data.SBV.Examples.Puzzles.U2Bridge ( Data/SBV/Examples/Puzzles/U2Bridge.hs, dist/build/Data/SBV/Examples/Puzzles/U2Bridge.o )
[56 of 60] Compiling Data.SBV.Examples.Uninterpreted.AUF ( Data/SBV/Examples/Uninterpreted/AUF.hs, dist/build/Data/SBV/Examples/Uninterpreted/AUF.o )
[57 of 60] Compiling Data.SBV.Examples.Uninterpreted.Deduce ( Data/SBV/Examples/Uninterpreted/Deduce.hs, dist/build/Data/SBV/Examples/Uninterpreted/Deduce.o )
[58 of 60] Compiling Data.SBV.Examples.Uninterpreted.Function ( Data/SBV/Examples/Uninterpreted/Function.hs, dist/build/Data/SBV/Examples/Uninterpreted/Function.o )
[59 of 60] Compiling Data.SBV.Examples.Uninterpreted.Shannon ( Data/SBV/Examples/Uninterpreted/Shannon.hs, dist/build/Data/SBV/Examples/Uninterpreted/Shannon.o )
[60 of 60] Compiling Data.SBV.Examples.Uninterpreted.Sort ( Data/SBV/Examples/Uninterpreted/Sort.hs, dist/build/Data/SBV/Examples/Uninterpreted/Sort.o )
In-place registering sbv-2.10...
Preprocessing executable 'SBVUnitTests' for sbv-2.10...
[ 1 of 61] Compiling Examples.Arrays.Memory ( SBVUnitTest/Examples/Arrays/Memory.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Arrays/Memory.o )
[ 2 of 61] Compiling Examples.Basics.BasicTests ( SBVUnitTest/Examples/Basics/BasicTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/BasicTests.o )
[ 3 of 61] Compiling Examples.Basics.Higher ( SBVUnitTest/Examples/Basics/Higher.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/Higher.o )
[ 4 of 61] Compiling Examples.Basics.ProofTests ( SBVUnitTest/Examples/Basics/ProofTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/ProofTests.o )
[ 5 of 61] Compiling Examples.Basics.QRem ( SBVUnitTest/Examples/Basics/QRem.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/QRem.o )
[ 6 of 61] 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.4.0.1 ... linking ... done.
Loading package deepseq-1.3.0.1 ... linking ... done.
Loading package old-locale-1.0.0.5 ... linking ... done.
Loading package time-1.4.0.1 ... linking ... done.
Loading package random-1.0.1.1 ... linking ... done.
Loading package containers-0.5.0.0 ... linking ... done.
Loading package pretty-1.1.1.0 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package QuickCheck-2.6 ... linking ... done.
Loading package filepath-1.3.0.1 ... linking ... done.
Loading package bytestring-0.10.0.2 ... linking ... done.
Loading package unix-2.6.0.1 ... linking ... done.
Loading package directory-1.2.0.1 ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package mtl-2.1.2 ... linking ... done.
Loading package old-time-1.1.0.1 ... linking ... done.
Loading package process-1.1.0.2 ... linking ... done.
Loading package syb-0.4.1 ... linking ... done.
Loading package sbv-2.10 ... linking ... done.
Loading package HUnit-1.2.5.2 ... linking ... done.
[ 7 of 61] Compiling Examples.CRC.CCITT_Unidir ( SBVUnitTest/Examples/CRC/CCITT_Unidir.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/CCITT_Unidir.o )
[ 8 of 61] Compiling Examples.CRC.GenPoly ( SBVUnitTest/Examples/CRC/GenPoly.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/GenPoly.o )
[ 9 of 61] Compiling Examples.CRC.Parity ( SBVUnitTest/Examples/CRC/Parity.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/Parity.o )
[10 of 61] Compiling Examples.CRC.USB5 ( SBVUnitTest/Examples/CRC/USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/USB5.o )
[11 of 61] Compiling Examples.Puzzles.PowerSet ( SBVUnitTest/Examples/Puzzles/PowerSet.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Puzzles/PowerSet.o )
[12 of 61] Compiling Examples.Puzzles.Temperature ( SBVUnitTest/Examples/Puzzles/Temperature.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Puzzles/Temperature.o )
[13 of 61] Compiling Examples.Uninterpreted.Uninterpreted ( SBVUnitTest/Examples/Uninterpreted/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Uninterpreted/Uninterpreted.o )
[14 of 61] Compiling SBVUnitTestBuildTime ( SBVUnitTest/SBVUnitTestBuildTime.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVUnitTestBuildTime.o )
[15 of 61] Compiling Paths_sbv ( dist/build/autogen/Paths_sbv.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Paths_sbv.o )
[16 of 61] Compiling SBVTest ( SBVUnitTest/SBVTest.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVTest.o )
[17 of 61] Compiling TestSuite.Arrays.Memory ( SBVUnitTest/TestSuite/Arrays/Memory.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Arrays/Memory.o )
[18 of 61] Compiling TestSuite.Basics.ArithNoSolver ( SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ArithNoSolver.o )
[19 of 61] Compiling TestSuite.Basics.ArithSolver ( SBVUnitTest/TestSuite/Basics/ArithSolver.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ArithSolver.o )
[20 of 61] Compiling TestSuite.Basics.BasicTests ( SBVUnitTest/TestSuite/Basics/BasicTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/BasicTests.o )
[21 of 61] Compiling TestSuite.Basics.Higher ( SBVUnitTest/TestSuite/Basics/Higher.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/Higher.o )
[22 of 61] Compiling TestSuite.Basics.ProofTests ( SBVUnitTest/TestSuite/Basics/ProofTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ProofTests.o )
[23 of 61] Compiling TestSuite.Basics.QRem ( SBVUnitTest/TestSuite/Basics/QRem.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/QRem.o )
[24 of 61] Compiling TestSuite.BitPrecise.BitTricks ( SBVUnitTest/TestSuite/BitPrecise/BitTricks.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/BitTricks.o )
[25 of 61] Compiling TestSuite.BitPrecise.Legato ( SBVUnitTest/TestSuite/BitPrecise/Legato.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/Legato.o )
[26 of 61] Compiling TestSuite.BitPrecise.MergeSort ( SBVUnitTest/TestSuite/BitPrecise/MergeSort.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/MergeSort.o )
[27 of 61] Compiling TestSuite.BitPrecise.PrefixSum ( SBVUnitTest/TestSuite/BitPrecise/PrefixSum.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/PrefixSum.o )
[28 of 61] Compiling TestSuite.CRC.CCITT ( SBVUnitTest/TestSuite/CRC/CCITT.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/CCITT.o )
[29 of 61] Compiling TestSuite.CRC.CCITT_Unidir ( SBVUnitTest/TestSuite/CRC/CCITT_Unidir.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/CCITT_Unidir.o )
[30 of 61] Compiling TestSuite.CRC.GenPoly ( SBVUnitTest/TestSuite/CRC/GenPoly.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/GenPoly.o )
[31 of 61] Compiling TestSuite.CRC.Parity ( SBVUnitTest/TestSuite/CRC/Parity.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/Parity.o )
[32 of 61] Compiling TestSuite.CRC.USB5 ( SBVUnitTest/TestSuite/CRC/USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/USB5.o )
[33 of 61] Compiling TestSuite.CodeGeneration.AddSub ( SBVUnitTest/TestSuite/CodeGeneration/AddSub.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/AddSub.o )
[34 of 61] Compiling TestSuite.CodeGeneration.CgTests ( SBVUnitTest/TestSuite/CodeGeneration/CgTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/CgTests.o )
[35 of 61] Compiling TestSuite.CodeGeneration.CRC_USB5 ( SBVUnitTest/TestSuite/CodeGeneration/CRC_USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/CRC_USB5.o )
[36 of 61] Compiling TestSuite.CodeGeneration.Fibonacci ( SBVUnitTest/TestSuite/CodeGeneration/Fibonacci.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/Fibonacci.o )
[37 of 61] Compiling TestSuite.CodeGeneration.GCD ( SBVUnitTest/TestSuite/CodeGeneration/GCD.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/GCD.o )
[38 of 61] Compiling TestSuite.CodeGeneration.PopulationCount ( SBVUnitTest/TestSuite/CodeGeneration/PopulationCount.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/PopulationCount.o )
[39 of 61] Compiling TestSuite.CodeGeneration.Uninterpreted ( SBVUnitTest/TestSuite/CodeGeneration/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/Uninterpreted.o )
[40 of 61] Compiling TestSuite.Crypto.AES ( SBVUnitTest/TestSuite/Crypto/AES.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Crypto/AES.o )
[41 of 61] Compiling TestSuite.Crypto.RC4 ( SBVUnitTest/TestSuite/Crypto/RC4.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Crypto/RC4.o )
[42 of 61] Compiling TestSuite.Existentials.CRCPolynomial ( SBVUnitTest/TestSuite/Existentials/CRCPolynomial.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Existentials/CRCPolynomial.o )
[43 of 61] Compiling TestSuite.Polynomials.Polynomials ( SBVUnitTest/TestSuite/Polynomials/Polynomials.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Polynomials/Polynomials.o )
[44 of 61] Compiling TestSuite.Puzzles.Coins ( SBVUnitTest/TestSuite/Puzzles/Coins.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Coins.o )
[45 of 61] Compiling TestSuite.Puzzles.Counts ( SBVUnitTest/TestSuite/Puzzles/Counts.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Counts.o )
[46 of 61] Compiling TestSuite.Puzzles.DogCatMouse ( SBVUnitTest/TestSuite/Puzzles/DogCatMouse.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/DogCatMouse.o )
[47 of 61] Compiling TestSuite.Puzzles.Euler185 ( SBVUnitTest/TestSuite/Puzzles/Euler185.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Euler185.o )
[48 of 61] Compiling TestSuite.Puzzles.MagicSquare ( SBVUnitTest/TestSuite/Puzzles/MagicSquare.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/MagicSquare.o )
[49 of 61] Compiling TestSuite.Puzzles.NQueens ( SBVUnitTest/TestSuite/Puzzles/NQueens.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/NQueens.o )
[50 of 61] Compiling TestSuite.Puzzles.PowerSet ( SBVUnitTest/TestSuite/Puzzles/PowerSet.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/PowerSet.o )
[51 of 61] Compiling TestSuite.Puzzles.Sudoku ( SBVUnitTest/TestSuite/Puzzles/Sudoku.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Sudoku.o )
[52 of 61] Compiling TestSuite.Puzzles.Temperature ( SBVUnitTest/TestSuite/Puzzles/Temperature.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Temperature.o )
[53 of 61] Compiling TestSuite.Puzzles.U2Bridge ( SBVUnitTest/TestSuite/Puzzles/U2Bridge.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/U2Bridge.o )
[54 of 61] Compiling TestSuite.Uninterpreted.AUF ( SBVUnitTest/TestSuite/Uninterpreted/AUF.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/AUF.o )
[55 of 61] Compiling TestSuite.Uninterpreted.Axioms ( SBVUnitTest/TestSuite/Uninterpreted/Axioms.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Axioms.o )
[56 of 61] Compiling TestSuite.Uninterpreted.Function ( SBVUnitTest/TestSuite/Uninterpreted/Function.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Function.o )
[57 of 61] Compiling TestSuite.Uninterpreted.Uninterpreted ( SBVUnitTest/TestSuite/Uninterpreted/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Uninterpreted.o )
[58 of 61] Compiling Examples.Basics.Index ( SBVUnitTest/Examples/Basics/Index.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/Index.o )
[59 of 61] Compiling TestSuite.Basics.Index ( SBVUnitTest/TestSuite/Basics/Index.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/Index.o )
[60 of 61] Compiling SBVTestCollection ( SBVUnitTest/SBVTestCollection.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVTestCollection.o )
[61 of 61] Compiling Main ( SBVUnitTest/SBVUnitTest.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Main.o )
Linking dist/build/SBVUnitTests/SBVUnitTests ...
Running Haddock for sbv-2.10...
Running hscolour for sbv-2.10...
Preprocessing library sbv-2.10...
Preprocessing executable 'SBVUnitTests' for sbv-2.10...
Preprocessing library sbv-2.10...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: mtl-2.1.2, random-1.0.1.1,
transformers-0.3.0.0
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% ( 72 / 72) in 'Data.SBV.BitVectors.Data'
100% ( 33 / 33) in 'Data.SBV.Compilers.CodeGen'
100% ( 3 / 3) in 'Data.SBV.Tools.ExpectedValue'
100% ( 3 / 3) in 'Data.SBV.SMT.SMTLib1'
100% ( 56 / 56) in 'Data.SBV.BitVectors.Model'
100% ( 7 / 7) in 'Data.SBV.BitVectors.PrettyNum'
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% ( 5 / 5) in 'Data.SBV.Compilers.C'
100% ( 18 / 18) in 'Data.SBV.Internals'
100% ( 6 / 6) in 'Data.SBV.Tools.GenTest'
100% ( 26 / 26) in 'Data.SBV.SMT.SMT'
100% ( 3 / 3) 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.Z3'
100% ( 35 / 35) in 'Data.SBV.Provers.Prover'
100% ( 8 / 8) in 'Data.SBV.Tools.Optimize'
100% (233 /233) in 'Data.SBV'
100% ( 17 / 17) in 'Data.SBV.Bridge.Boolector'
100% ( 17 / 17) in 'Data.SBV.Bridge.CVC4'
100% ( 17 / 17) in 'Data.SBV.Bridge.Yices'
100% ( 17 / 17) in 'Data.SBV.Bridge.Z3'
100% ( 7 / 7) in 'Data.SBV.Examples.BitPrecise.BitTricks'
100% ( 46 / 46) 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.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% ( 34 / 34) in 'Data.SBV.Examples.Puzzles.U2Bridge'
100% ( 10 / 10) in 'Data.SBV.Examples.Uninterpreted.AUF'
100% ( 14 / 14) 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% ( 5 / 5) in 'Data.SBV.Examples.Uninterpreted.Sort'
Warning: Data.SBV.Internals: could not find link destinations for:
System.Random.StdGen Data.SBV.BitVectors.Data.Cached Data.SBV.BitVectors.Data.SW System.Random.Random Data.SBV.BitVectors.Data.Quantifier
Warning: Data.SBV: could not find link destinations for:
System.Random.Random Data.SBV.BitVectors.STree.STreeInternal Data.SBV.BitVectors.Data.Outputtable Data.SBV.SMT.SMT.SMTModel Data.SBV.SMT.SMT.SMTEngine Data.SBV.BitVectors.Data.SolverCapabilities Control.Monad.IO.Class.MonadIO Data.SBV.BitVectors.Data.Quantifier Data.SBV.BitVectors.Data.CWVal
Warning: Data.SBV.Examples.Puzzles.U2Bridge: could not find link destinations for:
Control.Monad.Trans.State.Lazy.State
Documentation created: dist/doc/html/sbv/index.html
Preprocessing executable 'SBVUnitTests' for sbv-2.10...
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/sbv-2.10
Installing executable(s) in /srv/hackage/var/build/tmp-install/bin
Warning: The directory /srv/hackage/var/build/tmp-install/bin is not in the
system search path.
Registering sbv-2.10...
Installed sbv-2.10
Downloading copilot-language-2.1.1...
Configuring copilot-language-2.1.1...
Building copilot-language-2.1.1...
Preprocessing library copilot-language-2.1.1...
[ 1 of 22] Compiling System.Mem.StableName.Dynamic ( src/System/Mem/StableName/Dynamic.hs, dist/build/System/Mem/StableName/Dynamic.o )
[ 2 of 22] Compiling System.Mem.StableName.Map ( src/System/Mem/StableName/Map.hs, dist/build/System/Mem/StableName/Map.o )
[ 3 of 22] Compiling Copilot.Language.Prelude ( src/Copilot/Language/Prelude.hs, dist/build/Copilot/Language/Prelude.o )
[ 4 of 22] Compiling Copilot.Language.Stream ( src/Copilot/Language/Stream.hs, dist/build/Copilot/Language/Stream.o )
[ 5 of 22] Compiling Copilot.Language.Spec ( src/Copilot/Language/Spec.hs, dist/build/Copilot/Language/Spec.o )
[ 6 of 22] Compiling Copilot.Language.Operators.BitWise ( src/Copilot/Language/Operators/BitWise.hs, dist/build/Copilot/Language/Operators/BitWise.o )
src/Copilot/Language/Operators/BitWise.hs:23:10: Warning:
No explicit method or default declaration for `bit'
In the instance declaration for `Bits (Stream a)'
src/Copilot/Language/Operators/BitWise.hs:23:10: Warning:
No explicit method or default declaration for `testBit'
In the instance declaration for `Bits (Stream a)'
src/Copilot/Language/Operators/BitWise.hs:23:10: Warning:
No explicit method or default declaration for `popCount'
In the instance declaration for `Bits (Stream a)'
[ 7 of 22] Compiling Copilot.Language.Operators.Temporal ( src/Copilot/Language/Operators/Temporal.hs, dist/build/Copilot/Language/Operators/Temporal.o )
[ 8 of 22] Compiling Copilot.Language.Operators.Ord ( src/Copilot/Language/Operators/Ord.hs, dist/build/Copilot/Language/Operators/Ord.o )
[ 9 of 22] Compiling Copilot.Language.Operators.Mux ( src/Copilot/Language/Operators/Mux.hs, dist/build/Copilot/Language/Operators/Mux.o )
[10 of 22] Compiling Copilot.Language.Operators.Integral ( src/Copilot/Language/Operators/Integral.hs, dist/build/Copilot/Language/Operators/Integral.o )
[11 of 22] Compiling Copilot.Language.Operators.Local ( src/Copilot/Language/Operators/Local.hs, dist/build/Copilot/Language/Operators/Local.o )
[12 of 22] Compiling Copilot.Language.Operators.Extern ( src/Copilot/Language/Operators/Extern.hs, dist/build/Copilot/Language/Operators/Extern.o )
[13 of 22] Compiling Copilot.Language.Operators.Eq ( src/Copilot/Language/Operators/Eq.hs, dist/build/Copilot/Language/Operators/Eq.o )
[14 of 22] Compiling Copilot.Language.Operators.Constant ( src/Copilot/Language/Operators/Constant.hs, dist/build/Copilot/Language/Operators/Constant.o )
[15 of 22] Compiling Copilot.Language.Operators.Cast ( src/Copilot/Language/Operators/Cast.hs, dist/build/Copilot/Language/Operators/Cast.o )
[16 of 22] Compiling Copilot.Language.Operators.Boolean ( src/Copilot/Language/Operators/Boolean.hs, dist/build/Copilot/Language/Operators/Boolean.o )
[17 of 22] Compiling Copilot.Language.Error ( src/Copilot/Language/Error.hs, dist/build/Copilot/Language/Error.o )
[18 of 22] Compiling Copilot.Language.Analyze ( src/Copilot/Language/Analyze.hs, dist/build/Copilot/Language/Analyze.o )
[19 of 22] Compiling Copilot.Language.Reify ( src/Copilot/Language/Reify.hs, dist/build/Copilot/Language/Reify.o )
[20 of 22] Compiling Copilot.Language.Interpret ( src/Copilot/Language/Interpret.hs, dist/build/Copilot/Language/Interpret.o )
[21 of 22] Compiling Copilot.Language ( src/Copilot/Language.hs, dist/build/Copilot/Language.o )
[22 of 22] Compiling Copilot ( src/Copilot.hs, dist/build/Copilot.o )
In-place registering copilot-language-2.1.1...
Running Haddock for copilot-language-2.1.1...
Running hscolour for copilot-language-2.1.1...
Preprocessing library copilot-language-2.1.1...
Preprocessing library copilot-language-2.1.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: mtl-2.1.2, random-1.0.1.1,
transformers-0.3.0.0
dist/build/tmp-31447/src/Copilot/Language/Operators/BitWise.hs:23:10: Warning:
No explicit method or default declaration for `bit'
In the instance declaration for `Bits (Stream a)'
dist/build/tmp-31447/src/Copilot/Language/Operators/BitWise.hs:23:10: Warning:
No explicit method or default declaration for `testBit'
In the instance declaration for `Bits (Stream a)'
dist/build/tmp-31447/src/Copilot/Language/Operators/BitWise.hs:23:10: Warning:
No explicit method or default declaration for `popCount'
In the instance declaration for `Bits (Stream a)'
Haddock coverage:
0% ( 0 / 4) in 'System.Mem.StableName.Dynamic'
31% ( 4 / 13) in 'System.Mem.StableName.Map'
100% ( 2 / 2) in 'Copilot.Language.Prelude'
33% ( 1 / 3) in 'Copilot.Language.Stream'
9% ( 1 / 11) in 'Copilot.Language.Spec'
40% ( 2 / 5) in 'Copilot.Language.Operators.BitWise'
33% ( 1 / 3) in 'Copilot.Language.Operators.Temporal'
20% ( 1 / 5) in 'Copilot.Language.Operators.Ord'
33% ( 1 / 3) in 'Copilot.Language.Operators.Mux'
25% ( 1 / 4) in 'Copilot.Language.Operators.Integral'
50% ( 1 / 2) in 'Copilot.Language.Operators.Local'
11% ( 3 / 28) in 'Copilot.Language.Operators.Extern'
33% ( 1 / 3) in 'Copilot.Language.Operators.Eq'
8% ( 1 / 13) in 'Copilot.Language.Operators.Constant'
50% ( 1 / 2) in 'Copilot.Language.Operators.Cast'
12% ( 1 / 8) in 'Copilot.Language.Operators.Boolean'
0% ( 0 / 3) in 'Copilot.Language.Error'
33% ( 1 / 3) in 'Copilot.Language.Analyze'
50% ( 1 / 2) in 'Copilot.Language.Reify'
67% ( 2 / 3) in 'Copilot.Language.Interpret'
65% ( 17 / 26) in 'Copilot.Language'
100% ( 2 / 2) in 'Copilot'
Warning: Copilot.Language.Operators.Extern: could not find link destinations for:
Copilot.Language.Stream.Arg Copilot.Language.Operators.Extern.Size
Warning: Copilot.Language.Operators.Cast: could not find link destinations for:
Copilot.Language.Operators.Cast.Cast
Warning: Copilot.Language: could not find link destinations for:
Control.Monad.Trans.Writer.Lazy.Writer Copilot.Language.Spec.SpecItem Copilot.Language.Stream.Arg
Documentation created: dist/doc/html/copilot-language/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/copilot-language-2.1.1
Registering copilot-language-2.1.1...
Installed copilot-language-2.1.1
Downloading copilot-c99-2.1.1...
Configuring copilot-c99-2.1.1...
Building copilot-c99-2.1.1...
Preprocessing library copilot-c99-2.1.1...
[ 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 )
[ 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.1...
Preprocessing executable 'copilot-c99-qc' for copilot-c99-2.1.1...
[ 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 )
[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.1...
Running hscolour for copilot-c99-2.1.1...
Preprocessing library copilot-c99-2.1.1...
Preprocessing executable 'copilot-c99-qc' for copilot-c99-2.1.1...
Preprocessing library copilot-c99-2.1.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: mtl-2.1.2, random-1.0.1.1,
text-0.11.2.3, transformers-0.3.0.0
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
Warning: Copilot.Compile.C99.Test.Driver: could not find link destinations for:
Data.Text.Internal.Text
Documentation created: dist/doc/html/copilot-c99/index.html
Preprocessing executable 'copilot-c99-qc' for copilot-c99-2.1.1...
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/copilot-c99-2.1.1
Installing executable(s) in /srv/hackage/var/build/tmp-install/bin
Warning: The directory /srv/hackage/var/build/tmp-install/bin is not in the
system search path.
Registering copilot-c99-2.1.1...
Installed copilot-c99-2.1.1
Downloading copilot-sbv-2.1.1...
Configuring copilot-sbv-2.1.1...
Building copilot-sbv-2.1.1...
Preprocessing library copilot-sbv-2.1.1...
[ 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.1...
Running Haddock for copilot-sbv-2.1.1...
Running hscolour for copilot-sbv-2.1.1...
Preprocessing library copilot-sbv-2.1.1...
Preprocessing library copilot-sbv-2.1.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: mtl-2.1.2, random-1.0.1.1,
transformers-0.3.0.0
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
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/copilot-sbv-2.1.1
Registering copilot-sbv-2.1.1...
Installed copilot-sbv-2.1.1
Downloading copilot-libraries-2.1.1...
Configuring copilot-libraries-2.1.1...
Building copilot-libraries-2.1.1...
Preprocessing library copilot-libraries-2.1.1...
[1 of 9] Compiling Copilot.Library.Stacks ( src/Copilot/Library/Stacks.hs, dist/build/Copilot/Library/Stacks.o )
[2 of 9] Compiling Copilot.Library.Voting ( src/Copilot/Library/Voting.hs, dist/build/Copilot/Library/Voting.o )
[3 of 9] Compiling Copilot.Library.Utils ( src/Copilot/Library/Utils.hs, dist/build/Copilot/Library/Utils.o )
[4 of 9] Compiling Copilot.Library.RegExp ( src/Copilot/Library/RegExp.hs, dist/build/Copilot/Library/RegExp.o )
[5 of 9] Compiling Copilot.Library.Statistics ( src/Copilot/Library/Statistics.hs, dist/build/Copilot/Library/Statistics.o )
[6 of 9] Compiling Copilot.Library.PTLTL ( src/Copilot/Library/PTLTL.hs, dist/build/Copilot/Library/PTLTL.o )
[7 of 9] Compiling Copilot.Library.LTL ( src/Copilot/Library/LTL.hs, dist/build/Copilot/Library/LTL.o )
src/Copilot/Library/LTL.hs:29:1: Warning:
The import of `Copilot.Language.Prelude' is redundant
except perhaps to import instances from `Copilot.Language.Prelude'
To import instances alone, use: import Copilot.Language.Prelude()
[8 of 9] Compiling Copilot.Library.Clocks ( src/Copilot/Library/Clocks.hs, dist/build/Copilot/Library/Clocks.o )
[9 of 9] Compiling Copilot.Library.Libraries ( src/Copilot/Library/Libraries.hs, dist/build/Copilot/Library/Libraries.o )
In-place registering copilot-libraries-2.1.1...
Running Haddock for copilot-libraries-2.1.1...
Running hscolour for copilot-libraries-2.1.1...
Preprocessing library copilot-libraries-2.1.1...
Preprocessing library copilot-libraries-2.1.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: mtl-2.1.2, parsec-3.1.3,
random-1.0.1.1, text-0.11.2.3, transformers-0.3.0.0
dist/build/tmp-31447/src/Copilot/Library/LTL.hs:29:1: Warning:
The import of `Copilot.Language.Prelude' is redundant
except perhaps to import instances from `Copilot.Language.Prelude'
To import instances alone, use: import Copilot.Language.Prelude()
Haddock coverage:
33% ( 1 / 3) in 'Copilot.Library.Stacks'
33% ( 1 / 3) in 'Copilot.Library.Voting'
21% ( 3 / 14) in 'Copilot.Library.Utils'
33% ( 1 / 3) in 'Copilot.Library.RegExp'
100% ( 6 / 6) in 'Copilot.Library.Statistics'
100% ( 5 / 5) in 'Copilot.Library.PTLTL'
100% ( 6 / 6) in 'Copilot.Library.LTL'
20% ( 1 / 5) in 'Copilot.Library.Clocks'
100% ( 9 / 9) in 'Copilot.Library.Libraries'
Warning: Copilot.Library.Stacks: could not find link destinations for:
Copilot.Library.Stacks.PopSignal Copilot.Library.Stacks.PushSignal Copilot.Library.Stacks.PushStream Copilot.Library.Stacks.StackTop
Warning: Copilot.Library.RegExp: could not find link destinations for:
Copilot.Library.RegExp.SymbolParser Text.Parsec.Pos.SourceName Copilot.Library.RegExp.StreamName
Warning: Copilot.Library.Clocks: could not find link destinations for:
Copilot.Library.Clocks.Period Copilot.Library.Clocks.Phase
Documentation created: dist/doc/html/copilot-libraries/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/copilot-libraries-2.1.1
Registering copilot-libraries-2.1.1...
Installed copilot-libraries-2.1.1
Downloading copilot-cbmc-2.1.1...
Configuring copilot-cbmc-2.1.1...
Building copilot-cbmc-2.1.1...
Preprocessing library copilot-cbmc-2.1.1...
[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.1...
Running Haddock for copilot-cbmc-2.1.1...
Running hscolour for copilot-cbmc-2.1.1...
Preprocessing library copilot-cbmc-2.1.1...
Preprocessing library copilot-cbmc-2.1.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: mtl-2.1.2, random-1.0.1.1,
text-0.11.2.3, transformers-0.3.0.0
Haddock coverage:
0% ( 0 / 7) in 'Copilot.Tools.CBMC'
Documentation created: dist/doc/html/copilot-cbmc/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/copilot-cbmc-2.1.1
Registering copilot-cbmc-2.1.1...
Installed copilot-cbmc-2.1.1
Downloading copilot-2.0.7...
Configuring copilot-2.0.7...
Building copilot-2.0.7...
Preprocessing library copilot-2.0.7...
[1 of 1] Compiling Language.Copilot ( src/Language/Copilot.hs, dist/build/Language/Copilot.o )
In-place registering copilot-2.0.7...
Preprocessing executable 'copilot-regression' for copilot-2.0.7...
[ 1 of 20] Compiling Language.Copilot ( src/Language/Copilot.hs, dist/build/copilot-regression/copilot-regression-tmp/Language/Copilot.o )
[ 2 of 20] Compiling VotingExamples ( Examples/VotingExamples.hs, dist/build/copilot-regression/copilot-regression-tmp/VotingExamples.o )
[ 3 of 20] Compiling StatExamples ( Examples/StatExamples.hs, dist/build/copilot-regression/copilot-regression-tmp/StatExamples.o )
[ 4 of 20] Compiling StackExamples ( Examples/StackExamples.hs, dist/build/copilot-regression/copilot-regression-tmp/StackExamples.o )
[ 5 of 20] Compiling Sat ( Examples/Sat.hs, dist/build/copilot-regression/copilot-regression-tmp/Sat.o )
[ 6 of 20] Compiling RegExpExamples ( Examples/RegExpExamples.hs, dist/build/copilot-regression/copilot-regression-tmp/RegExpExamples.o )
[ 7 of 20] Compiling Random ( Examples/Random.hs, dist/build/copilot-regression/copilot-regression-tmp/Random.o )
[ 8 of 20] Compiling PTLTLExamples ( Examples/PTLTLExamples.hs, dist/build/copilot-regression/copilot-regression-tmp/PTLTLExamples.o )
[ 9 of 20] Compiling LTLExamples ( Examples/LTLExamples.hs, dist/build/copilot-regression/copilot-regression-tmp/LTLExamples.o )
[10 of 20] Compiling Local ( Examples/Local.hs, dist/build/copilot-regression/copilot-regression-tmp/Local.o )
[11 of 20] Compiling Languages ( Examples/Languages.hs, dist/build/copilot-regression/copilot-regression-tmp/Languages.o )
[12 of 20] Compiling ExtFuns ( Examples/ExtFuns.hs, dist/build/copilot-regression/copilot-regression-tmp/ExtFuns.o )
[13 of 20] Compiling Examples2 ( Examples/Examples2.hs, dist/build/copilot-regression/copilot-regression-tmp/Examples2.o )
[14 of 20] Compiling Examples ( Examples/Examples.hs, dist/build/copilot-regression/copilot-regression-tmp/Examples.o )
Examples/Examples.hs:70:22:
Could not deduce (Eq a) arising from the literal `0'
from the context (Num a, Typed a)
bound by the type signature for
counter :: (Num a, Typed a) => Stream Bool -> Stream a
at Examples/Examples.hs:66:12-54
Possible fix:
add (Eq a) to the context of
the type signature for
counter :: (Num a, Typed a) => Stream Bool -> Stream a
In the expression: 0
In the expression: if reset then 0 else zy + 1
In an equation for `y': y = if reset then 0 else zy + 1
Failed to install copilot-2.0.7
cabal: Error: some packages failed to install:
copilot-2.0.7 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.