W3C home > Mailing lists > Public > public-qt-comments@w3.org > November 2011

[Bug 14652] [XPath 3.0] Definition of 'subtype' is incorrect/inconsistent

From: <bugzilla@jessica.w3.org>
Date: Tue, 15 Nov 2011 15:25:35 +0000
To: public-qt-comments@w3.org
Message-Id: <E1RQKtD-0008HB-I3@jessica.w3.org>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=14652

--- Comment #1 from Jonathan Robie <jonathan.robie@gmail.com> 2011-11-15 15:25:34 UTC ---
Perhaps we should change the definition to this:

[Definition: A sequence type A is a subtype of a sequence type B if subtype(A,
B) is true.] 

That is the effective definition in the document, and it's hard to come up with
a succinct intensional definition.

-- 
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, 15 November 2011 15:25:49 UTC

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