Problems with tagged records and inheritance

["Papastefanos Serafeim" <serafeim@otenet.gr>]

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