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.4.0 : Friday, 17 January 2020 16:57:34 UTC