W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2009

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

From: <bugzilla@wiggum.w3.org>
Date: Tue, 29 Sep 2009 16:03:36 +0000
To: public-qt-comments@w3.org
Message-Id: <E1MsfAu-0002r3-62@wiggum.w3.org>

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

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