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

[Arnaud Spiwack]

Thanks Adam for handling this.

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
https://github.com/ghc-proposals/ghc-proposals/pull/705 ).

/Arnaud

On Thu, 7 Aug 2025 at 21:56, Adam Gundry via ghc-steering-committee <
ghc-steering-committee at haskell.org> wrote:

> 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
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>


-- 
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/20250813/bd996e84/attachment.html>