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,97a4ff0c3103bbb6 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail Newsgroups: comp.lang.ada Subject: Re: Deallocating list of polymorphic objects? From: Georg Bauhaus In-Reply-To: <1164984998.341870.69880@j44g2000cwa.googlegroups.com> References: <1164930027.758923.119740@h54g2000cwb.googlegroups.com> <-6GdnbcBS6eIGfLYnZ2dnUVZ_vednZ2d@megapath.net> <1164984998.341870.69880@j44g2000cwa.googlegroups.com> Content-Type: text/plain Content-Transfer-Encoding: 7bit Organization: # Message-ID: <1164999837.28518.4.camel@localhost.localdomain> Mime-Version: 1.0 X-Mailer: Evolution 2.6.1 Date: Fri, 01 Dec 2006 20:03:57 +0100 NNTP-Posting-Date: 01 Dec 2006 20:03:41 CET NNTP-Posting-Host: ff7439fa.newsspool2.arcor-online.net X-Trace: DXC=@B9iD2VZ47G^B]`=U:WelBA9EHlD;3YcB4Fo<]lROoRAFl8W>\BH3YBWM;lRK\R4mAA:ho7QcPOVCNnL>YI8;6^J1hXic>h2UDH X-Complaints-To: usenet-abuse@arcor.de Xref: g2news2.google.com comp.lang.ada:7779 Date: 2006-12-01T20:03:41+01:00 List-Id: On Fri, 2006-12-01 at 06:56 -0800, Matthew Heaney wrote: > Maciej Sobczak wrote: > > > > Could you please throw some paragraph numbers from AARM that are > > relevant to this? ... > http://www.adaic.com/standards/05aarm/html/AA-7-6-1.html > > See RM05 7.6.1, Note 22. If you don't find a text book recommendation offending, Cohen's Ada as a Second Language has many pointers. One is an index entry, entitled "finalization invoked twice for the same object", which leads to Controlled types, and also to deferred abortion. -- Georg