W3C home > Mailing lists > Public > public-qt-comments@w3.org > April 2004

[XQuery] fs:convert-operand / General comparison

From: Kirmse, Daniel <daniel.kirmse@sap.com>
Date: Tue, 13 Apr 2004 16:53:01 +0200
Message-ID: <5A82701DD88A984E871D691ED6B19ACD307EB7@dewdfe12.wdf.sap.corp>
To: "'public-qt-comments@w3.org'" <public-qt-comments@w3.org>
Hi,

a question dealing with the function fs:convert-operand as described in http://www.w3.org/TR/2004/WD-xquery-semantics-20040220/#sec_convert_operand <http://www.w3.org/TR/2004/WD-xquery-semantics-20040220/#sec_convert_operand> .

When having statEnv <http://www.w3.org/TR/2004/WD-xquery-semantics-20040220/> .xpath1.0_compatibility <http://www.w3.org/TR/2004/WD-xquery-semantics-20040220/>  = false, type($actual) = String and type($expected) = Integer no conversion is done, right? 

Considering a general comparison of a string and an integer value. According to the formal semantics of the general comparison, convert-operand would be called for both values but no conversion would take place actually. So I end up with a comparison of a string and an integer that is not defined (no overloaded comparison function exists taken these two types). That would force me to throw a XP0004 or XP0006 error due top the incompatible types, right?

Thanks & Cheers
Daniel
Received on Tuesday, 13 April 2004 10:53:37 UTC

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