> a strawman that the rules _must_ be evaluated in a specific order. I'm not the one who wrote "literals have to be evaluated before names". > rules are not e

> a strawman that the rules _must_ be evaluated in a specific order. I'm not the one who wrote "literals have to be evaluated before names". > rules are not evaluated concurrently Strawman yourself. I didn't say they were evaluated concurrently, I said that your claim that they can't be evaluated concurrently was wrong. They could be, because they are disjoint, and regardless of order only one of them can match at input starting with a '0' character. Anyway, I'm done here.