[ghc-steering-committee] Fine-Grained Unused Warnings (#42)
Chris Dornan
chris at chrisdornan.com
Tue Feb 13 10:59:28 UTC 2024
Proposal: Fine-Grained Unused Warnings (#42)
Author: Jakob Brünker
Rendered proposal: https://github.com/JakobBruenker/ghc-proposals/blob/fine-grained-unused/proposals/0000-fine-grained-unused-warnings.rst
Discussion: https://github.com/ghc-proposals/ghc-proposals/pull/434
Recommendation: Acceptance
## Summary
The proposal partitions warning about unused identifiers into
a) bindings that are truly unused (not mentioned anywhere) and
b) bindings that are mentioned exclusively in code that is itself (transitively) unused,
and suppresses the latter unless the -freport-indirectly-unused-bindings flag is specified.
The proposal is concise with some well-chosen examples and I recommend everyone at least skim it.
I propose that we accept this proposal if nobody objects by the start of next week (Monday, 2024-02-19).
Chris
More information about the ghc-steering-committee
mailing list