W3C home > Mailing lists > Public > public-qt-comments@w3.org > August 2006

[Bug 3641] xs:untypedAtomic promotable to *any* type?

From: <bugzilla@wiggum.w3.org>
Date: Wed, 30 Aug 2006 16:56:39 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GITMl-0007SP-8Q@wiggum.w3.org>

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

           Summary: xs:untypedAtomic promotable to *any* type?
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: jens.teubner@in.tum.de
         QAContact: public-qt-comments@w3.org


Section 8.5 describes xs:untypedAtomic as promotable to *any* other type. This
would render a query like

  declare function foo ($x as node()) { $x/. };

  let $a := <a>foo</a> return
    foo (fn:data ($a))

a type-correct query.  (The application of fn:data() to node $a will yield
xs:untypedAtomic.  If this is promotable to any type, it is as well promotable
to node(), which, of course, does not make sense here.)

I assume that xs:untypedAtomic was meant to be promotable only to *atomic*
types.  So the respective judgment should read


  -------------------------------------------------------------------
   statEnv |-  xdt:untypedAtomic can be promoted to xs:anyAtomicType

The surrounding text should be corrected accordingly.
Received on Wednesday, 30 August 2006 16:57:07 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:14:44 GMT