[Ur] Change grammar to swap precedence of "&&" and "||"?

[Vladimir Shabanov]

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.

On Fri, May 15, 2020, at 21:47, Adam Chlipala wrote:
> 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 pointed out <https://github.com/urweb/urweb/issues/202>. 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.

> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
> 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20200516/e0b5c09d/attachment.html>