9 Dynamic denotations

P: <AD>(# ... #); X: @<AD>; Y: ^<AD>;

it is checked that <AD> is a static denotation, where static is defined as follows:

• A name A is always static
• In a remote-name R.A, R must be a static object
• Use of THIS(A).T is static
• Only in Y: ^P.T, can P be a pattern
• Denotations using R[e], and (foo).bar are not static
• This means that e.g. descriptors like:

R[e].A(# ... #) (foo).bar(# ... #) R.P(# ... #) where 'R' is a dynamic ref.

For Y: ^R.P where R is a dynamic reference, the compiler will currently report a warning and suggest to use

Y: ^A.P where A is the qualification of R.

Note: that when using --noWarnQua, this warning will not be printed. A future release may change the warning to an error.