4898 2007-07-31 14:56:25 +0000 [FS] 8.5.1 Type promotion 2009-06-22 20:46:49 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Recommendation All All CLOSED DUPLICATE 3670 http://www.w3.org/TR/xquery-semantics/#sec_promotion P2 normal --- 1 bungeman jmdyck public-qt-comments oldest_to_newest 15976 0 bungeman 2007-07-31 14:56:25 +0000 In the XPath and XQuery language recommendations there is an Appendix B ( http://www.w3.org/TR/xpath20/#promotion and http://www.w3.org/TR/xquery/#promotion respectively) which describe 1. Numeric Type Promotion and 2. URI Type Promotion. However, in section 8.5.1 of the Formal Semantics, the Numeric Promotion is described, but the URI Promotion is not. It appears that there should be a rule of the form xs:anyURI can be promoted to the type xs:string -------------------------------------------------- statEnv |- xs:anyURI can be promoted to xs:string in order to bring the Formal Semantics document into line with the language specifications. 15981 1 jmdyck 2007-07-31 18:26:25 +0000 > It appears that there should be a rule of the form > > xs:anyURI can be promoted to the type xs:string > > -------------------------------------------------- > statEnv |- xs:anyURI can be promoted to xs:string (I'm assuming that "xs:anyURI can be promoted to the type xs:string" isn't part of the rule per se, but rather is the preceding prose.) Yes, I agree. This was pointed out (and resolved) last year as part of Bug 3670, but the fix did not make it into the Recommendation. Instead it will appear as an erratum. I'm marking this issue as 'Resolved, duplicate of 3670'. If you agree with this resolution, please close the issue. *** This bug has been marked as a duplicate of bug 3670 *** 25661 2 jmdyck 2009-06-22 20:46:49 +0000 The requested change appears in the Proposed Edited Recommendation for the FS. After almost two years with no response from the original reporter, I am marking this issue CLOSED. Feel free to reopen it if you disagree with this outcome.