blob: 3871a6345e4ff40c7696c592c9eb15e434a6aa92 (
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
|
T10438.hs:7:22: warning: [-Wpartial-type-signatures (in -Wdefault)]
• Found type wildcard ‘_’ standing for ‘t2’
Where: ‘t2’ is a rigid type variable bound by
the inferred type of g :: t2 -> t2 at T10438.hs:6:9
• In the type signature:
x :: _
In an equation for ‘g’:
g r
= x
where
x :: _
x = r
In an equation for ‘foo’:
foo f
= g
where
g r
= x
where
x :: _
x = r
• Relevant bindings include
x :: t2 (bound at T10438.hs:8:17)
r :: t2 (bound at T10438.hs:6:11)
g :: t2 -> t2 (bound at T10438.hs:6:9)
f :: t (bound at T10438.hs:5:5)
foo :: t -> forall t1. t1 -> t1 (bound at T10438.hs:5:1)
|
