<div dir="ltr"><div>I'm personally quite fine with mutating extensions.</div><div><br></div><div>In this particular case (ha!) I am in favour of expaning the meaning of the current extension (I thought I'd opine in that sense on the thread already, but I appear not to have done so, ah well). <br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Sep 14, 2021 at 10:03 AM Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi,<br>
<br>
I don’t think language pragmas are about choice in that sense. Either<br>
we don’t want the feature (then we’d reject it), or we want it to<br>
eventually become a viable default (at least for add-on extensions like<br>
this). So at some day I expect GHC20xx to allow both \case and \cases.<br>
Nobody forces to to _use_ \cases in your code, however!<br>
<br>
The question is more about: do we want extensions to evolve over time,<br>
or be more immutable (I don’t think we want to commit to full<br>
immutability).<br>
<br>
Cheers,<br>
Joachim<br>
<br>
Am Dienstag, dem 14.09.2021 um 10:55 +0300 schrieb Vladislav Zavialov<br>
(int-index):<br>
> We should give our users the option to keep using LambdaCase without enabling LambdaCases. I, for one, do not like the flavor we ended up choosing, so I’d keep using LambdaCase alone in my programs. I imagine other users might want to do so as well.<br>
> <br>
> - Vlad<br>
> <br>
> > On 14 Sep 2021, at 10:38, Joachim Breitner <<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>> wrote:<br>
> > <br>
> > Hi,<br>
> > <br>
> > <br>
> > on the multiway-lambda story, we have voted to add \cases alongside<br>
> > \case. But one open question is still: Do we <br>
> > (1) add -XLambdaCases (which would imply -XLambdaCase) or<br>
> > (2) simply expand the meaning of -XLambdaCase.<br>
> > <br>
> > On the Github thread at <br>
> > <a href="https://github.com/ghc-proposals/ghc-proposals/pull/302#issuecomment-895080031" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/302#issuecomment-895080031</a><br>
> > we see that I lean towards (1), but SPJ leands towards (2).<br>
> > <br>
> > It doesn’t matter that much, but we need to make a decision. Can I<br>
> > please get some opinions from the rest of the committee on this point?<br>
> > <br>
> > Cheers,<br>
> > Joachim<br>
> > <br>
> > <br>
> > -- <br>
> > Joachim Breitner<br>
> >Â <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
> >Â <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</a><br>
> > <br>
> > <br>
> > _______________________________________________<br>
> > ghc-steering-committee mailing list<br>
> > <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> > <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
> <br>
> _______________________________________________<br>
> ghc-steering-committee mailing list<br>
> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
<br>
-- <br>
Joachim Breitner<br>
 <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
 <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</a><br>
<br>
<br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>