September 2026 - ghc-steering-committee

Unordered extra commas
by code＠jaro.addy.io 07 Oct '26

07 Oct '26

Dear fellow committee members, We have a proposal in the pipeline about allowing extra commas <https://github.com/ghc-proposals/ghc-proposals/pull/748> in sequences where the order does not matter. These extra commas (before the first item and/or after the last item) make code layout more consistent and reduce clutter in diffs. This is a limited version of an earlier proposal which did not make it because it sparked too much controversy. The current only allows redundant commas in uncontroversial places, which roughly lines up with the intuition that for all these places the order of the sequence items does not matter. Since there hasn't been much discussion lately on this proposal, I'm asking you to provide your opinion. There are two main points of discussion: 1. Does this proposal make the right selection of places where to allow extra commas? This proposal for example does not include commas in contexts ((...here...) => ...), or in lists. I personally think we should choose carefully to avoid the situation where we do want to allow extra commas in more places in the future, because we then either need a new extension or we need to change the meaning of this extension. 2. Which extra commas do we allow? The current proposal is to allow an extra comma at the start AND at the end of a sequence. I personally think we should be more conservative and only allow one OR the other (exclusively). Another alternative is to allow extra commas anywhere in the list, even multiple in a row. I'm looking forward to your opinions, Jaro

10 34

Assigning Shepherd: #738: Amend #669 to categorize more language extensions
by Simon Marlow 05 Oct '26

05 Oct '26

Trevis Elser submitted proposal #738: Amend #669 to categorize more language extensions <https://github.com/ghc-proposals/ghc-proposals/pull/738> for the committee to review. I'd like to nominate *Adam Gundry* as the shepherd. Please guide us to a conclusion as outlined in the committee processes <https://github.com/ghc-proposals/ghc-proposals/blob/master/README.rst#9comm…> . If possible, please aim to make a recommendation by *7 August 2026*. Cheers Simon

4 7

#765: Pun warnings, recommendation: accept
by Jakob Brünker 03 Sep '26

03 Sep '26

Hi all, Our own Jaro Reinders, based on a proposal originally by Artyom Kuznetsov, proposes to introduce `-Wpuns` and `-Wpun-bindings`, to warn users when the same name appears in the term namespace and type namespace: https://github.com/ghc-proposals/ghc-proposals/blob/pun-warnings/proposals/… These warnings would not be enabled by default, but would bring us a step forward on the path outlined by the accepted proposal #378 (Support the design for dependent types, https://github.com/ghc-proposals/ghc-proposals/pull/378) by supporting writing code in a way that plays well with the principles described in that proposal (i.e. the lexical scoping principle and syntactic unification principle). They are also a good match for the recently introduced `-XNoListTuplePuns`, which already lets users avoid puns for some builtin types. Any users of `-XNoListTuplePuns` will likely want something along the lines of this proposal. I left some comments on the github thread but I think they are small enough that they don't have to prevent us from voting on it. I recommend we accept. Please indicate whether you wish to accept this proposal. Jakob

8 14

Fw: Re: Please review #678: Amendment to ImportShadowing
by Erik de Castro Lopo 02 Sep '26

02 Sep '26

Hi all, I realize that this is the time of year when the northern hemisphere takes holidays, but this email may also just have been flagged as spam in Simon's email. Would appreciate it if anyone might be able to provied a clue here. Thanks, Erik Begin forwarded message: Date: Mon, 24 Aug 2026 19:22:47 +1000 From: Erik de Castro Lopo <erikd(a)mega-nerd.com> To: Simon Marlow <marlowsd(a)gmail.com> Subject: Re: [ghc-steering-committee] Please review #678: Amendment to ImportShadowing Hi Simon, I understand that you are currently secretary. Does the Google spreadsheet where the acceptances were recorded still exist? If so please provide me with a link. Thanks, Erik Erik de Castro Lopo wrote: > Hi all, > > With regards to this I have seen acceptance recommendations from > > Malte Ott, Jaro Reinders, Adam Gundry, Sebastian Graf, Matthías Páll > Gissurarson and myself. > > Hope I have not missed anyone. Anybody else like to accept? > > There used to be a Google spreadsheet where the acceptances were recorded. > Does that still exist? Is there a new way acceptances are recorded? > > Thanks, > Erik > > Erik de Castro Lopo via ghc-steering-committee wrote: > > > Hi all, > > > > In regards to the "Amend Import Shadowing proposal to match Haskell 2010 > > section 5.2.5" proposal: > > > > https://github.com/ghc-proposals/ghc-proposals/pull/678 > > > > This went back into review because there was still a lot of chatter on it. > > This chatter has completely died out after Simon PJ's input was incorporated. > > > > I have recommended that we accept this minor modification of this proposal. > > I would appreciate it if everyone else on the committee would vote. > > > > Thanks, > > Erik > > -- > > ---------------------------------------------------------------------- > > Erik de Castro Lopo > > http://www.mega-nerd.com/ > > _______________________________________________ > > ghc-steering-committee mailing list -- ghc-steering-committee(a)haskell.org > > To unsubscribe send an email to ghc-steering-committee-leave(a)haskell.org > > > > > -- > ---------------------------------------------------------------------- > Erik de Castro Lopo > http://www.mega-nerd.com/ > -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/ -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/

4 5