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

[Ace]

Strongly agree with this change

On Fri, May 15, 2020, 11:59 Ziv Scully <zivscully at gmail.com> wrote:

> 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
>>
> _______________________________________________
> 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/054b2bfe/attachment.html>