[ghc-steering-committee] Status

[Iavor Diatchki]

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.

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.

-Iavor



On Tue, Oct 27, 2020 at 11:02 AM Joachim Breitner <mail at joachim-breitner.de>
wrote:

> Dear Committee,
>
> another “regular” status update. So what has happened in the last two
> months?
>
>  * Lots of discussion about GHC2020. Enough to make it rather GHC2021.
>
>  * Richard refines the bylaws in #360. Maybe everybody has a second
>    look now and then we can merge this?
>
>  * we were asked to review these proposals:
>    #356: Linear Types arrow, shepherd: Richard
>    #351: NoIncomplete, shepherd: Iavor
>    #364: Unify Nat and Natural, shepherd: Alejandro
>    #283: Local modules, Shepherd: Arnaud
>    #367: Clarify primops using unboxed sums, Shepherd: Simon Marlow
>    #369: Add sumToTag# primop, Shepherd: Eric
>
>  * we have a recommendation from the shepherd about:
>    #302: \of (rec: reject)
>    #356: Linear Types arrow (rec: vote)
>    #364: Unify Nat and Natural (rec: accept)
>    #281: Visible 'forall' in types of terms (rec: accept)
>    #283: Local modules (rec: accept)
>
>  * we have sent the following proposals back to revision
>    #281: Visible 'forall' in types of terms
>
>  * we decided about the following proposals
>    #356: Linear Types arrow (accept)
>    #364: Unify Nat and Natural (accept)
>
>
> We currently have to act on the following 5 proposals, up by 3.
>
> ## Waiting for committee decision
>
> #313: Delimited continuation primops, Shepherd: Simon Marlow
>
>
> #367: Clarify primops using unboxed sums, Shepherd: Simon Marlow
>
>
> ## Waiting for Shepherd action
>
> #333: Defer Parse Errors, Shepherd: Tom
>       Tom, is this ready for Committee consideration?
>
> #302: Layout and Guards in Lambda Expressions, Shepherd: Cale
>       Cale, it is high time to jump into action here!
>
>
> Cheers,
> 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/20201027/861f1a84/attachment.html>