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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,3a34550290fdc12c,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-07-10 14:11:30 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.freenet.de!news.tu-darmstadt.de!news.belwue.de!news-ge.switch.ch!switch.ch!news.grnet.gr!news.ntua.gr!not-for-mail
From: "Papastefanos Serafeim" <serafeim@otenet.gr>
Newsgroups: comp.lang.ada
Subject: Problems with tagged records and inheritance
Date: Thu, 10 Jul 2003 23:56:23 +0300
Organization: National Technical University of Athens, Greece
Message-ID: <bekkpr$12eg$1@ulysses.noc.ntua.gr>
NNTP-Posting-Host: lami530-a064.otenet.gr
X-Trace: ulysses.noc.ntua.gr 1057871487 35280 195.167.117.64 (10 Jul 2003
 21:11:27 GMT)
X-Complaints-To: usenet@ulysses.noc.ntua.gr
NNTP-Posting-Date: Thu, 10 Jul 2003 21:11:27 +0000 (UTC)
X-Newsreader: Microsoft Outlook Express 4.72.3110.5
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3
Xref: archiver1.google.com comp.lang.ada:40173
Date: 2003-07-10T23:56:23+03:00
List-Id: <comp.lang.ada>

I have using a base type like this:
...
type Base is tagged private;
...
type Base is tagged record
         AAA: Integer:=1;
      end record;

and a child type like this

type Child is new Base with private;
....
type Child is new Base with record
        BBB: Integer:=5;
      end record;

The problem is that the following is not working:

   procedure Test(Ch: in Child) is
   begin
      Put(Ch.AAA); --<- This line has an error, it says no selector AAA for
type Child
      Put(Ch.BBB);
   end Test;
The procedure Test is declared in the same package
as the type Child and defined at the package's Body.

The error is becouse AAA is not part of Child.
Why is that ? I thought that Child would contain
AAA and BBB, and not only BBB...

--
Papastefanos Serafeim
serafeim@otenet.gr