Unsurprisingly, I'm in support too. Most of the credit should really go to Artyom and Vlad, because this proposal is really a distilling of the extension changes from #270 after I caused trouble in getting that accepted as it stood. :-) Adam On 28/06/2023 08:18, Vladislav wrote:

The proposed change allows us to fix a bug in ExplicitNamespaces (GitLab ticket #22581) and on top of that offers a reasonable way to manage punned imports in DH code (i.e. it plays nicely with our accepted GHC Proposal #378).

Strong +1 from me.

Vlad

On mer., juin 28 2023 at 07:27:55 +02:00:00, Moritz Angermann wrote:

...

Dear Steering Committee,

Adam, Artyom and Chris wrote the Namespace-specified imports proposal https://github.com/ghc-proposals/ghc-proposals/pull/581. It seeks to make importing more impressive, allowing import statements to choose from the type and data namespaces explicitly.

I believe this proposal adds value in expressiveness to import statements. After the last syntax refinement comes naturally to the language. I recommend acceptance of this proposal.

Best regards,  Moritz

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

This all sounds reasonable. In favour. On Wed, 28 Jun 2023 at 09:24, Simon Peyton Jones < simon.peytonjones@gmail.com> wrote:

I support this. Well written proposal

Simon

On Wed, 28 Jun 2023 at 06:28, Moritz Angermann wrote:

...

Dear Steering Committee,

Adam, Artyom and Chris wrote the Namespace-specified imports proposal https://github.com/ghc-proposals/ghc-proposals/pull/581. It seeks to make importing more impressive, allowing import statements to choose from the type and data namespaces explicitly.

I believe this proposal adds value in expressiveness to import statements. After the last syntax refinement comes naturally to the language. I recommend acceptance of this proposal.

Best regards, Moritz _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@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.