ORA-XQ-262-C: Atomization result raises static error? from Stephen Buxton on 2004-02-16 (public-qt-comments@w3.org from February 2004)

From: Stephen Buxton <Stephen.Buxton@oracle.com>
Date: 16 Feb 04 14:17:22
To: public-qt-comments@w3.org
Cc:
Message-Id: <200402162217.i1GMHMG07492@rgmgw5.us.oracle.com>

SECTION 3.5.1: Value Comparisons

Bullet 1 says "Atomization is applied to each operand. If the result, called an atomized operand, does not contain exactly one atomic value, a type error is raised.[err:XP0004][err:XP0006]". 
The definition of atomization (2.3.2) implies that atomization is done during evaluation phase. The words used here "atomic value" also implies that.
However, [err:XP0004] is a static type error. 

Similar statements appear in 3.7.3.1, 3.7.3.2, 3.8.3, and 3.12.3.

- Steve B.

Received on Monday, 16 February 2004 17:17:25 UTC