<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">I also lean toward acceptance.<div class=""><br class=""></div><div class="">However, I'm a little worried about the flourishing of warnings not in -Wall. Ignoring -Weverything -- which tends to be over the top, even for the paranoid -- all of the extra warnings have to be enabled independently. Does it make sense to try to bring some structure to this area? Or maybe we say "no" and leave it to IDEs to impose that structure. Actually, I've already argued myself into that latter camp.</div><div class=""><br class=""></div><div class="">In any case, I vote to accept this proposal.</div><div class=""><br class=""></div><div class="">Richard<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Aug 24, 2022, at 1:47 AM, Spiwack, Arnaud <<a href="mailto:arnaud.spiwack@tweag.io" class="">arnaud.spiwack@tweag.io</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class="">The proposal makes sense to me. I don't have a strong opinion, but I'm leaning towards acceptance.<br class=""></div><br class=""><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Aug 23, 2022 at 8:14 PM Eric Seidel <<a href="mailto:eric@seidel.io" class="">eric@seidel.io</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Dear Committee,<br class="">
<br class="">
Adam Gundry has proposed a new warning -Wincomplete-record-selectors[1] that would flag occurrences of partial record selectors, e.g. the field `x` in<br class="">
<br class="">
```<br class="">
data T = T1 { x :: Int, y :: Bool }<br class="">
| T2 { y :: Bool }<br class="">
```<br class="">
<br class="">
The proposal is well-specified, will never warn about total selectors (e.g. `y` above), and allows for a smarter compiler to suppress warnings in cases where a partial selector is used in a total context (e.g. `x (T1 42 True)`).<br class="">
<br class="">
I recommend acceptance.<br class="">
<br class="">
[1]: <a href="https://github.com/ghc-proposals/ghc-proposals/pull/516" rel="noreferrer" target="_blank" class="">https://github.com/ghc-proposals/ghc-proposals/pull/516</a><br class="">
<br class="">
On Sun, Aug 14, 2022, at 13:01, Joachim Breitner wrote:<br class="">
> Dear Committee,<br class="">
><br class="">
> Introduce `-Wincomplete-record-selectors`<br class="">
> have been submitted by Adam Gundry<br class="">
><br class="">
> <a href="https://github.com/ghc-proposals/ghc-proposals/pull/516" rel="noreferrer" target="_blank" class="">https://github.com/ghc-proposals/ghc-proposals/pull/516</a><br class="">
> <a href="https://github.com/adamgundry/ghc-proposals/blob/incomplete-record-selectors/proposals/0000-incomplete-record-selectors.rst" rel="noreferrer" target="_blank" class="">https://github.com/adamgundry/ghc-proposals/blob/incomplete-record-selectors/proposals/0000-incomplete-record-selectors.rst</a><br class="">
><br class="">
> I suggest that Eric shepherds this proposal.<br class="">
><br class="">
> Please guide us to a conclusion as outlined in <br class="">
> <a href="https://github.com/ghc-proposals/ghc-proposals#committee-process" rel="noreferrer" target="_blank" class="">https://github.com/ghc-proposals/ghc-proposals#committee-process</a><br class="">
><br class="">
> Thanks,<br class="">
> Joachim<br class="">
><br class="">
> -- <br class="">
> Joachim Breitner<br class="">
> <a href="mailto:mail@joachim-breitner.de" target="_blank" class="">mail@joachim-breitner.de</a><br class="">
> <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank" class="">http://www.joachim-breitner.de/</a><br class="">
><br class="">
> _______________________________________________<br class="">
> ghc-steering-committee mailing list<br class="">
> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank" class="">ghc-steering-committee@haskell.org</a><br class="">
> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank" class="">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br class="">
_______________________________________________<br class="">
ghc-steering-committee mailing list<br class="">
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank" class="">ghc-steering-committee@haskell.org</a><br class="">
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank" class="">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br class="">
</blockquote></div>
_______________________________________________<br class="">ghc-steering-committee mailing list<br class=""><a href="mailto:ghc-steering-committee@haskell.org" class="">ghc-steering-committee@haskell.org</a><br class="">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee<br class=""></div></blockquote></div><br class=""></div></body></html>