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

[Sebastian Graf]

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>:

> 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.
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20250805/93edfc92/attachment.html>