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/dependent | |
| 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/dependent')
| -rw-r--r-- | testsuite/tests/dependent/should_fail/T14066e.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/dependent/should_fail/T14066e.stderr b/testsuite/tests/dependent/should_fail/T14066e.stderr index caa062e392..b103b16187 100644 --- a/testsuite/tests/dependent/should_fail/T14066e.stderr +++ b/testsuite/tests/dependent/should_fail/T14066e.stderr @@ -1,9 +1,9 @@ T14066e.hs:13:65: error: - • Expected a type, but ‘c'’ has kind ‘k’ - ‘k’ is a rigid type variable bound by + • Expected a type, but ‘c'’ has kind ‘k1’ + ‘k1’ is a rigid type variable bound by the type signature for: - j :: forall {k} {k1} (c :: k) (b :: k1). + j :: forall {k1} {k2} (c :: k1) (b :: k2). Proxy a -> Proxy b -> Proxy c -> Proxy b at T14066e.hs:12:5-61 • In the kind ‘c'’ |