blob: 4b64ef1cc7a90dfcebf53f3f82939659b95f92ed (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
T12563.hs:8:15: error:
• Couldn't match expected type ‘(forall a. f a) -> f r’
with actual type ‘p’
Cannot equate type variable ‘p’
with a type involving polytypes: (forall a. f a) -> f r
‘p’ is a rigid type variable bound by
the inferred type of x :: p -> f r
at T12563.hs:8:1-15
• In the first argument of ‘foo’, namely ‘g’
In the expression: foo g
In the expression: \ g -> foo g
• Relevant bindings include
g :: p (bound at T12563.hs:8:6)
x :: p -> f r (bound at T12563.hs:8:1)
|
