<Abel> Saying something on the record?

<cmsmcq_> [testing the log]

<Abel> Indeed, I do see them online

<mdyck> J1.5 Review of action items

<mdyck> (Who is "Call-in User_3" in webex?)

<Abel> Josh, I believe

<liam> [ if anyone has specific people in mind to talk to let me know! re. xquery update at prague ]

<mdyck> J1.6.1 Update on XSLT WG activities (Sharon, MikeK)

<mdyck> J1.6.2 Update on EXPath/EXQuery CG activities (Mike)

<mdyck> J1.7 Future Meetings

<mdyck> J4.2.1 Bug 29373 - Missing error code when fn:serialize receives a QName method in no namespace https://www.w3.org/Bugs/Public/show_bug.cgi?id=29373

<Andy> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29403

<Andy> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29406

<cmsmcq_> w.r.t. “It should be a URI but you don’t have to reject invalid URIs”, it may also be noted that many systems have no real idea what counts as a valid and what as an invalid URI

<Abel> http:\\test

<liam> [ a LEIRI should probably also be accepted by most actual implementations ]

<liam> yes

<Abel> is not a valid uri, and cannot be determined whether it is a base uri or not

<liam> http:

<liam> er

<Abel> http: (without anything) is legal in the RFC

<liam> yes, I didn't mean to type that, sorry

<Abel> http%gg

<cmsmcq_> you could perhaps use @xml:base to reset the base to the Unicode base URI just for that one element. But that’s not particularly easier than just using the absolute URI in the first place

<ONeil> what section?

<ONeil> 5.3.5?

<ONeil> ok

<Andy> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29409

<Abel> here: https://www.w3.org/TR/xpath-functions-31/#formatting-the-number

<cmsmcq_> The bug says “I fail to see how 100000000 is preferred over 100000001”

<cmsmcq_> the first has one digit, not counting trailing zeros

<cmsmcq_> the second has ten (or however many)

<cmsmcq_> Q (side point): is it true that sometimes there is more than one number with the least number of digits? E.g. 1.23456789012345 and 1.23456789012347 and …6 as well?

<Andy> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29415

<ONeil> J4.2.5

<liam> $ echo abcd | perl -p -e 's/a(?:b(c))/$1/'

<liam> cd

