<div dir="ltr"><div dir="ltr">On Fri, 6 Mar 2020 at 17:59, Simon Peyton Jones via ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@haskell.org</a>> wrote:<br></div><div class="gmail_quote"><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_-6031268328220460676WordSection1">
<p class="MsoNormal">Colleagues</p>
<p class="MsoNormal">I’m sorry to have been dragging my feet on the records proposal. First there was half term holiday, and then the ICFP deadline, so I’ve been out of action for several weeks.</p>
<p class="MsoNormal">It’s pretty clear that we are not going to achieve 100% consensus, so the right thing to do is to vote, using the single-transferrable-vote scheme that Joachim runs. It’s worth striving for consensus, because the debate can be clarifying
(and has been!). But I don’t regard non-consensus as a failure. These things are all judgement calls, and people’s judgement can legitimately differ. Voting lets us nevertheless reach a conclusion.</p>
<p class="MsoNormal">So here’s what I propose</p>
<ul style="margin-top:0cm" type="disc">
<li class="gmail-m_-6031268328220460676MsoListParagraph" style="margin-left:0cm">I’ve put up a
<a href="https://docs.google.com/document/d/1MgovHRUUNjbuM4nM8qEe308MfbAYRh2Q8PxFHl7iY74/edit?usp=sharing" target="_blank">
list of choices for us to vote on here</a>, informed by our most recent email exchanges. The first thing is to ensure that this list is</li><ol style="margin-top:0cm" type="a" start="1">
<li class="gmail-m_-6031268328220460676MsoListParagraph" style="margin-left:0cm"><b>Complete</b>: no choices that people really want are omitted.</li><li class="gmail-m_-6031268328220460676MsoListParagraph" style="margin-left:0cm"><b>Clear</b>
<b>and unambiguous</b>. When we vote we must know exactly what we are voting for!
</li></ol></ul></div></div></blockquote><div>The examples are clear, however I find it hard to extrapolate from the examples to a precise description of the changes to the syntax. What I'd really like to see is something that tells me how the syntax would be specified, for example ".<varid> is a new lexeme" or "record selection only applies to tight-infix occurrences of the varsym "."". I'm not asking for a full diff of the lexical syntax, just a sentence or two that makes it clear enough that any of us could fill in the details.<br></div><div><br></div><div>This would let us answer questions like: C2 says that .x is illegal, yet later we say that (.x) means (\r -> r.x). How would we reconcile those?</div></div><div class="gmail_quote"><div><br></div><div>Cheers</div><div>Simon<br></div><div><br></div><div> </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_-6031268328220460676WordSection1"><ul style="margin-top:0cm" type="disc"><ol style="margin-top:0cm" type="a" start="1"><li class="gmail-m_-6031268328220460676MsoListParagraph" style="margin-left:0cm"><u></u><u></u></li></ol>
</ul>
<p class="MsoNormal" style="margin-left:36pt"><b>Can you all respond about that, including “Aye” if you think it is both complete and clear</b>.<u></u><u></u></p>
<ul style="margin-top:0cm" type="disc">
<li class="gmail-m_-6031268328220460676MsoListParagraph" style="margin-left:0cm">Once we are all satisfied, I’ll invite you to vote. The easiest way to do so might be to edit the Google doc directly, so there’s a single point of reference.<u></u><u></u></li></ul>
<p class="MsoNormal">Please also let me know if you think we should be doing anything else.<u></u><u></u></p>
<p class="MsoNormal">Thanks!<u></u><u></u></p>
<p class="MsoNormal">Simon<u></u><u></u></p>
</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></div>