[ghc-steering-committee] Status (complete)

[Simon Peyton Jones]

I'm conscious that our process says that

* A shepherd will make a recommendation within 2 weeks
* Committee will make a decision with 4 weeks after that

We are all busy, but I think it's good for us to have this discipline, else things tend to drift and proposal authors become discouraged.

Or at least, if we don’t think that is possible, let's change our guidelines.

"Decision" might mean "invite the authors to revise and resubmit".  Then the clck stops and we start again when they resubmit.

I think we said we'd appoint a "nudger" to watch the timetable (weekly perhaps) give the shepherds a nudge.  If successive nudges don't work (e.g. perhaps a committee member has bee overtaken by an emergency) then s/he can alert the Secretary to appoint a new shepherd.

Is anyone willing to take up that role, for, say six months? It's not onerous.

Thanks

Simon

|  -----Original Message-----
|  From: ghc-steering-committee <ghc-steering-committee-
|  bounces at haskell.org> On Behalf Of Joachim Breitner
|  Sent: 27 October 2020 18:05
|  To: ghc-steering-committee at haskell.org
|  Subject: [ghc-steering-committee] Status (complete)
|  
|  [previous message was sent prematurely, sorry]
|  
|  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
|  
|  #283: Local modules, Shepherd: Arnaud
|        Mostly positive, may need more revision though
|  
|  #302: \of, Shepherd: Cale
|        Mostly negative, but still discussion going on.
|  
|  ## Waiting for Shepherd action
|  
|  
|  #313: Delimited continuation primops, Shepherd: Simon Marlow
|        This one is aging. Simon, are you on this?
|  
|  #367: Clarify primops using unboxed sums, Shepherd: Simon Marlow
|        Still rather new.
|  
|  #369: Add sumToTag# primop, Shepherd: Eric
|        Still rather new.
|  
|  
|  Cheers,
|  Joachim
|  --
|  Joachim Breitner
|    mail at joachim-breitner.de
|  
|  https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.j
|  oachim-
|  breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7C640674f5a0
|  ab47a8ed1908d87aa2e2b3%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63
|  7394187303081020%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV
|  2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=NYRot2SPgmxFzL1
|  BeZA%2BYKdpbkbvsOO3tFaHbzIpyV8%3D&reserved=0
|  
|  
|  _______________________________________________
|  ghc-steering-committee mailing list
|  ghc-steering-committee at haskell.org
|  https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail
|  .haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-
|  committee&data=04%7C01%7Csimonpj%40microsoft.com%7C640674f5a0ab47a
|  8ed1908d87aa2e2b3%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6373941
|  87303091011%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMz
|  IiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=Vu4ZmGs88iweSUTwNPH%
|  2FH1p%2FagrY5p8DPJVvHNUisGE%3D&reserved=0