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 <ghc-steering-committee@haskell.org <mailto:ghc-
> steering-committee@haskell.org>>:
>
>     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 <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