Re: child packages and nested packages

[Oliver Kellogg <okellogg@users.sourceforge.net>]

Referring back to
http://groups.google.com/group/comp.lang.ada/msg/c14a79f7d21f5ebf ,

On Mar 29 2002, 2:05 pm, Oliver Kellogg wrote:

> Sergey Koshcheyev <serk...@hotmail.com> wrote:
> > Just a quick idea - maybe using "is separate" in some right places
> > would solve it? Like having the spec of A.B.Impl inside A.B, and
> > having the body separate.
> 
> That's definitely possible, but still only a workaround solution.

I have to correct myself. It's not so definitely possible:

-- file: a.ads
package A is  -- module A
   package B is     -- interface B
      package Impl is
         procedure X;
      end Impl;
   end B;
end A;

-- file: a.adb
package body A is
   package body B is
      -- Implementation for interface B,
      -- body to be provided by user
      package body Impl is separate;
   end B;
end A;


$ gcc -c a.adb
a.adb:6:07: stub cannot appear in an inner scope