a pair of questions about general comparison

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.ru

Received on Thursday, 4 March 2004 04:22:03 UTC