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

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 UTC