diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-01-31 16:20:09 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-02-05 19:22:25 -0500 |
| commit | 549292eb3725eca61722ddd2cfb4d964ccba3fc7 (patch) | |
| tree | 302c5e889a1474c8910a06897b306357b6bd704a /testsuite/tests/module | |
| parent | 299acff08aa1b7b720ad2b69c459c514033bc395 (diff) | |
| download | haskell-549292eb3725eca61722ddd2cfb4d964ccba3fc7.tar.gz | |
Make implication tidying agree with Note [Tidying multiple names at once]
Note [Tidying multiple names at once] indicates that if multiple
variables have the same name then we shouldn't prioritise one of them
and instead rename them all to a1, a2, a3... etc
This patch implements that change, some error message changes as
expected.
Closes #20932
Diffstat (limited to 'testsuite/tests/module')
| -rw-r--r-- | testsuite/tests/module/mod71.stderr | 12 | ||||
| -rw-r--r-- | testsuite/tests/module/mod72.stderr | 2 |
2 files changed, 7 insertions, 7 deletions
diff --git a/testsuite/tests/module/mod71.stderr b/testsuite/tests/module/mod71.stderr index d877e397a0..003e0bb41c 100644 --- a/testsuite/tests/module/mod71.stderr +++ b/testsuite/tests/module/mod71.stderr @@ -1,13 +1,13 @@ mod71.hs:4:9: error: - • Found hole: _ :: t1 - Where: ‘t1’ is a rigid type variable bound by - the inferred type of f :: Num t => (t1 -> t -> t2) -> t2 + • Found hole: _ :: t2 + Where: ‘t2’ is a rigid type variable bound by + the inferred type of f :: Num t1 => (t2 -> t1 -> t3) -> t3 at mod71.hs:4:1-11 • In the first argument of ‘x’, namely ‘_’ In the expression: x _ 1 In an equation for ‘f’: f x = x _ 1 • Relevant bindings include - x :: t1 -> t -> t2 (bound at mod71.hs:4:3) - f :: (t1 -> t -> t2) -> t2 (bound at mod71.hs:4:1) - Constraints include Num t (from mod71.hs:4:1-11) + x :: t2 -> t1 -> t3 (bound at mod71.hs:4:3) + f :: (t2 -> t1 -> t3) -> t3 (bound at mod71.hs:4:1) + Constraints include Num t1 (from mod71.hs:4:1-11) diff --git a/testsuite/tests/module/mod72.stderr b/testsuite/tests/module/mod72.stderr index 69246edb76..5f6dcc93f5 100644 --- a/testsuite/tests/module/mod72.stderr +++ b/testsuite/tests/module/mod72.stderr @@ -1,2 +1,2 @@ -mod72.hs:3:7: error: Variable not in scope: g :: t -> t1 +mod72.hs:3:7: error: Variable not in scope: g :: t1 -> t2 |