summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/T10438.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/T10438.stderr')
-rw-r--r--testsuite/tests/partial-sigs/should_compile/T10438.stderr53
1 files changed, 27 insertions, 26 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/T10438.stderr b/testsuite/tests/partial-sigs/should_compile/T10438.stderr
index 34fe24bba4..7c2a0907e8 100644
--- a/testsuite/tests/partial-sigs/should_compile/T10438.stderr
+++ b/testsuite/tests/partial-sigs/should_compile/T10438.stderr
@@ -1,26 +1,27 @@
-
-T10438.hs:7:22: warning:
- Found type wildcard ‘_’ standing for ‘w_1’
- Where: ‘w_1’ is a rigid type variable bound by
- the inferred type of g :: w_1 -> w_1 at T10438.hs:6:9
- Relevant bindings include
- r :: w_1 (bound at T10438.hs:6:11)
- g :: w_1 -> w_1 (bound at T10438.hs:6:9)
- f :: t (bound at T10438.hs:5:5)
- foo :: t -> w_ -> w_ (bound at T10438.hs:5:1)
- In the type signature for ‘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
+
+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
+ Relevant bindings include
+ 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)
+ In the type signature for:
+ 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