<div dir="ltr"><div>Thanks Adam for handling this.</div><div><br></div><div>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 <a href="https://github.com/ghc-proposals/ghc-proposals/pull/705">https://github.com/ghc-proposals/ghc-proposals/pull/705</a> ).</div><div><br></div><div>/Arnaud<br></div></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Thu, 7 Aug 2025 at 21:56, Adam Gundry via ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@haskell.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Given the support from Arnaud, Sebastian and Simon, and lack of dissent, <br>
I'm happy to declare this proposal accepted in Arnaud's absence.<br>
<br>
Adam<br>
<br>
<br>
On 05/08/2025 13:23, Sebastian Graf via ghc-steering-committee wrote:<br>
> I vote to accept the proposal as is or with the wording improvements <br>
> that Simon suggested.<br>
> <br>
> Sebastian<br>
> <br>
> Am Fr., 25. Juli 2025 um 01:48 Uhr schrieb Arnaud Spiwack via ghc- <br>
> steering-committee <<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a> <mailto:<a href="mailto:ghc-" target="_blank">ghc-</a> <br>
> <a href="mailto:steering-committee@haskell.org" target="_blank">steering-committee@haskell.org</a>>>:<br>
> <br>
>     Dear all,<br>
> <br>
>     Matthew and team propose a very short revision of their accepted<br>
>     proposal for explicit level imports (this proposal, if you don't<br>
>     remember, is about being more precise, when importing modules,<br>
>     whether they need to be available to emit code, or also for Template<br>
>     Haskell, for better recompilation avoidance and cross-compilation<br>
>     support).<br>
> <br>
>     I say revision, but really, this simply specifies some corner cases<br>
>     which, admittedly, were ambiguous with the original wording of the<br>
>     proposal. There's nothing controversial about it. We should accept<br>
>     very quickly.<br>
> <br>
>     I'll be on holiday the next couple of weeks, so I won't be able to<br>
>     act on this for a while. I don't think it's worth waiting two weeks<br>
>     though. So Adam, unless someone complains, probably accept it at the<br>
>     end of next week.<br>
> <br>
>     Best,<br>
>     Arnaud<br>
> <br>
>     -- <br>
>     Arnaud Spiwack<br>
>     Director, Research at <a href="https://moduscreate.com" rel="noreferrer" target="_blank">https://moduscreate.com</a> <https://<br>
>     <a href="http://moduscreate.com" rel="noreferrer" target="_blank">moduscreate.com</a>> and <a href="https://tweag.io" rel="noreferrer" target="_blank">https://tweag.io</a> <<a href="https://tweag.io" rel="noreferrer" target="_blank">https://tweag.io</a>>.<br>
<br>
-- <br>
Adam Gundry, Haskell Consultant<br>
Well-Typed LLP, <a href="https://www.well-typed.com/" rel="noreferrer" target="_blank">https://www.well-typed.com/</a><br>
<br>
Registered in England & Wales, OC335890<br>
27 Old Gloucester Street, London WC1N 3AX, England<br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div><div><br clear="all"></div><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature"><div dir="ltr">Arnaud Spiwack<br>Director, Research at <a href="https://moduscreate.com" rel="noopener noreferrer" target="_blank">https://moduscreate.com</a> and <a href="https://tweag.io" rel="noopener noreferrer" target="_blank">https://tweag.io</a>.</div></div>