3670 2006-09-07 16:15:52 +0000 [FS] Missing op:anyURI-equal(A, B) 2007-09-30 09:08:44 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Candidate Recommendation PC Windows XP CLOSED FIXED P2 normal --- 3433 1 tim simeon bungeman public-qt-comments oldest_to_newest 11493 0 tim 2006-09-07 16:15:52 +0000 Operator op:anyURI-equal(A, B) mentioned in: http://www.w3.org/TR/xquery-semantics/#sec_operators is missing in "functions and operators" 11495 1 ashok.malhotra 2006-09-07 17:20:26 +0000 My recollction is that we agreed to remove op:anyURI-equal from the F&O when we decided that URIs would be compared like strings. 11639 2 tim 2006-09-13 10:06:59 +0000 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. 12040 3 simeon 2006-09-26 14:41:34 +0000 I think there are some inconsistencies in the formal semantics here. I believe the following changes should fix them: (1) replace the line: fs:eq(A, B) xs:anyURI xs:anyURI op:anyURI-equal(A, B) xs:boolean in the operator's table by: fs:eq(A, B) xs:anyURI xs:anyURI op:numeric-equal(fn:compare(A, B), 0) since URIs are now compared as strings. (2) Add the type promotion judgment from xs:anyURI to xs:string as suggesed by Tim: ------------------------------------------------- statEnv |- xs:anyURI can be promoted to xs:string - Jerome 12054 4 simeon 2006-09-26 15:59:09 +0000 Tim, The XSLT and XML Query working groups have looked at your comment, and decided to close it by adopting the two listed changes below to the the Formal Semantics document. Let us know if you are ok with that resolution. Best, - Jerome On behalf XSLT and XML Query WGs 12057 5 tim 2006-09-26 16:05:20 +0000 Great, thanks. 13648 6 tim 2007-01-17 09:49:08 +0000 The type promotion rule doesn't appear to have made it into the FS document dated 21 November 2006. XQTS test K2-BaseURIProlog-4 requires this promotion. 13844 7 simeon 2007-01-30 17:32:07 +0000 Ouch. And it's not in the REC document from january 23rd either. I thought it had been done, but must have fall into the cracks. It will have to go into an errata. Thanks for pointing this out. - Jerome 14188 8 jim.melton 2007-02-26 00:07:09 +0000 The fix for this bug does not appear in the Recommendation of 23 January 2007. It will be considered for a future publication (either an Errata document or some possible future version of the specification). 15982 9 jmdyck 2007-07-31 18:26:25 +0000 *** Bug 4898 has been marked as a duplicate of this bug. *** 16887 10 jmdyck 2007-09-30 09:05:08 +0000 This issue has been entered as FS erratum E010. The changes proposed in Comment #3 (plus a similar change for the fs:ne case) have been committed to the source files for the next edition of the FS document. Consequently, I'm marking this issue resolved-FIXED, and CLOSED.