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