From: Leonid Novak <novak@ispras.ru>

Date: Thu, 4 Mar 2004 12:22:59 +0300

To: <www-ql@w3.org>

Message-ID: <EGEAIELDAOKBEENNFECGEEEECAAA.novak@ispras.ru>

Date: Thu, 4 Mar 2004 12:22:59 +0300

To: <www-ql@w3.org>

Message-ID: <EGEAIELDAOKBEENNFECGEEEECAAA.novak@ispras.ru>

Hi, i have a couple of questions about general comparison. 1) Suppose i have a pair of sequences ("a",1) and (2,1) where "a" is an "xs:string" value from the defintion of the general comparison it follows that (from Working Draft) "The result of the comparison is true IF AND ONLY IF there is a pair of atomic values, one belonging to the result of atomization of the first operand and the other belonging to the result of atomization of the second operand, that have the required magnitude relationship" Thus ("a",1) = (2,1) as far as the atomic values of 1 are equal. From the other side it is said that "a general comparison may raise a dynamic error as soon as it encounters an error in evaluating either operand, or in comparing a pair of items from the two operands". From this proposition it follows that comparing two sequence may cause a dynamic error while comparing "a" and 2 as far as their types are not comparable. Thus, we may assume that IF condition of the first statement is not fully supported (inspite of the two equal values a dynamic error can be raised). Is it right? 2) Next, suppose i have a pair of sequences ("a",1) and (2,3). Should it be correct if ("a",1)=(2,3) will return "false" or dynamic error MUST be thrown Regards, Novak Leonid novak@ispras.ru www.modis.ispras.ruReceived on Thursday, 4 March 2004 04:22:03 UTC

*
This archive was generated by hypermail 2.3.1
: Tuesday, 6 January 2015 20:17:16 UTC
*