[Bug 1968] typing for fn:subsequence() too strict


------- Additional Comments From jens.teubner@in.tum.de  2005-09-03 13:32 -------
(In reply to comment #0)

> If we replace the sequence (1,2) in the above example by (1,2,3,4,5),
> fn:subsequence() will return a list of length 2, though the static
> type is (still) `xs:integer'.

Sorry, I just realized that the rule given in the specs actually
includes the length argument of fn:subsequence().  So my last
statement does not actually hold.  The problem stated before,
however, remains.  Sorry for the confusion.

Received on Saturday, 3 September 2005 13:32:23 UTC