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/deriving | |
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/deriving')
-rw-r--r-- | testsuite/tests/deriving/should_fail/deriving-via-fail4.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/deriving/should_fail/deriving-via-fail4.stderr b/testsuite/tests/deriving/should_fail/deriving-via-fail4.stderr index 9c1b305fbf..12fc6691a8 100644 --- a/testsuite/tests/deriving/should_fail/deriving-via-fail4.stderr +++ b/testsuite/tests/deriving/should_fail/deriving-via-fail4.stderr @@ -6,13 +6,13 @@ deriving-via-fail4.hs:15:12: error: • When deriving the instance for (Eq F1) deriving-via-fail4.hs:18:13: error: - • Couldn't match representation of type ‘a’ with that of ‘a1’ + • Couldn't match representation of type ‘a1’ with that of ‘a2’ arising from the coercion of the method ‘c’ from type ‘a -> a -> Bool’ to type ‘a -> F2 a1 -> Bool’ - ‘a’ is a rigid type variable bound by + ‘a1’ is a rigid type variable bound by the deriving clause for ‘C a (F2 a1)’ at deriving-via-fail4.hs:18:13-15 - ‘a1’ is a rigid type variable bound by + ‘a2’ is a rigid type variable bound by the deriving clause for ‘C a (F2 a1)’ at deriving-via-fail4.hs:18:13-15 • When deriving the instance for (C a (F2 a1)) |