Re: [ghc-steering-committee] Proposal #302: Multiway lambda: new extension or not?

I have voted for extending LambdaCase. I don't think extensions should be immutable, and in this case it's clear that the original extension was incomplete. We should make it complete. On Wed, Sep 15, 2021, at 08:00, Simon Peyton Jones via ghc-steering-committee wrote:

Vitaly, Eric, Tom, Alejandro As Joachim says, we need to make a decision on the LambdaCase flag issue. It’s a judgement call, so let’s just vote. Here is the voting sheet https://docs.google.com/document/d/1NDXk5kKcLtkqhkSNESAC9jVrBn3yqS_Qe1vacAIK.... I have filled in votes from Simon, myself, Joacim, Richard, Vlad. But four of us (in the to: line) have not expressed an opinion. Could you do so please, in the next day or two? It should take you 5 minutes. Thanks Simon

PS: I am leaving Microsoft at the end of November 2021, at which point simonpj@microsoft.com will cease to work. Use simon.peytonjones@gmail.com instead. (For now, it just forwards to simonpj@microsoft.com.)

| -----Original Message-----

| From: ghc-steering-committee

| bounces@haskell.org> On Behalf Of Joachim Breitner

| Sent: 14 September 2021 08:39

| To: ghc-steering-committee@haskell.org

| Subject: Re: [ghc-steering-committee] Proposal #302: Multiway lambda:

| new extension or not?

|

| Hi,

|

|

| on the multiway-lambda story, we have voted to add \cases alongside

| \case. But one open question is still: Do we

| (1) add -XLambdaCases (which would imply -XLambdaCase) or

| (2) simply expand the meaning of -XLambdaCase.

|

| On the Github thread at

| https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgith https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com...

| ub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F302%23issuecomment- https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com...

| 895080031&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a8831943459 https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com...

| 9cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6376720 https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com...

| 20597687362%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMz https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com...

| IiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=2ySitCA%2FT1uUznezDY https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com...

| UKIO8g2ImLMKlnxm1OpKOXKZg%3D&reserved=0 https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com...

| we see that I lean towards (1), but SPJ leands towards (2).

|

| It doesn’t matter that much, but we need to make a decision. Can I

| please get some opinions from the rest of the committee on this point?

|

| Cheers,

| Joachim

|

|

| --

| Joachim Breitner

| mail@joachim-breitner.de

|

| https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.j https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim...

| oachim- https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim...

| breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319 https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim...

| 434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63 https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim...

| 7672020597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim...

| 2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=unmdYu9zUy00ec4 https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim...

| 21KJYmL9I2ZO%2BlIx5J9cLw27GnmI%3D&reserved=0 https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim...

|

|

| _______________________________________________

| ghc-steering-committee mailing list

| ghc-steering-committee@haskell.org

| https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haske...

| .haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering- https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haske...

| committee&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a8831943459 https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haske...

| 9cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6376720 https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haske...

| 20597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMz https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haske...

| IiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=TG3t%2Fw1kFLk173SoM5 https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haske...

| soHU39BlAPv76TY%2B9FNetaLJs%3D&reserved=0 https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haske...

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee