By "tokenizer" I mean anything that actually finds the real ends of
those binding identifiers, so that you don't stumble on false prefix
matches. It doesn't have to do more than that.

Reply via email to