July 2026 - ghc-steering-committee

Unordered extra commas
by code＠jaro.addy.io 13 Aug '26

13 Aug '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 31

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

10 Aug '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 4

#765: Pun warnings, recommendation: accept
by Jakob Brünker 05 Aug '26

05 Aug '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 9

Re: #570: Native string interpolation syntax (round two)
by Sebastian Graf 03 Aug '26

03 Aug '26

Hi everyone, Thanks to Simon, Rodrigo, Erik and Jaro for expressing their votes. We are now 3 weeks into the review period. That means we have about *1 week left* to come to a conclusion. I would be interested in the opinions of - Simon M - Adam - Malte - Matthías - Jakob Thank you! Sebastian Am Do., 16. Juli 2026 um 18:58 Uhr schrieb <code(a)jaro.addy.io>: > I support the proposal. > > I think string interpolation is rarely the most principled solution any > problem, but it is very convenient and Brandon and all contributors have > put enough thought into making sure the proposed string interpolation has > few sharp edges. > > Cheers, > Jaro > > On 29 Jun 2026, at 12:41, Sebastian Graf <sgraf1337(a)gmail.com> wrote: > > Dear committee, > > In #570 <https://github.com/ghc-proposals/ghc-proposals/pull/570>, > Brandon Chinn proposes adding native string interpolation syntax to GHC, > along the lines of s"a ${x + 1} b", catching up with and even exceeding > similar features in popular programming languages. > > I think this is an important proposal and I recommend that we accept it. > > Since the previous submission, Brandon settled on a coherent and simple > interaction with -XOverloadedStrings. Although the proposed interpolation > API seems more ad-hoc than necessary, I did not find a way to simplify it > any further. > > Cheers, > Sebastian > > >

5 6

Please review #678: Amendment to ImportShadowing
by Adam Gundry 24 Jul '26

24 Jul '26

Dear Committee, Gergő Érdi proposes to amend his import shadowing proposal #652 to clarify the behaviour of module re-exports: https://github.com/ghc-proposals/ghc-proposals/pull/678 I'd like to nominate Erik de Castro Lopo as the shepherd, as he shepherded 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

11 18

Re: #765: Pun warnings, recommendation: accept
by Malte Ott 22 Jul '26

22 Jul '26

I am enthusiastically in favor of this proposal.

1 0

#570: Native string interpolation syntax (round two)
by Sebastian Graf 16 Jul '26

16 Jul '26

Dear committee, In #570 <https://github.com/ghc-proposals/ghc-proposals/pull/570>, Brandon Chinn proposes adding native string interpolation syntax to GHC, along the lines of s"a ${x + 1} b", catching up with and even exceeding similar features in popular programming languages. I think this is an important proposal and I recommend that we accept it. Since the previous submission, Brandon settled on a coherent and simple interaction with -XOverloadedStrings. Although the proposed interpolation API seems more ad-hoc than necessary, I did not find a way to simplify it any further. Cheers, Sebastian

5 4

#570: Native string interpolation syntax
by Sebastian Graf 07 Jul '26

07 Jul '26

Dear committee, In #570 <https://github.com/ghc-proposals/ghc-proposals/pull/570>, Brandon Chinn proposes adding native string interpolation syntax to GHC, along the lines of s"a ${x + 1} b", catching up with and even exceeding similar features in popular programming languages. The desugaring of s"a ${x + 1} b" is: ``` Data.String.Interpolate.Experimental.interpolateString ( \convert raw append empty -> raw "a " `append` convert (x + 1) `append` raw " b" `append` empty ) :: String ``` where the following definitions are added to ghc-experimental: ``` class Interpolate a where interpolate :: a -> String type SimpleStringInterpolator s = ( forall ss. (forall a. Interpolate a => a -> s) -> (s -> s) -> (s -> ss -> ss) -> ss -> ss ) -> s interpolateString :: (IsString s, Monoid s) => SimpleStringInterpolator s interpolateString f = mconcat $ f (fromString . interpolate) id (:) [] ``` With -XQualifiedStrings, the string interpolation function may be rebound as well: ``` SQL.s"select * from users where name = ${Text.toUpper name} and age = ${age}" -- desugars to SQL.interpolateString $ \convert raw append empty -> raw "select * from users where name = " `append` convert (Text.toUpper name) `append` raw " and age = " `append` convert age `append` empty ``` I think this is an important proposal and I would emphatically accept one form or anothter. It is a useful feature with a long history of continued refinement by Brandon. I'm torn however on the particular expansion to a second-order function. See this thread: https://github.com/ghc-proposals/ghc-proposals/pull/570/changes#r3040723908 I would sacrifice generality and implement a simpler expansion instead, such as ``` mconcat [ fromString "a " , interpolate (x + 1) , fromString "b" ] :: String ``` So I abstain from voting for the particular version of the proposal. Cheers, Sebastian

4 7

Assigning Shepherd: #765 Pun warnings
by Simon Marlow 06 Jul '26

06 Jul '26

Jaro Reinders and Artyom Kuznetsov submitted proposal #765 Pun Warnings <https://github.com/ghc-proposals/ghc-proposals/pull/765> for the committee to review. I'd like to nominate *Jakob Brünker* 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 *14 July 2026*. Cheers Simon

3 2