comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Gnat: broken dispatch tables for interface types ?
Date: Mon, 09 Jul 2012 18:32:54 +0100
Date: 2012-07-09T18:32:54+01:00	[thread overview]
Message-ID: <m2y5mszvp5.fsf@nidhoggr.home> (raw)
In-Reply-To: to9eaae5zm7b$.1p192u4vtogb3$.dlg@40tude.net

"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.



  reply	other threads:[~2012-07-09 17:32 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 [this message]
2012-07-09 18:28               ` Dmitry A. Kazakov
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