5460 2008-02-07 15:03:23 +0000 [FS] Error in static typing judgement for fn:sum 2008-08-28 01:06:12 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Recommendation All All CLOSED FIXED P2 normal --- 1 oliver jmdyck public-qt-comments oldest_to_newest 18822 0 oliver 2008-02-07 15:03:23 +0000 The static typing rules for fn:sum at the end of section 7.2.10 of formal semantics contains the following judgment: statEnv |- Type2 <: xs:anyAtomicType ? Type3 = prime(Type1) Type4 = convert_untypedAtomic(Type3, xs:double) FormalItemType 1, ...,FormalItemType n = Type4 statEnv |- FormalItemType 1 can be promoted to Type0 ... statEnv |- FormalItemType n can be promoted to Type0 statEnv |- Type2 <: Type0 Type0 in { xs:integer, xs:decimal, xs:float, xs:double, xs:yearMonthDuration } ------------------------------------------------------------------------------ statEnv |- (FN-URI,"sum")(Type1,Type2) : Type0 · aggregate_quantifier(quantifier(Type1)) The line Type0 in { xs:integer, xs:decimal, xs:float, xs:double, xs:yearMonthDuration } should read Type0 in { xs:integer, xs:decimal, xs:float, xs:double, xs:yearMonthDuration, xs:dayTimeDuration } to keep in line with the text. 18970 1 jmdyck 2008-02-12 04:02:45 +0000 I agree. 18977 2 jmdyck 2008-02-12 22:35:07 +0000 The Working Group also agrees. So eventually, this will become an erratum. I'm marking this bug as resolved-FIXED. Please indicate your acceptance of this resolution by marking the bug CLOSED. 21671 3 jmdyck 2008-08-28 01:06:12 +0000 The suggested fix was incorporated into the solution proposed in Bug 5459 Comment #16. That solution has been committed to the source files for the next edition of the FS document, as part of the fix for FS erratum E033.