Re: compile.el

["Richard M. Stallman" <rms@gnu.org>]

    Since the issue of visiting saved compilation/grep logs is currently
    under consideration, I want also to point out that changing the file's
    default directory by the -*- line is not a good thing.  It is
    potentially dangerous when an unsuspecting user assumes that the
    default directory is the same as the directory where the file
    is saved, but actually it changes to the directory where compilation
    was started.  I think `-*- default-directory: "..." -*-' in the first
    line should be changed to `-*- compilation-directory: "..." -*-'.

I see your point, but at the same time, I think it is useful
to set the default directory.  That makes it possible to visit
files in the sources starting from the place you compiled them.

On the balance, I think it is probably more convenient the way it is.