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@gmail.com> wrote:
I also agree with acceptance now.
Alejandro
On 12 Apr 2021 at 09:17:38, Joachim Breitner <mail@joachim-breitner.de <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