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

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

From: <bugzilla@jessica.w3.org>
Date: Tue, 01 Feb 2011 14:31:17 +0000
To: public-qt-comments@w3.org
Message-Id: <E1PkHGH-0004M3-2m@jessica.w3.org>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=10706

--- Comment #5 from John Snelson <john.snelson@marklogic.com> 2011-02-01 14:31:16 UTC ---
Since we've removed %deterministic and %non-deterministic, I think this becomes
a bit easier. I propose the following changes to section 2.5.5.2 of the XQuery
3.0 spec:

Change the last bullet from:

"Bi is function(Ba_1, Ba_2, ... Ba_N) as Br, Ai is function(Aa_1, Aa_2, ...
Aa_M) as Ar, N (arity of Bi) equals M (arity of Ai), subtype(Ar, Br), and for
values of I between 1 and N, subtype(Ba_I, Aa_I)."

to:

"Bi is [AnnotationsB] function(Ba_1, Ba_2, ... Ba_N) as Br, Ai is
[AnnotationsA] function(Aa_1, Aa_2, ... Aa_M) as Ar, N (arity of Bi) equals M
(arity of Ai), subtype(Ar, Br), for values of I between 1 and N, subtype(Ba_I,
Aa_I), and subtype-assertions(AssertionsA, AssertionsB)

The judgement subtype-assertions(AssertionsA, AssertionsB) is defined to ignore
annotation assertions in namespaces not understood by the XQuery
implementation. For assertions that are understood, their effect on the result
of subtype-assertions() is implementation defined."

-- 
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, 1 February 2011 14:31:18 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:45 UTC