This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
In the section 8.5.1, in the Example subsection, the following judgment does NOT hold: xdt:untypedAtomic can be promoted to xs:double
I agree. I don't believe this is just an issue with the example though. The following rule in the same section: << xdt:untypedAtomic can be promoted to any type: ----------------------------------------------------- statEnv |- xdt:untypedAtomic can be promoted to Type >> Is redundant with the use of the fs:convert-simple-operand in the normalization of function calls [See Sections 4.1.5 Function Calls] and [7.1.2 The fs:convert-simple-operand function]. As is, I think the 'can be promoted to' rule above is never called as that fs:convert-simple-operand is applied before. So we should be able to remove the rule and the example without changing the semantics. That would make 'can be promoted to' consistent with the english prose in the language book. - Jerome
The XSLT and XQuery WG have accepted your comments, and the issue will be fixed by adopting the changes listed in comment #1. Best regards, - Jerome