July 2025 - ghc-steering-committee

Please review #698: Qualified Literals
by Adam Gundry 08 Sep '25

08 Sep '25

Dear Committee, Brandon Chinn proposes to introduce new extensions for qualified number, string and list literals: https://github.com/ghc-proposals/ghc-proposals/pull/698 https://github.com/brandonchinn178/ghc-proposals/blob/qualified-literals/pr… I'd like to nominate Erik as the shepherd. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals/blob/master/README.rst#commi… (thanks Sebastian for pointing out the previously broken link) 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

6 12

#705: Explicit Level Imports: refine specification for exports, recommendation: accept
by Arnaud Spiwack 13 Aug '25

13 Aug '25

Dear all, Matthew and team propose a very short revision of their accepted proposal for explicit level imports (this proposal, if you don't remember, is about being more precise, when importing modules, whether they need to be available to emit code, or also for Template Haskell, for better recompilation avoidance and cross-compilation support). I say revision, but really, this simply specifies some corner cases which, admittedly, were ambiguous with the original wording of the proposal. There's nothing controversial about it. We should accept very quickly. I'll be on holiday the next couple of weeks, so I won't be able to act on this for a while. I don't think it's worth waiting two weeks though. So Adam, unless someone complains, probably accept it at the end of next week. Best, Arnaud -- Arnaud Spiwack Director, Research at https://moduscreate.com and https://tweag.io.

3 3

Please review #669: Initial categorization of language extensions
by Adam Gundry 07 Aug '25

07 Aug '25

Dear Committee, Trevis Elser proposes a classification of (some) language extensions based on previous work in proposal #601 establishing categories: https://github.com/ghc-proposals/ghc-proposals/pull/669 https://github.com/telser/ghc-proposals/blob/initial-extension-categorizati… I'd like to nominate Malte Ott as the shepherd. 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

7 8

Please review #705: Refine Explicit Level Imports specification for exports
by Adam Gundry 24 Jul '25

24 Jul '25

Dear Committee, Matthew Pickering proposes to refine the specification for Explicit Level Imports (#682) to clarify the behaviour of module exports: https://github.com/ghc-proposals/ghc-proposals/pull/705 I'd like to nominate Arnaud as the shepherd, since he shepherded the original proposal. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals/blob/master/README.rst#commi… If possible it would be good to get a quick decision on this so the implementation can be sorted for 9.14. 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

1 0

Please review #696: Splitting out stable interfaces from template-haskell
by Adam Gundry 14 Jul '25

14 Jul '25

Dear Committee, Teo Camarasu proposes to split out smaller, more coherent packages with more stable interfaces from the template-haskell package: https://github.com/ghc-proposals/ghc-proposals/pull/696 https://github.com/TeofilC/ghc-proposals/blob/wip/th-lift-and-quasiquote/pr… I'd like to nominate Sebastian as the shepherd. 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

9 11