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

[FS] IBM-FS-106: Quantifier of inferred type of fn:remove

From: Henry Zongaro <zongaro@ca.ibm.com>
Date: Thu, 1 Apr 2004 16:22:14 -0500
To: public-qt-comments@w3.org
Message-ID: <OF9504388B.AB426FB4-ON85256E69.0071E49A-85256E69.007563AD@ca.ibm.com>


     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)*.


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:48 UTC

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