<liam> non-capturing *only* means that the ( isn't numbered, does not mean "discard contents"

<liam> [(] indeed also doesn't count and neither does \(

<liam> s/top-level/entire/

<cmsmcq_> Would an example help?

<cmsmcq_> a(?:b(c))

<cmsmcq_> ___1___

<liam> similarly replace("abcde", "(ab(?:.)de)", "$1") => "abcde"

<ONeil> action item created

<cmsmcq_> I think the solution here is not formality but one or two examples showing the numbering of parenthesis pairs and the text matched

<cmsmcq_> perhaps s/the position of the opening parenthesis/the position of the opening non-capturing parenthesis/ ?

<mdyck> J4.4.1 Bug 29277 - [XP31] Evaluating function calls does not mention evaluation of dynamic or static function calls that have no FunctionBody https://www.w3.org/Bugs/Public/show_bug.cgi?id=29277

xquery-31.html#id-eval-function-call

<ONeil> Is it worth going over the action items?

<Abel> do you have a full link?

https://www.w3.org/XML/Group/qtspecs/specifications/xquery-31/html/xquery-31.html#id-eval-function-call

<mdyck> is there a version with change-highlighting?

This document is also available in these non-normative formats: XML and Change markings relative to previous edition.

Copyright © 2015 W3C® (MIT, ERCIM, Keio, Beihang). W3C liability, trademark and document use rules apply.

https://www.w3.org/TR/2015/CR-xquery-31-20151217/xquery-31-diff.html

https://www.w3.org/TR/2015/CR-xquery-31-20151217/xquery-31-diff.html#id-eval-function-call

<Abel> I have this, works: https://www.w3.org/XML/Group/qtspecs/specifications/xquery-31/html/xpath-31-diff.html#id-eval-function-call

<Abel> Note that the highlighting still shows the changes from the last CR to CR changes.

<cmsmcq_> [JR noted that ‘implementation-defined function’ needs to be defined; perhaps 2.2 Static Context is the right place to add it? In the bullet item for statically known function signatures

https://www.w3.org/XML/Group/qtspecs/specifications/xquery-31/html/xquery-31-diff.html#id-eval-function-call

cmsmcq, we need to define each of these kinds of functions. I'd like to do that in one place. Currently, the section called Functions gives the properties of a function item, I'm not sure if there is a better place.

<Abel> [Definition: External functions are functions that are implemented outside the query environment.] For example, an XQuery implementation might provide a set of external functions in addition to the core function library described in [XQuery and XPath Functions and Operators 3.1]. External functions are identified by the keyword external. The purpose of a function declaration for an external

<Abel> function is to declare the datatypes of the function parameters and result, for use in type checking of the query that contains or imports the function declaration.

1. provide formal definitions for "host language function", "implementation-defined function", link to "external function"

<cmsmcq_> jrobie, you may be right; I’m agnostic. 2.2 could hold definitions of other kinds of functions. but 4.18 in XQuery would probably also work

2. make sure that inline functions and declared functions are well defined as "functions that have bodies"

b. iv.

iv.

<Abel> Suggestion: If F has an implementation of a built-in function and its name and signature match that function

The function to be called or partially applied (call it F) is obtained as follows:

name: Absent.

parameter names: The parameter names of F, removing the parameter names at the fixed positions. (So the function's arity is the arity of F minus the number of fixed positions.)

signature: The signature of F, removing the parameter type at each of the fixed positions.

implementation: The implementation of F, associated with the same contexts as in F. If these contexts are absent in F, it is associated with SC and DC.

nonlocal variable bindings: The nonlocal variable bindings of F, plus, for each fixed position, a binding of the converted argument value to the corresponding parameter name.

If F's implementation is a built-in function,

<Abel> A house has a door. We have three houses. If a door is one of these houses... then

f.implementation

<Abel> That is confusing properties with objects.

<mdyck> paf.implementation = F.implementation

conflating: f is a function, F.implementation is a function

<Abel> I don't agree with that conflation...

<Abel> we also don't say if f is a function, f.signature is a function, even though we often see a signature as the definition of a function

F's implementation is invoked with the converted argument values using the contexts it is associated with in F. If these contexts are absent in F, it is associated with SC and DC.

we invoke functions,not implementations of functions

the function is invoked using its implementation

If <var>F</var>'s implementation => If If <var>F</var>

<Abel> If F's implementation is a FunctionBody:

<ONeil> decision is?

<mdyck> they're different numbers in XPath and XQuery

iv. If F is an partially applied function, the implementation of F is called, supplying a binding of the converted argument value to the corresponding parameter name for each fixed position.

<Abel> The dynamic context for this evaluation is obtained by taking the dynamic context of the InlineFunctionExpr that contains the FunctionBody, and making the following changes:

liam: xpath is intended to be embedded in some other language, so what does external mean?
... i think it would have to be external to whatever embeds xpath

Abels and pears?

<liam> hmm ok. e.g. php lets you call php functions from xpath, so does perl, maybe python, and some C APIs.

liam, those are all host language functions

iv. If F is an partially applied function, the implementation of F is called, supplying a binding of the converted argument value to the corresponding parameter name for each fixed position.

<Andy> 1. provide formal definitions for "host language function", "implementation-defined function", link to "external function"

<Andy> 2. make sure that inline functions and declared functions are well defined as "functions that have bodies"

<Andy> 3. Change ...F's implementation is a... to ..F is a...

<liam> ah ok, thanks

<Abel> 3a. typo: s/an/a in "is an partially applied function,"

If <var>F</var> is an <termref def="dt-partially-applied-function">partially applied function</termref>, the implementation of <var>F</var> is called.

supplying a binding of the value for each fixed position to the corresponding parameter name.

supplying a binding of the value for each fixed position to the corresponding parameter.

<Abel> "from the local variable bindings of F"

<Abel> (add that, or something like it)

+1

<Andy> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29414

<Andy> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29404

Josh: you are right

xquery: Bi is [AnnotationsB] function(*) , Ai is a FunctionTest with annotations [AnnotationsA], and subtype-assertions(AnnotationsA, AnnotationsB), where [AnnotationsB] and [AnnotationsA] are optional lists of one or more annotations.

xpath: Bi is function(*).

I think the bullet point is there for the purpose of defining how annotations are evaluated, so it does not apply to xpath

<Abel> so, collection("d:\*.xml") is valid?

<liam> including with the backslash?

<Abel> yep

<Abel> or an UNC path collection("\\servername\path")

<liam> as a leiri maybe yes

<liam> as opposed to d|/*.xml

<Abel> well, according to what CMSMCQ, anything goes nowadays...

<Abel> @liam, what was that command for RRSAgent to wrap up the draft to that URL?

This is scribe.perl Revision: 1.144  of Date: 2015/11/17 08:39:34  
Check for newer version at http://dev.w3.org/cvsweb/~checkout~/2002/scribe/

Guessing input format: RRSAgent_Text_Format (score 1.00)

FAILED: s/top-level/entire/
No ScribeNick specified.  Guessing ScribeNick: jrobie
Inferring Scribes: jrobie

WARNING: No "Topic:" lines found.


WARNING: No "Present: ... " found!
Possibly Present: Abel Andy Josh ONeil Suggestion cmsmcq_ conflating here https implementation liam mdyck name signature xpath xquery
You can indicate people for the Present list like this:
        <dbooth> Present: dbooth jonathan mary
        <dbooth> Present+ amy


WARNING: No meeting title found!
You should specify the meeting title like this:
<dbooth> Meeting: Weekly Baking Club Meeting


WARNING: No meeting chair found!
You should specify the meeting chair like this:
<dbooth> Chair: dbooth

Got date from IRC log name: 02 Feb 2016
Guessing minutes URL: http://www.w3.org/2016/02/02-xquery-minutes.html
People with action items: 

WARNING: Input appears to use implicit continuation lines.
You may need the "-implicitContinuations" option.


WARNING: No "Topic: ..." lines found!  
Resulting HTML may have an empty (invalid) <ol>...</ol>.

Explanation: "Topic: ..." lines are used to indicate the start of 
new discussion topics or agenda items, such as:
<dbooth> Topic: Review of Amy's report