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

http://www.w3.org/Bugs/Public/show_bug.cgi?id=11585

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