LeventErkok/sbv — Issue #37: Build failure for of ghc7.4
Author: leepike
Created: 2012-02-10 17:41:30+00:00
State: open

Hi Levent,

I think SBV 0.9.24 (current Hackage version) on ghc7.4 is failing:

Data/SBV/BitVectors/Model.hs:555:90:
Could not deduce (Show a) arising from a use of `show'
from the context (Bounded a, Integral a, Num a, SymWord a)
bound by the instance declaration
at Data/SBV/BitVectors/Model.hs:544:10-66
Possible fix:
add (Show a) to the context of the instance declaration
In the second argument of `(++)', namely
`show (minBound :: a, maxBound :: a)'
In the second argument of `(++)', namely
`" is out-of-bounds " ++ show (minBound :: a, maxBound :: a)'
In the second argument of `(++)', namely
`show x
++ " is out-of-bounds " ++ show (minBound :: a, maxBound :: a)'

I haven't built it myself under 7.4; I just noticed the build log http://hackage.haskell.org/packages/archive/sbv/0.9.24/logs/failure/ghc-7.4