<div dir="ltr">Hi Joachim,<div><br></div><div>I believe the status of #195 is "Needs Revision" currently, with the understanding that once all the required clarifications are added to the proposal we'd accept it.  So it is not yet accepted, as far as I know.</div><div><br></div><div>-Iavor</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Dec 15, 2019 at 2:54 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>
since the last status, it seems we have become much more willing to<br>
send proposals back for revision. (BTW, you can make my life easier to<br>
always mention a status change like this on the mailing list.)<br>
<br>
Also,<br>
<br>
 * Sandy Maguire stepped down, and we started a call for nominations.<br>
   (I have already received two self-nominations)<br>
<br>
 * we were asked to review these proposals:<br>
   #177: Simple constrained type families, Shepherd: Richard<br>
   #273: Local Types, Shepherd: Eric<br>
   #285: -XNoImplicitForAll, Shepherd: Simon Marlow<br>
   #246: Overloaded Quotations, Shepherd: Simon PJ<br>
   #265: Unlifted Datatypes, Shepherd: Simon Marlow<br>
   #282: RecordDotSyntax, Shepherd: Simon PJ<br>
   #301: Rename PtrRep to BoxedRep, Shepherd: Joachim<br>
<br>
 * we have a recommendation from the shepherd about:<br>
   #195: newtype Q (Texp a) (rec: accept)<br>
   #285: -XNoImplicitForAll (rec: accept)<br>
   #246: Overloaded Quotations (rec: accept)<br>
   #194: Updated partial type signatures (rec: accept)<br>
   #293: Tweaks to #229 (rec: accept)<br>
   #273: Local Types (rec: needs revision)<br>
   #265: Unlifted Datatypes (rec: accept)<br>
   #301: Rename PtrRep to BoxedRep (rec: accept)<br>
<br>
 * we have sent the following proposals back to revision<br>
   #177: Simple constrained type families<br>
   #285: -XNoImplicitForAll<br>
<br>
#273: Local Types<br>
   #194: Updated partial type signatures<br>
   #195:<br>
newtype Q (Texp a)<br>
   #274: Quick Look Impredicativity (rec: accept)<br>
<br>
 * we decided about the following proposals<br>
   #246: Overloaded Quotations (accept)<br>
   #293: Tweaks to #229 (accept)<br>
<br>
<br>
We currently have to act on the following 2 proposals, down by one!<br>
<br>
## Waiting for Shepherd action<br>
<br>
RecordDotSyntax language extension proposal <br>
Shepherd: Simon PJ<br>
<a href="https://github.com/ghc-proposals/ghc-proposals/pull/282" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/282</a><br>
(Being a prime example of Wadler’s law, it may come to voting.)<br>
<br>
<br>
## Waiting for committee decision<br>
<br>
Rename PtrRep to BoxedRep<br>
Shepherd: Joachim<br>
<a href="https://github.com/ghc-proposals/ghc-proposals/pull/301" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/301</a><br>
Acceptance imminent.<br>
<br>
<br>
<br>
Cheers and merry Christmas to those who care about that,<br>
Joachim<br>
<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>
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>