- ghc-steering-committee

GHC proposals status, March 2026
by Simon Marlow 11 Mar '26

11 Mar '26

Secretary here. I wrote a little tool (or rather, got Claude to write a little tool) to analyse the current state of GHC proposals. Repository here: https://github.com/simonmar/ghc-proposals-stats Please let me know if you spot anything wrong. Some overall stats: Current state of all proposals: -------------------------------------------------- Created 91 Waiting for shepherd recommendation 4 Committee discussion 0 Needs revision 25 Rejected 16 Accepted 55 Implemented 106 Closed 301 Dormant 10 -------------------------------------------------- Total 608 There are no proposals currently in committee discussion, but we have a few waiting for shepherd recommendation: Proposals currently in 'Waiting for shepherd recommendation' state: ---------------------------------------------------------------------- PR #700 Abstract Q 1 days PR #720 GHCi command for recompilation-aware evaluation 1 days PR #742 QualifiedStrings updates 1 days PR #570 Native string interpolation syntax 0 days Activity over the last 12 months: Proposal activity since 2025-03-11: -------------------------------------------------- Created 48 Waiting for shepherd recommendation 11 Committee discussion 6 Needs revision 7 Rejected 0 Accepted 9 Implemented 5 Closed 37 Dormant 0 -------------------------------------------------- Below I've included the verbose output from the tool, which includes the history of all PRs which had some activity over the last 12 months. Cheers Simon PR #182: Add control flow hint pragmas. · 2018-11-17 Created by AndreasPK 2025-04-16 Closed by AndreasPK (+2342 days) PR #570: Native string interpolation syntax · 2023-01-11 Created by brandonchinn178 · 2024-08-04 Waiting for shepherd recommendation by adamgundry (+571 days) · 2024-08-05 Needs revision by sgraf812 (+1 days) 2026-03-11 Waiting for shepherd recommendation by sgraf812 (+583 days) PR #621: Linear constraints proposal · 2023-11-21 Created by aspiwack · 2024-12-02 Waiting for shepherd recommendation by adamgundry (+377 days) · 2024-12-06 Needs revision by JakobBruenker (+4 days) · 2025-01-10 Waiting for shepherd recommendation by aspiwack (+35 days) · 2025-01-14 Committee discussion by JakobBruenker (+4 days) 2025-03-20 Needs revision by adamgundry (+65 days) PR #632: Amend GHC2024/GHC20xx proposals to specify introduction of new language editions · 2024-01-24 Created by adamgundry · 2024-02-15 Committee discussion by adamgundry (+22 days) · 2024-04-22 Needs revision by adamgundry (+67 days) 2025-03-11 Waiting for shepherd recommendation by adamgundry (+323 days) 2025-04-09 Committee discussion by simonmar (+29 days) 2025-05-13 Closed by adamgundry (+34 days) 2025-05-13 Accepted by adamgundry (+0 days) PR #668: Allow arbitrary identifiers as fields in `OverloadedRecordDot` and `OverloadedRecordUpdate` · 2024-07-22 Created by parsonsmatt · 2024-10-29 Committee discussion by adamgundry (+99 days) · 2024-11-23 Needs revision by adamgundry (+25 days) · 2024-12-13 Waiting for shepherd recommendation by adamgundry (+20 days) · 2025-03-10 Committee discussion by adamgundry (+87 days) 2025-05-13 Closed by adamgundry (+64 days) 2025-05-13 Accepted by adamgundry (+0 days) PR #669: Add categorization of language extensions · 2024-08-05 Created by telser · 2024-10-29 Waiting for shepherd recommendation by adamgundry (+85 days) · 2024-11-11 Needs revision by maralorn (+13 days) 2025-06-23 Committee discussion by maralorn (+224 days) 2025-08-07 Closed by maralorn (+45 days) 2025-08-07 Accepted by maralorn (+0 days) PR #672: Amendment to accepted proposal 0409, requiring the default exports to be explicit · 2024-08-25 Created by blamario · 2024-09-10 Committee discussion by adamgundry (+16 days) · 2024-09-17 Closed by adamgundry (+7 days) · 2024-09-17 Accepted by adamgundry (+0 days) 2025-06-06 Implemented by adamgundry (+262 days) PR #680: Clarify CRLF behavior in multiline strings · 2024-10-16 Created by brandonchinn178 · 2024-11-11 Waiting for shepherd recommendation by adamgundry (+26 days) · 2024-11-11 Committee discussion by sgraf812 (+0 days) · 2024-11-21 Accepted by sgraf812 (+10 days) · 2024-11-22 Closed by adamgundry (+1 days) 2025-06-06 Implemented by adamgundry (+196 days) PR #681: Updates to modifiers proposal · 2024-11-07 Created by ChickenProp 2025-09-09 Waiting for shepherd recommendation by adamgundry (+306 days) 2025-09-12 Needs revision by simonpj (+3 days) 2025-10-20 Waiting for shepherd recommendation by adamgundry (+38 days) 2025-11-25 Committee discussion by adamgundry (+36 days) 2025-12-02 Accepted by Tritlo (+7 days) 2025-12-02 Closed by Tritlo (+0 days) PR #682: Explicit Level Imports · 2024-11-15 Created by mpickering · 2024-12-02 Waiting for shepherd recommendation by adamgundry (+17 days) · 2024-12-09 Needs revision by aspiwack (+7 days) · 2024-12-20 Waiting for shepherd recommendation by adamgundry (+11 days) · 2025-01-09 Committee discussion by aspiwack (+20 days) · 2025-03-06 Accepted by aspiwack (+56 days) · 2025-03-07 Closed by adamgundry (+1 days) 2025-05-13 Implemented by adamgundry (+67 days) PR #684: ForUnique Quantifier · 2024-11-28 Created by VitWW 2025-07-24 Closed by VitWW (+238 days) PR #686: Fix spec for string gaps in multiline strings · 2025-02-23 Created by brandonchinn178 · 2025-03-04 Waiting for shepherd recommendation by adamgundry (+9 days) · 2025-03-06 Committee discussion by maralorn (+2 days) 2025-04-05 Accepted by maralorn (+30 days) 2025-04-05 Closed by maralorn (+0 days) 2025-06-06 Implemented by adamgundry (+62 days) PR #687: Add proposal for amending monad of no return · 2025-02-26 Created by L0neGamer 2025-04-08 Waiting for shepherd recommendation by adamgundry (+41 days) 2025-04-19 Needs revision by adamgundry (+11 days) 2025-09-11 Closed by L0neGamer (+145 days) PR #688: Add implementation plan for #581 Namespace-specified imports 2025-03-21 Created by int-index 2025-03-22 Closed by adamgundry (+1 days) PR #689: Permutation import syntax 2025-04-01 Created by phadej PR #690: Extending Constraint Syntax to Include Disequality Constraints 2025-04-08 Created by submarinez 2025-04-08 Closed by submarinez (+0 days) PR #691: Introduce a new XLowLevelHaskell meta extension. 2025-04-16 Created by AndreasPK PR #692: Impact analysis for #581 Namespace-specified imports 2025-04-19 Created by int-index 2025-05-13 Closed by adamgundry (+24 days) PR #693: Fix typo 2025-04-20 Created by TeofilC 2025-04-21 Closed by adamgundry (+1 days) PR #695: NamedDefaults: clarify interactions 2025-04-21 Created by sheaf PR #696: Splitting out stable subsets from `template-haskell` (`template-haskell-lift` and `template-haskell-quasiquote`) 2025-04-25 Created by TeofilC 2025-06-16 Waiting for shepherd recommendation by adamgundry (+52 days) 2025-06-23 Committee discussion by sgraf812 (+7 days) 2025-07-14 Accepted by sgraf812 (+21 days) 2025-07-27 Closed by sgraf812 (+13 days) PR #697: Fix non-Nix build 2025-05-02 Created by brandonchinn178 2025-05-02 Closed by adamgundry (+0 days) PR #698: QualifiedLiterals 2025-05-07 Created by brandonchinn178 2025-07-17 Waiting for shepherd recommendation by adamgundry (+71 days) 2025-07-29 Needs revision by erikd (+12 days) 2025-08-20 Committee discussion by erikd (+22 days) 2025-09-09 Closed by brandonchinn178 (+20 days) PR #700: Abstract Q 2025-05-24 Created by TeofilC 2026-03-10 Waiting for shepherd recommendation by simonmar (+290 days) PR #701: 581: Wildcard specification 2025-06-02 Created by int-index 2025-10-28 Closed by adamgundry (+148 days) PR #705: Explicit Level Imports: refine specification for exports 2025-07-17 Created by mpickering 2025-08-07 Closed by adamgundry (+21 days) 2025-08-07 Accepted by adamgundry (+0 days) 2025-08-07 Implemented by adamgundry (+0 days) PR #707: DRAFT: Shared class methods 2025-07-21 Created by L0neGamer 2025-07-28 Closed by L0neGamer (+7 days) PR #708: DRAFT: Deriving superclasses 2025-07-21 Created by L0neGamer 2025-07-28 Closed by L0neGamer (+7 days) PR #709: ForScoped Quantifier 2025-07-24 Created by VitWW PR #710: Local Quantifiers 2025-07-24 Created by VitWW PR #711: NotProposal: Updated Proposal process 2025-08-05 Created by VitWW 2025-08-05 Closed by VitWW (+0 days) PR #712: Fix: Updated Proposal process 2025-08-05 Created by VitWW 2025-09-09 Closed by adamgundry (+35 days) PR #713: Fix documentation build on nix 2025-08-05 Created by mpickering 2025-08-07 Closed by adamgundry (+2 days) PR #715: Protected Pragma 2025-08-12 Created by Oleksandr-Zhabenko PR #716: Fix: Repair links in 0586 Split WUnused-imports 2025-08-20 Created by VitWW 2025-08-20 Closed by adamgundry (+0 days) PR #717: Fix: Repair format in 522 Or patterns 2025-08-25 Created by VitWW 2025-08-27 Closed by adamgundry (+2 days) PR #718: Fix: Repair format in 76 Numeric Underscores 2025-09-01 Created by VitWW 2025-09-01 Closed by adamgundry (+0 days) PR #719: Fix: Repair format in 111 Linear Types 2025-09-03 Created by VitWW 2025-09-04 Closed by adamgundry (+1 days) PR #720: GHCi command for recompilation-aware evaluation 2025-09-04 Created by alexfmpe 2026-03-10 Waiting for shepherd recommendation by simonmar (+187 days) PR #721: Fix: Repair format in 107 Source plugins 2025-09-08 Created by VitWW 2025-09-09 Closed by adamgundry (+1 days) PR #722: Clarify no whitespace allowed in QualifiedDo 2025-09-09 Created by brandonchinn178 2025-09-09 Closed by adamgundry (+0 days) PR #723: Break out proposal for QualifiedStrings 2025-09-09 Created by brandonchinn178 2025-10-14 Accepted by adamgundry (+35 days) 2025-10-14 Closed by adamgundry (+0 days) PR #724: Break out proposal for QualifiedLists 2025-09-09 Created by brandonchinn178 2025-10-14 Needs revision by adamgundry (+35 days) PR #725: Break out proposal for QualifiedNumerics 2025-09-09 Created by brandonchinn178 2025-10-14 Needs revision by adamgundry (+35 days) PR #726: Add section to README clarifying role of shepherd 2025-09-10 Created by adamgundry 2025-10-14 Closed by adamgundry (+34 days) PR #727: Fix: fix format at the table in Readme 2025-09-11 Created by VitWW 2025-09-25 Closed by adamgundry (+14 days) PR #729: New syntax for Visible ForAll 2025-09-20 Created by VitWW PR #730: Fixes to string proposals 2025-10-22 Created by brandonchinn178 2025-11-04 Closed by adamgundry (+13 days) PR #732: Simplify static forms 2025-11-19 Created by simonpj 2025-11-25 Waiting for shepherd recommendation by adamgundry (+6 days) 2025-12-03 Committee discussion by JakobBruenker (+8 days) 2025-12-18 Needs revision by JakobBruenker (+15 days) 2025-12-18 Accepted by JakobBruenker (+0 days) 2025-12-18 Closed by JakobBruenker (+0 days) PR #733: Differently typed duplicate record fields 2025-11-26 Created by brandonchinn178 PR #734: Deriving Superclasses 2025-12-08 Created by L0neGamer 2026-01-27 Closed by L0neGamer (+50 days) PR #735: Custom error messages for unsolved Wanteds 2025-12-18 Created by sheaf PR #737: Abstractly-keyed Implicit Bindings 2025-12-23 Created by shlevy PR #738: Amend #669 to categorize more language extensions 2026-01-12 Created by telser PR #740: LocalImports: Allow imports in let/where clauses 2026-01-19 Created by rashadg1030 PR #741: Scoped values 2026-01-26 Created by lortabac PR #742: QualifiedStrings updates 2026-01-31 Created by brandonchinn178 2026-03-10 Waiting for shepherd recommendation by simonmar (+38 days) PR #743: Contexts: A new construct for namespaces in Haskell 2026-03-02 Created by rashadg1030 2026-03-07 Closed by rashadg1030 (+5 days) 2026-03-07 Closed by rashadg1030 (+0 days) PR #744: Branch weight support 2026-03-03 Created by iand675 PR #745: Submodules 2026-03-07 Created by rashadg1030 PR #747: README: Update mailman URLs 2026-03-10 Created by TeofilC 2026-03-10 Closed by simonmar (+0 days)

