From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Gnat: broken dispatch tables for interface types ?
Date: Mon, 9 Jul 2012 20:28:17 +0200
Date: 2012-07-09T20:28:17+02:00 [thread overview]
Message-ID: <19dhv5d0fbg8s$.1pdcb0db9g4p0$.dlg@40tude.net> (raw)
In-Reply-To: m2y5mszvp5.fsf@nidhoggr.home
On Mon, 09 Jul 2012 18:32:54 +0100, Simon Wright wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>
>> On Mon, 09 Jul 2012 10:37:11 +0100, Simon Wright wrote:
>>
>>> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>>>
>>>> One thing though is that you should not derive new tagged types in
>>>> bodies.
>>>
>>> As a matter of interest, why not?
>>
>> It does not work well. I never analyzed the RM for the cases when the type
>> of an object could die before the object itself. But I certainly prefer not
>> to tease GNAT with these.
>
> Perhaps you meant in subprogram bodies? I don't see how the life of a
> type declared in a library-level package body can die.
Upon package finalization and elaboration when things get used prematurely.
It may work or fail in both directions.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2012-07-09 18:28 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-07-08 3:02 Gnat: broken dispatch tables for interface types ? rodakay
2012-07-08 6:53 ` Dmitry A. Kazakov
2012-07-08 7:38 ` Jeffrey Carter
2012-07-08 8:10 ` Dmitry A. Kazakov
2012-07-08 12:34 ` rodakay
2012-07-09 6:53 ` rodakay
2012-07-09 7:31 ` Dmitry A. Kazakov
2012-07-09 7:46 ` Rod Kay
2012-07-09 9:37 ` Simon Wright
2012-07-09 9:49 ` Dmitry A. Kazakov
2012-07-09 17:32 ` Simon Wright
2012-07-09 18:28 ` Dmitry A. Kazakov [this message]
2012-07-13 15:58 ` Robert A Duff
2012-07-08 17:41 ` Vadim Godunko
2012-07-09 7:34 ` Rod Kay
2012-07-08 23:45 ` sbelmont700
2012-07-10 7:02 ` Rod Kay
2012-07-10 11:09 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox