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