Open ruv opened 4 years ago
Anton's response[2] to above resoning[1] was:
Your "recognize lexeme" invokes the string recognizer, which parses ' bar"'
I.e., that "to recognize" means invoking a recognizer, and it doesn't matter what the recognizer does, since it may do anything in terms of side effects (including additional parsing).
It looks like circular reasoning in terminology:
My objection[3] was that Anton used the terms (that I defined) in another meaning to confute my reasoning. It's incorrect.
You have to either use my terms, or define your terms and show that your model is better.
[1] news:rcveot$9j3$1@dont-email.me
[2] news:2020Jun28.173040@mips.complang.tuwien.ac.at
[3] news:rdcn35$sd2$1@dont-email.me
The compilation semantics for
POSTPONE
, an excerpt:If the Recognizers word set is provided, it can be something like the following:
If a recognizer does additional parsing, it changes the lexeme, i.e., the produced token will determine compilation semantics for the different lexeme.
So, there is no a place for additional parsing. And it should be forbidden for a recognizer to do additional parsing.