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

[Simon Van Casteren]

All good. I mostly write this stuff with parentheses anyway.

Op za 16 mei 2020 om 01:08 schreef Ace <sheganinans at gmail.com>:

> 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
>>
> _______________________________________________
> 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/f5130bba/attachment-0001.html>