| I would like (2) to be on the ballot as well. It's unclear from the proposal | whether (2) includes the extension to `case of` or if it's a hypothetical | future extension, but I think the extension to `case of` should be included. By "case of" Eric means the ability to say case a, b of True, False -> blah OK, I suppose we can have 2a and 2b. I'm still hoping to hear from Tom, Richard, and Vitaly. Helloooo? Simon | -----Original Message----- | From: ghc-steering-committee <ghc-steering-committee-bounces@haskell.org> On | Behalf Of Eric Seidel | Sent: 30 June 2021 04:30 | To: ghc-steering-committee@haskell.org | Subject: Re: [ghc-steering-committee] Proposal #302: `\of` (New Shepherd: | Simon PJ) | | I would like (2) to be on the ballot as well. It's unclear from the proposal | whether (2) includes the extension to `case of` or if it's a hypothetical | future extension, but I think the extension to `case of` should be included. | | On Tue, Jun 29, 2021, at 18:03, Richard Eisenberg wrote: | > I don't need any further options, but I'm happy for (2) to be on the | ballot. | > | > Thanks, | > Richard | > | > > On Jun 29, 2021, at 4:59 AM, Simon Peyton Jones via ghc-steering- | committee <ghc-steering-committee@haskell.org> wrote: | > > | > > Got it thanks. | > > | > > Awaiting input from Vitaly, Tom, Eric, Richard. | > > | > > Simon | > > | > > | -----Original Message----- | > > | From: Vladislav Zavialov (int-index) <vlad.z.4096@gmail.com> | > > | Sent: 28 June 2021 16:25 | > > | To: Simon Peyton Jones <simonpj@microsoft.com> | > > | Cc: ghc-steering-committee@haskell.org | > > | Subject: Re: [ghc-steering-committee] Proposal #302: `\of` (New | Shepherd: | > > | Simon PJ) | > > | | > > | While (3) is my personal favorite, it has received some heavy | > > | pushback, and I don't suppose it has any chance of getting | > > | accepted. Therefore, I guess I'm asking to add (2). | > > | | > > | - Vlad | > > | | > > | > On 28 Jun 2021, at 14:50, Simon Peyton Jones | > > | <simonpj@microsoft.com> | > > | wrote: | > > | > | > > | > Thanks. Which one? Or do you want both? | > > | > | > > | > Simon | > > | > > _______________________________________________ | > > ghc-steering-committee mailing list | > > ghc-steering-committee@haskell.org | > > https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fma | > > il.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committ | > > ee&data=04%7C01%7Csimonpj%40microsoft.com%7Caf6869ca4d2d4c572203 | > > 08d93b77671d%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6376062063 | > > 06488778%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzI | > > iLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=XDGE60Iaq1NEmA%2FTH | > > rQsSrV1msxEsq6b6i4RLMAq4qc%3D&reserved=0 | > | > _______________________________________________ | > ghc-steering-committee mailing list | > ghc-steering-committee@haskell.org | > https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail | > .haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&a | > mp;data=04%7C01%7Csimonpj%40microsoft.com%7Caf6869ca4d2d4c57220308d93b | > 77671d%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637606206306488778 | > %7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6I | > k1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=XDGE60Iaq1NEmA%2FTHrQsSrV1msxEs | > q6b6i4RLMAq4qc%3D&reserved=0 | > | _______________________________________________ | ghc-steering-committee mailing list | ghc-steering-committee@haskell.org | https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haske | ll.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering- | committee&data=04%7C01%7Csimonpj%40microsoft.com%7Caf6869ca4d2d4c5722030 | 8d93b77671d%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637606206306488778% | 7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwi | LCJXVCI6Mn0%3D%7C2000&sdata=XDGE60Iaq1NEmA%2FTHrQsSrV1msxEsq6b6i4RLMAq4q | c%3D&reserved=0