<div dir="ltr"><div dir="ltr"><div dir="ltr">Dear Committee members,<div><br></div><div>I'd like to bring the following tweet (thread) from Matt to your attention:<br><a href="https://x.com/mattoflambda/status/1815536812376707224">https://x.com/mattoflambda/status/1815536812376707224</a> <br></div><div><br>It concerns pull request: <a href="https://github.com/ghc-proposals/ghc-proposals/pull/668">Allow reserved identifiers as fields in `OverloadedRecordDot` by parsonsmatt · Pull Request #668 · ghc-proposals/ghc-proposals (github.com)</a>.<br><br>We do not seem to be as welcoming as we could/should be?<br><br>My stance in general around this is probably a bit old fashioned, and</div><div>what I learned on IRC back then: not to fuel and engage with negative</div><div>behavior.<br><br></div><div>I'm curious what the other committee members think about this.</div><div><br></div><div>Best,</div><div> Moritz</div></div></div></div>