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.
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, tfrom, to)is_other(f) || is_other(t).is_directory(f) && is_regular_file(t).