Thanks Adam for handling this. Also, sorry everybody: I've just realised I forgot to include the link to the PR in my email (it's here for the record https://github.com/ghc-proposals/ghc-proposals/pull/705 ). /Arnaud On Thu, 7 Aug 2025 at 21:56, Adam Gundry via ghc-steering-committee < ghc-steering-committee@haskell.org> wrote:

Given the support from Arnaud, Sebastian and Simon, and lack of dissent, I'm happy to declare this proposal accepted in Arnaud's absence.

Adam

On 05/08/2025 13:23, Sebastian Graf via ghc-steering-committee wrote:

...

I vote to accept the proposal as is or with the wording improvements that Simon suggested.

Sebastian

Am Fr., 25. Juli 2025 um 01:48 Uhr schrieb Arnaud Spiwack via ghc- steering-committee >:

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 https://tweag.io.

-- 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 _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

-- Arnaud Spiwack Director, Research at https://moduscreate.com and https://tweag.io.