Strongly agree with this change On Fri, May 15, 2020, 11:59 Ziv Scully <[email protected]> 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 <[email protected]> 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 >> [email protected] >> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >> > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
