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 18:22:21 +0000
To: public-qt-comments@w3.org
Message-Id: <E1PFspp-0008B2-Rw@jessica.w3.org>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=10706

--- Comment #4 from Oliver Hallam <oliver@cbcl.co.uk> 2010-11-09 18:22:21 UTC ---
The additions you proposed are not a closed set.

We would need an additional rule somthing along the lines of:

In the addition of any other annotations, the result of sequence type matching
is implementation defined.

I think we should also add another rule along the lines of:

If Bi is a function test with no annotations then any annotations on Ai do not
affect the subtype judgement.

-- 
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 18:22:23 GMT

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