W3C home > Mailing lists > Public > public-qt-comments@w3.org > April 2004

[FS] IBM-FS-105: Inferred type of fn:sum with one argument

From: Henry Zongaro <zongaro@ca.ibm.com>
Date: Thu, 1 Apr 2004 16:22:01 -0500
To: public-qt-comments@w3.org
Message-ID: <OFB54F5CF0.46E99E5B-ON85256E69.0071E151-85256E69.00755EC4@ca.ibm.com>


     The following is a comment from IBM on the Last Call working draft of 
Formal Semantics.

Section 6.2.6

The paragraph between the two inference rules for fn:sum indicates, "The 
second form of fn:sum takes one argument, with an implicit second argument 
of the integer value 0.  In this case, the result type is the union of 
target type T and xs:integer."  However, F&O section 15.3.5 states "If the 
converted sequence is empty, then the single-argument form of the function 
returns the xs:double value 0.0e0."

The inference rule here needs to be made consistent with the description 
in F&O.


Henry (on behalf of IBM)
Henry Zongaro      Xalan development
IBM SWS Toronto Lab   T/L 969-6044;  Phone +1 905 413-6044
Received on Thursday, 1 April 2004 16:22:39 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:56:56 UTC