December 2025 - ghc-steering-committee

Immediate suspension of my participation
by Moritz Angermann 13 Dec '25

13 Dec '25

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

3 2

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

13 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 17

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

12 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 5

#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