diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/T10438.stderr')
-rw-r--r-- | testsuite/tests/partial-sigs/should_compile/T10438.stderr | 55 |
1 files changed, 28 insertions, 27 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/T10438.stderr b/testsuite/tests/partial-sigs/should_compile/T10438.stderr index 2ae08675f2..f070b3b8a0 100644 --- a/testsuite/tests/partial-sigs/should_compile/T10438.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T10438.stderr @@ -1,27 +1,28 @@ -
-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
- 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
- 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)
+ +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 + • 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 -> t1 -> t1 (bound at T10438.hs:5:1) |