- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 26 Sep 2006 14:41:34 +0000
- To: public-qt-comments@w3.org
- CC:
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