Issue 2624: [filesys.ts] [PDTS] Incorrect effects clause for path copy

Title: [filesys.ts] [PDTS] Incorrect effects clause for path copy
Status: open
Section: [fs.op.copy]
Submitter: GB-14

Created on 2014-01-20.00:00:00 last changed 90 months ago

Messages

Date: 2016-01-28.01:00:35

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

msg7773 (view)

Date: 2014-02-13.00:00:00

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

msg7772 (view)

Date: 2014-02-15.00:00:00

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

msg7771 (view)

Date: 2016-01-31.20:31:05

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

History
Date	User	Action	Args
2017-07-30 20:10:41	admin	set	status: wp -> open
2016-01-28 01:00:35	admin	set	messages: + msg7774
2016-01-28 01:00:35	admin	set	messages: + msg7773
2016-01-28 01:00:35	admin	set	messages: + msg7772
2014-01-20 00:00:00	admin	create