[Bug 6513] [XQuery] inconsistent terminology in definition of derives-from()

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





--- Comment #20 from Michael Kay <mike@saxonica.com>  2009-09-29 16:03:35 ---
A further observation on comment #18: the current text permits
statically-unknown run-time types that are derived by restriction from
statically-known types, but it does not allow "statically-unknown" run-time
types that are derived by extension from statically-known types. This is
because static type checking needs to know statically about all types derived
by extension from types used in the query. This distinction is not retained in
the new text.


-- 
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, 29 September 2009 16:03:49 UTC