This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
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.
Ooops! That should of course read Type <: xs:anyAtomicType ------------------------------------------------------ statEnv |- xs:untypedAtomic can be promoted to Type Sorry for the confusion.
I believe Jens is right that the rule he suggests to promote xs:untypedAtomic is missing and should be added. - Jerome
Jens, The XSLT and XML Query Working groups have adopted your proposal and will make the corresponding changes in the next version of the formal semantics documents. Best regards, - Jerome Simeon on behalf of the XSLT and XML Query WGs
Reviewing changes that occurred in the last few months, I realized there seems to be a collision between the resolution of #3641 and the resolution of #2671. I believe the resolution for #2671 may take precedence, but that will should probably be reviewed again by the working groups. - Jerome
For the record, and as a result of this collision, I am holding back on the corresponding changes for this bug until a final decision is made. - Jerome
Jens, The WGs reviewed that comment one more time, and decided the resolution for bug #2671 should take precedence, hence not adding the rule you suggest as it is dealt with by another operation in the FS document. Regards, - Jerome Simeon On Behalf of the XSLT and XML Query working groups