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 c17759a531..400546a2e3 100644 --- a/testsuite/tests/partial-sigs/should_fail/T10615.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T10615.stderr @@ -1,32 +1,32 @@ T10615.hs:4:7: error: - • Found type wildcard ‘_’ standing for ‘a1’ - Where: ‘a1’ is an ambiguous type variable + • Found type wildcard ‘_’ standing for ‘a0’ + Where: ‘a0’ is an ambiguous type variable To use the inferred type, enable PartialTypeSignatures • 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 ‘b0 -> a0’ ‘f’ is a rigid type variable bound by - the inferred type of f1 :: a1 -> f at T10615.hs:5:1-10 - Expected type: a1 -> f - Actual type: a1 -> b1 -> a1 + the inferred type of f1 :: a0 -> f at T10615.hs:5:1-10 + Expected type: a0 -> f + Actual type: a0 -> b0 -> a0 • 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 :: a0 -> 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 ‘a1’ + Where: ‘a1’ is an ambiguous type variable To use the inferred type, enable PartialTypeSignatures • 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 ‘b1 -> a1’ ‘_f’ is a rigid type variable bound by - the inferred type of f2 :: a0 -> _f at T10615.hs:8:1-10 - Expected type: a0 -> _f - Actual type: a0 -> b0 -> a0 + the inferred type of f2 :: a1 -> _f at T10615.hs:8:1-10 + Expected type: a1 -> _f + Actual type: a1 -> b1 -> a1 • 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 :: a1 -> _f (bound at T10615.hs:8:1) |