From: Javier Miranda - jmiranda <jmiranda@iuma.ulpgc.es>
To: Yves Bailly <kafka.fr@laposte.net>
Cc: comp.lang.ada@ada-france.org
Subject: Re: Casting from interface type
Date: Fri, 28 Jul 2006 13:06:10 +0100 (WEST)
Date: 2006-07-28T14:25:57+02:00 [thread overview]
Message-ID: <mailman.9.1154089426.32700.comp.lang.ada@ada-france.org> (raw)
In-Reply-To: <44c9a4a3$0$691$626a54ce@news.free.fr>
On Fri, 28 Jul 2006, Yves Bailly wrote:
>> However, the following should be legal,
>> although GNAT probably won't accept it (see below):
>>
>> var_t := T (T'Class (p));
>>
>>> proc.adb:15:21: invalid tagged conversion, not compatible with
>>> type "I'Class" defined at line 3
>>
>> I think this is legal and GNAT is wrong.
Yves,
You are correct. This problem was detected after the distribution of
GAP-2006 and it is already fixed in the development version of the GNAT
compiler.
--- Javier Miranda
"A Detailed Description of the GNU Ada Run-Time", J.Miranda
Free book available at http://www.iuma.ulpgc.es/users/jmiranda/
next prev parent reply other threads:[~2006-07-28 12:06 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-07-27 22:42 Casting from interface type Yves Bailly
2006-07-28 1:29 ` Adam Beneschan
2006-07-28 5:46 ` Yves Bailly
2006-07-28 12:06 ` Javier Miranda - jmiranda [this message]
2006-07-28 4:32 ` Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox