[ghc-steering-committee] Please review #516: Introduce `-Wincomplete-record-selectors`, Shepherd: Eric

[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/ghc-proposals/ghc-proposals/pull/516
> https://github.com/adamgundry/ghc-proposals/blob/incomplete-record-selectors/proposals/0000-incomplete-record-selectors.rst
>
> 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 at joachim-breitner.de
>   http://www.joachim-breitner.de/
>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee