OK, it is now changed! On 5/15/20 2:47 PM, Adam Chlipala 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
