[ghc-steering-committee] Updated #402 -- now with parentheses!

[Richard Eisenberg]

I have now accepted this proposal by completing the steps at https://github.com/ghc-proposals/ghc-proposals/blob/master/acceptance.rst <https://github.com/ghc-proposals/ghc-proposals/blob/master/acceptance.rst>

Thanks all!
Richard

> On Apr 13, 2021, at 3:25 PM, Alejandro Serrano Mena <trupill at gmail.com> wrote:
> 
> I also agree with acceptance now.
> 
> Alejandro
> 
> On 12 Apr 2021 at 09:17:38, Joachim Breitner <mail at joachim-breitner.de <mailto:mail at joachim-breitner.de>> wrote:
> I concur.
> 
> Am Sonntag, den 11.04.2021, 14:27 -0400 schrieb Eric Seidel:
>> Thanks, I'm happy with the proposal now.
>> 
>> On Wed, Apr 7, 2021, at 14:47, Richard Eisenberg wrote:
>> > Hi all,
>> > 
>> > The author of #402 (our own Vladislav) has modified it to remove the 
>> > bit about dropping parentheses. The proposal is now solely about 
>> > liberalizing the existing syntax to allow arbitrary nesting of 
>> > quantifiers in non-record constructors. My recommendation remains to 
>> > accept.
>> > 
>> > Are there other further thoughts here?
>> > 
>> > Thanks,
>> > Richard
>> > _______________________________________________
>> > ghc-steering-committee mailing list
>> > ghc-steering-committee at haskell.org <mailto:ghc-steering-committee at haskell.org>
>> > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee <https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee>
>> > 
>> _______________________________________________
>> ghc-steering-committee mailing list
>> ghc-steering-committee at haskell.org <mailto:ghc-steering-committee at haskell.org>
>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee <https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee>
> -- 
> Joachim Breitner
>  mail at joachim-breitner.de <mailto:mail at joachim-breitner.de>
>  http://www.joachim-breitner.de/ <http://www.joachim-breitner.de/>
> 
> 
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org <mailto:ghc-steering-committee at haskell.org>
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee <https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20210421/05b8bec2/attachment.html>