- ghc-steering-committee

Please review #686: Fix spec for string gaps in multiline strings
by Adam Gundry 04 Mar '25

04 Mar '25

Dear Committee, Brandon Chinn proposes to amend proposal #569, which introduced MultilineStrings, to correct its interaction with string gaps: https://github.com/ghc-proposals/ghc-proposals/pull/686 I'd like to nominate Malte as the shepherd, since he already engaged on the proposal thread. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Cheers, Adam -- Adam Gundry, Haskell Consultant Well-Typed LLP, https://www.well-typed.com/ Registered in England & Wales, OC335890 27 Old Gloucester Street, London WC1N 3AX, England

1 0

Intended meaning of "Needs revision" label
by Jakob Brünker 07 Dec '24

07 Dec '24

Hi all, I've so far essentially been using the "Needs revision" label to indicate that the next concrete step has to be taken by the author, regardless of how big the changes I suggest are. After I did this yesterday, VitWW commented <https://github.com/ghc-proposals/ghc-proposals/pull/621#issuecomment-252329…>, essentially saying it's only intended for cases where major rewrites are required. >From what I can tell, in past proposals, if relatively minor changes came up during the shepherding phase, sometimes "Needs revision" was used, and sometimes not. Is there a guideline I should follow, or that you tend to follow here? Jakob

3 6

Please review #682: Explicit Level Imports
by Adam Gundry 02 Dec '24

02 Dec '24

Dear Committee, Matthew Pickering, Rodrigo Mesquita and I propose to introduce Explicit Level Imports as a mechanism for TH code to be more precise about its dependencies: https://github.com/ghc-proposals/ghc-proposals/pull/682 https://github.com/well-typed/ghc-proposals/blob/wip/level-imports-2024/pro… I'd like to nominate Arnaud Spiwack as the shepherd. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Cheers, Adam -- Adam Gundry, Haskell Consultant Well-Typed LLP, https://www.well-typed.com/ Registered in England & Wales, OC335890 27 Old Gloucester Street, London WC1N 3AX, England

1 0

Please review #621: Linear Constraints
by Adam Gundry 02 Dec '24

02 Dec '24

Dear Committee, Jack Hughes and Arnaud Spiwack propose to introduce Linear Constraints in order to reduce boilerplate when using linear types: https://github.com/ghc-proposals/ghc-proposals/pull/621 https://github.com/tweag/ghc-proposals/blob/linear-constraints/proposals/06… I'd like to nominate Jakob Brünker as the shepherd. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Cheers, Adam -- Adam Gundry, Haskell Consultant Well-Typed LLP, https://www.well-typed.com/ Registered in England & Wales, OC335890 27 Old Gloucester Street, London WC1N 3AX, England

1 0

Please review #680: Clarify CRLF behavior in multiline strings (amendment to #569)
by Adam Gundry 21 Nov '24

21 Nov '24

Dear Committee, Brandon Chinn proposes to amend proposal #569, which introduced MultilineStrings, to clarify its treatment of \r\n vs \n: https://github.com/ghc-proposals/ghc-proposals/pull/680 Sebastian has volunteered to act as shepherd. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Cheers, Adam -- Adam Gundry, Haskell Consultant Well-Typed LLP, https://www.well-typed.com/ Registered in England & Wales, OC335890 27 Old Gloucester Street, London WC1N 3AX, England

9 13

Please review #673: Amendment to -jsem proposal #540
by Adam Gundry 10 Nov '24

10 Nov '24

Dear Committee, Zubin Duggal proposes to amend proposal #540, which introduced the -jsem parallelism control mechanism, so that it can avoid incompatibilities arising from different system C library implementations: https://github.com/ghc-proposals/ghc-proposals/pull/673 https://github.com/wz1000/ghc-proposals/blob/new-jsem/proposals/0540-jsem.r… I'd like to nominate Eric Seidel as the shepherd, since he was the shepherd of the original proposal. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Cheers, Adam -- Adam Gundry, Haskell Consultant Well-Typed LLP, https://www.well-typed.com/ Registered in England & Wales, OC335890 27 Old Gloucester Street, London WC1N 3AX, England

