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

[Stefan Monnier]

>> +(defun compilation-forget-errors ()
>> +  ;; FIXME: should we do something more like throw away markers
>> +  ;; and/or force a font-lock refresh?  --stef
>> +  (set-marker compilation-parsing-end (point-min)))

> I think the best for starting another command at the end of existing output
> might be

>   (setq compilation-locs
>       (make-hash-table :test 'equal :weakness 'value))

To tell you the truth, I don't know what compilation-forget-errors is
supposed to do.  In the old code it was supposed to erase previous parsing
info and force a reparse at the next C-x `, but that's a very operational
description whereas we need a more denotational description here if we want
to make a useful version for the new code.

> This would conserve highlighting and the markers found for the preceding
> output.  But new output would get located anew.

Sounds good.


        Stefan