[ghc-steering-committee] Proposal #302: `\of` (New Shepherd: Simon PJ)

[Simon Peyton Jones]

|  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 at haskell.org> On
|  Behalf Of Eric Seidel
|  Sent: 30 June 2021 04:30
|  To: ghc-steering-committee at 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 at haskell.org> wrote:
|  > >
|  > > Got it thanks.
|  > >
|  > > Awaiting input from Vitaly, Tom, Eric, Richard.
|  > >
|  > > Simon
|  > >
|  > > |  -----Original Message-----
|  > > |  From: Vladislav Zavialov (int-index) <vlad.z.4096 at gmail.com>
|  > > |  Sent: 28 June 2021 16:25
|  > > |  To: Simon Peyton Jones <simonpj at microsoft.com>
|  > > |  Cc: ghc-steering-committee at 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 at microsoft.com>
|  > > |  wrote:
|  > > |  >
|  > > |  > Thanks.   Which one? Or do you want both?
|  > > |  >
|  > > |  > Simon
|  > >
|  > > _______________________________________________
|  > > ghc-steering-committee mailing list
|  > > ghc-steering-committee at 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 at 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 at 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