This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of TS status.

### 2624. [filesys.ts] [PDTS] Incorrect effects clause for path `copy`

Section: 15.3 [filesys.ts::fs.op.copy] Status: TS Submitter: GB-14 Opened: 2014-01-20 Last modified: 2017-07-30

Priority: Not Prioritized

View all issues with TS status.

Discussion:

Addresses: filesys.ts

Incorrect effects clause for path copy — the effect clause for `copy` [fs.op.copy] includes "`equivalent(f, t)`" — there is no `equivalent()` function defined for variables of this type (`file_status`)

Suggested action:

Replace with "`equivalent(from, to)`"

[2014-02-09, Beman Dawes suggests wording]

[2014-02-13 LWG/SG-3 Issaquah: Proposed wording accepted.]

Proposed resolution:

Change 15.3 [fs.op.copy]:

> Report an error as specified in Error reporting if:

> - `!exists(f)`.
> - `equivalent(f, t from, to)`.
> - `is_other(f) || is_other(t)`.
> - `is_directory(f) && is_regular_file(t)`.