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

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