blob: bdf814e78dada39b64f715932f8f4e43961346c1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
T7869.hs:3:12:
Couldn't match type ‛b’ with ‛b1’
because type variable ‛b1’ would escape its scope
This (rigid, skolem) type variable is bound by
an expression type signature: [a1] -> b1
at T7869.hs:3:5-27
Expected type: [a1] -> b1
Actual type: [a] -> b
Relevant bindings include f :: [a] -> b (bound at T7869.hs:3:1)
In the expression: f x
In the expression: (\ x -> f x) :: [a] -> b
In an equation for ‛f’: f = (\ x -> f x) :: [a] -> b
T7869.hs:3:12:
Couldn't match type ‛a’ with ‛a1’
because type variable ‛a1’ would escape its scope
This (rigid, skolem) type variable is bound by
an expression type signature: [a1] -> b1
at T7869.hs:3:5-27
Expected type: [a1] -> b1
Actual type: [a] -> b
Relevant bindings include
f :: [a] -> b (bound at T7869.hs:3:1)
x :: [a1] (bound at T7869.hs:3:7)
In the expression: f x
In the expression: (\ x -> f x) :: [a] -> b
In an equation for ‛f’: f = (\ x -> f x) :: [a] -> b
|