[Bug 24173] [xslt 3.0] Need more precise type information

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

--- Comment #1 from Michael Kay <mike@saxonica.com> ---
I think there is a general rule that where a built-in function listed in 19.8.8
has a proforma that includes one or more operands with usage T (transmission),
then the inferred type of the function call is the more specific of the
declared return type of the function and the type of the operand having usage
T; or if (as with insert-before) there is more than one operand having usage T,
then the lowest common supertype of the types of these operands.

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

Received on Monday, 13 January 2014 20:42:13 UTC