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

[Egil H H <ehh.public@gmail.com>]

On Thursday, April 29, 2021 at 12:20:07 PM UTC+2, Vincent Marciante wrote:
> 
> (My specific need is in trying to keep down code duplication in a few different implementations 
> of a generic package: separate body parts/files for each different implementation appear in different 
> subdirectories and the build system picks the correct ones depending on the variant being built. 

So what you want is a separate package/procedure/function:

generic 
package Generic_Foo is
   procedure Bar;
end Generic_Foo;

--

package body Generic_Foo is
   Name : String := "generic Foo";

   package Baz is
      procedure Qux;
   end Baz;
   
   package body Baz is separate;  -magic!

   procedure Bar is
   begin
      Baz.Qux;
   end Bar;
end Generic_Foo;

--

with Ada.Text_IO;
separate(Generic_Foo)
package body Baz is
   procedure Qux is
   begin
      Ada.Text_IO.Put_Line("Separate body of " & Name);
   end Qux; 
end Baz;


(Sorry in advance for google messing up indentation/formatting)