[ghc-steering-committee] Please consider GHC Proposal #581 for acceptance.

[Adam Gundry]

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 
> <moritz.angermann at gmail.com> 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