1 0

Assigning Shepherd: #720 GHCi command for recompilation-aware evaluation
by Simon Marlow 10 Mar '26

10 Mar '26

Alexandre Esteves submitted proposal *GHCi command for recompilation-aware evaluation #720* to the committee for review. https://github.com/ghc-proposals/ghc-proposals/pull/720 I'd like to nominate *myself *as the shepherd. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals/blob/master/README.rst#commi…. If possible, please aim to make a recommendation by *24 March 2026*. Cheers Simon

1 0

Immediate suspension of my participation
by Moritz Angermann 05 Jan '26

05 Jan '26

Dear committee members, I’m sorry to inform you that I’ll be suspending my participation with immediate effect due to health problems. I hope that my health will recover to the point where I can participate again in the future. If suspension is not viable I’ll hereby have to resign. Thank you for your understanding. Best, Moritz

4 4

GHC proposal: specification of static
by Simon Peyton Jones 18 Dec '25

18 Dec '25

Adam I'd like to submit this proposal to the Committee https://github.com/ghc-proposals/ghc-proposals/blob/wip/spj-static/proposal… Thanks Simon

11 20

Welcome to the new members of the GHC Steering Committee
by Simon Marlow 15 Dec '25

15 Dec '25

The GHC Steering Committee recently solicited nominations for new members, and I'm delighted to announce that the following four people will be joining the committee: - Adam Gundry (returning for another term) - Jaro Reinders - Jeff Young - Rodrigo Mesquita Congratulations to our new members and welcome to the GHC Steering Committee! On behalf of the committee, Simon Marlow

