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=unavailable 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!.POSTED!not-for-mail
From: "Alejandro R. Mosteo" <alejandro@mosteo.com>
Newsgroups: comp.lang.ada
Subject: Re: Generic private type declaration
Date: Mon, 28 Nov 2016 15:57:34 +0100
Organization: A noiseless patient Spider
Message-ID: <o1hgii$ugg$2@dont-email.me>
References: <o19sod$ug2$1@dont-email.me>
 <26727abf-a679-4733-a424-45deb30a597e@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 28 Nov 2016 14:56:18 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="3237df158612239f87cf0330feb8bd63";
	logging-data="31248"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX187z/TRGyOTmYsVZxFu4yJf"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.4.0
In-Reply-To: <26727abf-a679-4733-a424-45deb30a597e@googlegroups.com>
Cancel-Lock: sha1:G/L2vr2Mbxzm0AgROjwm/7cMdm0=
Xref: news.eternal-september.org comp.lang.ada:32488
Date: 2016-11-28T15:57:34+01:00
List-Id: <comp.lang.ada>

On 25/11/16 20:18, AdaMagica wrote:
> RM 12.5.1(5/3) ... For a formal derived type declaration, the reserved words *with private* shall appear if and only if the ancestor type is a tagged type; in this case the formal derived type is a private extension of the ancestor type and the ancestor shall not be a class-wide type...
>

My interpretation is that the formal used in my example belongs to 
12.5.1(2), formal private type. This is of course assuming that the 
generic formal declaration is interpreted from inside the generic and 
not from the actual instance type used?

I had assumed that 3/2 applies when you want to make explicit to the 
generic that the type comes from some form of derivation.

Alex.