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

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

I also agree with acceptance now.

Alejandro

On 12 Apr 2021 at 09:17:38, Joachim Breitner mailto:mail@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@haskell.org mailto:ghc-steering-committee@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@haskell.org mailto:ghc-steering-committee@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@joachim-breitner.de mailto:mail@joachim-breitner.de http://www.joachim-breitner.de/ http://www.joachim-breitner.de/

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org mailto:ghc-steering-committee@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@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee