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

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

From: <bugzilla@jessica.w3.org>
Date: Tue, 11 Feb 2014 18:16:17 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-24173-523-tbjl9ulhwy@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=24173

Michael Kay <mike@saxonica.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Michael Kay <mike@saxonica.com> ---
Changed the entry for FunctionCall [59] in the table in 19.2 to:

In general: the declared result type of function <var>F</var>.  But if one or
more of the arguments to the function have operand usage <termref
def="dt-transmission"/>, then the least common supertype of the static types of
these arguments, provided this is a subtype of the declared result type of
<var>F</var>. (For example, the type of the function call
<code>head(//text())</code> is <code>text()</code>.)

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Tuesday, 11 February 2014 18:16:19 UTC

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