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
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!eu.feeder.erje.net!news.ripco.com!news.glorb.com!peer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post01.iad.highwinds-media.com!fx20.iad.POSTED!not-for-mail
From: Shark8 <OneWingedShark@gmail.com>
User-Agent: Mozilla/5.0 (Windows NT 6.1; Win64; x64;
 rv:32.0) Gecko/20100101 Thunderbird/32.0a1
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Strange error message
References: <33e17033-615d-43d4-8b47-9357c8875a10@googlegroups.com>
 <wcctx84qqgk.fsf@shell01.TheWorld.com>
 <17l7hex6vxkj4.wul0z12r7f85.dlg@40tude.net>
 <wcc38fn5sme.fsf@shell01.TheWorld.com>
In-Reply-To: <wcc38fn5sme.fsf@shell01.TheWorld.com>
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <Mx3jv.965315$k7.585931@fx20.iad>
X-Complaints-To: abuse@teranews.com
NNTP-Posting-Date: Mon, 02 Jun 2014 18:39:40 UTC
Organization: TeraNews.com
Date: Mon, 02 Jun 2014 12:39:36 -0600
X-Received-Bytes: 1489
X-Received-Body-CRC: 4116843824
Xref: news.eternal-september.org comp.lang.ada:20115
Date: 2014-06-02T12:39:36-06:00
List-Id: <comp.lang.ada>

On 02-Jun-14 07:49, Robert A Duff wrote:
> In fact, private parts should not exist; that stuff belongs in the body.

I'm not sure I agree -- it would be the ideal case, yes... but the 
private part can, and should [IMO] be used to convey information that 
isn't, strictly-speaking, required for the specification but /is/ for 
interfacing. eg: the size of a private-type, import, convention, etc.

Granted. virtually all of those are [in Ada 2012] fairly obsolescent 
with the aspect mechanism there are some that are not covered 
(record-representations and enumeration-value specifications come 
immediately to mind).