<!DOCTYPE html><html><head><title></title><style type="text/css">p.MsoNormal,p.MsoNoSpacing{margin:0}</style></head><body><div>No issues. It's right thing to do. Just grepped my code and found that all "(a && b) || c" combinations are already written with parens.<br></div><div><br></div><div>On Fri, May 15, 2020, at 21:47, Adam Chlipala wrote:<br></div><blockquote type="cite" id="qt" style=""><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">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></div><div>Ur mailing list<br></div><div><a href="mailto:Ur@impredicative.com">Ur@impredicative.com</a><br></div><div><a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br></div><div><br></div></blockquote><div><br></div></body></html>