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

[Adam Chlipala]

OK, it is now changed!

On 5/15/20 2:47 PM, 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.
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20200522/4329a29a/attachment.html>