September 2026 - ghc-steering-committee

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

04 Sep '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 5

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

02 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