<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
Aye!<br class="">
<div><br class="">
<blockquote type="cite" class="">
<div class="">On 6 Mar 2020, at 17:59, Simon Peyton Jones via ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org" class="">ghc-steering-committee@haskell.org</a>> wrote:</div>
<br class="Apple-interchange-newline">
<div class="">
<div class="WordSection1" style="page: WordSection1; caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;">
<p class="MsoNormal" style="margin: 6pt 0cm; font-size: 11pt; font-family: Calibri, sans-serif;">
Colleagues<o:p class=""></o:p></p>
<p class="MsoNormal" style="margin: 6pt 0cm; font-size: 11pt; font-family: Calibri, sans-serif;">
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.<o:p class=""></o:p></p>
<p class="MsoNormal" style="margin: 6pt 0cm; font-size: 11pt; font-family: Calibri, sans-serif;">
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.<o:p class=""></o:p></p>
<p class="MsoNormal" style="margin: 6pt 0cm; font-size: 11pt; font-family: Calibri, sans-serif;">
So here’s what I propose<o:p class=""></o:p></p>
<ul type="disc" style="margin-bottom: 0cm; margin-top: 0cm;" class="">
<li class="MsoListParagraph" style="margin: 6pt 0cm; font-size: 11pt; font-family: Calibri, sans-serif;">
I’ve put up a<span class="Apple-converted-space"> </span><a href="https://docs.google.com/document/d/1MgovHRUUNjbuM4nM8qEe308MfbAYRh2Q8PxFHl7iY74/edit?usp=sharing" style="color: rgb(5, 99, 193); text-decoration: underline;" class="">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<o:p class=""></o:p></li><ol start="1" type="a" style="margin-bottom: 0cm; margin-top: 0cm;" class="">
<li class="MsoListParagraph" style="margin: 6pt 0cm; font-size: 11pt; font-family: Calibri, sans-serif;">
<b class="">Complete</b>: no choices that people really want are omitted.<o:p class=""></o:p></li><li class="MsoListParagraph" style="margin: 6pt 0cm; font-size: 11pt; font-family: Calibri, sans-serif;">
<b class="">Clear</b><span class="Apple-converted-space"> </span><b class="">and unambiguous</b>. When we vote we must know exactly what we are voting for! <o:p class=""></o:p></li></ol>
</ul>
<p class="MsoNormal" style="margin: 6pt 0cm 6pt 36pt; font-size: 11pt; font-family: Calibri, sans-serif;">
<b class="">Can you all respond about that, including “Aye” if you think it is both complete and clear</b>.<o:p class=""></o:p></p>
<ul type="disc" style="margin-bottom: 0cm; margin-top: 0cm;" class="">
<li class="MsoListParagraph" style="margin: 6pt 0cm; font-size: 11pt; font-family: Calibri, sans-serif;">
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.<o:p class=""></o:p></li></ul>
<p class="MsoNormal" style="margin: 6pt 0cm; font-size: 11pt; font-family: Calibri, sans-serif;">
Please also let me know if you think we should be doing anything else.<o:p class=""></o:p></p>
<p class="MsoNormal" style="margin: 6pt 0cm; font-size: 11pt; font-family: Calibri, sans-serif;">
Thanks!<o:p class=""></o:p></p>
<p class="MsoNormal" style="margin: 6pt 0cm; font-size: 11pt; font-family: Calibri, sans-serif;">
Simon<o:p class=""></o:p></p>
</div>
<span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">_______________________________________________</span><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class="">
<span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">ghc-steering-committee
mailing list</span><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class="">
<a href="mailto:ghc-steering-committee@haskell.org" style="color: rgb(5, 99, 193); text-decoration: underline; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;" class="">ghc-steering-committee@haskell.org</a><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class="">
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" style="color: rgb(5, 99, 193); text-decoration: underline; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;" class="">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a></div>
</blockquote>
</div>
<br class="">
</body>
</html>