comp.lang.ada
 help / color / mirror / Atom feed
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Gnat: broken dispatch tables for interface types ?
Date: Fri, 13 Jul 2012 11:58:13 -0400
Date: 2012-07-13T11:58:13-04:00	[thread overview]
Message-ID: <wcchatb8xgq.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: to9eaae5zm7b$.1p192u4vtogb3$.dlg@40tude.net

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

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

That can't happen.

If you don't believe me, try to construct an example.  If you succeed
then either the language or the compiler is broken.

- Bob



  parent reply	other threads:[~2012-07-13 15:58 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
2012-07-13 15:58             ` Robert A Duff [this message]
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