On 3/25/18 10:22 AM, Johannes Pfau wrote:
I don't really understand why you want to this keep lexical order
functionality.

I don't want. I think others will, once their programs depending on the current semantics will have trouble.

Reply via email to