Build #2 for sbv-2.6
| Package | sbv-2.6 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2015-06-07 19:44:11.564963 UTC |
|---|---|
| Compiler | ghc-7.8.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | syb-0.5.1, random-1.1, process-1.2.0.0, pretty-1.1.1.1, old-time-1.1.0.2, mtl-2.1.3.1, filepath-1.3.0.2, directory-1.2.1.0, deepseq-1.3.0.2, containers-0.5.5.1, base-4.7.0.1, array-0.5.0.0, QuickCheck-2.8.1, 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,
dist/doc/html/HUnit/HUnit.txt
Creating package registration file: /tmp/pkgConf-HUnit-1.2.517235.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/HUnit-1.2.5.2
Registering HUnit-1.2.5.2...
Installed HUnit-1.2.5.2
Configuring 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.317235.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/mtl-2.1.3.1
Registering mtl-2.1.3.1...
Installed mtl-2.1.3.1
Configuring primitive-0.6...
Building primitive-0.6...
Preprocessing library primitive-0.6...
[ 1 of 10] Compiling Data.Primitive.Internal.Compat ( Data/Primitive/Internal/Compat.hs, dist/build/Data/Primitive/Internal/Compat.o )
[ 2 of 10] Compiling Data.Primitive.MachDeps ( Data/Primitive/MachDeps.hs, dist/build/Data/Primitive/MachDeps.o )
[ 3 of 10] Compiling Data.Primitive.Internal.Operations ( Data/Primitive/Internal/Operations.hs, dist/build/Data/Primitive/Internal/Operations.o )
[ 4 of 10] Compiling Control.Monad.Primitive ( Control/Monad/Primitive.hs, dist/build/Control/Monad/Primitive.o )
[ 5 of 10] Compiling Data.Primitive.Types ( Data/Primitive/Types.hs, dist/build/Data/Primitive/Types.o )
[ 6 of 10] Compiling Data.Primitive.Array ( Data/Primitive/Array.hs, dist/build/Data/Primitive/Array.o )
[ 7 of 10] Compiling Data.Primitive.ByteArray ( Data/Primitive/ByteArray.hs, dist/build/Data/Primitive/ByteArray.o )
[ 8 of 10] Compiling Data.Primitive.Addr ( Data/Primitive/Addr.hs, dist/build/Data/Primitive/Addr.o )
[ 9 of 10] Compiling Data.Primitive ( Data/Primitive.hs, dist/build/Data/Primitive.o )
[10 of 10] Compiling Data.Primitive.MutVar ( Data/Primitive/MutVar.hs, dist/build/Data/Primitive/MutVar.o )
In-place registering primitive-0.6...
Running Haddock for primitive-0.6...
Running hscolour for primitive-0.6...
Preprocessing library primitive-0.6...
Preprocessing library primitive-0.6...
Haddock coverage:
100% ( 3 / 3) in 'Data.Primitive.Internal.Compat'
3% ( 1 / 35) in 'Data.Primitive.MachDeps'
3% ( 1 / 29) in 'Data.Primitive.Internal.Operations'
75% ( 12 / 16) in 'Control.Monad.Primitive'
100% ( 3 / 3) in 'Data.Primitive.Types'
100% ( 15 / 15) in 'Data.Primitive.Array'
93% ( 27 / 29) in 'Data.Primitive.ByteArray'
100% ( 16 / 16) in 'Data.Primitive.Addr'
100% ( 7 / 7) in 'Data.Primitive'
100% ( 9 / 9) in 'Data.Primitive.MutVar'
Documentation created: dist/doc/html/primitive/index.html,
dist/doc/html/primitive/primitive.txt
Creating package registration file: /tmp/pkgConf-primitive-017235.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/primitive-0.6
Registering primitive-0.6...
Installed primitive-0.6
Configuring random-1.1...
Building random-1.1...
Preprocessing library random-1.1...
[1 of 1] Compiling System.Random ( System/Random.hs, dist/build/System/Random.o )
In-place registering random-1.1...
Running Haddock for random-1.1...
Running hscolour for random-1.1...
Preprocessing library random-1.1...
Preprocessing library random-1.1...
Haddock coverage:
Cannot find documentation for: $intro
100% ( 16 / 16) in 'System.Random'
Documentation created: dist/doc/html/random/index.html,
dist/doc/html/random/random.txt
Creating package registration file: /tmp/pkgConf-random-117235.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 syb-0.5.1...
Building syb-0.5.1...
Preprocessing library syb-0.5.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.5.1...
Running Haddock for syb-0.5.1...
Running hscolour for syb-0.5.1...
Preprocessing library syb-0.5.1...
Preprocessing library syb-0.5.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% ( 17 / 17) 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.517235.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/syb-0.5.1
Registering syb-0.5.1...
Installed syb-0.5.1
Configuring tf-random-0.5...
Building tf-random-0.5...
Preprocessing library tf-random-0.5...
[1 of 4] Compiling System.Random.TF.Gen ( src/System/Random/TF/Gen.hs, dist/build/System/Random/TF/Gen.o )
[2 of 4] Compiling System.Random.TF.Init ( src/System/Random/TF/Init.hs, dist/build/System/Random/TF/Init.o )
src/System/Random/TF/Init.hs:94:5: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
[3 of 4] Compiling System.Random.TF.Instances ( src/System/Random/TF/Instances.hs, dist/build/System/Random/TF/Instances.o )
[4 of 4] Compiling System.Random.TF ( src/System/Random/TF.hs, dist/build/System/Random/TF.o )
In-place registering tf-random-0.5...
Running Haddock for tf-random-0.5...
Running hscolour for tf-random-0.5...
Preprocessing library tf-random-0.5...
Preprocessing library tf-random-0.5...
src/System/Random/TF/Init.hs:94:5: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Haddock coverage:
100% ( 4 / 4) in 'System.Random.TF.Gen'
83% ( 5 / 6) in 'System.Random.TF.Init'
33% ( 1 / 3) in 'System.Random.TF.Instances'
100% ( 3 / 3) in 'System.Random.TF'
Documentation created: dist/doc/html/tf-random/index.html,
dist/doc/html/tf-random/tf-random.txt
Creating package registration file: /tmp/pkgConf-tf-random-017235.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 QuickCheck-2.8.1...
Building QuickCheck-2.8.1...
Preprocessing library QuickCheck-2.8.1...
[ 1 of 15] Compiling Test.QuickCheck.Random ( Test/QuickCheck/Random.hs, dist/build/Test/QuickCheck/Random.o )
[ 2 of 15] Compiling Test.QuickCheck.Exception ( Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o )
[ 3 of 15] Compiling Test.QuickCheck.Text ( Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o )
[ 4 of 15] Compiling Test.QuickCheck.State ( Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o )
[ 5 of 15] Compiling Test.QuickCheck.Gen ( Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o )
[ 6 of 15] Compiling Test.QuickCheck.Gen.Unsafe ( Test/QuickCheck/Gen/Unsafe.hs, dist/build/Test/QuickCheck/Gen/Unsafe.o )
[ 7 of 15] Compiling Test.QuickCheck.Arbitrary ( Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o )
[ 8 of 15] Compiling Test.QuickCheck.Modifiers ( Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o )
[ 9 of 15] Compiling Test.QuickCheck.Poly ( Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o )
[10 of 15] Compiling Test.QuickCheck.Function ( Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o )
[11 of 15] Compiling Test.QuickCheck.Property ( Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o )
[12 of 15] Compiling Test.QuickCheck.Test ( Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o )
[13 of 15] Compiling Test.QuickCheck.All ( Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o )
[14 of 15] Compiling Test.QuickCheck.Monadic ( Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o )
[15 of 15] Compiling Test.QuickCheck ( Test/QuickCheck.hs, dist/build/Test/QuickCheck.o )
In-place registering QuickCheck-2.8.1...
Running Haddock for QuickCheck-2.8.1...
Running hscolour for QuickCheck-2.8.1...
Preprocessing library QuickCheck-2.8.1...
Preprocessing library QuickCheck-2.8.1...
Haddock coverage:
10% ( 2 / 20) in 'Test.QuickCheck.Random'
33% ( 3 / 9) in 'Test.QuickCheck.Exception'
6% ( 1 / 18) in 'Test.QuickCheck.Text'
100% ( 2 / 2) in 'Test.QuickCheck.State'
89% ( 25 / 28) in 'Test.QuickCheck.Gen'
80% ( 4 / 5) in 'Test.QuickCheck.Gen.Unsafe'
100% ( 32 / 32) in 'Test.QuickCheck.Arbitrary'
93% ( 14 / 15) in 'Test.QuickCheck.Modifiers'
14% ( 1 / 7) in 'Test.QuickCheck.Poly'
38% ( 3 / 8) in 'Test.QuickCheck.Function'
62% ( 44 / 71) in 'Test.QuickCheck.Property'
50% ( 14 / 28) in 'Test.QuickCheck.Test'
100% ( 9 / 9) in 'Test.QuickCheck.All'
78% ( 14 / 18) in 'Test.QuickCheck.Monadic'
99% (127 /128) in 'Test.QuickCheck'
Warning: Test.QuickCheck.Arbitrary: could not find link destinations for:
Test.QuickCheck.Arbitrary.RecursivelyShrink Test.QuickCheck.Arbitrary.GSubterms Test.QuickCheck.Arbitrary.GCoArbitrary Test.QuickCheck.Arbitrary.gSubterms Test.QuickCheck.Arbitrary.gSubtermsIncl
Warning: Test.QuickCheck: could not find link destinations for:
Test.QuickCheck.Arbitrary.GCoArbitrary Test.QuickCheck.Arbitrary.RecursivelyShrink Test.QuickCheck.Arbitrary.GSubterms
Documentation created: dist/doc/html/QuickCheck/index.html,
dist/doc/html/QuickCheck/QuickCheck.txt
Creating package registration file: /tmp/pkgConf-QuickCheck-2.817235.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/QuickCheck-2.8.1
Registering QuickCheck-2.8.1...
Installed QuickCheck-2.8.1
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 )
Data/SBV/BitVectors/Data.hs:659:39: Warning:
‘Symbolic’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[ 6 of 53] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist/build/Data/SBV/Compilers/CodeGen.o )
Data/SBV/Compilers/CodeGen.hs:78:30: Warning:
‘SBVCodeGen’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[ 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.