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

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

So what you want is an implicit instantiation as outlined below:

generic
package Gen is
end Gen;
package body Gen is
  procedure Proc is separate;
end Gen;

private package Gen.Priv is  -- will be implicitly instantiated
end Gen.Priv;

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

This is not very far from the solution given by ehh.