Hi Joachim,

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.

-Iavor

On Sun, Dec 15, 2019 at 2:54 AM Joachim Breitner <mail@joachim-breitner.de> wrote:
Dear Committee,

since the last status, it seems we have become much more willing to
send proposals back for revision. (BTW, you can make my life easier to
always mention a status change like this on the mailing list.)

Also,

 * Sandy Maguire stepped down, and we started a call for nominations.
   (I have already received two self-nominations)

 * we were asked to review these proposals:
   #177: Simple constrained type families, Shepherd: Richard
   #273: Local Types, Shepherd: Eric
   #285: -XNoImplicitForAll, Shepherd: Simon Marlow
   #246: Overloaded Quotations, Shepherd: Simon PJ
   #265: Unlifted Datatypes, Shepherd: Simon Marlow
   #282: RecordDotSyntax, Shepherd: Simon PJ
   #301: Rename PtrRep to BoxedRep, Shepherd: Joachim

 * we have a recommendation from the shepherd about:
   #195: newtype Q (Texp a) (rec: accept)
   #285: -XNoImplicitForAll (rec: accept)
   #246: Overloaded Quotations (rec: accept)
   #194: Updated partial type signatures (rec: accept)
   #293: Tweaks to #229 (rec: accept)
   #273: Local Types (rec: needs revision)
   #265: Unlifted Datatypes (rec: accept)
   #301: Rename PtrRep to BoxedRep (rec: accept)

 * we have sent the following proposals back to revision
   #177: Simple constrained type families
   #285: -XNoImplicitForAll

#273: Local Types
   #194: Updated partial type signatures
   #195:
newtype Q (Texp a)
   #274: Quick Look Impredicativity (rec: accept)

 * we decided about the following proposals
   #246: Overloaded Quotations (accept)
   #293: Tweaks to #229 (accept)


We currently have to act on the following 2 proposals, down by one!

## Waiting for Shepherd action

RecordDotSyntax language extension proposal
Shepherd: Simon PJ
https://github.com/ghc-proposals/ghc-proposals/pull/282
(Being a prime example of Wadler’s law, it may come to voting.)


## Waiting for committee decision

Rename PtrRep to BoxedRep
Shepherd: Joachim
https://github.com/ghc-proposals/ghc-proposals/pull/301
Acceptance imminent.



Cheers and merry Christmas to those who care about that,
Joachim

--
Joachim Breitner
  mail@joachim-breitner.de
  http://www.joachim-breitner.de/

_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee