Re: [Ada95] Private non-generic children of generics not allowed

[Thomas <fantome.forums.tDeContes@free.fr.invalid>]

In article <076b95b5-ff44-4c47-9b0b-50d4546c589bn@googlegroups.com>,
 AdaMagica <christ-usch.grein@t-online.de> wrote:

> Vincent Marciante schrieb am Donnerstag, 29. April 2021 um 21:29:12 UTC+2:
> >  but I'm not sure that 
> > "implicit instantiation" would be the best way to describe it. I'll think 
> > about it.
> 
> It must be. As Gen.Priv, it has direct visibility to its parent Gen, as a 
> private child also in its parent's private part.
> When Gen is instantiated, say as Inst, Gen.Priv cannot have visibility into 
> Inst.

isn't it possible to consider that when a child is called from within 
the generic parent, it must be called from an instantiation of it,
and then it's not needed to re-do the instantiation within the generic 
parent?

it could be a rule that works even when the chils is public, but of 
course, the instantiation could be avoided only when it is called from 
within the generic parent, not when it is called from outside.

-- 
RAPID maintainer
http://savannah.nongnu.org/projects/rapid/