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).