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

[Bug 30017] UpdatingFunctionCall use of PrimaryExpr makes the grammar ambiguous.

From: <bugzilla@jessica.w3.org>
Date: Mon, 21 Nov 2016 20:24:26 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-30017-523-PfacZ2V6RC@http.www.w3.org/Bugs/Public/>

--- Comment #3 from Michael Dyck <jmdyck@ibiblio.org> ---
(In reply to Reece H. Dunn from comment #2)
> Thanks for the clarification. I was thinking of things like:
>     invoke updating fn:put(...)
> However, if I understand correctly, the 'invoke updating' here is not needed
> as fn:put has the updating annotation (and any other updating function).

Right, a FunctionCall can reference a simple function or updating function,
making it a simple expression or updating expression respectively.

> Likewise, it would be an error to use `$f(...)` if `$f` references an
> updating function -- 'invoke updating' should be used here --

That true if none of the args is "?": "If the function returned by the
PrimaryExpr [of a dynamic function invocation] is an updating function, and the
dynamic function invocation is not a partial function application, a dynamic
error is raised [err:XUDY0038]."

> and `invoke updating $f(...)` would be an error if `$f` does not
> reference an updating function.

No, a dynamic updating function call "can invoke either an updating function or
a simple function".

You are receiving this mail because:
You are the QA Contact for the bug.
Received on Monday, 21 November 2016 20:24:36 UTC

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