<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">There have been no objections to this (fine-grained warnings) proposal which has been broadly supported through a couple of rounds of voting so I have marked it and marked it as accepted.<div><br></div><div>Thanks everyone.</div><div><br></div><div>Chris<br id="lineBreakAtBeginningOfMessage"><div><br><blockquote type="cite"><div>On 14 Mar 2024, at 07:58, Arnaud Spiwack <arnaud.spiwack@tweag.io> wrote:</div><br class="Apple-interchange-newline"><div><div dir="ltr"><div>I'm in favour.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 13 Mar 2024 at 08:50, Moritz Angermann <<a href="mailto:moritz.angermann@gmail.com">moritz.angermann@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">This looks like a good change to me. There is no discussion around the breaking implications of this, and only Joachim seems to have<div>called them out. E.g. tooling that tries to read GHC's human readable output, and do something with that. The improved clarity of the</div><div>error messages though is arguably enough. And as far as breakage is concerned, this would only happen to tools that use already a</div><div>fragile pass parsing log output of another program. I hope this won't cause too much trouble down the line, and am I favour of this</div><div>proposal.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 13 Mar 2024 at 00:51, Simon Peyton Jones <<a href="mailto:simon.peytonjones@gmail.com" target="_blank">simon.peytonjones@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">I support this. I worked a lot with the author to make the spec precise. (It was pretty confusing and incomplete before.)</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">TL;DR: the intent is clear and useful; the details are actually surprisingly tricky. But (like type inference) users won't really care!</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Simon<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 12 Mar 2024 at 16:39, Chris Dornan <<a href="mailto:chris@chrisdornan.com" target="_blank">chris@chrisdornan.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>Folks,<div><br></div><div><span style="">Proposal: Fine-Grained Unused Warnings (#42)</span><br style=""><span style="">Author: Jakob Brünker</span><br style=""><span style="">Rendered proposal: </span><a href="https://github.com/JakobBruenker/ghc-proposals/blob/fine-grained-unused/proposals/0000-fine-grained-unused-warnings.rst" target="_blank">https://github.com/JakobBruenker/ghc-proposals/blob/fine-grained-unused/proposals/0000-fine-grained-unused-warnings.rst</a><br style=""><span style="">Discussion: </span><a href="https://github.com/ghc-proposals/ghc-proposals/pull/434" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/434</a><br style=""><span style="">Recommendation: Acceptance</span><br style=""><br style=""><span style="">## Summary</span><br style=""><br style=""><span style="">The proposal partitions warning about unused identifiers into </span><br style=""><br style=""><span style="">a) bindings that are truly unused (not mentioned anywhere) and </span><br style=""><span style="">b) bindings that are mentioned exclusively in code that is itself (transitively) unused,</span><br style=""><br style=""><span style="">and controls the latter with the new flag </span><span style="color:rgb(16,25,32);font-family:ui-monospace,SFMono-Regular,"SF Mono",Menlo,Consolas,"Liberation Mono",monospace;font-size:13.6px;font-variant-ligatures:normal;background-color:rgba(159,170,183,0.4);text-decoration-style:initial;text-decoration-color:initial">-Windirectly-unused-binds</span><span style="">, which is enabled by default (to preserve existing behaviour).</span></div><div><span style=""><br></span></div><div><span style="">Everybody seems to be in favour of the proposal in general and it has been extensively revised for clarity and to ensure in interoperates consistently with the existing warning-flags mechanisms.</span></div><div><span style=""><br></span></div><div><span style="">I propose</span><span style=""> that we accept this proposal if nobody objects by the start of next week (Monday, 2024-03-18).</span></div><div><br style=""><span style="">Chris</span></div></div>_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div><br clear="all"><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature"><div dir="ltr">Arnaud Spiwack<br>Director, Research at <a href="https://moduscreate.com/" rel="noopener noreferrer" target="_blank">https://moduscreate.com</a> and <a href="https://tweag.io/" rel="noopener noreferrer" target="_blank">https://tweag.io</a>.</div></div>
_______________________________________________<br>ghc-steering-committee mailing list<br>ghc-steering-committee@haskell.org<br>https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee<br></div></blockquote></div><br></div></body></html>