[FS] IBM-FS-107: Wrong types for arguments of fn:subsequence from Henry Zongaro on 2004-04-01 (public-qt-comments@w3.org from April 2004)

From: Henry Zongaro <zongaro@ca.ibm.com>
Date: Thu, 1 Apr 2004 16:22:31 -0500
To: public-qt-comments@w3.org
Message-ID: <OFD89352F2.0CF79E28-ON85256E69.007242AE-85256E69.00756A78@ca.ibm.com>

Hello,

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


Section 6.2.9

The last inference rule for fn:subsequence indicates that the types of the 
second and third arguments must be xs:integer.  In fact, from F&O Section 
15.1.3, they must be of type xs:double.

Thanks,

Henry (on behalf of IBM)
------------------------------------------------------------------
Henry Zongaro      Xalan development
IBM SWS Toronto Lab   T/L 969-6044;  Phone +1 905 413-6044
mailto:zongaro@ca.ibm.com

Received on Thursday, 1 April 2004 16:23:04 UTC