diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/T10615.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_fail/T10615.stderr | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/T10615.stderr b/testsuite/tests/partial-sigs/should_fail/T10615.stderr index b474e3dda7..9cd93c24a7 100644 --- a/testsuite/tests/partial-sigs/should_fail/T10615.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T10615.stderr @@ -1,36 +1,36 @@ T10615.hs:4:7: error: - • Found type wildcard ‘_’ standing for ‘a1’ - Where: ‘a1’ is an ambiguous type variable + • Found type wildcard ‘_’ standing for ‘w1’ + Where: ‘w1’ is an ambiguous type variable To use the inferred type, enable PartialTypeSignatures • In the type ‘_ -> f’ In the type signature: f1 :: _ -> f T10615.hs:5:6: error: - • Couldn't match type ‘f’ with ‘b1 -> a1’ + • Couldn't match type ‘f’ with ‘b1 -> w1’ + Expected: w1 -> f + Actual: w1 -> b1 -> w1 ‘f’ is a rigid type variable bound by - the inferred type of f1 :: a1 -> f + the inferred type of f1 :: w1 -> f at T10615.hs:4:1-12 - Expected type: a1 -> f - Actual type: a1 -> b1 -> a1 • In the expression: const In an equation for ‘f1’: f1 = const - • Relevant bindings include f1 :: a1 -> f (bound at T10615.hs:5:1) + • Relevant bindings include f1 :: w1 -> f (bound at T10615.hs:5:1) T10615.hs:7:7: error: - • Found type wildcard ‘_’ standing for ‘a0’ - Where: ‘a0’ is an ambiguous type variable + • Found type wildcard ‘_’ standing for ‘w0’ + Where: ‘w0’ is an ambiguous type variable To use the inferred type, enable PartialTypeSignatures • In the type ‘_ -> _f’ In the type signature: f2 :: _ -> _f T10615.hs:8:6: error: - • Couldn't match type ‘_f’ with ‘b0 -> a0’ + • Couldn't match type ‘_f’ with ‘b0 -> w0’ + Expected: w0 -> _f + Actual: w0 -> b0 -> w0 ‘_f’ is a rigid type variable bound by - the inferred type of f2 :: a0 -> _f + the inferred type of f2 :: w0 -> _f at T10615.hs:7:1-13 - Expected type: a0 -> _f - Actual type: a0 -> b0 -> a0 • In the expression: const In an equation for ‘f2’: f2 = const - • Relevant bindings include f2 :: a0 -> _f (bound at T10615.hs:8:1) + • Relevant bindings include f2 :: w0 -> _f (bound at T10615.hs:8:1) |