comp.lang.ada
 help / color / mirror / Atom feed
From: scott@plato.ds.boeing.com (Scott Moody)
Subject: Re: type casting tagged types in the wrong
Date: 1996/03/29
Date: 1996-03-29T00:00:00+00:00	[thread overview]
Message-ID: <Dp1v7A.B0@plato.ds.boeing.com> (raw)
In-Reply-To: DozKGv.CwJ.0.-s@inmet.camb.inmet.com

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;







  parent reply	other threads:[~1996-03-29  0:00 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-03-27  0:00 type casting tagged types in the wrong direction James A. Squire
1996-03-28  0:00 ` Norman H. Cohen
1996-03-28  0:00   ` Robert Dewar
1996-03-28  0:00 ` Tucker Taft
1996-03-28  0:00   ` Robert Dewar
1996-03-30  0:00     ` Fergus Henderson
1996-03-31  0:00       ` Robert Dewar
1996-03-29  0:00   ` Scott Moody [this message]
     [not found] <md5:2007D2C08E89BD8AAF36D7DF96E5D7BE>
1996-04-02  0:00 ` type casting tagged types in the wrong James A. Squire

replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox