[ghc-steering-committee] Proposal #302: Multiway lambda: new extension or not?
Simon Peyton Jones
simonpj at microsoft.com
Wed Sep 15 12:00:26 UTC 2021
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_Qe1vacAIKnDs/edit?usp=sharing>. 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 at microsoft.com will cease to work. Use simon.peytonjones at gmail.com instead. (For now, it just forwards to simonpj at microsoft.com.)
| -----Original Message-----
| From: ghc-steering-committee <ghc-steering-committee-
| bounces at haskell.org> On Behalf Of Joachim Breitner
| Sent: 14 September 2021 08:39
| To: ghc-steering-committee at 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%2Fghc-proposals%2Fghc-proposals%2Fpull%2F302%23issuecomment-895080031&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597687362%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=2ySitCA%2FT1uUznezDYUKIO8g2ImLMKlnxm1OpKOXKZg%3D&reserved=0>
| ub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F302%23issuecomment-<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F302%23issuecomment-895080031&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597687362%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=2ySitCA%2FT1uUznezDYUKIO8g2ImLMKlnxm1OpKOXKZg%3D&reserved=0>
| 895080031&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a8831943459<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F302%23issuecomment-895080031&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597687362%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=2ySitCA%2FT1uUznezDYUKIO8g2ImLMKlnxm1OpKOXKZg%3D&reserved=0>
| 9cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6376720<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F302%23issuecomment-895080031&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597687362%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=2ySitCA%2FT1uUznezDYUKIO8g2ImLMKlnxm1OpKOXKZg%3D&reserved=0>
| 20597687362%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMz<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F302%23issuecomment-895080031&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597687362%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=2ySitCA%2FT1uUznezDYUKIO8g2ImLMKlnxm1OpKOXKZg%3D&reserved=0>
| IiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=2ySitCA%2FT1uUznezDY<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F302%23issuecomment-895080031&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597687362%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=2ySitCA%2FT1uUznezDYUKIO8g2ImLMKlnxm1OpKOXKZg%3D&reserved=0>
| UKIO8g2ImLMKlnxm1OpKOXKZg%3D&reserved=0<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F302%23issuecomment-895080031&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597687362%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=2ySitCA%2FT1uUznezDYUKIO8g2ImLMKlnxm1OpKOXKZg%3D&reserved=0>
| 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 at joachim-breitner.de<mailto:mail at 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-breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=unmdYu9zUy00ec421KJYmL9I2ZO%2BlIx5J9cLw27GnmI%3D&reserved=0>
| oachim-<https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=unmdYu9zUy00ec421KJYmL9I2ZO%2BlIx5J9cLw27GnmI%3D&reserved=0>
| breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319<https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=unmdYu9zUy00ec421KJYmL9I2ZO%2BlIx5J9cLw27GnmI%3D&reserved=0>
| 434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63<https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=unmdYu9zUy00ec421KJYmL9I2ZO%2BlIx5J9cLw27GnmI%3D&reserved=0>
| 7672020597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV<https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=unmdYu9zUy00ec421KJYmL9I2ZO%2BlIx5J9cLw27GnmI%3D&reserved=0>
| 2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=unmdYu9zUy00ec4<https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=unmdYu9zUy00ec421KJYmL9I2ZO%2BlIx5J9cLw27GnmI%3D&reserved=0>
| 21KJYmL9I2ZO%2BlIx5J9cLw27GnmI%3D&reserved=0<https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=unmdYu9zUy00ec421KJYmL9I2ZO%2BlIx5J9cLw27GnmI%3D&reserved=0>
|
|
| _______________________________________________
| ghc-steering-committee mailing list
| ghc-steering-committee at haskell.org<mailto:ghc-steering-committee at haskell.org>
| https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=TG3t%2Fw1kFLk173SoM5soHU39BlAPv76TY%2B9FNetaLJs%3D&reserved=0>
| .haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=TG3t%2Fw1kFLk173SoM5soHU39BlAPv76TY%2B9FNetaLJs%3D&reserved=0>
| committee&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a8831943459<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=TG3t%2Fw1kFLk173SoM5soHU39BlAPv76TY%2B9FNetaLJs%3D&reserved=0>
| 9cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6376720<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=TG3t%2Fw1kFLk173SoM5soHU39BlAPv76TY%2B9FNetaLJs%3D&reserved=0>
| 20597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMz<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=TG3t%2Fw1kFLk173SoM5soHU39BlAPv76TY%2B9FNetaLJs%3D&reserved=0>
| IiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=TG3t%2Fw1kFLk173SoM5<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=TG3t%2Fw1kFLk173SoM5soHU39BlAPv76TY%2B9FNetaLJs%3D&reserved=0>
| soHU39BlAPv76TY%2B9FNetaLJs%3D&reserved=0<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637672020597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=TG3t%2Fw1kFLk173SoM5soHU39BlAPv76TY%2B9FNetaLJs%3D&reserved=0>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20210915/8de9c47c/attachment-0001.html>
More information about the ghc-steering-committee
mailing list