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.1 required=5.0 tests=BAYES_20,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,6742ab01b9814abe
X-Google-Attributes: gid103376,public
From: scott@plato.ds.boeing.com (Scott Moody)
Subject: Re: type casting tagged types in the wrong
Date: 1996/03/29
Message-ID: <Dp1v7A.B0@plato.ds.boeing.com>#1/1
X-Deja-AN: 144940574
sender: news@plato.ds.boeing.com
references: <DozKGv.CwJ.0.-s@inmet.camb.inmet.com>
organization: Boeing Defense and Space Group
reply-to: scott@plato.ds.boeing.com
newsgroups: comp.lang.ada
Date: 1996-03-29T00:00:00+00:00
List-Id: <comp.lang.ada>

I run this same program with GNAT 3.03 on solaris
and it reports the error correctly:

tmp.adb:24:14: downward conversion of tagged objects not allowed
gnatmake: *** compilation failed.


----source:
procedure tmp is

 type A is tagged
   record
     X : integer;
     Y : integer;
   end record;

 type B is new A with
   record
     W : integer;
   end record;

 type C is new B with
   record
     Z : integer;
   end record;

   Jim  : C;
   Jane : B;
   Save : integer;

 begin
   Jim := C (Jane);
   Save := Jim.Z;
 end;