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