<html><body><div dir="ltr">
Any further comments? Otherwise my plan is to write back to the authors next Wednesday with (C) as the outcome: reject the proposal, and direct the authors to proposal #327.</div><div dir="ltr"><br></div><div dir="ltr">Alejandro</div><div dir="ltr"><br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">El 17 dic 2021 21:14:20, Richard Eisenberg <<a href="mailto:lists@richarde.dev">lists@richarde.dev</a>> escribió:<br></div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex" type="cite">
<div><div><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></div><div style="word-wrap:break-word;line-break:after-white-space" class="">I vote C > B > A, where the further changes requested are to make this decision more locally than at the module level.<div class=""><br class=""></div><div class="">I will write more directly on the GitHub thread, because I actually think this proposal is essentially subsumed already.</div><div class=""><br class=""></div><div class="">Richard<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Dec 17, 2021, at 11:55 AM, Alejandro Serrano Mena <<a href="mailto:trupill@gmail.com" class="">trupill@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class=""><div dir="ltr" class="">
Thanks for your great summary, Arnaud!</div><div dir="ltr" class=""><br class=""></div><div dir="ltr" class="">These are the possible outcomes I see here: could you add your opinions / vote?</div><div dir="ltr" class=""><br class=""></div><div dir="ltr" class="">A. Accept the proposal as-is,</div><div dir="ltr" class="">B. Request further changes,</div><div dir="ltr" class="">C. Reject the proposal and direct the authors towards proposal #327.</div><div dir="ltr" class=""><br class=""></div><div dir="ltr" class="">Regards,</div><div dir="ltr" class="">Alejandro<br class=""><br class="">
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">El 17 dic 2021 14:35:22, "Spiwack, Arnaud" <<a href="mailto:arnaud.spiwack@tweag.io" class="">arnaud.spiwack@tweag.io</a>> escribió:<br class=""></div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex" type="cite">
<div dir="ltr" class=""><div class="markdown-here-wrapper" style=""><p style="margin:0px 0px 1.2em!important" class="">To recapitulate, this proposal remarks that GHC does a pre-pattern-matching-exhaustiveness check during the renaming phase to figure out how whether it needs to insert <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline" class="">fail</code> in do-notation statements of the form <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline" class="">C x1… xn <- u</code>. It notes that this precheck is heuristic, and decides whether a <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline" class="">MonadFail</code> constraint will be required during type checking. It argues that this is bad because you may end up being asked for a <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline" class="">MonadFail</code> constraint when you were careful to write an exhaustive pattern dependent on a GADT’s argument. And that it is a fundamental limitation of the current desugaring scheme.</p><p style="margin:0px 0px 1.2em!important" class="">All these observations look correct (and were validated, in the PR’s discussion by Sebastian Graf who is quite well-versed in the relevant parts of the code). The argument that it is a bad thing is relatable (heuristic in type checking are generally undesirable).</p><p style="margin:0px 0px 1.2em!important" class="">The proposal’s solution is to add an extension which would switch the desugaring of <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline" class="">C x1… xn <- u</code> statements to never use <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline" class="">fail</code> (instead throw an imprecise exception like regular <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline" class="">case</code> expressions). And have incomplete-pattern-matching warnings. Basically treating <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline" class=""><-</code> like a <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline" class="">let</code> in this context. I think.</p><p style="margin:0px 0px 1.2em!important" class="">The problem I see with this solution is that, while it can be argued that it would have been desirable to do just that at the inception of Haskell, it is quite unlikely that we can ever make this the default (considering how much code exists that rely on the current <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline" class="">fail</code>-based desugaring, and how hard it would be to track). So such an extension would remain as a switch forever. And I don’t find that it’s particularly worth it.</p>
<hr class=""><p style="margin:0px 0px 1.2em!important" class="">John Ericsson, who is one of the co-author of the proposal, also wrote a companion proposal <a href="https://github.com/ghc-proposals/ghc-proposals/pull/327" class="">https://github.com/ghc-proposals/ghc-proposals/pull/327</a><br class="">In this second proposal, he introduces a new statement form for the do notation: <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline" class="">case C x1 … xn <- u of { alts }</code>, such that</p>
<pre style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;font-size:1em;line-height:1.2em;margin:1.2em 0px" class=""><code class="language-haskell hljs" style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline;white-space:pre;overflow:auto;border-radius:3px;border:1px solid rgb(204,204,204);padding:0.5em 0.7em;display:block!important;display:block;overflow-x:auto;padding:0.5em;color:rgb(51,51,51);background:rgb(248,248,248) none repeat scroll 0% 0%"><span class="hljs-title" style="color:rgb(153,0,0);font-weight:bold">do</span>
{ <span class="hljs-keyword" style="color:rgb(51,51,51);font-weight:bold">case</span> <span class="hljs-type" style="color:rgb(68,85,136);font-weight:bold">C</span> x1 … xn <- u <span class="hljs-keyword" style="color:rgb(51,51,51);font-weight:bold">of</span> { alts }
; stmts }
</code></pre><p style="margin:0px 0px 1.2em!important" class="">desugars to</p>
<pre style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;font-size:1em;line-height:1.2em;margin:1.2em 0px" class=""><code class="language-haskell hljs" style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline;white-space:pre;overflow:auto;border-radius:3px;border:1px solid rgb(204,204,204);padding:0.5em 0.7em;display:block!important;display:block;overflow-x:auto;padding:0.5em;color:rgb(51,51,51);background:rgb(248,248,248) none repeat scroll 0% 0%"><span class="hljs-title" style="color:rgb(153,0,0);font-weight:bold">do</span>
<span class="hljs-keyword" style="color:rgb(51,51,51);font-weight:bold">case</span> u <span class="hljs-keyword" style="color:rgb(51,51,51);font-weight:bold">of</span>
{ <span class="hljs-type" style="color:rgb(68,85,136);font-weight:bold">C</span> x1 … xn -> <span class="hljs-keyword" style="color:rgb(51,51,51);font-weight:bold">do</span> { stmts }
; alts }
</code></pre><p style="margin:0px 0px 1.2em!important" class="">The proposal is still marked as WIP, but the general idea is reasonable. This is intended as a replacement of the <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline" class="">fail</code> desugaring, by inserting <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline" class="">fail</code> (or whatever you see fit) manually: <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline" class="">case C x1 … xn <- u of { _ -> fail }</code>.</p><p style="margin:0px 0px 1.2em!important" class="">But, from my point of view, this proposal could just as well serve as a replacement of the NoFailibleDo proposal being discussed in this thread. Since you could force a fail-free pattern-matching as <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline" class="">case C x1 … xn <- u of {}</code>.</p><p style="margin:0px 0px 1.2em!important" class="">I personally find this direction much more compelling.</p><p style="margin:0px 0px 1.2em!important" class="">/Arnaud</p>
<div title="MDH:PGRpdiBkaXI9Imx0ciI+PGRpdj5UbyByZWNhcGl0dWxhdGUsIHRoaXMgcHJvcG9zYWwgcmVtYXJr
cyB0aGF0IEdIQyBkb2VzIGEgcHJlLXBhdHRlcm4tbWF0Y2hpbmctZXhoYXVzdGl2ZW5lc3MgY2hl
Y2sgZHVyaW5nIHRoZSByZW5hbWluZyBwaGFzZSB0byBmaWd1cmUgb3V0IGhvdyB3aGV0aGVyIGl0
IG5lZWRzIHRvIGluc2VydCBgZmFpbGAgaW4gZG8tbm90YXRpb24gc3RhdGVtZW50cyBvZiB0aGUg
Zm9ybSBgQyB4MeKApiB4biAmbHQ7LSB1YC4gSXQgbm90ZXMgdGhhdCB0aGlzIHByZWNoZWNrIGlz
IGhldXJpc3RpYywgYW5kIGRlY2lkZXMgd2hldGhlciBhIGBNb25hZEZhaWxgIGNvbnN0cmFpbnQg
d2lsbCBiZSByZXF1aXJlZCBkdXJpbmcgdHlwZSBjaGVja2luZy4gSXQgYXJndWVzIHRoYXQgdGhp
cyBpcyBiYWQgYmVjYXVzZSB5b3UgbWF5IGVuZCB1cCBiZWluZyBhc2tlZCBmb3IgYSBgTW9uYWRG
YWlsYCBjb25zdHJhaW50IHdoZW4geW91IHdlcmUgY2FyZWZ1bCB0byB3cml0ZSBhbiBleGhhdXN0
aXZlIHBhdHRlcm4gZGVwZW5kZW50IG9uIGEgR0FEVCdzIGFyZ3VtZW50LiBBbmQgdGhhdCBpdCBp
cyBhIGZ1bmRhbWVudGFsIGxpbWl0YXRpb24gb2YgdGhlIGN1cnJlbnQgZGVzdWdhcmluZyBzY2hl
bWUuPC9kaXY+PGRpdj48YnI+PC9kaXY+PGRpdj5BbGwgdGhlc2Ugb2JzZXJ2YXRpb25zIGxvb2sg
Y29ycmVjdCAoYW5kIHdlcmUgdmFsaWRhdGVkLCBpbiB0aGUgUFIncyBkaXNjdXNzaW9uIGJ5IFNl
YmFzdGlhbiBHcmFmIHdobyBpcyBxdWl0ZSB3ZWxsLXZlcnNlZCBpbiB0aGUgcmVsZXZhbnQgcGFy
dHMgb2YgdGhlIGNvZGUpLiBUaGUgYXJndW1lbnQgdGhhdCBpdCBpcyBhIGJhZCB0aGluZyBpcyBy
ZWxhdGFibGUgKGhldXJpc3RpYyBpbiB0eXBlIGNoZWNraW5nIGFyZSBnZW5lcmFsbHkgdW5kZXNp
cmFibGUpLjwvZGl2PjxkaXY+PGJyPjwvZGl2PjxkaXY+VGhlIHByb3Bvc2FsJ3Mgc29sdXRpb24g
aXMgdG8gYWRkIGFuIGV4dGVuc2lvbiB3aGljaCB3b3VsZCBzd2l0Y2ggdGhlIGRlc3VnYXJpbmcg
b2YgYEMgeDHigKYgeG4gJmx0Oy0gdWAgc3RhdGVtZW50cyB0byBuZXZlciB1c2UgYGZhaWxgIChp
bnN0ZWFkIHRocm93IGFuIGltcHJlY2lzZSBleGNlcHRpb24gbGlrZSByZWd1bGFyIGBjYXNlYCBl
eHByZXNzaW9ucykuIEFuZCBoYXZlIGluY29tcGxldGUtcGF0dGVybi1tYXRjaGluZyB3YXJuaW5n
cy4gQmFzaWNhbGx5IHRyZWF0aW5nIGAmbHQ7LWAgbGlrZSBhIGBsZXRgIGluIHRoaXMgY29udGV4
dC4gSSB0aGluay48L2Rpdj48ZGl2Pjxicj48L2Rpdj48ZGl2PlRoZSBwcm9ibGVtIEkgc2VlIHdp
dGggdGhpcyBzb2x1dGlvbiBpcyB0aGF0LCB3aGlsZSBpdCBjYW4gYmUgYXJndWVkIHRoYXQgaXQg
d291bGQgaGF2ZSBiZWVuIGRlc2lyYWJsZSB0byBkbyBqdXN0IHRoYXQgYXQgdGhlIGluY2VwdGlv
biBvZiBIYXNrZWxsLCBpdCBpcyBxdWl0ZSB1bmxpa2VseSB0aGF0IHdlIGNhbiBldmVyIG1ha2Ug
dGhpcyB0aGUgZGVmYXVsdCAoY29uc2lkZXJpbmcgaG93IG11Y2ggY29kZSBleGlzdHMgdGhhdCBy
ZWx5IG9uIHRoZSBjdXJyZW50IGBmYWlsYC1iYXNlZCBkZXN1Z2FyaW5nLCBhbmQgaG93IGhhcmQg
aXQgd291bGQgYmUgdG8gdHJhY2spLiBTbyBzdWNoIGFuIGV4dGVuc2lvbiB3b3VsZCByZW1haW4g
YXMgYSBzd2l0Y2ggZm9yZXZlci4gQW5kIEkgZG9uJ3QgZmluZCB0aGF0IGl0J3MgcGFydGljdWxh
cmx5IHdvcnRoIGl0LjwvZGl2PjxkaXY+PGJyPjwvZGl2PjxkaXY+LS0tPGJyPjwvZGl2PjxkaXY+
PGJyPjwvZGl2PjxkaXY+Sm9obiBFcmljc3Nvbiwgd2hvIGlzIG9uZSBvZiB0aGUgY28tYXV0aG9y
IG9mIHRoZSBwcm9wb3NhbCwgYWxzbyB3cm90ZSBhIGNvbXBhbmlvbiBwcm9wb3NhbCBodHRwczov
L2dpdGh1Yi5jb20vZ2hjLXByb3Bvc2Fscy9naGMtcHJvcG9zYWxzL3B1bGwvMzI3PC9kaXY+PGRp
dj5JbiB0aGlzIHNlY29uZCBwcm9wb3NhbCwgaGUgaW50cm9kdWNlcyBhIG5ldyBzdGF0ZW1lbnQg
Zm9ybSBmb3IgdGhlIGRvIG5vdGF0aW9uOiBgY2FzZSBDIHgxIOKApiB4biAmbHQ7LSB1IG9mIHsg
YWx0cyB9YCwgc3VjaCB0aGF0PC9kaXY+PGRpdj48YnI+PC9kaXY+PGRpdj5gYGBoYXNrZWxsPC9k
aXY+PGRpdj5kbzwvZGl2PjxkaXY+Jm5ic3A7IHsgY2FzZSBDIHgxIOKApiB4biAmbHQ7LSB1IG9m
IHsgYWx0cyB9PC9kaXY+PGRpdj4mbmJzcDsgOyBzdG10cyB9PC9kaXY+PGRpdj5gYGA8L2Rpdj48
ZGl2Pjxicj48L2Rpdj48ZGl2PmRlc3VnYXJzIHRvPC9kaXY+PGRpdj48YnI+PC9kaXY+PGRpdj5g
YGBoYXNrZWxsPC9kaXY+PGRpdj5kbzwvZGl2PjxkaXY+Jm5ic3A7IGNhc2UgdSBvZjwvZGl2Pjxk
aXY+Jm5ic3A7IHsgQyB4MSDigKYgeG4gLSZndDsgZG8geyBzdG10cyB9PC9kaXY+PGRpdj4mbmJz
cDsgOyBhbHRzIH08L2Rpdj48ZGl2PmBgYDwvZGl2PjxkaXY+PGJyPjwvZGl2PjxkaXY+VGhlIHBy
b3Bvc2FsIGlzIHN0aWxsIG1hcmtlZCBhcyBXSVAsIGJ1dCB0aGUgZ2VuZXJhbCBpZGVhIGlzIHJl
YXNvbmFibGUuIFRoaXMgaXMgaW50ZW5kZWQgYXMgYSByZXBsYWNlbWVudCBvZiB0aGUgYGZhaWxg
IGRlc3VnYXJpbmcsIGJ5IGluc2VydGluZyBgZmFpbGAgKG9yIHdoYXRldmVyIHlvdSBzZWUgZml0
KSBtYW51YWxseTogYGNhc2UgQyB4MSDigKYgeG4gJmx0Oy0gdSBvZiB7IF8gLSZndDsgZmFpbCB9
YC48L2Rpdj48ZGl2Pjxicj48L2Rpdj48ZGl2PkJ1dCwgZnJvbSBteSBwb2ludCBvZiB2aWV3LCB0
aGlzIHByb3Bvc2FsIGNvdWxkIGp1c3QgYXMgd2VsbCBzZXJ2ZSBhcyBhIHJlcGxhY2VtZW50IG9m
IHRoZSBOb0ZhaWxpYmxlRG8gcHJvcG9zYWwgYmVpbmcgZGlzY3Vzc2VkIGluIHRoaXMgdGhyZWFk
LiBTaW5jZSB5b3UgY291bGQgZm9yY2UgYSBmYWlsLWZyZWUgcGF0dGVybi1tYXRjaGluZyBhcyBg
Y2FzZSBDIHgxIOKApiB4biAmbHQ7LSB1IG9mIHt9YC48L2Rpdj48ZGl2Pjxicj48L2Rpdj48ZGl2
PkkgcGVyc29uYWxseSBmaW5kIHRoaXMgZGlyZWN0aW9uIG11Y2ggbW9yZSBjb21wZWxsaW5nLjwv
ZGl2PjxkaXY+PGJyPjwvZGl2PjxkaXY+L0FybmF1ZDxicj48L2Rpdj48L2Rpdj4=" style="height:0;width:0;max-height:0;max-width:0;overflow:hidden;font-size:0em;padding:0;margin:0" class=""></div></div></div><br class=""><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Dec 17, 2021 at 10:48 AM Alejandro Serrano Mena <<a href="mailto:trupill@gmail.com" class="">trupill@gmail.com</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class=""><div dir="ltr" class="">
Dear all,</div><div dir="ltr" class="">I missed it back then, but the authors of the “NoFallibleDo” proposal have re-submitted to the Committee.<br class=""></div><div dir="ltr" class=""><br class=""></div><div dir="ltr" class="">It seems though that we are still in some form of impasse, without leaning towards acceptance or rejection. From the discussion, I think that the feeling is that this is a desirable feature, but there are different opinions about whether this should be per-module or per-block. It would be great if all of us would discuss this matter (either here or in the GitHub thread) and try to come to a conclusion (or ultimately cast a vote to decide).</div><div dir="ltr" class=""><br class=""></div><div dir="ltr" class="">The proposal itself is about being able to tweak whether an incomplete pattern match in a ‘do’ block generates a call to ‘fail’ — as it does now, leading to an additional MonadFail constraint — or works as any other pattern match — leading to a PatternMatchFail exception when a non-matching value comes there.</div><div dir="ltr" class=""><br class=""></div><div dir="ltr" class="">Once again, I would love to hear your opinions :)</div><div dir="ltr" class=""><br class=""></div><div dir="ltr" class="">Regards,</div><div dir="ltr" class="">Alejandro</div><div dir="ltr" class=""><br class=""><br class="">
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">El 23 jul 2021 13:40:26, Alejandro Serrano Mena <<a href="mailto:trupill@gmail.com" target="_blank" class="">trupill@gmail.com</a>> escribió:<br class=""></div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex" type="cite">
<div class=""><div class=""><div dir="ltr" class="">
I’ve been made aware that the “NoFallibleDo” proposal has been re-submitted to the Committee. My current recommendation is “reject”, as outlined in the following comment <a href="https://github.com/ghc-proposals/ghc-proposals/pull/319#issuecomment-885580010" target="_blank" class="">https://github.com/ghc-proposals/ghc-proposals/pull/319#issuecomment-885580010</a> (TL;DR, you’d often like to enable this for a particular “do” block, not for an entire file).</div><div dir="ltr" class=""><br class=""></div><div dir="ltr" class="">Regards,</div><div dir="ltr" class="">Alejandro</div><div dir="ltr" class=""><br class=""><br class="">
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">El 28 jul 2020 11:33:02, Alejandro Serrano Mena <<a href="mailto:trupill@gmail.com" target="_blank" class="">trupill@gmail.com</a>> escribió:<br class=""></div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div dir="ltr" class=""><div class="">Done. Once again, sorry for the confusion.</div><div class=""><br class=""></div><div class="">Alejandro<br class=""></div></div><br class=""><div class="gmail_quote"><div dir="ltr" class="gmail_attr">El mar., 28 jul. 2020 a las 11:30, Simon Peyton Jones (<<a href="mailto:simonpj@microsoft.com" target="_blank" class="">simonpj@microsoft.com</a>>) escribió:<br class=""></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div lang="EN-GB" class="">
<div class=""><p class="MsoNormal"><span class="">OK, so to summarise<u class=""></u><u class=""></u></span></p>
<ul style="margin-top:0cm" type="disc" class="">
<li style="margin-left:0cm" class=""><span class="">We are waiting for the author<u class=""></u><u class=""></u></span></li><li style="margin-left:0cm" class=""><span class="">You are encouraging us to comment anyway<u class=""></u><u class=""></u></span></li></ul><p class="MsoNormal"><span class=""><br class="">
Correct? Does the author know this? Why encourage only us? Maybe post on Github to clarify the status, and encourage everyone to contribute.<u class=""></u><u class=""></u></span></p><p class="MsoNormal"><span class=""><u class=""></u> <u class=""></u></span></p><p class="MsoNormal"><span class="">S<u class=""></u><u class=""></u></span></p><p class="MsoNormal"><span class=""><u class=""></u> <u class=""></u></span></p>
<div style="border-color:currentcolor currentcolor currentcolor blue;border-style:none none none solid;border-width:medium medium medium 1.5pt;padding:0cm 0cm 0cm 4pt" class="">
<div class="">
<div style="border-color:rgb(225,225,225) currentcolor currentcolor;border-style:solid none none;border-width:1pt medium medium;padding:3pt 0cm 0cm" class=""><p class="MsoNormal"><b class=""><span lang="EN-US" class="">From:</span></b><span lang="EN-US" class=""> Alejandro Serrano Mena <<a href="mailto:trupill@gmail.com" target="_blank" class="">trupill@gmail.com</a>>
<br class="">
<b class="">Sent:</b> 28 July 2020 10:25<br class="">
<b class="">To:</b> Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com" target="_blank" class="">simonpj@microsoft.com</a>><br class="">
<b class="">Cc:</b> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank" class="">ghc-steering-committee@haskell.org</a><br class="">
<b class="">Subject:</b> Re: [ghc-steering-committee] Please review #319: NoFallibleDo proposal, Shepherd: Eric Seidel<u class=""></u><u class=""></u></span></p>
</div>
</div><p class="MsoNormal"><u class=""></u> <u class=""></u></p>
<div class="">
<div class=""><p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
I mean the last status, push back to the author for revision.<u class=""></u><u class=""></u></p>
</div>
<div class=""><p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
<u class=""></u> <u class=""></u></p>
</div>
<div class=""><p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
Alejandro<u class=""></u><u class=""></u></p>
</div>
</div><p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
<u class=""></u> <u class=""></u></p>
<div class="">
<div class=""><p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
El mar., 28 jul. 2020 a las 11:24, Simon Peyton Jones (<<a href="mailto:simonpj@microsoft.com" target="_blank" class="">simonpj@microsoft.com</a>>) escribió:<u class=""></u><u class=""></u></p>
</div>
<blockquote style="border-color:currentcolor currentcolor currentcolor rgb(204,204,204);border-style:none none none solid;border-width:medium medium medium 1pt;padding:0cm 0cm 0cm 6pt;margin-left:4.8pt;margin-right:0cm" class="">
<div class="">
<div class=""><p class="MsoNormal">So I’m still confused. “We went back to GIthub”… does that mean that we invited the author to revise and resubmit? I don’t know what else “back to github” means.<u class=""></u><u class=""></u></p><p class="MsoNormal"> <u class=""></u><u class=""></u></p><p class="MsoNormal">If it’s in committee-decision status, then our process says should either accept, reject, or push back to the author for revision, in a timely way (guided by the shepherd)<u class=""></u><u class=""></u></p><p class="MsoNormal"> <u class=""></u><u class=""></u></p><p class="MsoNormal">Simon<u class=""></u><u class=""></u></p><p class="MsoNormal"> <u class=""></u><u class=""></u></p>
<div style="border-style:none solid none none;border-width:medium 1.5pt medium medium;padding:0cm;border-color:currentcolor blue currentcolor currentcolor" class="">
<div class="">
<div style="border-style:solid none none;border-width:1pt medium medium;padding:3pt 0cm 0cm;border-color:currentcolor" class=""><p class="MsoNormal"><b class=""><span lang="EN-US" class="">From:</span></b><span lang="EN-US" class=""> Alejandro Serrano Mena <<a href="mailto:trupill@gmail.com" target="_blank" class="">trupill@gmail.com</a>>
<br class="">
<b class="">Sent:</b> 28 July 2020 10:22<br class="">
<b class="">To:</b> Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com" target="_blank" class="">simonpj@microsoft.com</a>><br class="">
<b class="">Cc:</b> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank" class="">ghc-steering-committee@haskell.org</a><br class="">
<b class="">Subject:</b> Re: [ghc-steering-committee] Please review #319: NoFallibleDo proposal, Shepherd: Eric Seidel</span><u class=""></u><u class=""></u></p>
</div>
</div><p class="MsoNormal"> <u class=""></u><u class=""></u></p>
<div class="">
<div class=""><p class="MsoNormal" style="margin-bottom:6pt">Eric was initially in charge, but I took over his duties. He thought that a bit more discussion was needed, something I agree with, so we went back to GitHub.<u class=""></u><u class=""></u></p>
</div>
<div class=""><p class="MsoNormal" style="margin-bottom:6pt"> <u class=""></u><u class=""></u></p>
</div>
<div class=""><p class="MsoNormal" style="margin-bottom:6pt">Sorry about the stale status, I feel that my back-and-forth was not very clear.<u class=""></u><u class=""></u></p>
</div>
<div class=""><p class="MsoNormal" style="margin-bottom:6pt"> <u class=""></u><u class=""></u></p>
</div>
<div class=""><p class="MsoNormal" style="margin-bottom:6pt">Alejandro<u class=""></u><u class=""></u></p>
</div>
</div><p class="MsoNormal" style="margin-bottom:6pt"> <u class=""></u><u class=""></u></p>
<div class="">
<div class=""><p class="MsoNormal" style="margin-bottom:6pt">El mar., 28 jul. 2020 a las 11:17, Simon Peyton Jones (<<a href="mailto:simonpj@microsoft.com" target="_blank" class="">simonpj@microsoft.com</a>>) escribió:<u class=""></u><u class=""></u></p>
</div>
<blockquote style="border-style:none solid none none;border-width:medium 1pt medium medium;padding:0cm;margin:5pt 0cm 5pt 4.8pt;border-color:currentcolor rgb(204,204,204) currentcolor currentcolor" class="">
<div class="">
<div class=""><p class="MsoNormal">Alejandro, this one hasn’t been on my radar.<u class=""></u><u class=""></u></p><p class="MsoNormal"> <u class=""></u><u class=""></u></p><p class="MsoNormal">Are you the shepherd? Have you made a recommendation? Is the proposal in its final form -- ie having absorbed all discussion etc?<u class=""></u><u class=""></u></p><p class="MsoNormal"> <u class=""></u><u class=""></u></p><p class="MsoNormal">Simon<u class=""></u><u class=""></u></p><p class="MsoNormal"> <u class=""></u><u class=""></u></p>
<div style="border-style:none none none solid;border-width:medium medium medium 1.5pt;padding:0cm;border-color:currentcolor blue currentcolor currentcolor" class="">
<div class="">
<div style="border-style:solid none none;border-width:1pt medium medium;padding:3pt 0cm 0cm;border-color:currentcolor" class=""><p class="MsoNormal"><b class=""><span lang="EN-US" class="">From:</span></b><span lang="EN-US" class=""> ghc-steering-committee <<a href="mailto:ghc-steering-committee-bounces@haskell.org" target="_blank" class="">ghc-steering-committee-bounces@haskell.org</a>>
<b class="">On Behalf Of </b>Alejandro Serrano Mena<br class="">
<b class="">Sent:</b> 28 July 2020 09:22<br class="">
<b class="">To:</b> Joachim Breitner <<a href="mailto:mail@joachim-breitner.de" target="_blank" class="">mail@joachim-breitner.de</a>><br class="">
<b class="">Cc:</b> ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org" target="_blank" class="">ghc-steering-committee@haskell.org</a>><br class="">
<b class="">Subject:</b> Re: [ghc-steering-committee] Please review #319: NoFallibleDo proposal, Shepherd: Eric Seidel</span><u class=""></u><u class=""></u></p>
</div>
</div><p class="MsoNormal"> <u class=""></u><u class=""></u></p>
<div class="">
<div class=""><p class="MsoNormal" style="margin-bottom:6pt">Dear Committee,<u class=""></u><u class=""></u></p>
</div>
<div class=""><p class="MsoNormal" style="margin-bottom:6pt">I would like to kindly ask for your input in the NoFallibleDo proposal ->
<a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F319&data=02%7C01%7Csimonpj%40microsoft.com%7C250fdb186a4a41772fe908d832d82b6c%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637315251305340206&sdata=DHvjx8qWwjNaa9jn1mdfyBBOqMLJAXdozi3otokRKbk%3D&reserved=0" target="_blank" class="">
https://github.com/ghc-proposals/ghc-proposals/pull/319</a><u class=""></u><u class=""></u></p>
</div>
<div class=""><p class="MsoNormal" style="margin-bottom:6pt">This was submitted, then there was some discussion, but the conversation has stalled.<u class=""></u><u class=""></u></p>
</div>
<div class=""><p class="MsoNormal" style="margin-bottom:6pt"> <u class=""></u><u class=""></u></p>
</div>
<div class=""><p class="MsoNormal" style="margin-bottom:6pt">Regards,<u class=""></u><u class=""></u></p>
</div>
<div class=""><p class="MsoNormal" style="margin-bottom:6pt">Alejandro<u class=""></u><u class=""></u></p>
</div>
</div><p class="MsoNormal" style="margin-bottom:6pt"> <u class=""></u><u class=""></u></p>
<div class="">
<div class=""><p class="MsoNormal" style="margin-bottom:6pt">El jue., 14 may. 2020 a las 17:30, Alejandro Serrano Mena (<<a href="mailto:trupill@gmail.com" target="_blank" class="">trupill@gmail.com</a>>) escribió:<u class=""></u><u class=""></u></p>
</div>
<blockquote style="border-style:none none none solid;border-width:medium medium medium 1pt;padding:0cm;margin:5pt 0cm 5pt 4.8pt;border-color:currentcolor rgb(204,204,204) currentcolor currentcolor" class="">
<div class="">
<div class=""><p class="MsoNormal" style="margin-bottom:6pt">@Eric congratulations! enjoy! :)<u class=""></u><u class=""></u></p>
</div>
<div class=""><p class="MsoNormal" style="margin-bottom:6pt"> <u class=""></u><u class=""></u></p>
</div>
<div class=""><p class="MsoNormal" style="margin-bottom:6pt">@Joachim I can take care of this, I think the direction Eric was pushing this is a good one.<u class=""></u><u class=""></u></p>
</div>
</div><p class="MsoNormal" style="margin-bottom:6pt"> <u class=""></u><u class=""></u></p>
<div class="">
<div class=""><p class="MsoNormal" style="margin-bottom:6pt">El jue., 14 may. 2020 a las 12:16, Joachim Breitner (<<a href="mailto:mail@joachim-breitner.de" target="_blank" class="">mail@joachim-breitner.de</a>>) escribió:<u class=""></u><u class=""></u></p>
</div>
<blockquote style="border-style:none none none solid;border-width:medium medium medium 1pt;padding:0cm;margin:5pt 0cm 5pt 4.8pt;border-color:currentcolor rgb(204,204,204) currentcolor currentcolor" class=""><p class="MsoNormal" style="margin-bottom:6pt">Hi,<br class="">
<br class="">
Am Mittwoch, den 13.05.2020, 15:19 -0500 schrieb Eric Seidel:<br class="">
> My wife and I just checked into the hospital to have our second child<br class="">
<br class="">
Congrats, and all the best!<br class="">
<br class="">
> , so I’m going to be short on time for committee duties for a few<br class="">
> weeks. I think it would be best to reassign this proposal so we don’t<br class="">
> keep the authors waiting. <br class="">
<br class="">
Any volunteers?<br class="">
<br class="">
Cheers,<br class="">
Joachim<br class="">
-- <br class="">
Joachim Breitner<br class="">
<a href="mailto:mail@joachim-breitner.de" target="_blank" class="">mail@joachim-breitner.de</a><br class="">
<a href="https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=02%7C01%7Csimonpj%40microsoft.com%7C250fdb186a4a41772fe908d832d82b6c%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637315251305340206&sdata=Xf0HrXmVOPpftJaGUUXQo2ztLCjz1sRhN4nJPP%2Fbshg%3D&reserved=0" target="_blank" class="">
http://www.joachim-breitner.de/</a><br class="">
<br class="">
<br class="">
_______________________________________________<br class="">
ghc-steering-committee mailing list<br class="">
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank" class="">ghc-steering-committee@haskell.org</a><br class="">
<a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&data=02%7C01%7Csimonpj%40microsoft.com%7C250fdb186a4a41772fe908d832d82b6c%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637315251305350196&sdata=P2ISFU6yTiEJkwsF0HmSiGnKUKZCJ0CpLOhGZkDLBpI%3D&reserved=0" target="_blank" class="">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><u class=""></u><u class=""></u></p>
</blockquote>
</div>
</blockquote>
</div>
</div>
</div>
</div>
</blockquote>
</div>
</div>
</div>
</div>
</blockquote>
</div>
</div>
</div>
</div>
</blockquote></div>
</blockquote>
</div>
</div></div></div>
</blockquote>
</div>
</div></div>
_______________________________________________<br class="">
ghc-steering-committee mailing list<br class="">
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank" class="">ghc-steering-committee@haskell.org</a><br class="">
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank" class="">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br class="">
</blockquote></div>
</blockquote>
</div>
</div></div>
_______________________________________________<br class="">ghc-steering-committee mailing list<br class=""><a href="mailto:ghc-steering-committee@haskell.org" class="">ghc-steering-committee@haskell.org</a><br class=""><a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br class=""></div></blockquote></div><br class=""></div></div></div>
</blockquote>
</div>
</div></body></html>