2671 2006-01-06 15:05:41 +0000 Type promotion 2006-11-09 22:30:36 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 normal --- 1 villard simeon public-qt-comments oldest_to_newest 7676 0 villard 2006-01-06 15:05:41 +0000 In the section 8.5.1, in the Example subsection, the following judgment does NOT hold: xdt:untypedAtomic can be promoted to xs:double 8026 1 simeon 2006-01-28 17:34:16 +0000 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 8257 2 simeon 2006-02-14 16:32:24 +0000 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