Re: File Module: $target in file:copy()

• From: Christian Grün <christian.gruen@gmail.com>
• Date: Thu, 5 Dec 2013 12:18:34 +0100
• To: Florent Georges <fgeorges@fgeorges.org>
• Cc: EXPath CG <public-expath@w3.org>
• Message-ID: <CAP94bnNOc457i64Nb0UQdJCf6Y8048TmNJU==zmvgmy0eY=Mdw@mail.gmail.com>

Hi Florent,

>   Do we really want to make a "merging" copy in that case?  Instead of
> an error?  Suggested change, in bin:move:

Your edits make perfectly sense. Move is indeed comparable to rename.

> |>  [err:FILE0004] is raised if $target points to a directory, in
> |>  which a subdirectory exists with the name of the source.

The only change: it’s now [file:is-dir].

Thanks,
Christian

Received on Thursday, 5 December 2013 11:19:24 UTC