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-Thread: 103376,21960280f1d61e84 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!news.germany.com!news.belwue.de!kanaga.switch.ch!news-zh.switch.ch!switch.ch!cernne03.cern.ch!not-for-mail From: Maciej Sobczak Newsgroups: comp.lang.ada Subject: Re: GC in Ada Date: Thu, 08 Feb 2007 08:48:35 +0100 Organization: CERN News Message-ID: References: <1169636785.504223.139630@j27g2000cwj.googlegroups.com> <45b8361a_5@news.bluewin.ch> <3pejpgfbki.fsf@hod.lan.m-e-leypold.de> <45c99c24$1@news.post.ch> <45c9bdb8$1@news.post.ch> NNTP-Posting-Host: abpc10883.cern.ch Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: cernne03.cern.ch 1170920915 18241 137.138.37.241 (8 Feb 2007 07:48:35 GMT) X-Complaints-To: news@@cern.ch NNTP-Posting-Date: Thu, 8 Feb 2007 07:48:35 +0000 (UTC) User-Agent: Thunderbird 1.5.0.9 (X11/20061220) In-Reply-To: <45c9bdb8$1@news.post.ch> Xref: g2news2.google.com comp.lang.ada:9123 Date: 2007-02-08T08:48:35+01:00 List-Id: Martin Krischik wrote: > And Unchecked_Deallocation should deallocate even when a collector > is present. I don't understand. There is no legal way for the program to verify that anything was indeed deallocated, so it doesn't make much sense to say that this behaviour is required. As far as I understand it, Unchecked_Deallocation is allowed to do nothing. That wouldn't be a very competitive language implementation, but AARM does not require it either. :-) -- Maciej Sobczak : http://www.msobczak.com/ Programming : http://www.msobczak.com/prog/