
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