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