1579 2005-07-14 04:11:19 +0000 [FS] technical: 4.1.5 Function Calls: STA: "first check" 2005-09-06 12:59:12 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 normal --- 1 jmdyck simeon public-qt-comments oldest_to_newest 4553 0 jmdyck 2005-07-14 04:11:19 +0000 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. 5068 1 jmdyck 2005-07-21 04:23:34 +0000 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? 5252 2 simeon 2005-07-27 15:18:45 +0000 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. 5604 3 simeon 2005-08-31 15:23:10 +0000 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