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

[Daniel Pfeiffer]

Hi,

Richard Stallman <address@hidden> skribis:

>     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.

I had always thought, this was a workaround for compile getting confused about
locations, which it frequently did.

> Perhaps there is no longer any role for compilation-forget-errors
> in the new scheme.

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).  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.

That is exactly what my two lines of code, if Stefan inserted them into
compilation-forget-errors, should fix.

> The usual way to call compilation-forget-errors was by doing C-u C-x `.
> I did that after deleting some of the lines which contained errors,
> to remove the corresponding markers from the list of errors.
> One of the advantages of the new code is that there's no need
> to do anything special in that case--it will simply work.

Right.

> I think we can simply make it a no-op.

Not if I understood right about successive compiles in an interactive buffer.

coralament / best Grötens / liebe Grüße / best regards / elkorajn salutojn
Daniel Pfeiffer

-- 
lerne / learn / apprends / läramå / ucz się    Esperanto:
                              http://lernu.net/