[ghc-steering-committee] Status

Simon Peyton Jones simonpj at microsoft.com
Tue Oct 27 20:27:18 UTC 2020


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.
You might want to let the author know.   Committee discussion is a bit stalled until you give a recommendation.

Alternatively you could be asking us to express an opinion about the proposal in its current state?

I’m just conscious that no proposal should sit in the committee’s bailiwick for long.

Simon

From: ghc-steering-committee <ghc-steering-committee-bounces at haskell.org> On Behalf Of Iavor Diatchki
Sent: 27 October 2020 18:26
To: Joachim Breitner <mail at joachim-breitner.de>
Cc: ghc-steering-committee <ghc-steering-committee at haskell.org>
Subject: Re: [ghc-steering-committee] Status

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<mailto: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<mailto:mail at joachim-breitner.de>
  http://www.joachim-breitner.de/<https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cb09bb398b6994336807d08d87aa5d390%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637394199923776422%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=wRy1%2FGf7IgAYhHOMuod7JofjCZbNeFwiqsK34Cny5fU%3D&reserved=0>


_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee at haskell.org<mailto:ghc-steering-committee at haskell.org>
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee<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%7Cb09bb398b6994336807d08d87aa5d390%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637394199923776422%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=MfQeAmjPtAiv92jI8hK%2BbiocmWnt%2FTYILVT1TMnKF9I%3D&reserved=0>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20201027/3c4073d4/attachment-0001.html>


More information about the ghc-steering-committee mailing list