4 7

#681: Updates to modifier proposal, recommendation: accept
by Matthías Páll Gissurarson 02 Dec '25

02 Dec '25

Hey all, ChickenProp has been working on implementing the modifiers proposal (#370 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0370-m…>), and has fixed some mistakes and omissions ( https://github.com/ghc-proposals/ghc-proposals/pull/681) I had some initial concerns and requested clarification, which has now been addressed. My recommendation is that we *accept*. Here's a summary provided by ChickenProp: * ';' is now allowed in between modifiers attached to decls, and required before the decl. So %One %Two ; data F -- previously allowed, still allowed %One %Two data F -- previously allowed , now forbidden %One ; %Two ; data F -- previously forbidden, now allowed %One ; %Two data F -- previously forbidden, still forbidden Initially, I made the one before the decl required for parsing reasons. I couldn't figure out how to have all of: optional pre-decl semicolon; modifiers attached to expressions; expressions can appear at the top level. (I was getting shift/reduce or reduce/reduce conflicts in the parser.) Since there are no longer modifiers attached to expressions, it could be optional again. But in case we want modifiers on expressions in future, we might want to keep our options open. * No modifiers attached to types or expressions. * `-Wunrecognized-modifiers`, not `-Wunknown-modifiers`. Specify that it's enabled by default. * `-XLinearTypes -XNoModifiers` introduces backwards compatible behavior. * Add non-normative discussion of RN versus TC modifiers. * In the linear-types proposal, update the examples of modifiers attached to lambda-bound variables. I think the examples now match the BNF given. Also, the line "the `lpat` must be a bare variable" was contradicted by syntax elsewhere in the proposal, so remove that. -- -- Matthías Páll Gissurarson <http://mpg.is/>

7 10

Nudger
by Simon Marlow 21 Oct '25

21 Oct '25

While perusing the GHC Steering Committee Bylaws <https://github.com/ghc-proposals/ghc-proposals/blob/master/committee.rst> I noticed they mention that one committee member is dedicated the "Nudger". This is a role we introduced back in 2020 as far as I can make out; the nudger at the time was Tom Harding who is no longer a committee member. I don't think we appointed a new nudger when Tom left the committee. We should either 1. Abandon the idea and remove the text about the Nudger from the bylaws, or 2. Appoint a new nudger. I don't feel strongly, but lean towards (1). We tried it, it worked so well that we all forgot about it entirely :) Cheers Simon

2 2

Call for a volunteer to run a new nominations round
by Adam Gundry 15 Oct '25

15 Oct '25

Dear Committee, Arnaud and I are now approaching the end of our current three-year terms on the committee, which means the committee needs to put out a new public call for membership nominations. Our bylaws explain the process in more detail (https://github.com/ghc-proposals/ghc-proposals/blob/ master/committee.rst#term-limits-and-committee-selection). In particular, note that: > Expiring members are free to re-nominate themselves. When the > secretary's term is expiring, another (unexpiring) member of the > committee fills in for the secretary to run this process ... It is > expected that the committee favor newcomers in preference to re- > nominated continuing members. Since my term is expiring, I need to ask for a volunteer to run the nomination process (i.e. receive self-nominations from interested parties, distribute them to the other committee members and tally votes). Please speak up ASAP if you're willing to take this on! Thanks, 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

2 1

Qualified *
by Erik de Castro Lopo 14 Oct '25

14 Oct '25

Dear Committee, The original Qualified Literals proposal [1] has been split into 3 separate proposals: * Qualfied Strings [2] * Qualified Numerics [3] * Qualified Lists [4] Since this proposal has already been open for so long and had so much discussion, I have recommened that the committee reaches a decision by Oct 7. I had a few minor reservations about Numerics and Lists, mainly about the fact that there are still options on how they would be implemented but have recommended all 3 are accepted. Thanks, Erik [1] https://github.com/ghc-proposals/ghc-proposals/pull/698 [2] https://github.com/ghc-proposals/ghc-proposals/pull/723 [3] https://github.com/ghc-proposals/ghc-proposals/pull/724 [4] https://github.com/ghc-proposals/ghc-proposals/pull/725 -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/

10 14

Qualified literals
by Simon Peyton Jones 17 Sep '25

17 Sep '25

Dear Simon, Jakob, Malte, Moritz, Matthias As you will know, there has been quite a bit of discussion around the GHC proposal for Qualified Literals. But (unless I have missed your contributions) you have not yet contributed to the discussion. As a member of the GHC Steering Committee, especially when there are tricky judgement calls to make (as in this case) I would really appreciate your input. - Discussion <https://github.com/ghc-proposals/ghc-proposals/pull/698> - Proposal <https://github.com/brandonchinn178/ghc-proposals/blob/qualified-strings/pro…> Brandon has now split his proposal into three. I have outlined options in this comment <https://github.com/ghc-proposals/ghc-proposals/pull/698#issuecomment-326958…> . I feel that we owe the proposer some guidance on the way forward, and we can only do that if we all pay attention, rather than leaving it to Sebastian. (Thanks Sebastian!) thank you! Simon

8 10