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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,195bd8ec4227e968 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2004-02-13 16:25:57 PST Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newshosting.com!c01.iad01.newshosting.com!newshosting.com!nx01.iad01.newshosting.com!border1.nntp.ash.giganews.com!border2.nntp.sjc.giganews.com!border1.nntp.sjc.giganews.com!nntp.giganews.com!local1.nntp.sjc.giganews.com!nntp.comcast.com!news.comcast.com.POSTED!not-for-mail NNTP-Posting-Date: Fri, 13 Feb 2004 18:25:53 -0600 Date: Fri, 13 Feb 2004 19:25:52 -0500 From: "Robert I. Eachus" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: [Q] non-limited record and "self-pointer" References: <86d68pl0tc.fsf@sonnenregen.at.home> In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: NNTP-Posting-Host: 24.147.77.160 X-Trace: sv3-8NpTRGELAkDl8JV4IdgMKnBWak9QO/fb1qIYpMBXJhe8bQLlK1XPm1CeaBwsZCn04JycWOsLGh1ARSU!9xrOICMb3KJbOQNF157LxtpB9+mPaGsWcWiKVbEuTEgK/3LbzwmSISAKMVdFhw== X-Complaints-To: abuse@comcast.net X-DMCA-Complaints-To: dmca@comcast.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.1 Xref: archiver1.google.com comp.lang.ada:5555 Date: 2004-02-13T19:25:52-05:00 List-Id: Georg Bauhaus wrote: > Robert I. Eachus wrote: > : > : In this case, there is an implementation freedom with Controlled that is > : totally bogus. > > I guess then that I should not define a type and operations > so that they work if an implementation chooses to let this work. > That means I might have to revert to limited types, with > all the consequences... Or wait for Ada 0Y to be further along before you do any ports. I thought there waa an AI that fixed this problem, but I can't find it. (Stay tuned.) -- Robert I. Eachus "The war on terror is a different kind of war, waged capture by capture, cell by cell, and victory by victory. Our security is assured by our perseverance and by our sure belief in the success of liberty." -- George W. Bush