28175 2015-03-09 12:05:01 +0000 [XP3.1] Statically known functions, and XSLT 3.0 packages 2015-07-14 00:54:10 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XPath 3.1 Candidate Recommendation PC All RESOLVED FIXED P2 normal --- 1 mike jonathan.robie andrew_coleman public-qt-comments oldest_to_newest 118446 0 mike 2015-03-09 12:05:01 +0000 The description of the static context in XPath 3.1 says: <quote> [Definition: Statically known function signatures. This is a mapping from (expanded QName, arity) to function signatureDM31. ] The entries in this mapping define the set of statically known functions — those functions that are available to be called from a static function call, or referenced from a named function reference. Each such function is uniquely identified by its expanded QName and arity (number of parameters). Given a statically known function's expanded QName and arity, this component supplies the function's signatureDM31, which specifies various static properties of the function, including types. </quote> Most of the time, the spec is careful to make clear that it is only the function signatures that are present in the static context -- not actual function implementations. For XSLT 3.0 packages, this is essential. For example, XSLT 3.0 makes it possible to reference an abstract function whose implementation will be supplied later in a different package. The function signature is known statically, but the implementation is not. The only place where the XPath 3.1 spec slips up on this distinction is in fact in the paragraph cited above, which is the only place that talks of "statically known functions" rather than statically known function signatures. Suggested rewording: <quote> [Definition: Statically known function signatures. This is a mapping from (expanded QName, arity) to function signatureDM31. ] The entries in this mapping define the signatures of the functions that are available to be called from a static function call, or referenced from a named function reference. Each such function signature is uniquely identified by its expanded QName and arity (number of parameters). The function signatureDM31 defines various static properties of the function, including types. </quote> 119875 1 andrew_coleman 2015-04-24 10:29:16 +0000 At the teleconference on 2015-04-21, the WG agreed to adopt the proposed wording. 121778 2 mike 2015-07-06 08:58:34 +0000 This change has not been [fully] applied in the current draft specification. There is still a reference to "statically known functions" which was removed by the accepted revision. 122009 3 jonathan.robie 2015-07-14 00:54:10 +0000 Nice catch. Fixed now.