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

[AdaMagica <christ-usch.grein@t-online.de>]

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. So the separate Proc must become

with Inst.Priv;
separate (Inst)
procedure Proc is
begin
...Priv.XXX... -- anything from Priv
end Proc;