P: <AD>(# ... #); X: @<AD>; Y: ^<AD>;
it is checked that <AD> is a static denotation, where static is defined as follows:
are only allowed in imperatives.
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.
|BETA Language Modifications - Reference Manual||© 1999-2002 Mjølner Informatics||
[Modified: Sunday October 22nd 2000 at 0:53]