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/ghc-proposals/ghc-proposals/pull/516 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