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@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@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