Re: `file-relative-name' for compressed files

[Richard Stallman]

    >        (file-relative-name "/bar:/a/b/c/foo.gz" "/bar:/a/b/c/")
    >        => "/ssh:bar:/a/b/c/foo.gz"

    > That case works in the latest sources.  It fails in older
    > sources where file-remote-p returns nil for "/ssh:bar:/a/b/c/foo.gz",
    > which is a bug that was recently fixed.

    I can't confirm this. Did you turn auto-compression-mode on?
    This bug only occurs when auto-compression-mode is on.

No, I had tried it with auto-compression-mode off.
You are right.

I don't see any simple way to fix this.  It needs some change in the
structure of things.  Perhaps making the file-remote-p operation
return more information is the way to do it.  For instance, it could
return the "remote part" of the file name.

Kai, do you think that would work?