W3C home > Mailing lists > Public > public-qt-comments@w3.org > November 2015

[Bug 29277] [XP31] Evaluating function calls does not mention evaluation of dynamic or static function calls that have no FunctionBody

From: <bugzilla@jessica.w3.org>
Date: Tue, 17 Nov 2015 18:01:01 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-29277-523-FZJenbjZ58@http.www.w3.org/Bugs/Public/>

--- Comment #14 from Michael Kay <mike@saxonica.com> ---
One of the problems here is making the rules host-language independent. For a
user-defined function in XSLT, the implementation is not (syntactically) a
FunctionBody, but it's equivalent to a FunctionBody as far as the XPath engine
is concerned.

I would personally prefer to base this on the "context-dependent" property
defined in F+O:

[Definition] A function may have the property of being context-dependent: the
result of such a function depends on the values of properties in the static and
dynamic evaluation context as well as on the actual supplied arguments (if

* some functions in F+O are described as context-dependent

* user-written functions in XQuery, XSLT, and XPath are not context-dependent

* a partial application of F is context-depedendent if F is context-dependent
(if I remember correctly...!)

* constructor functions are not context-dependent

* a function returned by a named function reference is NOT context dependent,
even if the named function is, because the context is bound at the point where
the reference is evaluated.

And then rule 5b becomes:

* (i) if F is context-dependent then...

* (ii) otherwise....

You are receiving this mail because:
You are the QA Contact for the bug.
Received on Tuesday, 17 November 2015 18:01:06 UTC

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