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

[FS] IBM-FS-107: Wrong types for arguments of fn:subsequence

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:14:07 GMT