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: Tue, 26 Sep 2006 14:41:34 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GSE7q-0007o6-VA@wiggum.w3.org>

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





------- Comment #3 from simeon@us.ibm.com  2006-09-26 14:41 -------
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
Received on Tuesday, 26 September 2006 14:41:49 UTC

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