<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="color:rgb(0,0,0)">Proposal: Fine-Grained Unused Warnings (#42)</span><br style="color:rgb(0,0,0)"><span style="color:rgb(0,0,0)">Author: Jakob Brünker</span><br style="color:rgb(0,0,0)"><span style="color:rgb(0,0,0)">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="color:rgb(0,0,0)"><span style="color:rgb(0,0,0)">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="color:rgb(0,0,0)"><span style="color:rgb(0,0,0)">Recommendation: Acceptance</span><br style="color:rgb(0,0,0)"><br style="color:rgb(0,0,0)"><span style="color:rgb(0,0,0)">## Summary</span><br style="color:rgb(0,0,0)"><br style="color:rgb(0,0,0)"><span style="color:rgb(0,0,0)">The proposal partitions warning about unused identifiers into </span><br style="color:rgb(0,0,0)"><br style="color:rgb(0,0,0)"><span style="color:rgb(0,0,0)">a) bindings that are truly unused (not mentioned anywhere) and </span><br style="color:rgb(0,0,0)"><span style="color:rgb(0,0,0)">b) bindings that are mentioned exclusively in code that is itself (transitively) unused,</span><br style="color:rgb(0,0,0)"><br style="color:rgb(0,0,0)"><span style="color:rgb(0,0,0)">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="color:rgb(0,0,0)">, which is enabled by default (to preserve existing behaviour).</span></div><div><span style="color:rgb(0,0,0)"><br></span></div><div><span style="color:rgb(0,0,0)">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="color:rgb(0,0,0)"><br></span></div><div><span style="color:rgb(0,0,0)">I propose</span><span style="color:rgb(0,0,0)"> that we accept this proposal if nobody objects by the start of next week (Monday, 2024-03-18).</span></div><div><br style="color:rgb(0,0,0)"><span style="color:rgb(0,0,0)">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>