Don't report used duplicate record fields as unused

Ticket: #24035 (closed)

This MR fixes the bug reported in #24035 (closed) in which the import of a duplicate record field could be erroneously reported as unused.

The issue is that an import of the form import M (fld) can import several different Names, and we should only report an error if ALL of those Names are unused, not if ANY are.

Note [Reporting unused imported duplicate record fields] in GHC.Rename.Names explains the solution to this problem.

marked this merge request as draft

added 1 commit

• 70c1c7f3 - Don't report used duplicate record fields as unused

Compare with previous version

added 1 commit

• 7e62a11d - Don't report used duplicate record fields as unused

Compare with previous version

marked this merge request as ready

mentioned in issue #24035 (closed)

added backport needed:9.10 backport needed:9.12 backport needed:9.6 backport needed:9.8 labels

added 1 commit

• 712a7e3b - Don't report used duplicate record fields as unused

Compare with previous version

added 1 commit

• 6308fcff - Don't report used duplicate record fields as unused

Compare with previous version

added 1 commit

• 736bdda9 - Don't report used duplicate record fields as unused

Compare with previous version

added 1 commit

• 5b768fcf - Don't report used duplicate record fields as unused

Compare with previous version

added Blocked on Review label

requested review from @alt-romes

approved this merge request

Very good. Feel free to land it.

removed Blocked on Review label

resolved all threads

assigned to @marge-bot

added 1 commit

• c6af899e - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

added 34 commits

• c6af899e...db621b58 - 33 commits from branch ghc:master
• cb565baf - Don't report used duplicate record fields as unused

Compare with previous version