These questions are connected with this answer: Carriage-return and line-feed in web2cTeX
Suppose TeX is reading an input file and is at the beginning of new line, in state N. New end-of-line character must be converted to
\par token. But this happens after the line has been read from the file (i.e, not in the "eyes" of TeX), right? I mean, this substitution cannot happen in readln procedure, can it? If not, in what part of TeX does this substitution take place?
One more question: if end-of-line character is appended to each line buffer, does this mean that end-of-line character is before
I explain myself:
Suppose TeX has just read a line from input file. Now there is end-of-line character at the end of the line buffer. Now TeX reads an empty line and converts it to
\par. So TeX now has end-of-line character, and
\par token in its stomach, right? I mean, is end-of-line character, followed by
\par, removed, or it just stays there and does not influence the output in any way?