W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2005

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

From: <bugzilla@wiggum.w3.org>
Date: Sat, 03 Sep 2005 13:32:18 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1EBY82-0005e4-At@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1968





------- 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

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