From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Prologue and epilogue aspects
Date: Fri, 2 Feb 2018 16:20:23 -0600
Date: 2018-02-02T16:20:23-06:00 [thread overview]
Message-ID: <p52o77$r3h$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: fdighkFpkguU1@mid.individual.net
"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.
next prev parent reply other threads:[~2018-02-02 22:20 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-01-26 19:56 Prologue and epilogue aspects Dmitry A. Kazakov
2018-01-27 7:17 ` Randy Brukardt
2018-01-27 9:33 ` Dmitry A. Kazakov
2018-01-29 23:08 ` Randy Brukardt
2018-01-30 8:31 ` Dmitry A. Kazakov
2018-01-30 22:02 ` Randy Brukardt
2018-01-31 15:05 ` Dmitry A. Kazakov
2018-02-01 0:17 ` Randy Brukardt
2018-02-01 9:03 ` Dmitry A. Kazakov
2018-02-01 23:47 ` Randy Brukardt
2018-02-02 6:59 ` Niklas Holsti
2018-02-02 22:20 ` Randy Brukardt [this message]
2018-02-02 8:46 ` Dmitry A. Kazakov
2018-02-02 9:31 ` Niklas Holsti
2018-02-02 10:21 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox