blob: bc3f774eccd17e4aa3a9ff757bc33ae7658c280f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
T3592.hs:8:5: error:
• Couldn't match type ‘a0’ with ‘T a’
Expected: T a -> String
Actual: a0 -> String
Cannot instantiate unification variable ‘a0’
with a type involving polytypes: T a
• In the expression: show
In an equation for ‘f’: f = show
• Relevant bindings include
f :: T a -> String (bound at T3592.hs:8:1)
T3592.hs:11:7: error:
• No instance for (Show a) arising from a use of ‘show’
Possible fix:
add (Show a) to the context of
the type signature for:
g :: forall a. T a -> String
• In the expression: show x
In an equation for ‘g’: g x = show x
|