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

[Bug 10706] [XPath21] subtype-itemtype not defined for function types with annotation assertions.

From: <bugzilla@jessica.w3.org>
Date: Tue, 09 Nov 2010 17:27:05 +0000
To: public-qt-comments@w3.org
Message-Id: <E1PFryL-00068y-4u@jessica.w3.org>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=10706

John Snelson <john.snelson@marklogic.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |john.snelson@marklogic.com

--- Comment #3 from John Snelson <john.snelson@marklogic.com> 2010-11-09 17:27:04 UTC ---
I don't think we can say anything about annotations and annotation assertions
that we don't define, but I agree that we need particular rules for the
assertions we do define.

1) The annotations %public and %private should have no effect on
subtype-itemtype(), and they should be an error if used as annotation
assertions.

2) If two function tests match disregarding annotations, then Ai is a subtype
of Bi if Bi has the %non-deterministic annotation, or if Ai does not have the
%non-deterministic annotation. That is:

%deterministic (or neither) <: %deterministic (or neither)
%deterministic (or neither) <: %non-deterministic
%non-deterministic <: %non-deterministic

-- 
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, 9 November 2010 17:27:06 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:15:08 GMT