Reason for UselessPublic; `private` useless in `where` blocks #7768

andreasabel · 2025-03-29T16:34:35Z

fix Supply reason with UselessPublic warning #7765: equip the UselessPublic warning with a reason to give a more informative warning
aggregate existing test cases into open public is useless before module header #2377
extend UselessPrivate to where blocks which are by default private
aggregate existing test cases into Missing warning for non-empty but effectless private blocks #6945

andreasabel added 3 commits March 29, 2025 17:29

Re #7765: remove redundant test cases in favor of #2377

3dddec2

instance Null ModuleName and cosmetics

500d7f2

Re #7765: add UselessPublicReason

e2f1f05

andreasabel force-pushed the useless-public branch from c9c4253 to 7b09a98 Compare March 29, 2025 18:18

andreasabel added the ux: warnings Issues relating to the reporting of warnings label Mar 29, 2025

andreasabel added this to the 2.8.0 milestone Mar 29, 2025

andreasabel self-assigned this Mar 29, 2025

andreasabel added the pr: preserve commits PR should be merged via rebase, preserving the commits label Mar 29, 2025

andreasabel changed the title ~~useless public~~ Reason for UselessPublic; private useless in where blocks Mar 29, 2025

[testsuite] re #7765 merge tests for UselessPrivate into Issue6945

19d01a9

andreasabel force-pushed the useless-public branch from 7b09a98 to 19d01a9 Compare March 29, 2025 19:29

Re #7765: warn about 'private' in anonymous where modules

41684fa

andreasabel marked this pull request as ready for review March 29, 2025 21:02

andreasabel merged commit 72ea4c5 into master Mar 29, 2025
27 checks passed

andreasabel deleted the useless-public branch March 29, 2025 21:50

Provide feedback