
7 Dec
2012
7 Dec
'12
2:02 p.m.
Hello, I have function with following signature: get :: a -> Value b I don't know concrete type of b. It can be Value Int or Value String or something else. How can i to write function only for testing? I need something like this: get :: a -> Value b get k = (Value "some_data"') but i got error: Couldn't match expected type `b' with actual type `[Char]' `b' is a rigid type variable bound by the type signature for get :: a -> Value b at Test.hs:39:8 In the first argument of `Value', namely `"some_data"' In the expression: (Value "some_data") In an equation for `get': get k = (Value "some_data") Failed, modules loaded: none. Value data declaration: data Value b = Value b deriving (Show) Thank you.