<div dir="ltr">I did let them know on github.  Also the proposal was resubmitted to the committee only 4 days ago, so we are within the stated limits.<div><br></div><div>Also, I'd encourage members of the committee interested in the proposal to continue the discussion, and not feel blocked by me.</div><div><br></div><div>-Iavor</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Oct 27, 2020 at 1:27 PM Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com">simonpj@microsoft.com</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" style="overflow-wrap: break-word;">
<div class="gmail-m_-4141020477727078897WordSection1">
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:36pt">
After a short period of time, the author asked me to resubmit the proposal again, but there appears to be a bunch of discussion still happening, so I am waiting for things to calm down again, before I read it again, and see what's changed.<u></u><u></u></p>
<p class="MsoNormal"><span>You might want to let the author know.   Committee discussion is a bit stalled until you give a recommendation.<u></u><u></u></span></p>
<p class="MsoNormal"><span><u></u> <u></u></span></p>
<p class="MsoNormal"><span>Alternatively you could be asking us to express an opinion about the proposal in its current state?<u></u><u></u></span></p>
<p class="MsoNormal"><span><u></u> <u></u></span></p>
<p class="MsoNormal"><span>I’m just conscious that no proposal should sit in the committee’s bailiwick for long.<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>
<div style="border-top:none;border-right:none;border-bottom:none;border-left:1.5pt solid blue;padding:0cm 0cm 0cm 4pt">
<div>
<div style="border-right:none;border-bottom:none;border-left:none;border-top:1pt solid rgb(225,225,225);padding:3pt 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US">From:</span></b><span lang="EN-US"> ghc-steering-committee <<a href="mailto:ghc-steering-committee-bounces@haskell.org" target="_blank">ghc-steering-committee-bounces@haskell.org</a>>
<b>On Behalf Of </b>Iavor Diatchki<br>
<b>Sent:</b> 27 October 2020 18:26<br>
<b>To:</b> Joachim Breitner <<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>><br>
<b>Cc:</b> ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>><br>
<b>Subject:</b> Re: [ghc-steering-committee] Status<u></u><u></u></span></p>
</div>
</div>
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
On #281 I initially recommended acceptance, but after the discussion I realized that I haven't fully understood all the implications of the proposal, and some tricky issues came up, so we changed the status to "needs revision".   After a short period of time,
 the author asked me to resubmit the proposal again, but there appears to be a bunch of discussion still happening, so I am waiting for things to calm down again, before I read it again, and see what's changed.<u></u><u></u></p>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
<u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
I have some deadlines coming up, so I won't be able to deal with committee stuff until about mid next week---apologies for that, hopefully nothing is particularly urgent.<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
<u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
-Iavor<u></u><u></u></p>
</div>
<div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
<u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
<u></u> <u></u></p>
</div>
</div>
</div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
<u></u> <u></u></p>
<div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
On Tue, Oct 27, 2020 at 11:02 AM Joachim Breitner <<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>> wrote:<u></u><u></u></p>
</div>
<blockquote style="border-top:none;border-right:none;border-bottom:none;border-left:1pt solid rgb(204,204,204);padding:0cm 0cm 0cm 6pt;margin-left:4.8pt;margin-right:0cm">
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
Dear Committee,<br>
<br>
another “regular” status update. So what has happened in the last two months?<br>
<br>
 * Lots of discussion about GHC2020. Enough to make it rather GHC2021.<br>
<br>
 * Richard refines the bylaws in #360. Maybe everybody has a second<br>
   look now and then we can merge this?<br>
<br>
 * we were asked to review these proposals:<br>
   #356: Linear Types arrow, shepherd: Richard<br>
   #351: NoIncomplete, shepherd: Iavor<br>
   #364: Unify Nat and Natural, shepherd: Alejandro<br>
   #283: Local modules, Shepherd: Arnaud<br>
   #367: Clarify primops using unboxed sums, Shepherd: Simon Marlow<br>
   #369: Add sumToTag# primop, Shepherd: Eric<br>
<br>
 * we have a recommendation from the shepherd about:<br>
   #302: \of (rec: reject)<br>
   #356: Linear Types arrow (rec: vote)<br>
   #364: Unify Nat and Natural (rec: accept)<br>
   #281: Visible 'forall' in types of terms (rec: accept)<br>
   #283: Local modules (rec: accept)<br>
<br>
 * we have sent the following proposals back to revision<br>
   #281: Visible 'forall' in types of terms<br>
<br>
 * we decided about the following proposals<br>
   #356: Linear Types arrow (accept)<br>
   #364: Unify Nat and Natural (accept)<br>
<br>
<br>
We currently have to act on the following 5 proposals, up by 3.<br>
<br>
## Waiting for committee decision<br>
<br>
#313: Delimited continuation primops, Shepherd: Simon Marlow<br>
<br>
<br>
#367: Clarify primops using unboxed sums, Shepherd: Simon Marlow<br>
<br>
<br>
## Waiting for Shepherd action<br>
<br>
#333: Defer Parse Errors, Shepherd: Tom<br>
      Tom, is this ready for Committee consideration?<br>
<br>
#302: Layout and Guards in Lambda Expressions, Shepherd: Cale<br>
      Cale, it is high time to jump into action here!<br>
<br>
<br>
Cheers,<br>
Joachim<br>
-- <br>
Joachim Breitner<br>
  <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
  <a href="https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cb09bb398b6994336807d08d87aa5d390%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637394199923776422%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=wRy1%2FGf7IgAYhHOMuod7JofjCZbNeFwiqsK34Cny5fU%3D&reserved=0" 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://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&data=04%7C01%7Csimonpj%40microsoft.com%7Cb09bb398b6994336807d08d87aa5d390%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637394199923776422%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=MfQeAmjPtAiv92jI8hK%2BbiocmWnt%2FTYILVT1TMnKF9I%3D&reserved=0" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><u></u><u></u></p>
</blockquote>
</div>
</div>
</div>
</div>

</blockquote></div>