<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">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="white-space:break-spaces;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>