<div dir="ltr">I'm good too.<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, 30 Sept 2023 at 19:33, Eric Seidel <<a href="mailto:eric@seidel.io">eric@seidel.io</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">I'm happy with this change.<br>
<br>
On Fri, Sep 29, 2023, at 08:46, Moritz Angermann wrote:<br>
> Sounds good to me. <br>
><br>
> On Fri, 29 Sep 2023 at 7:47 PM, Chris Dornan <<a href="mailto:chris@chrisdornan.com" target="_blank">chris@chrisdornan.com</a>> wrote:<br>
>> All,<br>
>> <br>
>> This proposal has now been revised to make it non-disruptive. <br>
>> <br>
>> That was the only issue of substance that surfaced in our discussion and I recommend that we accept this revised proposal.<br>
>> <br>
>> Chris<br>
>> <br>
>> <br>
>>> On 8 Sep 2023, at 11:57, Chris Dornan <<a href="mailto:chris@chrisdornan.com" target="_blank">chris@chrisdornan.com</a>> wrote:<br>
>>> <br>
>>> Proposal: Amend or patterns (#522) to use p1 ; p2 (#609)<br>
>>> Author: Sebastian Graf, David Knothe<br>
>>> Rendered proposal: <a href="https://github.com/ghc-proposals/ghc-proposals/blob/eb4b67c29282520b2c5c6a49c3047dbecb15dde1/proposals/0522-or-patterns.rst" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/blob/eb4b67c29282520b2c5c6a49c3047dbecb15dde1/proposals/0522-or-patterns.rst</a><br>
>>> Discussion: <a href="https://github.com/ghc-proposals/ghc-proposals/pull/609" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/609</a><br>
>>> Recommendation: Acceptance<br>
>>> <br>
>>> ## Summary<br>
>>> <br>
>>> This proposal refines the syntax of an already accpted proposal (#522) for writing or patterns.<br>
>>> <br>
>>> The syntax of the old proposal,<br>
>>> <br>
>>> ```haskell<br>
>>> stringOfT :: T -> Maybe String<br>
>>> stringOfT (T1 s) = Just s<br>
>>> stringOfT (one of T2{}, T3{}) = Nothing<br>
>>> ```<br>
>>> <br>
>>> is replaced with<br>
>>> <br>
>>> ```haskell<br>
>>> stringOfT :: T -> Maybe String<br>
>>> stringOfT (T1 s) = Just s<br>
>>> stringOfT (T2{}; T3{}) = Nothing<br>
>>> ```<br>
>>> <br>
>>> or indeed<br>
>>> <br>
>>> ```haskell<br>
>>> stringOfT :: T -> Maybe String<br>
>>> stringOfT x = case x of<br>
>>> T1 s -> Just s<br>
>>> T2{}<br>
>>> T3{} -> Nothing<br>
>>> ```<br>
>>> <br>
>>> (Beacuse the '(' ... ')' are optional here, we can remove them and naturally exploit layout.)<br>
>>> <br>
>>> The authors have conducted polls to see what folks preferred, landing on this proposal. The<br>
>>> adjustments to the Haskell grammar are really quite minimal requiring one extra production.<br>
>>> <br>
>>> ## Recommendation<br>
>>> <br>
>>> The proposal is nondiruptive and as a whole addresses an important practical topic. I recommend<br>
>>> that we accept it<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>
> 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>
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><br clear="all"><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature"><div dir="ltr">Arnaud Spiwack<br>Director, Research at <a href="https://moduscreate.com" rel="noopener noreferrer" target="_blank">https://moduscreate.com</a> and <a href="https://tweag.io" rel="noopener noreferrer" target="_blank">https://tweag.io</a>.</div></div>