The proposal makes sense to me. I don't have a strong opinion, but I'm
leaning towards acceptance.
On Tue, Aug 23, 2022 at 8:14 PM Eric Seidel
Dear Committee,
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
``` data T = T1 { x :: Int, y :: Bool } | T2 { y :: Bool } ```
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)`).
I recommend acceptance.
[1]: https://github.com/ghc-proposals/ghc-proposals/pull/516
On Sun, Aug 14, 2022, at 13:01, Joachim Breitner wrote:
Dear Committee,
Introduce `-Wincomplete-record-selectors` have been submitted by Adam Gundry
https://github.com/adamgundry/ghc-proposals/blob/incomplete-record-selectors...
I suggest that Eric shepherds this proposal.
Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process
Thanks, Joachim
-- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee