Re: [ghc-steering-committee] Fine-Grained Unused Warnings (#42)

Indeed — just a gentle reminder that the deadline for amending or objecting to this proposal is this coming Monday 19th. Chris

On 15 Feb 2024, at 07:58, Arnaud Spiwack wrote:

For the record, Jakob has amended the proposal with the flag on by default. I'm now fully good with the proposal.

On Wed, 14 Feb 2024 at 14:22, Chris Dornan mailto:chris@chrisdornan.com> wrote:

...

Thanks Arnaud — I agree with you and have said as much in the thread and asked Jakob to clarify.

...

On 13 Feb 2024, at 16:57, Arnaud Spiwack mailto:arnaud.spiwack@tweag.io> wrote:

I noticed that the default value of the flag is unspecified (I believe that the flag should be on by default, as deactivating transitively unused bindings is pretty situational in my opinion; we may even decide to accept the proposal but without the flag, though I have a feeling that the author wouldn't be willing to implement the flagless version). I made a comment to that effect on Github.

The rest of the proposal looks good to me.

On Tue, 13 Feb 2024 at 11:59, Chris Dornan mailto:chris@chrisdornan.com> wrote:

...

Proposal: Fine-Grained Unused Warnings (#42) Author: Jakob Brünker Rendered proposal: https://github.com/JakobBruenker/ghc-proposals/blob/fine-grained-unused/prop... 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 _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org mailto:ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

-- Arnaud Spiwack Director, Research at https://moduscreate.com https://moduscreate.com/ and https://tweag.io https://tweag.io/.

-- Arnaud Spiwack Director, Research at https://moduscreate.com https://moduscreate.com/ and https://tweag.io https://tweag.io/.