- From: Stephen Buxton <Stephen.Buxton@oracle.com>
- Date: 16 Feb 04 10:46:32
- 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