<div dir="ltr">Dear Committee Members,<div><br></div><div>Our previous discussion regarding #512 was inconclusive.</div><div><br></div><div>Thread 1: <a href="https://mail.haskell.org/pipermail/ghc-steering-committee/2022-November/002991.html" target="_blank">https://mail.haskell.org/pipermail/ghc-steering-committee/2022-November/002991.html</a></div><div>Thread 2: <a href="https://mail.haskell.org/pipermail/ghc-steering-committee/2022-December/003015.html" target="_blank">https://mail.haskell.org/pipermail/ghc-steering-committee/2022-December/003015.html</a></div><div><br></div><div>#512 is the proposal that introduces per-declaration, per-constructor, and per-field NoFieldSelectors annotations.</div><div><br></div><div>I'm not quite sure how to summarize the discussion because everyone seems to have a unique view. But it all revolves around a syntactic issue: should the proposal use pragma-based syntax or modifiers-based syntax? </div><div><br></div><div>Here are two facts to inform your opinion:</div><div><br></div><div>1. The Modifiers proposal is accepted, and it makes sense to use it for the proposed feature</div><div>2. The Modifiers proposal is, however, unimplemented</div><div><br></div><div>So at the moment #512 says that we'd first introduce the pragma-based syntax, and when Modifiers are implemented we could deprecate the pragma-based syntax in favor of Modifiers.</div><div><br></div><div>I am *strongly* opposed to introducing a feature that we know is destined for deprecation. But not everyone shares this attitude, apparently, so let's vote.</div><div><br></div><div>Here are the options. Select all that you find acceptable (multiple-choice):</div><div>* [ ] Accept the proposal with pragma-based syntax, then deprecate it and switch to modifiers-based syntax</div><div>* [ ] Accept the proposal with pragma-based syntax, do not switch to modifiers-based syntax</div><div>* [ ] Revise the proposal to use modifiers-based syntax and then accept</div><div>* [ ] Reject the proposal regardless of syntax</div><div><br></div><div>Before you vote, let me try to sway you towards the "revise" option. If we choose to revise, I volunteer to implement Modifiers in time for GHC 9.12. I believe Modifiers are a splendid idea and I envision many good uses for them.</div><div><br></div><div>Vlad</div></div>