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 <moritz.angermann@gmail.com> wrote:
Dear Steering Committee,

Adam, Artyom and Chris wrote the Namespace-specified imports proposal. 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