This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 10573 - [XPath30] Definition of partial function application does not cover partial application of dynamic function invocation
Summary: [XPath30] Definition of partial function application does not cover partial a...
Status: RESOLVED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XPath 3.0 (show other bugs)
Version: Member-only Editors Drafts
Hardware: All All
: P5 trivial
Target Milestone: ---
Assignee: Jonathan Robie
QA Contact: Jonathan Robie
URL: http://www.w3.org/XML/Group/qtspecs/s...
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2010-09-07 21:03 UTC by Henry Zongaro
Modified: 2011-09-11 21:38 UTC (History)
1 user (show)

See Also:


Attachments

Description Henry Zongaro 2010-09-07 21:03:04 UTC
The term partial function application is defined in section 3.1.5 "Function calls" of the internal last call draft of XPath 2.1[1] as "A function call is a partial function application if one or more arguments is an ArgumentPlaceholder."  The term function call is defined in the same section as "a QName followed by a parenthesized list of zero or more arguments."

Section 3.2.2[2] then adds, "A dynamic function invocation is a partial function application if at least one of the arguments is an ArgumentPlaceholder...."

So the definition of partial function application is incomplete as it stands.  I would suggest changing the definition in 3.1.5 to read "A function call or dynamic function invocation is a partial function application if one or more arguments is an ArgumentPlaceHolder."

Of course, that would introduce a forward reference to "dynamic function invocation."

[1] http://www.w3.org/XML/Group/qtspecs/specifications/xquery-11/html/xpath-21.html#id-function-calls
[2] http://www.w3.org/XML/Group/qtspecs/specifications/xquery-11/html/xpath-21.html#id-dynamic-function-invocation
Comment 1 Jonathan Robie 2011-09-11 21:36:52 UTC
Fixed as suggested.