From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Google-Thread: 103376,86c76377d1077f30
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!tiscali!newsfeed1.ip.tiscali.net!proxad.net!cleanfeed1-b.proxad.net!nnrp2-1.free.fr!not-for-mail
Return-Path: <jmiranda@iuma.ulpgc.es>
X-Greylist: delayed 1046 seconds by postgrey-1.24 at green;
	Fri, 28 Jul 2006 14:23:40 CEST
Date: Fri, 28 Jul 2006 13:06:10 +0100 (WEST)
From: Javier Miranda - jmiranda <jmiranda@iuma.ulpgc.es>
X-X-Sender: jmiranda@palas
To: Yves Bailly <kafka.fr@laposte.net>
Subject: Re: Casting from interface type
In-Reply-To: <44c9a4a3$0$691$626a54ce@news.free.fr>
References: <44c94166$0$11790$626a54ce@news.free.fr>
	<1154050141.462907.39690@b28g2000cwb.googlegroups.com>
	<44c9a4a3$0$691$626a54ce@news.free.fr>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed
X-Virus-Scanned: amavisd-new at ada-france.org
Cc: comp.lang.ada@ada-france.org
X-BeenThere: comp.lang.ada@ada-france.org
X-Mailman-Version: 2.1.8rc1
Precedence: list
List-Id: "Gateway to the comp.lang.ada Usenet newsgroup"
	<comp.lang.ada.ada-france.org>
List-Unsubscribe: <http://www.ada-france.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada-france.org?subject=unsubscribe>
List-Post: <mailto:comp.lang.ada@ada-france.org>
List-Help: <mailto:comp.lang.ada-request@ada-france.org?subject=help>
List-Subscribe: <http://www.ada-france.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada-france.org?subject=subscribe>
Newsgroups: comp.lang.ada
Message-ID: <mailman.9.1154089426.32700.comp.lang.ada@ada-france.org>
X-Leafnode-NNTP-Posting-Host: 88.191.17.134
Organization: Guest of ProXad - France
NNTP-Posting-Date: 28 Jul 2006 14:25:57 MEST
NNTP-Posting-Host: 88.191.14.223
X-Trace: 1154089557 nnrp2-1.free.fr 30135 88.191.14.223:36118
X-Complaints-To: abuse@proxad.net
Xref: g2news2.google.com comp.lang.ada:5988
Date: 2006-07-28T14:25:57+02:00


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/