As patterns in pattern synonyms (#94), Recommendation: accept

Joachim Breitner

27 Feb 2018 27 Feb '18

9:19 a.m.

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/

Attachments:

signature.asc (application/pgp-signature — 833 bytes)

Show replies by date

Richard Eisenberg

27 Feb 27 Feb

9:36 a.m.

New subject: As patterns in pattern synonyms (#94), Recommendation: accept

...

On Feb 27, 2018, at 9:19 AM, Joachim Breitner 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

Joachim Breitner

9:38 a.m.

New subject: As patterns in pattern synonyms (#94), Recommendation: accept

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/

Manuel M T Chakravarty

6:19 p.m.

...

Am 28.02.2018 um 01:19 schrieb Joachim Breitner :

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

Simon Marlow

28 Feb 28 Feb

4:25 a.m.

New subject: As patterns in pattern synonyms (#94), Recommendation: accept

Looks good to me. On 27 February 2018 at 14:19, Joachim Breitner 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

Joachim Breitner

18 Mar 18 Mar

5:49 p.m.

New subject: 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 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/

Simon Peyton Jones

22 Mar 22 Mar

5 a.m.

New subject: As patterns in pattern synonyms (#94), Recommendation: accept

Thanks. It's implemented in this patch Simon commit 411a97e2c0083529b4259d0cad8f453bae110dee Author: Simon Peyton Jones Date: Wed Mar 21 17:21:15 2018 +0000 Allow as-patterns in unidirectional pattern synonyms | -----Original Message----- | From: ghc-steering-committee 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 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

2616

Age (days ago)

2639

Last active (days ago)

List overview

Download

6 comments

5 participants

participants (5)

Joachim Breitner
Manuel M T Chakravarty
Richard Eisenberg
Simon Marlow
Simon Peyton Jones