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

[Arnaud Spiwack]

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20250725/9fad42ab/attachment.html>