diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/T10438.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/T10438.stderr | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/T10438.stderr b/testsuite/tests/partial-sigs/should_compile/T10438.stderr index f070b3b8a0..5624d8dc9e 100644 --- a/testsuite/tests/partial-sigs/should_compile/T10438.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T10438.stderr @@ -1,8 +1,8 @@ T10438.hs:7:22: warning: - • 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 + • Found type wildcard ‘_’ standing for ‘r2’ + Where: ‘r2’ is a rigid type variable bound by + the inferred type of g :: r2 -> r2 at T10438.hs:6:9 • In the type signature: x :: _ In an equation for ‘g’: @@ -21,8 +21,8 @@ T10438.hs:7:22: warning: 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 -> t1 -> t1 (bound at T10438.hs:5:1) + x :: r2 (bound at T10438.hs:8:17) + r :: r2 (bound at T10438.hs:6:11) + g :: r2 -> r2 (bound at T10438.hs:6:9) + f :: r (bound at T10438.hs:5:5) + foo :: r -> r1 -> r1 (bound at T10438.hs:5:1) |