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

[Bug 3670] Missing op:anyURI-equal(A, B)

From: <bugzilla@wiggum.w3.org>
Date: Wed, 13 Sep 2006 10:06:59 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GNRdz-0006WS-Fo@wiggum.w3.org>

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





------- Comment #2 from tim@cbcl.co.uk  2006-09-13 10:06 -------
Presumably the additional typechecking rule:

-------------------------------------------------
statEnv |- xs:anyURI can be promoted to xs:string

is also required?

XQTS test fn-document-uri-12 appears to requires such a rule, because in:

fn:contains(fn:document-uri($input-context1),\"works-mod\")

fn:document-uri returns xs:anyURI?, while fn:contains only takes xs:string?
arguments.
Received on Wednesday, 13 September 2006 10:07:07 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:30 UTC