Re: child packages and nested packages

[Adam Beneschan <adam@irvine.com>]

On Mar 3, 9:37 pm, Oliver Kellogg <okell...@users.sourceforge.net>
wrote:
> Referring back tohttp://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

You can do it if you make B separate:

package body A is
   package body B is separate;
end A;

separate(A)
package body B is
   package body Impl is separate;
end B;

I'm not really familiar with the original problem so I don't know
whether this helps you any.

                                 -- Adam