[ghc-steering-committee] Status

[Iavor Diatchki]

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 at 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 at joachim-breitner.de
>   http://www.joachim-breitner.de/
>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20191215/a132ab13/attachment.html>