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

ORA-XQ-206-C: type promotion

From: Stephen Buxton <Stephen.Buxton@oracle.com>
Date: 16 Feb 04 10:46:32
Message-Id: <200402161846.i1GIkW217254@rgmgw6.us.oracle.com>
To: public-qt-comments@w3.org
Cc:

SECTION 2.2.3.1: Static Analysis Phase

    "The operation tree is then normalized by making explicit the implicit operations such as atomization, type promotion and extraction of Effective Boolean Values (step SQ5)."
In step SQ6, there is a static type checking phase.
In SQ5, if the type checking (step SQ6)has not occurred, 
how can it do 'type promotion' which requires type information
on the operation tree?
Does this mean SQ5 and SQ6 are not sequentially done in order ?
Probably need to iterate between 5 and 6 ?

- Steve B.
Received on Monday, 16 February 2004 13:46:37 UTC

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