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

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