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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Prologue and epilogue aspects
Date: Fri, 2 Feb 2018 16:20:23 -0600
Organization: JSA Research & Innovation
Message-ID: <p52o77$r3h$1@franka.jacob-sparre.dk>
References: <p4g15r$1s60$1@gioia.aioe.org>
 <p4h91t$d3t$1@franka.jacob-sparre.dk> <p4hh1n$1qao$1@gioia.aioe.org>
 <p4o9ht$tja$1@franka.jacob-sparre.dk> <p4pah6$1gan$1@gioia.aioe.org>
 <p4qq26$m08$1@franka.jacob-sparre.dk> <p4sm09$126n$1@gioia.aioe.org>
 <p4tmae$os9$1@franka.jacob-sparre.dk> <p4ul5c$582$1@gioia.aioe.org>
 <p508uk$nl8$1@franka.jacob-sparre.dk> <fdighkFpkguU1@mid.individual.net>
Injection-Date: Fri, 2 Feb 2018 22:20:24 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="27761"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:50281
Date: 2018-02-02T16:20:23-06:00
List-Id: <comp.lang.ada>

"Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message 
news:fdighkFpkguU1@mid.individual.net...
> On 18-02-02 01:47 , Randy Brukardt wrote:
>
>    [about finalization, etc., with Dmitry A. Kazakov]
>
>> The only practical way to that is similar to the way that AdaCore does 
>> that
>> (for both finalization and exception handling), [...]
>>
>> And I doubt that even the AdaCore scheme quite matches to your goals. 
>> Plus
>> the lack of safety (there now are many ways to get skip finalization on
>> objects),
>
> I ask for clarification: do you mean that AdaCore's finalization methods 
> allow finalization to be skipped (which would be bad), or that skips could 
> happen if Dmitry's suggestions were to be adopted?

Only if Dmitry's suggestions were to be adopted. AdaCore uses lists in some 
cases, Dmitry wanted to get rid of those cases by saying that they don't 
finalize. So far as I'm aware, GNAT does the right thing for Ada 2012 in 
every case.

                           Randy.