This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
4.1.5 Functions calls The definition of []Convert(SequenceType) says to invoke fs:convert-simple-operand if SequenceType <: xs:anyAtomicType. I believe that this step is supposed to implement the statement in the XQuery language spec, section 3.1.5 "Function calls" under the bolded phrase "function conversion rules", first bullet, list item 2, where it says "Each item in the atomic sequence that is of type xdt:untypedAtomic is cast to the expected atomic type." So the XQuery language spec says that only xdt:untypedAtomic values are cast, whereas the Formal Semantics says that any atomic type (subtype of xs:anyAtomicType) is converted. Personally I think the Formal Semantics is to be prefered here, but this needs to be decided.
If you look at the section 7.1.4 The fs:convert-simple-operand, you will see that the function processes sequence of atomic values, and only convert those values which are of type xdt:untypedAtomic. Do you believe there is a problem with that definition? - Jerome
RESOLUTION: Bug 1689 is closed. No change to document. Dana will respond. - Jerome Simeon On behalf of the XML Query and XSL WGs