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!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Prologue and epilogue aspects
Date: Fri, 2 Feb 2018 08:59:00 +0200
Organization: Tidorum Ltd
Message-ID: <fdighkFpkguU1@mid.individual.net>
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>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net Ql/T8M3UBK+JeOzo94K50wx+7tvYsLjInmaGjmzZ99vzNx2b5h
Cancel-Lock: sha1:pDk+shttSSEYpnlMx4E8m3hkSlA=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8; rv:45.0)
 Gecko/20100101 Thunderbird/45.8.0
In-Reply-To: <p508uk$nl8$1@franka.jacob-sparre.dk>
Xref: reader02.eternal-september.org comp.lang.ada:50273
Date: 2018-02-02T08:59:00+02:00
List-Id: <comp.lang.ada>

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?

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .