Re: compilation-forget-errors still used by tex-mode.el

[Richard Stallman]

    Stefan had also mentioned about interactive compilation.
    Positions in the file may have moved from what they were in the
    last compilation (still visible in the buffer).

Are you considering having multiple compilations' output in one
buffer?  If so, I agree one wd want to somehow deactivate the errors
from old compilations.  But I think there are other complications too
in that case.  What if you move into an old compilation and type RET?
Should it try to obey you?  Should it give you an error saying "This
compilation is obsolete?"

                                                     E.g. a.tex:10
    became a.tex:15 because 5 lines were inserted.  If we don't clean
    out the last compilation's data, the marker for a.tex:10 will have
    moved and a.tex:15 would get wrongly looked for on line 20.

Shouldn't this be handled by creating a marker pointing to
the source locus, so that subsequent editing of the source file
won't interfere?