W3C home > Mailing lists > Public > public-qt-comments@w3.org > December 2010

[Bug 11585] [XQ 3.0] Non-Schema-Aware XQuery processors: conformance rules

From: <bugzilla@jessica.w3.org>
Date: Tue, 21 Dec 2010 10:19:03 +0000
To: public-qt-comments@w3.org
Message-Id: <E1PUzJ9-0003lL-M4@jessica.w3.org>

--- Comment #1 from Michael Kay <mike@saxonica.com> 2010-12-21 10:19:03 UTC ---
>Alternatively, we could say that a processor can label nodes created using
construction mode preserve as xs:untyped if it is able to determine that all
the descendants will be untyped.

Arguably this is a clarification rather than a substantive change, under the
dictum that where the spec says a construct must return a value of type T, it
is always legal to return a value that belongs to a subtype of T: so if it says
the result is an element(*, xs:anyType) then returning element(*, xs:untyped)
is permissible.

Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Tuesday, 21 December 2010 10:19:05 UTC

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