[ghc-steering-committee] #705: Explicit Level Imports: refine specification for exports, recommendation: accept

[Adam Gundry]

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