As patterns in pattern synonyms (#94), Recommendation: accept
Dear Committee, this is your secretary speaking: As patterns in pattern synonyms, by Richard. https://github.com/ghc-proposals/ghc-proposals/pull/94 rendered at https://github.com/ghc-proposals/ghc-proposals/blob/as-pattern-synonyms/AsPa... I’ll shepherd that myself. This proposal removes restrictions on what can be used in unidirectional pattern synonyms, where @-pattern were previously disallowed. The restriction would make sense if patterns synonyms are macros, but they are not. I am always in favor of removing special cases and restrictions, so I recommend to accept this proposal. Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
On Feb 27, 2018, at 9:19 AM, Joachim Breitner <mail@joachim-breitner.de> wrote:
As patterns in pattern synonyms, by Richard. https://github.com/ghc-proposals/ghc-proposals/pull/94 <https://github.com/ghc-proposals/ghc-proposals/pull/94>
I've written lots of proposals, but just to correct the record here, this one's by Simon PJ. :) Yes, I'm happy to accept. Richard
Hi, Am Dienstag, den 27.02.2018, 09:36 -0500 schrieb Richard Eisenberg:
I've written lots of proposals, but just to correct the record here, this one's by Simon PJ. :)
yeah, the dangers of copy’n’paste – I guess it is time I script the “please review” and “recommendation” mails. But hey, at least I can check if y’all are paying attention! Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
+1
Am 28.02.2018 um 01:19 schrieb Joachim Breitner <mail@joachim-breitner.de>:
Dear Committee,
this is your secretary speaking:
As patterns in pattern synonyms, by Richard. https://github.com/ghc-proposals/ghc-proposals/pull/94 rendered at https://github.com/ghc-proposals/ghc-proposals/blob/as-pattern-synonyms/AsPa...
I’ll shepherd that myself.
This proposal removes restrictions on what can be used in unidirectional pattern synonyms, where @-pattern were previously disallowed. The restriction would make sense if patterns synonyms are macros, but they are not. I am always in favor of removing special cases and restrictions, so I recommend to accept this proposal.
Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/ _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
Looks good to me. On 27 February 2018 at 14:19, Joachim Breitner <mail@joachim-breitner.de> wrote:
Dear Committee,
this is your secretary speaking:
As patterns in pattern synonyms, by Richard. https://github.com/ghc-proposals/ghc-proposals/pull/94 rendered at https://github.com/ghc-proposals/ghc-proposals/blob/as-pattern-synonyms/ AsPatternSynonyms.rst
I’ll shepherd that myself.
This proposal removes restrictions on what can be used in unidirectional pattern synonyms, where @-pattern were previously disallowed. The restriction would make sense if patterns synonyms are macros, but they are not. I am always in favor of removing special cases and restrictions, so I recommend to accept this proposal.
Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
Hi, I declare consensus; accepted, Joachim Am Mittwoch, den 28.02.2018, 09:25 +0000 schrieb Simon Marlow:
Looks good to me.
On 27 February 2018 at 14:19, Joachim Breitner <mail@joachim-breitner.de> wrote:
Dear Committee,
this is your secretary speaking:
As patterns in pattern synonyms, by Richard. https://github.com/ghc-proposals/ghc-proposals/pull/94 rendered at https://github.com/ghc-proposals/ghc-proposals/blob/as-pattern-synonyms/AsPa...
I’ll shepherd that myself.
This proposal removes restrictions on what can be used in unidirectional pattern synonyms, where @-pattern were previously disallowed. The restriction would make sense if patterns synonyms are macros, but they are not. I am always in favor of removing special cases and restrictions, so I recommend to accept this proposal.
Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org 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 -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
Thanks. It's implemented in this patch Simon commit 411a97e2c0083529b4259d0cad8f453bae110dee Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Wed Mar 21 17:21:15 2018 +0000 Allow as-patterns in unidirectional pattern synonyms | -----Original Message----- | From: ghc-steering-committee <ghc-steering-committee- | bounces@haskell.org> On Behalf Of Joachim Breitner | Sent: 18 March 2018 21:49 | To: ghc-steering-committee@haskell.org | Subject: Re: [ghc-steering-committee] As patterns in pattern synonyms | (#94), Recommendation: accept | | Hi, | | I declare consensus; accepted, | | Joachim | | Am Mittwoch, den 28.02.2018, 09:25 +0000 schrieb Simon Marlow: | > Looks good to me. | > | > On 27 February 2018 at 14:19, Joachim Breitner <mail@joachim- | breitner.de> wrote: | > > Dear Committee, | > > | > > this is your secretary speaking: | > > | > > As patterns in pattern synonyms, by Richard. | > > | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgit | > > hub.com%2Fghc-proposals%2Fghc- | proposals%2Fpull%2F94&data=04%7C01%7Cs | > > | imonpj%40microsoft.com%7C0af532279baa4df1b88308d58d1a25fc%7C72f988bf | > > | 86f141af91ab2d7cd011db47%7C1%7C0%7C636570065804867191%7CUnknown%7CTW | > > | FpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwifQ%3D% | > > 3D%7C- | 1&sdata=ZS2axyI0uDhFDHIeyEkHGg7%2F7XluyVkmoC%2FBs1O8%2F7w%3D&r | > > eserved=0 | > > rendered at | > > | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgit | > > hub.com%2Fghc-proposals%2Fghc-proposals%2Fblob%2Fas-pattern- | synonyms | > > | %2FAsPatternSynonyms.rst&data=04%7C01%7Csimonpj%40microsoft.com%7C0a | > > | f532279baa4df1b88308d58d1a25fc%7C72f988bf86f141af91ab2d7cd011db47%7C | > > | 1%7C0%7C636570065804867191%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwM | > > DAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwifQ%3D%3D%7C- | 1&sdata=LZMtjxsYvZZ1f | > > h7UQmcv2unRoj8jPmM0rQnmXVlI%2Bno%3D&reserved=0 | > > | > > I’ll shepherd that myself. | > > | > > This proposal removes restrictions on what can be used in | > > unidirectional pattern synonyms, where @-pattern were previously | > > disallowed. The restriction would make sense if patterns synonyms | > > are macros, but they are not. I am always in favor of removing | > > special cases and restrictions, so I recommend to accept this | proposal. | > > | > > Thanks, | > > Joachim | > > -- | > > Joachim Breitner | > > mail@joachim-breitner.de | > > | > > | https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww. | > > joachim- | breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7C0af5 | > > | 32279baa4df1b88308d58d1a25fc%7C72f988bf86f141af91ab2d7cd011db47%7C1% | > > | 7C0%7C636570065804877199%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDA | > > iLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwifQ%3D%3D%7C- | 1&sdata=kssVfS3sxZhFYaO | > > dS6xDlnLs6tbKs66bkqosHPSOQk0%3D&reserved=0 | > > | > > _______________________________________________ | > > ghc-steering-committee mailing list | > > ghc-steering-committee@haskell.org | > > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering- | commi | > > ttee | > > | > | > _______________________________________________ | > ghc-steering-committee mailing list | > ghc-steering-committee@haskell.org | > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering- | committ | > ee | -- | Joachim Breitner | mail@joachim-breitner.de | | https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.jo | achim- | breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7C0af532279baa4d | f1b88308d58d1a25fc%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636570 | 065804877199%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luM | zIiLCJBTiI6Ik1haWwifQ%3D%3D%7C- | 1&sdata=kssVfS3sxZhFYaOdS6xDlnLs6tbKs66bkqosHPSOQk0%3D&reserved=0
participants (5)
-
Joachim Breitner -
Manuel M T Chakravarty -
Richard Eisenberg -
Simon Marlow -
Simon Peyton Jones