RE: "If F is a partially applied function ..."

I think we have to say that invoking a partially applied function results in the underlying function being called, supplying values to the arguments that correspond to the fixed positions in the original function application.  If we remove that bullet point, I don't think our specification says that.

In the CR (https://www.w3.org/TR/2015/CR-xquery-31-20151217/), this section tells us how a partially applied function is created, but it never tells us what happens if you try to invoke one.

Jonathan

________________________________________
From: Michael Dyck [jmdyck@ibiblio.org]
Sent: Tuesday, February 9, 2016 4:09 PM
To: Robie, Jonathan; public-xsl-query@w3.org
Subject: Re: "If F is a partially applied function ..."

On 16-02-09 11:09 AM, Robie, Jonathan wrote:
> Would you like to suggest wording?

I don't think there should be a sentence of the form "If F is a partially
applied function ..." in section 3.1.5.1. (At least, not normatively. I can
see it might be useful in a note.)

Part of the intent of the function-related rewrite in 2011 was that the
function invocation rules should work whether F happens to be a PAF or not.
I think they've worked in the case where F's implementation is a
FunctionBody. In the non-FB case, I believe there is a bug (where the rules
don't "just work" for PAFs), but I don't think the current approach is
fixing it; rather, it seems to be creating opportunities for more bugs.

-Michael

Received on Tuesday, 9 February 2016 21:46:42 UTC