[Bug 4898] [FS] 8.5.1 Type promotion

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4898

           Summary: [FS] 8.5.1 Type promotion
           Product: XPath / XQuery / XSLT
           Version: Recommendation
          Platform: All
               URL: http://www.w3.org/TR/xquery-semantics/#sec_promotion
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: jmdyck@ibiblio.org
        ReportedBy: bungeman@gmail.com
         QAContact: public-qt-comments@w3.org


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.

Received on Tuesday, 31 July 2007 14:56:38 UTC