| CARVIEW |
Select Language
HTTP/2 200
date: Sat, 11 Oct 2025 16:27:44 GMT
content-type: text/html
content-encoding: gzip
last-modified: Thu, 13 Jul 2023 17:50:22 GMT
cache-control: max-age=2592000, public
expires: Mon, 10 Nov 2025 16:27:43 GMT
vary: Accept-Encoding
access-control-allow-origin: *
x-request-id: 98cfb9fb890a6f7a
strict-transport-security: max-age=15552015; preload
x-frame-options: deny
x-xss-protection: 1; mode=block
cf-cache-status: EXPIRED
set-cookie: __cf_bm=MDgFw5tWIiEQLiB9UmqACgueUZL85PC.XEnK5lnSQZg-1760200064-1.0.1.1-_d9TcNQ6Z9and8DqR0yX.iuMLrV8t_h_ffDrU2GaCHcmujF8W2gjLbV3aqnYxSrl1oTp6S.x7TX5gf4foDkXAaojbOATKUY5Dy84XHtgxoA; path=/; expires=Sat, 11-Oct-25 16:57:44 GMT; domain=.w3.org; HttpOnly; Secure; SameSite=None
server: cloudflare
cf-ray: 98cfb9fb890a6f7a-BLR
alt-svc: h3=":443"; ma=86400
ORA-XQ-206-C: type promotion from Stephen Buxton on 2004-02-16 (public-qt-comments@w3.org from February 2004)
ORA-XQ-206-C: type promotion
- From: Stephen Buxton <Stephen.Buxton@oracle.com>
- Date: 16 Feb 04 10:46:32
- To: public-qt-comments@w3.org
- Cc:
- Message-Id: <200402161846.i1GIkW217254@rgmgw6.us.oracle.com>
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