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

[Ziv Scully]

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!)

On Fri, May 15, 2020 at 2:48 PM Adam Chlipala <adamc at csail.mit.edu> 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/20200515/de5cf14d/attachment.html>