W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2007

[Bug 4898] [FS] 8.5.1 Type promotion

From: <bugzilla@wiggum.w3.org>
Date: Tue, 31 Jul 2007 14:56:26 +0000
To: public-qt-comments@w3.org
Message-Id: <E1IFt98-0005sO-2a@wiggum.w3.org>


           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
Received on Tuesday, 31 July 2007 14:56:38 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:19 UTC