Re: file-subdir-of-p should also apply to files

[Stefan Monnier]

>> Rather than (file-subdir-of-p DIR1 DIR2) we should have
>> (file-within-p FILE DIR). 
> Why and where?

Why not?

> It is not a problem to copy a single file of TREE to a subdirectory of
> TREE, but it is a problem to copy TREE to one of its subdirectories,
> isn't it?

We're not talking about copying but about file-subdir-of-p.
The copy operation only uses file-subdir-of-p with a first argument
which is a directory, but that doesn't mean we shouldn't also handle
the case where the first argument is a file (which occurs in some
places which currently use string-prefix-p).


        Stefan