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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:14:16 GMT