8 13

Re: [ghc-steering-committee] Statistical analysis of GHC proposals
by Simon Peyton Jones 30 Oct '24

30 Oct '24

Dear Andrew Thank you -- that's very interesting. GHC SC: do look below! I'm not quite sure what, if anything, we should do in the light of this information. Simon On Sun, 27 Oct 2024 at 23:06, Andrew Lelechenko <andrew.lelechenko(a)gmail.com> wrote: > Hi Simon, > > I’ve been exploring GitHub API capabilities by gathering data on GHC > proposals. I wonder if any of the numbers below might be interesting to > reflect on for GHC SC. > > Total number of GHC proposals: 441 > Rate of proposals: 5 per month > Approved proposals: 149 > Need revision: 30 > Declined proposals: 16 > > Median time from creation to decision: 101 days > Average time from creation to decision: 181 days > Median time from creation to approval: 100 days > Average time from creation to approval: 165 days > Fastest approval: > 8 days for "Adjust warning category syntax" > 2nd fastest approval: > 11 days for "Remove dot from characters allowed in overloaded > labels" > 2nd slowest approval: > 980 days for "Fine-grained unused warnings" > Slowest approval: > 1112 days for "Decorate exceptions with backtrace information" > > Total activity: 15999 comments > Median activity per proposal: 23 comments > Average activity per proposal: 36 comments > Median activity per approved proposal: 31 comments > Average activity per approved proposal: 51 comments > Least active approved proposal: > 1 comment for "Amend the Higher Order Patterns proposal" > 2nd least active approved proposal: > 2 comments for "Amend 281 visible forall to work without > ScopedTypeVariables" > 2nd most active: > 313 comments for "Lambda expressions with guards and multiple > clauses (was: `\\ of`, -XMultiWayLambda)" > Most active: > 519 comments for "RecordDotSyntax language extension proposal" > > Open proposals: 117 > Median age for open proposals: 1105 days > Average age for open proposals: 1215 days > Newest open proposal: > 12 days for "Clarify CRLF behavior in multiline strings" > Oldest open proposal: > 2960 days for "Mutable constructor fields" > > Best regards, > Andrew

3 3

Named defaults -- attention needed
by Simon Peyton Jones 16 Sep '24

16 Sep '24

Dear GHC Steering Committee Please see https://github.com/ghc-proposals/ghc-proposals/pull/672. This is a small amendment to a recently-accepted proposal, prompted by the discovery that the language feature accidentally breaks code that doesn't use it. It's small but important. Maybe not yet formally submitted for our attention, but we want to get something agreed and implemented before the next release. So I think it's worth your early attention. Simon

7 8

Please review #652: Import shadowing
by Adam Gundry 15 Aug '24

15 Aug '24

Dear Committee, Gergő Érdi proposes to allow local binders to shadow names defined in outer scopes: https://github.com/ghc-proposals/ghc-proposals/pull/652 https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposa… I'd like to nominate Erik de Castro Lopo as the shepherd. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Cheers, Adam -- Adam Gundry, Haskell Consultant Well-Typed LLP, https://www.well-typed.com/ Registered in England & Wales, OC335890 27 Old Gloucester Street, London WC1N 3AX, England

11 16

Arnaud's holiday/move
by Arnaud Spiwack 13 Aug '24

13 Aug '24

Dear all, As of this Thursday 15th August, I'll be on holiday; I'll be back on the 9th September. Since it's a sizable chunk of time, I wanted to make sure to share: I won't be reading my emails during this time. When I'm back, I'll be living in Japan. Which shouldn't change much for my Steering Committee commitments, I don't think. But it may be a little disruptive at first. Best, -- Arnaud Spiwack Director, Research at https://moduscreate.com and https://tweag.io.

3 3