- From: <bugzilla@jessica.w3.org>
- Date: Sat, 30 Jan 2016 21:55:10 +0000
- To: public-qt-comments@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29398
--- Comment #7 from Abel Braaksma <abel.braaksma@xs4all.nl> ---
(In reply to Michael Kay from comment #6)
> We guarantee that document-uri(D) = "X" implies doc("X") is D, and we
> guarantee that two calls on doc with the same argument deliver the same
> document. These guarantee cannot be met if there are two documents D and E
> such that document-uri(D) = document-uri(E) and not(D is E).
If so (and don't get me wrong, I understand your reasoning and it makes sense),
we should say so, because we now say something different in the spec.
Section 2.6 fn:document-uri makes an explicit exception for documents not
retrieved through fn:doc or fn:collection (see comment#3).
Section 14.6.1 fn:doc allows leniency at user option, or allows FODC0003 to be
raised if the deterministic guarantee does not hold if such an option is not
available.
--
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Saturday, 30 January 2016 21:55:15 UTC