<div id="geary-body" dir="auto"><div>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).</div><div><br></div><div>Strong +1 from me.</div><div><br></div><div>Vlad</div></div><div id="geary-quote" dir="auto"><br>On mer., juin 28 2023 at 07:27:55 +02:00:00, Moritz Angermann <moritz.angermann@gmail.com> wrote:<br><blockquote type="cite"><div dir="ltr">Dear Steering Committee,<div><br></div><div>Adam, Artyom and Chris wrote the <a href="https://github.com/ghc-proposals/ghc-proposals/pull/581">Namespace-specified imports proposal</a>. It seeks to make importing more impressive, allowing import statements to choose from the type and data namespaces explicitly.<br></div><div><br></div><div>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.</div><div><br></div><div>Best regards,</div><div> Moritz</div></div>
</blockquote></div>