<div dir="ltr"><div>I have no strong opinion about this proposal, although removing code is always good.</div><div><br></div><div>I find the argument about pattern synonyms convincing, however. And the idea of using `RecordDotSyntax` and type classes to sort type-oriented disambiguation out is certainly appealing.</div><div><br></div><div>So take my vote as a soft yes.</div><div><br></div><div>/Arnaud<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Nov 4, 2020 at 5:09 PM Eric Seidel <<a href="mailto:eric@seidel.io">eric@seidel.io</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">I agree that the current behavior is often unintuitive and would be better supported by RecordDotSyntax.<br>
<br>
On Wed, Nov 4, 2020, at 10:27, Simon Peyton Jones via ghc-steering-committee wrote:<br>
>  <br>
> As I say on the discussion thread, I’m strongly in favour.<br>
> <br>
> <br>
> Simon<br>
> <br>
>  <br>
> <br>
> *From:* ghc-steering-committee <br>
> <<a href="mailto:ghc-steering-committee-bounces@haskell.org" target="_blank">ghc-steering-committee-bounces@haskell.org</a>> *On Behalf Of *Tom Harding<br>
> *Sent:* 04 November 2020 15:22<br>
> *To:* <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> *Subject:* Re: [ghc-steering-committee] Please review #366: <br>
> DuplicateRecordFields without ambiguous field access, Shepherd: Tom <br>
> Harding<br>
> <br>
>  <br>
> <br>
> Hi all,<br>
> <br>
> I’d like to open committee discussion for *DuplicateRecordFields <br>
> without ambiguous field access*. Other committee members have already <br>
> commented, and I’ll say I’m strongly in favour of this proposal. I <br>
> definitely see the suggestion here as “tidying up” an unintuitive - <br>
> perhaps even counterintuitive - behaviour. <br>
> <br>
>  <br>
> <br>
> <a href="https://github.com/ghc-proposals/ghc-proposals/pull/366" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/366</a> <br>
> <<a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F366&data=04%7C01%7Csimonpj%40microsoft.com%7C943716dad34746aa01dd08d880d57d9e%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637401003095757046%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=8T%2FxKBAkwtJgmCeg0%2BIr8IuOURniTXvGd%2F7%2FbIgbcGg%3D&reserved=0" rel="noreferrer" target="_blank">https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F366&data=04%7C01%7Csimonpj%40microsoft.com%7C943716dad34746aa01dd08d880d57d9e%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637401003095757046%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=8T%2FxKBAkwtJgmCeg0%2BIr8IuOURniTXvGd%2F7%2FbIgbcGg%3D&reserved=0</a>> <br>
> <br>
>  <br>
> <br>
> Thanks,<br>
> <br>
> Tom<br>
> <br>
> <br>
> PS. Sorry for my recent absence; I think it has been a very strange few <br>
> months for all us!<br>
> <br>
> <br>
> <br>
> > On 2 Nov 2020, at 09:08, Joachim Breitner <<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>> wrote:<br>
> > <br>
> > Dear Committee,<br>
> > <br>
> > this is your secretary speaking:<br>
> > <br>
> > DuplicateRecordFields without ambiguous field access<br>
> > was proposed by Adam Gundry<br>
> > <a href="https://github.com/ghc-proposals/ghc-proposals/pull/366" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/366</a> <<a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F366&data=04%7C01%7Csimonpj%40microsoft.com%7C943716dad34746aa01dd08d880d57d9e%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637401003095767043%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=O7yXaTttgOLAEC36SQF%2FK9INxrBxiUazko6iEDZOMqo%3D&reserved=0" rel="noreferrer" target="_blank">https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F366&data=04%7C01%7Csimonpj%40microsoft.com%7C943716dad34746aa01dd08d880d57d9e%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637401003095767043%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=O7yXaTttgOLAEC36SQF%2FK9INxrBxiUazko6iEDZOMqo%3D&reserved=0</a>><br>
> > <a href="https://github.com/adamgundry/ghc-proposals/blob/no-ambiguous-selectors/proposals/0000-no-ambiguous-field-access.rst" rel="noreferrer" target="_blank">https://github.com/adamgundry/ghc-proposals/blob/no-ambiguous-selectors/proposals/0000-no-ambiguous-field-access.rst</a><br>
> > <br>
> > I’ll propose Tom Harding as the shepherd.<br>
> > <br>
> > Please guide us to a conclusion as outlined in <br>
> > <a href="https://github.com/ghc-proposals/ghc-proposals#committee-process" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals#committee-process</a><br>
> > <br>
> > Thanks,<br>
> > Joachim<br>
> > -- <br>
> > Joachim Breitner<br>
> >  <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
> >  <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</a><br>
> > <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>
> <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>
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>