<div dir="ltr"><div>It's a very well written proposal, indeed. I've already paged out the details of the syntax we agreed upon. But I'm not sure that the parenthesis-based example in Section 5 (Costs and Drawbacks) is correct in the current specification. Simon, you should probably check this.</div><div><br></div><div>That's pretty minor at the end, just a consistency thing. It's all good for me.<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Apr 18, 2020 at 12:16 AM Simon Peyton Jones 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">
<div lang="EN-GB">
<div class="gmail-m_-7452353703679222786WordSection1">
<p class="MsoNormal"><span>Dear GHC steering committee<u></u><u></u></span></p>
<p class="MsoNormal"><span><u></u> <u></u></span></p>
<p class="MsoNormal"><span>Shayne and Neil have updated the RecordDotSyntax proposal in the light of our conclusions.<u></u><u></u></span></p>
<p class="MsoNormal"><span><u></u> <u></u></span></p>
<p class="MsoNormal"><span>We have debated this extensively, so the question is now not so much about content as presentation: is the proposal complete, clear, and precise?<u></u><u></u></span></p>
<p class="MsoNormal"><span><u></u> <u></u></span></p>
<p class="MsoNormal"><span>I think it’s pretty good, and I propose that we now accept it as-is. I’ll take silence as assent. Please yell by close of play Weds 22 April if you’d like any further changes.<u></u><u></u></span></p>
<p class="MsoNormal"><span><u></u> <u></u></span></p>
<p class="MsoNormal"><span>Thanks!<u></u><u></u></span></p>
<p class="MsoNormal"><span><u></u> <u></u></span></p>
<p class="MsoNormal"><span>Simon<u></u><u></u></span></p>
<p class="MsoNormal"><span><u></u> <u></u></span></p>
<p class="MsoNormal"><span><u></u> <u></u></span></p>
<div style="border-color:currentcolor currentcolor currentcolor blue;border-style:none none none solid;border-width:medium medium medium 1.5pt;padding:0cm 0cm 0cm 4pt">
<div>
<div style="border-color:rgb(225,225,225) currentcolor currentcolor;border-style:solid none none;border-width:1pt medium medium;padding:3pt 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US">From:</span></b><span lang="EN-US"> Shayne Fletcher <<a href="mailto:notifications@github.com" target="_blank">notifications@github.com</a>>
<br>
<b>Sent:</b> 11 April 2020 17:59<br>
<b>To:</b> ghc-proposals/ghc-proposals <<a href="mailto:ghc-proposals@noreply.github.com" target="_blank">ghc-proposals@noreply.github.com</a>><br>
<b>Cc:</b> Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>>; Mention <<a href="mailto:mention@noreply.github.com" target="_blank">mention@noreply.github.com</a>><br>
<b>Subject:</b> Re: [ghc-proposals/ghc-proposals] RecordDotSyntax language extension proposal (#282)<u></u><u></u></span></p>
</div>
</div>
<p class="MsoNormal"><u></u> <u></u></p>
<p><a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fsimonpj&data=02%7C01%7Csimonpj%40microsoft.com%7Caece2c82e6944e94fd2c08d7de399932%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637222211273896163&sdata=2OEMDHtyImmbTySwUAOI1RpY35MMTCstKj97qCn3Aa0%3D&reserved=0" target="_blank">@simonpj</a><u></u><u></u></p>
<blockquote style="margin-top:5pt;margin-bottom:5pt">
<p>I'd like to invite the authors to update their proposal to incorporate (C2a)<u></u><u></u></p>
</blockquote>
<p>We are happy to report that the proposal has been updated as per the committee's requests.<u></u><u></u></p>
<blockquote style="margin-top:5pt;margin-bottom:5pt">
<ul type="disc">
<li class="MsoNormal">
To write out the changes to the grammar, especially how to deal with specifying aexp2.x (see Note 5)<u></u><u></u></li></ul>
</blockquote>
<p>See <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fshayne-fletcher-da%2Fghc-proposals%2Fblob%2Frecord-dot-syntax%2Fproposals%2F0000-record-dot-syntax.md%2323-lexing-and-parsing&data=02%7C01%7Csimonpj%40microsoft.com%7Caece2c82e6944e94fd2c08d7de399932%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637222211273906160&sdata=OI78P06S7Wj1VyXsBzZTGvdoZQh28WNSshAa1fUyms8%3D&reserved=0" target="_blank">
section 2.3</a>.<u></u><u></u></p>
<blockquote style="margin-top:5pt;margin-bottom:5pt">
<ul type="disc">
<li class="MsoNormal">
To address the question of what happens if a field name is an operator (see Note 6)<u></u><u></u></li></ul>
</blockquote>
<p>See <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fshayne-fletcher-da%2Fghc-proposals%2Fblob%2Frecord-dot-syntax%2Fproposals%2F0000-record-dot-syntax.md%23213-fields-whose-names-are-operator-symbols&data=02%7C01%7Csimonpj%40microsoft.com%7Caece2c82e6944e94fd2c08d7de399932%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637222211273906160&sdata=hoJv8DppPZEo5WHQ2uvnYSofC5X03PF2wnkHBCqgWYo%3D&reserved=0" target="_blank">
section 2.1.3</a>.<u></u><u></u></p>
<blockquote style="margin-top:5pt;margin-bottom:5pt">
<p>Then the committee can do a final review and sign it off.<u></u><u></u></p>
</blockquote>
<p>We should now like to formally request the committee's final review and sign off. We thank once again yourself and the committee for your time and consideration!<u></u><u></u></p>
<p><span style="font-size:12pt;color:rgb(102,102,102)">—<br>
You are receiving this because you were mentioned.<br>
Reply to this email directly, <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F282%23issuecomment-612465003&data=02%7C01%7Csimonpj%40microsoft.com%7Caece2c82e6944e94fd2c08d7de399932%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637222211273916152&sdata=IMIqX%2BuXd1z6VqUNg4PSYk2IlmonYwsaK18a3Ds3KyU%3D&reserved=0" target="_blank">
view it on GitHub</a>, or <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fnotifications%2Funsubscribe-auth%2FAAEOY67QJRH5V7O2RQGDB3LRMCOULANCNFSM4I7VWDFQ&data=02%7C01%7Csimonpj%40microsoft.com%7Caece2c82e6944e94fd2c08d7de399932%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637222211273916152&sdata=MAq7dcOiPu56n3hb7ElQcgftlxaDhV84A8mj9Pu4U3Y%3D&reserved=0" target="_blank">
unsubscribe</a>.</span><span style="font-size:12pt;color:rgb(102,102,102)"><img style="width: 0.0083in; height: 0.0083in;" id="gmail-m_-7452353703679222786_x0000_i1025" src="https://github.com/notifications/beacon/AAEOY6ZKS3DR62W4NDIHKFLRMCOULA5CNFSM4I7VWDF2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOESAXS2Y.gif" width="1" height="1" border="0"></span><span style="font-size:12pt;color:rgb(102,102,102)"><u></u><u></u></span></p>
</div>
</div>
</div>
_______________________________________________<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>