From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.4 required=5.0 tests=BAYES_00,FAKE_REPLY_C
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,a52a265b2d07ee2c,start
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news4.google.com!feeder.news-service.com!newsfeed00.sul.t-online.de!newsmm00.sul.t-online.de!t-online.de!news.t-online.com!not-for-mail
From: Oliver Kellogg <okellogg@users.sourceforge.net>
Newsgroups: comp.lang.ada
Subject: Re: child packages and nested packages
Date: Thu, 4 Mar 2010 06:37:56 +0100
Organization: T-Online
Message-ID: <hmngvk$bp5$00$1@news.t-online.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Trace: news.t-online.com 1267681076 00 n12069 kKfxpKS6UOnvSjC3 100304
 05:37:56
X-Complaints-To: usenet-abuse@t-online.de
X-ID: VaSelvZdYee8cBpLgJVg9G0Xdt1FNXfPiOBPa6I3fQimdUbwjuTuoO
User-Agent: Pan/0.133 (House of Butterflies)
Xref: g2news1.google.com comp.lang.ada:9394
Date: 2010-03-04T06:37:56+01:00
List-Id: <comp.lang.ada>

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