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,ASCII-7-bit X-Google-Thread: 103376,fd63afa4dc364b7e X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-03-17 01:38:53 PST Path: nntp.stanford.edu!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsxfer.eecs.umich.edu!uwm.edu!homer.alpha.net!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada References: <98m938$2iod0$1@ID-25716.news.dfncis.de> <98pgs1$32up7$1@ID-25716.news.dfncis.de> Subject: Re: Better support for garbage collection X-Newsreader: Microsoft Outlook Express 4.72.3612.1700 X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3719.2500 Message-ID: Date: Thu, 15 Mar 2001 15:37:13 -0600 NNTP-Posting-Host: 156.46.62.124 X-Complaints-To: abuse@alpha.net X-Trace: homer.alpha.net 984692307 156.46.62.124 (Thu, 15 Mar 2001 15:38:27 CST) NNTP-Posting-Date: Thu, 15 Mar 2001 15:38:27 CST Xref: nntp.stanford.edu comp.lang.ada:91496 Date: 2001-03-15T15:37:13-06:00 List-Id: Nick Roberts wrote in message <98pgs1$32up7$1@ID-25716.news.dfncis.de>... >> Note that it is not always known at compile time whether a given access >> type's pool is a repositioning pool, so the code generated for "new" and >> "Unchecked_Deallocation" must be as in the RM (eg, these can't call the >> new Allocate). > >In the unlikely case of an access type whose pool is specified by a dynamic >name, I think you are correct. The user would need to use a static name to >avoid this problem. You don't know in generics, either, unless you plan to change the matching rules for generic formal access types. Thus, this would potentally contract-breaking. It certainly wouldn't work on any compiler that uses universal generic code shared [i.e., Janus/Ada]. And, I think that your attributes would have to be allowed on all access types, or you would have contract model problems. --- Personally, I don't think this proposal is worth pursuing, because it doesn't propose a solution to the hard part of the problem (determining what is reachable). Using your 10 foot trench analogy, I think you'll have a lot better luck if you can figure out how dig 8 feet of the trench, just leaving a little of it to the compiler. Randy Brukardt.