[Haskell-cafe] How to fix ambiguous type variable?

[Sandeep.C.R]

This seems to work for me...


someCheck :: forall a . (Show a, Read a, Eq a) => String -> a -> Bool

someCheck s v = (read . show . (read :: String -> a) $ s) == v


Probably requires 'ScopedTypeVariables'...


On 13/06/19 11:06 AM, Boris wrote:
> someCheck :: (Show a, Read a, Eq a) => String -> a -> Bool
> someCheck s v = (read . show . read $ s) == v