- From: Henry Zongaro <zongaro@ca.ibm.com>
- Date: Thu, 1 Apr 2004 16:22:14 -0500
- To: public-qt-comments@w3.org
Hello,
The following is a comment from IBM on the Last Call working draft of
Formal Semantics.
Section 6.2.7
The inference rule for fn:remove doesn't seem correct. For example, for
fn:remove(1,1), the rule yields type xs:integer. The result type should
not simply use the quantifier of the type of the first argument, as the
operation may remove an item from the sequence.
If quantifier(Type) is "1" or "?", the inferred type of the result should
be prime(Type)?; if quantifier(type) is "+" or "*", the inferred type of
the result should be prime(Type)*.
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:22:48 UTC