From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,CP1252 X-Google-Thread: 103376,f3437064e1091fec X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-07-18 17:55:33 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!arclight.uoregon.edu!wn13feed!wn12feed!worldnet.att.net!204.127.198.203!attbi_feed3!attbi_feed4!attbi.com!rwcrnsc53.POSTED!not-for-mail Message-ID: <3F1896FB.8030801@attbi.com> From: "Robert I. Eachus" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.0.2) Gecko/20021120 Netscape/7.01 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: What evil would happen? References: <5ad0dd8a.0307111151.4a08f95a@posting.google.com> <5ad0dd8a.0307180023.2ad7df49@posting.google.com> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit NNTP-Posting-Host: 66.31.71.243 X-Complaints-To: abuse@comcast.net X-Trace: rwcrnsc53 1058576132 66.31.71.243 (Sat, 19 Jul 2003 00:55:32 GMT) NNTP-Posting-Date: Sat, 19 Jul 2003 00:55:32 GMT Organization: Comcast Online Date: Sat, 19 Jul 2003 00:55:32 GMT Xref: archiver1.google.com comp.lang.ada:40492 Date: 2003-07-19T00:55:32+00:00 List-Id: 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.