<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">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" 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" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
</blockquote></div>