Re: compilation mode forgets about killed buffers

[Richard Stallman]

    jump to a line in a1, then jump to a line in a2.
    Kill buffer a1.
    Try to jump to a line in a1.
    No way to have compilation-mode re-opening a1 buffer by
    itself.
    It would be better that if the file buffer has disappeared, to
    re-open the file (even if the positions of the compilation errors
    are potentially wrong).

It is probably not too hard to do this.  compilation-goto-error could
notice that the marker points to a dead buffer and arrange to reparse
the error messages for that file.

Would someone like to give it a try?