Re: What evil would happen?

["Robert I. Eachus" <rieachus@attbi.com>]

Wojtek Narczynski wrote:
> Hello,
> 
> Now I have a wealth of soluions (no order):
> 
> - generic functions with "in out" formal objects(HR),
> - Addres clause (RIE),

Incidently this is known as the Rosen trick, for Jean Pierre Rosen.  And 
there is a discussion in the ARG right now on the meaning of RM 
13.3(19).  My "notational" new wording is "the Rosen trick works, plus 
some other things."  (There are other cases being discussed as well.)
The issue is that the RM should say something about the effect on the 
object whose address may have been taken, and whether it is meaningful 
to try to exend that to cases where there is a more complex expression 
for the address.  But:

for A'Address use B'Address; when A and B are the same size, it shoud 
imply the same things about both A and B.

> Sorry for reviving my old thread, but I wanted to sum up and to thank everybody.

Believe me, no matter what is said, thanks are always appreciated.

-- 

                                                        Robert I. Eachus

�In an ally, considerations of house, clan, planet, race are 
insignificant beside two prime questions, which are: 1. Can he shoot? 2. 
Will he aim at your enemy?� -- from the Laiden novels by Sharon Lee and 
Steve Miller.