This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
4.1.5 Function Calls STA "we first check in Section [7 Additional Semantics of Functions] if there is a specialized typing rule for the function, and, if so, use it." It's not clear whether this is meant to include the "pseudo-functions" mentioned in 7.1.1 and 7.1.2.
4.1.5 / STA appears to be geared toward handling the pseudo-functions, and B.2 mentions that it relies on 4.1.5 / STA to handle promotion. But if that's the case, then where in the static typing of function calls are the rules of B.2 supposed to cut in and take over?
Sections 7.1.1 and 7.1.2 are no longer necessary and complicate the typing rules for pseudo-functions. Removing Sections 7.1.1 and 7.1.2 and referring to the proposed resolution to Bug 1580: http://www.w3.org/Bugs/Public/show_bug.cgi?id=1580 should clean this up.
The XML Query and XLST WGs have accepted that comment, and the fix consisting in removing sections Section 7.1.1 and 7.1.2 - Jerome