Build #1 for sbv-2.6
| Package | sbv-2.6 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | syb-0.4.1, random-1.0.1.1, process-1.1.0.2, pretty-1.1.1.0, old-time-1.1.0.1, mtl-2.1.2, filepath-1.3.0.1, directory-1.2.0.1, deepseq-1.3.0.1, containers-0.5.0.0, base-4.6.0.1, array-0.4.0.1, QuickCheck-2.6, HUnit-1.2.5.2 |
| 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...
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.Property: could not find link destinations for:
Test.QuickCheck.Exception.AnException
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 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 sbv-2.6...
Configuring sbv-2.6...
Building sbv-2.6...
Preprocessing library sbv-2.6...
[ 1 of 53] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist/build/Data/SBV/Utils/TDiff.o )
[ 2 of 53] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist/build/Data/SBV/Utils/Lib.o )
[ 3 of 53] Compiling Data.SBV.Utils.Boolean ( Data/SBV/Utils/Boolean.hs, dist/build/Data/SBV/Utils/Boolean.o )
[ 4 of 53] Compiling Data.SBV.BitVectors.AlgReals ( Data/SBV/BitVectors/AlgReals.hs, dist/build/Data/SBV/BitVectors/AlgReals.o )
[ 5 of 53] Compiling Data.SBV.BitVectors.Data ( Data/SBV/BitVectors/Data.hs, dist/build/Data/SBV/BitVectors/Data.o )
[ 6 of 53] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist/build/Data/SBV/Compilers/CodeGen.o )
[ 7 of 53] Compiling Data.SBV.Tools.ExpectedValue ( Data/SBV/Tools/ExpectedValue.hs, dist/build/Data/SBV/Tools/ExpectedValue.o )
[ 8 of 53] Compiling Data.SBV.SMT.SMTLib1 ( Data/SBV/SMT/SMTLib1.hs, dist/build/Data/SBV/SMT/SMTLib1.o )
[ 9 of 53] Compiling Data.SBV.BitVectors.Model ( Data/SBV/BitVectors/Model.hs, dist/build/Data/SBV/BitVectors/Model.o )
Data/SBV/BitVectors/Model.hs:590:28:
Could not deduce (Num a) arising from the literal `0'
from the context (Eq (SBV a), Bits a, SymWord a)
bound by the instance declaration
at Data/SBV/BitVectors/Model.hs:588:10-44
Possible fix:
add (Num a) to the context of the instance declaration
In the second argument of `(==)', namely `0'
In the second argument of `isConcretely', namely `(== 0)'
In the expression: x `isConcretely` (== 0)
Data/SBV/BitVectors/Model.hs:596:28:
Could not deduce (Num a) arising from the literal `0'
from the context (Eq (SBV a), Bits a, SymWord a)
bound by the instance declaration
at Data/SBV/BitVectors/Model.hs:588:10-44
Possible fix:
add (Num a) to the context of the instance declaration
In the second argument of `(==)', namely `0'
In the second argument of `isConcretely', namely `(== 0)'
In the expression: x `isConcretely` (== 0)
Data/SBV/BitVectors/Model.hs:602:28:
Could not deduce (Num a) arising from the literal `0'
from the context (Eq (SBV a), Bits a, SymWord a)
bound by the instance declaration
at Data/SBV/BitVectors/Model.hs:588:10-44
Possible fix:
add (Num a) to the context of the instance declaration
In the second argument of `(==)', namely `0'
In the second argument of `isConcretely', namely `(== 0)'
In the expression: x `isConcretely` (== 0)
Data/SBV/BitVectors/Model.hs:628:47:
Could not deduce (Num a) arising from the literal `0'
from the context (Eq (SBV a), Bits a, SymWord a)
bound by the instance declaration
at Data/SBV/BitVectors/Model.hs:588:10-44
Possible fix:
add (Num a) to the context of the instance declaration
In the second argument of `(/=)', namely `0'
In the expression: (x .&. bit i) /= 0
In an equation for `testBit':
x testBit i
| isConcrete x = (x .&. bit i) /= 0
| True
= error
$ "SBV.testBit: Called on symbolic value: "
++ show x ++ ". Use sbvTestBit instead."
Data/SBV/BitVectors/Model.hs:635:32:
Could not deduce (Num a) arising from a use of `go'
from the context (Eq (SBV a), Bits a, SymWord a)
bound by the instance declaration
at Data/SBV/BitVectors/Model.hs:588:10-44
Possible fix:
add (Num a) to the context of the instance declaration
In the expression: go 0 x
In the expression:
let
go !c 0 = c
go !c w = go (c + 1) (w .&. (w - 1))
in go 0 x
In an equation for `popCount':
popCount x
| isConcrete x
= let
go !c 0 = c
go !c w = go (c + 1) (w .&. (w - 1))
in go 0 x
| True
= error
$ "SBV.popCount: Called on symbolic value: "
++ show x ++ ". Use sbvPopCount instead."
Data/SBV/BitVectors/Model.hs:651:36:
Could not deduce (Num a) arising from the literal `0'
from the context (Bits a, SymWord a)
bound by the type signature for
sbvTestBit :: (Bits a, SymWord a) => SBV a -> Int -> SBool
at Data/SBV/BitVectors/Model.hs:650:15-58
Possible fix:
add (Num a) to the context of
the type signature for
sbvTestBit :: (Bits a, SymWord a) => SBV a -> Int -> SBool
In the second argument of `(./=)', namely `0'
In the expression: (x .&. bit i) ./= 0
In an equation for `sbvTestBit':
sbvTestBit x i = (x .&. bit i) ./= 0
Data/SBV/BitVectors/Model.hs:665:25:
Could not deduce (Num a) arising from a use of `go'
from the context (Bits a, SymWord a)
bound by the type signature for
sbvPopCount :: (Bits a, SymWord a) => SBV a -> SWord8
at Data/SBV/BitVectors/Model.hs:662:16-53
Possible fix:
add (Num a) to the context of
the type signature for
sbvPopCount :: (Bits a, SymWord a) => SBV a -> SWord8
In the expression: go 0 x
In an equation for `sbvPopCount':
sbvPopCount x
| isReal x = error "SBV.sbvPopCount: Called on a real value"
| isConcrete x = go 0 x
| not (isBounded x)
= error
"SBV.sbvPopCount: Called on an infinite precision symbolic value"
| True = sum [ite b 1 0 | b <- blastLE x]
where
go !c 0 = c
go !c w = go (c + 1) (w .&. (w - 1))
Failed to install sbv-2.6
cabal: Error: some packages failed to install:
sbv-2.6 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.