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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Received: by 2002:a0c:cd8e:: with SMTP id v14mr7916121qvm.182.1578558528274;
 Thu, 09 Jan 2020 00:28:48 -0800 (PST)
X-Received: by 2002:aca:f10:: with SMTP id 16mr2145772oip.117.1578558527984;
 Thu, 09 Jan 2020 00:28:47 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!feeder5.feed.usenet.farm!feed.usenet.farm!tr2.eu1.usenetexpress.com!feeder.usenetexpress.com!tr3.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!g89no2664120qtd.0!news-out.google.com!w29ni380qtc.0!nntp.google.com!g89no2664111qtd.0!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 9 Jan 2020 00:28:47 -0800 (PST)
In-Reply-To: <ly5zhl28z5.fsf@pushface.org>
Complaints-To: groups-abuse@google.com
Injection-Info: google-groups.googlegroups.com; posting-host=87.154.198.78;
 posting-account=3zVVBwoAAAC7BSMfgNP7DSbqU9urpt40
NNTP-Posting-Host: 87.154.198.78
References: <dad5cd25-5eca-499c-bb24-7441eb3b3c33@googlegroups.com>
 <ly5zhl28z5.fsf@pushface.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <3ab1342f-a6d5-42ce-8bb0-1b49d3fd5e42@googlegroups.com>
Subject: Re: decomposing large packages
From: mario.blunk.gplus@gmail.com
Injection-Date: Thu, 09 Jan 2020 08:28:48 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:57809
Date: 2020-01-09T00:28:47-08:00
List-Id: <comp.lang.ada>

> P's body can see P.S1:
> 
>    package P.S1 is
>       procedure N (Value : Thing) is null; -- save typing :-)
>    end P.S1;
> 
>    with P.S1;
>    package body P is
>       procedure M (Value : Thing) is
>       begin
>          S1.N (Value);
>       end M;
>    end P;

Thanks Simon, but the body of P can't see the specification of S1.