All good. I mostly write this stuff with parentheses anyway. Op za 16 mei 2020 om 01:08 schreef Ace <sheganin...@gmail.com>:
> Strongly agree with this change > > On Fri, May 15, 2020, 11:59 Ziv Scully <zivscu...@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 <ad...@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@impredicative.com >>> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >>> >> _______________________________________________ >> Ur mailing list >> Ur@impredicative.com >> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >> > _______________________________________________ > Ur mailing list > Ur@impredicative.com > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >
_______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
