blob: 0b9bcb811c6466509db9bd58628430f5875060e7 (
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
29
30
31
32
33
34
|
T10615.hs:4:7: error:
• Found type wildcard ‘_’ standing for ‘a1’
Where: ‘a1’ is an ambiguous type variable
To use the inferred type, enable PartialTypeSignatures
• In the type signature: f1 :: _ -> f
T10615.hs:5:6: error:
• Couldn't match type ‘f’ with ‘b1 -> a1’
‘f’ is a rigid type variable bound by
the inferred type of f1 :: a1 -> f
at T10615.hs:5:1-10
Expected type: a1 -> f
Actual type: a1 -> b1 -> a1
• In the expression: const
In an equation for ‘f1’: f1 = const
• Relevant bindings include f1 :: a1 -> f (bound at T10615.hs:5:1)
T10615.hs:7:7: error:
• Found type wildcard ‘_’ standing for ‘a0’
Where: ‘a0’ is an ambiguous type variable
To use the inferred type, enable PartialTypeSignatures
• In the type signature: f2 :: _ -> _f
T10615.hs:8:6: error:
• Couldn't match type ‘_f’ with ‘b0 -> a0’
‘_f’ is a rigid type variable bound by
the inferred type of f2 :: a0 -> _f
at T10615.hs:8:1-10
Expected type: a0 -> _f
Actual type: a0 -> b0 -> a0
• In the expression: const
In an equation for ‘f2’: f2 = const
• Relevant bindings include f2 :: a0 -> _f (bound at T10615.hs:8:1)
|