Re: Q: generic children of generic packages?

[Steve Vestal <vestal@htc.honeywell.com>]

Here's what I tried, with the error messages included as comments.  The
problem seems to occur in the attempt to instantiate the generic child
package.  Any suggestions would be most appreciated.

generic
package Generic_Parent is
   type Hidden_Type is private;
   procedure Frobulate (HT: in out Hidden_Type);
private
   type Hidden_Type is new Integer;
end Generic_Parent;

package body Generic_Parent is
   procedure Frobulate (HT: in out Hidden_Type) is
   begin
       HT := HT + 1;
   end;
end Generic_Parent;

generic
package Generic_Parent.Generic_Child is
    procedure Pre_Frobulate (HT: out Hidden_Type);
end Generic_Parent.Generic_Child;

package body Generic_Parent.Generic_Child is
    procedure Pre_Frobulate (HT: Hidden_Type) is
    begin
        HT := 0;
    end;
end Generic_Parent.Generic_Child;

with Generic_Parent;
package Parent is new Generic_Parent;

with Parent;
-- parent-child.ads:5:35: "Generic_Child" not declared in "Parent"
-- Can also try the following, with following results.
--with Parent.Generic_Child;
-- main.adb:2:06: file "parent-generic_child.ads" not found
package Parent.Child is new Parent.Generic_Child;

with Parent;
with Parent.Child;
procedure Main is
   HT: Parent.Hidden_Type;
begin
   Parent.Child.Pre_Frobulate (HT);
   Parent.Frobulate (HT);
end Main;