<div dir="auto">Strongly agree with this change</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, May 15, 2020, 11:59 Ziv Scully <<a href="mailto:zivscully@gmail.com" target="_blank" rel="noreferrer">zivscully@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Strong vote in favor of this change. (In Ur/Web code I've written, this change would either be a no-op or fix bugs that I have just learned exist!)</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, May 15, 2020 at 2:48 PM Adam Chlipala <<a href="mailto:adamc@csail.mit.edu" rel="noreferrer noreferrer" target="_blank">adamc@csail.mit.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">
<div>
<p>Way back when, in Ur/Web's grammar, I apparently gave these two
quintessential Boolean operators different relative precedences,
compared to other widely used languages, as has been <a href="https://github.com/urweb/urweb/issues/202" rel="noreferrer noreferrer" target="_blank">pointed out</a>.
Would anyone object to swapping them? It's entirely possible that
there has not yet been written an Ur/Web program that would parse
differently depending on this choice, but it seems worth checking
for strong opinions. A week from posting this message, I'll
consider it safe to take the proposed action, if no one has
complained.<br>
</p>
</div>
_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" rel="noreferrer noreferrer" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer noreferrer noreferrer" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
</blockquote></div>
_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" rel="noreferrer noreferrer" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer noreferrer noreferrer" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
</blockquote></div>