<div dir="ltr"><div class="gmail_extra"><div><div class="gmail_signature"><div dir="ltr"><div><div>Dear Committee,</div></div><div><br></div><div>The <a href="https://github.com/ghc-proposals/ghc-proposals/pull/35">public discussion</a> for <a href="https://github.com/goldfirere/ghc-proposals/blob/unbanged-strict-patterns/proposals/0000-unbanged-strict-patterns.rst">this one</a> has happened, now for 4 weeks of committee discussion and final accept/reject.</div><div><br></div><div>In that public discussion, you can see on Jan 11 options broken down as (1),(2),(3), with this proposal being (1).  This seems to have stopped in a weird place where there was some substantial argument for (2) and (3) in the latter half of the comments, but the proposal is for (1).</div><div><br></div><div>Richard, one bit that threw me off was this:</div><div><br></div><div><i><span style="color:rgb(36,41,46);font-family:-apple-system,system-ui,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";font-size:14px">"we should require the bang even on bare variables, but that would break a lot of code I think."</span><br></i></div><div><br></div><div>Because that makes it seem like in spite of this cleaning-up proposal, GHC still has a basically inconsistent position on how to interpret variable-bindings of unlifted kind in patterns.</div><div><br></div><div>Discuss?</div><div><br></div><div>  -Ryan<br></div><div><br></div><div><br></div></div></div></div>
<br><div class="gmail_quote">On Tue, Jul 11, 2017 at 11:08 AM, Joachim Breitner <span dir="ltr"><<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>></span> wrote:<br><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>
it is by Richard, I just got the URL wrong. The right pull request is<br>
<a href="https://github.com/ghc-proposals/ghc-proposals/pull/35" rel="noreferrer" target="_blank">https://github.com/ghc-<wbr>proposals/ghc-proposals/pull/<wbr>35</a><br>
sorry for that.<br>
<br>
Using this thread is fine.<br>
<br>
Joachim<br>
<div class="gmail-HOEnZb"><div class="gmail-h5"><br>
Am Dienstag, den 11.07.2017, 10:58 -0400 schrieb Ryan Newton:<br>
> Just to clarify, this is proposed by a user "winterland".  I.e. not<br>
> Richard, right? In the process document it is the author that "brings<br>
> it before the committee" correct?<br>
><br>
> I checked and it looks like our process document does not specify the<br>
> means of our committee discussion.  I propose we discuss this one<br>
> right here on this thread, which we've already got sitting in our<br>
> inboxes.<br>
><br>
> Best,<br>
>   -Ryan<br>
><br>
><br>
> On Tue, Jul 11, 2017 at 2:58 AM, Joachim Breitner <mail@joachim-breit<br>
> <a href="http://ner.de" rel="noreferrer" target="_blank">ner.de</a>> wrote:<br>
> > Dear Committee,<br>
> ><br>
> > this is your secretary speaking:<br>
> ><br>
> > <a href="https://github.com/ghc-proposals/ghc-proposals/pull/45" rel="noreferrer" target="_blank">https://github.com/ghc-<wbr>proposals/ghc-proposals/pull/<wbr>45</a><br>
> > was brought before the committee, by our own Richard.<br>
> ><br>
> > I propose Ryan Newton as the Shepherd, just to rotate this role<br>
> > properly.<br>
> ><br>
> > Ryan, please reach consensus as described in<br>
> > <a href="https://github.com/ghc-proposals/ghc-proposals#committee-process" rel="noreferrer" target="_blank">https://github.com/ghc-<wbr>proposals/ghc-proposals#<wbr>committee-process</a><br>
> ><br>
> > I suggest you make a recommendation about the decision, maybe point<br>
> > out<br>
> > debatable points, and assume that anyone who stays quiet agrees<br>
> > with<br>
> > you.<br>
> ><br>
> ><br>
> > Greetings,<br>
> > Joachim<br>
> ><br>
> ><br>
> > --<br>
> > Joachim Breitner<br>
> >   <a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a><br>
> >   <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.<wbr>de/</a><br>
> ><br>
><br>
><br>
</div></div><span class="gmail-HOEnZb"><font color="#888888">--<br>
Joachim “nomeata” Breitner<br>
  <a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a> • <a href="https://www.joachim-breitner.de/" rel="noreferrer" target="_blank">https://www.joachim-breitner.<wbr>de/</a><br>
  XMPP: <a href="mailto:nomeata@joachim-breitner.de">nomeata@joachim-breitner.de</a> • OpenPGP-Key: 0xF0FBF51F<br>
  Debian Developer: <a href="mailto:nomeata@debian.org">nomeata@debian.org</a></font></span><br>______________________________<wbr>_________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@<wbr>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-<wbr>bin/mailman/listinfo/ghc-<wbr>steering-committee</a><br>
<br></blockquote></div><br></div></div>