diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/T10438.stderr')
-rw-r--r-- | testsuite/tests/partial-sigs/should_compile/T10438.stderr | 53 |
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
|