[Bug 29414] [XP30][XP31] The judgement subtype-itemtype(Ai, Bi) is incorrect for function(*)

https://www.w3.org/Bugs/Public/show_bug.cgi?id=29414

--- Comment #3 from Jonathan Robie <jonathan.robie@gmail.com> ---
(In reply to Jonathan Robie from comment #2)
> The current text is clearly wrong.  I'm not yet certain that the proposed
> text is right ... I will look at this.

Here's what I found.  The corresponding text in XQuery refers mostly to
annotations, which do not exist in XPath.

XQuery:

> Bi is [AnnotationsB] function(*) , Ai is a FunctionTest with annotations
> [AnnotationsA], and subtype-assertions(AnnotationsA, AnnotationsB), 
> where [AnnotationsB] and [AnnotationsA] are optional lists 
> of one or more annotations.

The XPath text you mentioned is basically the XQuery text with all mention of
annotations removed automatically.  I suspect that nothing useful is left, and
the entire item should simply be removed from XPath.

If you agree, I would treat this as editorial.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Tuesday, 2 February 2016 19:36:04 UTC