<div dir="ltr"><div>I don't feel all that strongly except that C seems like a bad idea. A = B > D > C</div><div><br></div><div>Cheers</div><div>Simon<br></div></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Wed, 19 Mar 2025 at 21:49, Adam Gundry via ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@haskell.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi everyone,<br>
<br>
This proposal [0] has been lingering for quite some time, unfortunately. <br>
So we can make progress, I've tried to summarise our options below; <br>
please vote for your preferred option in the next week or two. Once we <br>
have decided on our preferred course of action, I'll make any necessary <br>
editorial changes to the proposal.<br>
<br>
To recap, the idea is to extend OverloadedRecordDot such that it permits <br>
record selection expressions such as<br>
<br>
foo.type -> getField @"type" foo<br>
<br>
even though `type` is a keyword and hence not a valid record field in a <br>
traditional datatype declarations. This is primarily motivated by the <br>
use of OverloadedRecordDot in libraries such as `persistent` (see [1]), <br>
which will generate instances like this:<br>
<br>
instance HasField "type" SomeRecord SomeField1 where<br>
getField = ...<br>
<br>
instance HasField "bar" SomeRecord SomeField2 where<br>
getField = ...<br>
<br>
Both these instances are accepted, so it is quite surprising and <br>
annoying that `foo.type` is a syntax error, even though `foo.bar` will <br>
be accepted (and turn into a call to `getField @"bar"`).<br>
<br>
As a small syntactic change, the proposal has lead to quite some <br>
discussion and a few plausible alternatives:<br>
<br>
A. Accept the proposal as it stands, since it is the smallest change <br>
that resolves the issue.<br>
<br>
B. Extend the proposal to permit still wider syntax, e.g. <br>
`foo.Uppercase` or `foo."quoted string"`, motivated by consistency with <br>
OverloadedLabels and use cases such as [2]. This seems reasonable to me.<br>
<br>
C. Extend the proposal to permit keywords such as `type` to be used as <br>
field names in traditional record syntax, e.g. `data Foo = Foo { type :: <br>
Int }`. In my view this is unnecessary complexity that mistakenly <br>
conflates OverloadedRecordDot with traditional record syntax; the <br>
motivation for keywords as selector names comes from uses of <br>
OverloadedRecordDot that do not involve traditional record syntax.<br>
<br>
D. Reject the proposal entirely, e.g. due to worries about syntax <br>
highlighting.<br>
<br>
Please reply with your preference order amongst these options. My vote <br>
is B > A > C > D.<br>
<br>
Thanks,<br>
<br>
Adam<br>
<br>
<br>
[0] <a href="https://github.com/ghc-proposals/ghc-proposals/pull/668" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668</a><br>
<br>
[1] <br>
<a href="https://github.com/ghc-proposals/ghc-proposals/pull/668#issuecomment-2561282397" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668#issuecomment-2561282397</a><br>
<br>
[2] <br>
<a href="https://github.com/ghc-proposals/ghc-proposals/pull/668#issuecomment-2564274901" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668#issuecomment-2564274901</a><br>
<br>
<br>
<br>
On 05/11/2024 13:58, Arnaud Spiwack wrote:<br>
> I have no opinion on this. But I've seen two points in the thread which <br>
> make sense: Vlad, our guardian of the parser, says that it's a good <br>
> idea, and the comparison with OverloadedLabel (made by Vlad and others) <br>
> is apt, and the symmetry is desirable. Ideally the comparison with <br>
> OverloadedLabel should be made in the Alternatives section, but I don't <br>
> feel like insisting about it :) .<br>
> <br>
> On Sat, 2 Nov 2024 at 21:21, Simon Peyton Jones <br>
> <<a href="mailto:simon.peytonjones@gmail.com" target="_blank">simon.peytonjones@gmail.com</a> <mailto:<a href="mailto:simon.peytonjones@gmail.com" target="_blank">simon.peytonjones@gmail.com</a>>> wrote:<br>
> <br>
> I'm in support too, but I have made some substantive suggestions on<br>
> the GitHub ticket that I'd like to see addressed before we tie a bow<br>
> on this.<br>
> <br>
> Simon<br>
> <br>
> On Sat, 2 Nov 2024 at 09:25, Sebastian Graf <<a href="mailto:sgraf1337@gmail.com" target="_blank">sgraf1337@gmail.com</a><br>
> <mailto:<a href="mailto:sgraf1337@gmail.com" target="_blank">sgraf1337@gmail.com</a>>> wrote:<br>
> <br>
> I'm in support as well, but would like to see a single<br>
> clarifying sentence added to the proposal.<br>
> <a href="https://github.com/ghc-proposals/ghc-proposals/pull/668#discussion_r1826533003" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668#discussion_r1826533003</a> <<a href="https://github.com/ghc-proposals/ghc-proposals/pull/668#discussion_r1826533003" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668#discussion_r1826533003</a>><br>
> <br>
> Am Sa., 2. Nov. 2024 um 07:29 Uhr schrieb Erik de Castro Lopo<br>
> <<a href="mailto:erikd@mega-nerd.com" target="_blank">erikd@mega-nerd.com</a> <mailto:<a href="mailto:erikd@mega-nerd.com" target="_blank">erikd@mega-nerd.com</a>>>:<br>
> <br>
> <br>
> <br>
> I am in support.<br>
> <br>
> Erik<br>
> <br>
> Matthías Páll Gissurarson wrote:<br>
> <br>
> > I’m in support. No need to keep reservations longer than<br>
> necessary.<br>
> ><br>
> > /Matti Palli<br>
> ><br>
> ><br>
> > On Fri, Nov 1, 2024 at 23:22 Malte Ott<br>
> <<a href="mailto:malte.ott@maralorn.de" target="_blank">malte.ott@maralorn.de</a> <mailto:<a href="mailto:malte.ott@maralorn.de" target="_blank">malte.ott@maralorn.de</a>>> wrote:<br>
> ><br>
> > ><br>
> > > On 2024-10-29 20:12, Adam Gundry wrote:<br>
> > > ><br>
> <a href="https://github.com/ghc-proposals/ghc-proposals/pull/668" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668</a><br>
> <<a href="https://github.com/ghc-proposals/ghc-proposals/pull/668" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668</a>><br>
> > ><br>
> > > I’m in support.<br>
> > ><br>
> > > Best<br>
> > > Malte<br>
> > > _______________________________________________<br>
> > > ghc-steering-committee mailing list<br>
> > > <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>><br>
> > ><br>
> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a>><br>
> > ><br>
> <br>
> <br>
> -- <br>
> ----------------------------------------------------------------------<br>
> Erik de Castro Lopo<br>
> <a href="http://www.mega-nerd.com/" rel="noreferrer" target="_blank">http://www.mega-nerd.com/</a> <<a href="http://www.mega-nerd.com/" rel="noreferrer" target="_blank">http://www.mega-nerd.com/</a>><br>
> _______________________________________________<br>
> ghc-steering-committee mailing list<br>
> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>><br>
> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a>><br>
> <br>
> _______________________________________________<br>
> ghc-steering-committee mailing list<br>
> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>><br>
> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a>><br>
> <br>
> _______________________________________________<br>
> ghc-steering-committee mailing list<br>
> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>><br>
> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a>><br>
> <br>
> <br>
> <br>
> -- <br>
> Arnaud Spiwack<br>
> Director, Research at <a href="https://moduscreate.com" rel="noreferrer" target="_blank">https://moduscreate.com</a> <<a href="https://moduscreate.com" rel="noreferrer" target="_blank">https://moduscreate.com</a>> <br>
> and <a href="https://tweag.io" rel="noreferrer" target="_blank">https://tweag.io</a> <<a href="https://tweag.io" rel="noreferrer" target="_blank">https://tweag.io</a>>.<br>
> <br>
> _______________________________________________<br>
> ghc-steering-committee mailing list<br>
> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
<br>
-- <br>
Adam Gundry, Haskell Consultant<br>
Well-Typed LLP, <a href="https://www.well-typed.com/" rel="noreferrer" target="_blank">https://www.well-typed.com/</a><br>
<br>
Registered in England & Wales, OC335890<br>
27 Old Gloucester Street, London WC1N 3AX, England<br>
<br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>