W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2016

[Bug 29398] [QT3] Base uri with parse-xml in fn-parse-xml-011

From: <bugzilla@jessica.w3.org>
Date: Sat, 30 Jan 2016 09:34:22 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-29398-523-kZALHscaGM@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29398

--- Comment #6 from Michael Kay <mike@saxonica.com> ---
>I don't agree however that "It is not possible for two distinct documents to
have the same document URI."

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

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Saturday, 30 January 2016 09:34:26 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:57 UTC