<div dir="ltr">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.<div><br></div><div>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.</div><div><br></div><div>-Iavor</div><div><div><br></div><div><br></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Oct 27, 2020 at 11:02 AM Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</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">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="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>
</blockquote></div>