blob: bb7eafc6fbe011ade1b3097d4d2c2bc4f284e9bf (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
tcfail032.hs:14:8: error:
• Couldn't match expected type ‘a1 -> Int’ with actual type ‘p’
‘p’ is a rigid type variable bound by
the inferred type of f :: Eq a => p -> a -> Int
at tcfail032.hs:14:1-31
• In the expression: x :: (Eq a) => a -> Int
In an equation for ‘f’: f x = (x :: (Eq a) => a -> Int)
• Relevant bindings include
x :: p (bound at tcfail032.hs:14:3)
f :: p -> a -> Int (bound at tcfail032.hs:14:1)
|
