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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Mart van de Wege <mvdwege@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Can't access record attribute in derived type
Date: Wed, 08 Mar 2017 16:06:24 +0100
Message-ID: <86innj4xlb.fsf@gaheris.avalon.lan>
References: <86mvcv4zyu.fsf@gaheris.avalon.lan> <o9p410$fp9$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain
X-Trace: individual.net E93GFFaMo7GnFq7rYMBqRwq4CMU8ccsbJO8pxui5pEumXVXnWi
X-Orig-Path: gaheris.avalon.lan!not-for-mail
Cancel-Lock: sha1:P12sSw5DMonx0l4/rvV7J4nL6NU=
 sha1:ADSH1x4GiICGUc04RmJeifFwrrk=
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux)
Xref: news.eternal-september.org comp.lang.ada:33493
Date: 2017-03-08T16:06:24+01:00
List-Id: <comp.lang.ada>

"G.B." <bauhaus@notmyhomepage.invalid> writes:

> On 08/03/2017 15:15, Mart van de Wege wrote:
>> The declarations are private, but shouldn't a
>> tagged type inherit the entire record of its parent type? That means
>> that it should have a Parents selector, shouldn't it?
>
> Just to make sure, is this also a hierarchy of child
> packages, like
>
> P
>   Creature
> P.C
>   Person
> P.C.G
>   Knight
>
> so that every derived type's definition has visibility
> into the respective parent package's private part?
>
Yep, it is.

Mart
-- 
"We will need a longer wall when the revolution comes."
    --- AJS, quoting an uncertain source.