W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2014

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

From: <bugzilla@jessica.w3.org>
Date: Mon, 13 Jan 2014 20:42:11 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-24173-523-Q8gSqvHaKF@http.www.w3.org/Bugs/Public/>

--- 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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:45 UTC