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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,efe03f20164a417b
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-03-21 11:47:46 PST
Path: 
 nntp.gmd.de!stern.fokus.gmd.de!ceres.fokus.gmd.de!zib-berlin.de!news.mathworks.com!uunet!in1.uu.net!portal.austin.ibm.com!bocanews.bocaraton.ibm.com!watnews.watson.ibm.com!ncohen
From: ncohen@watson.ibm.com (Norman H. Cohen)
Newsgroups: comp.lang.ada
Subject: Re: An observation of Ada (may offend)
Date: 21 Mar 1995 19:47:46 GMT
Organization: IBM T.J. Watson Research Center
Distribution: world
Message-ID: <3knah2$p4m@watnews1.watson.ibm.com>
References: <3kbkm1$41o@miranda.gmrc.gecm.com>
 <3kcflv$164a@watnews1.watson.ibm.com>
 <EACHUS.95Mar20111527@spectre.mitre.org>
Reply-To: ncohen@watson.ibm.com
NNTP-Posting-Host: rios8.watson.ibm.com
Date: 1995-03-21T19:47:46+00:00
List-Id: <comp.lang.ada>

In article <EACHUS.95Mar20111527@spectre.mitre.org>, eachus@spectre.mitre.org
(Robert I. Eachus) writes: 

|>                                     But I wish that the ability to
|> acknowledge child units had been built into the language so that, for
|> example a pragma Restrictions(No_Unspecified_Child_Units); would make
|> sense.

(-:  (-:  (-: 

At one point I suggested that a package be allowed to have an "absolutely
private" part, hidden even from children: 

   package P is
      ...
   abs private
      ...
   end P;

(I took the liberty of abbreviating "absolutely" to avoid the need for a
new reserved word.)  Somebody (sorry, can't remember who) did me one
better, suggesting the following syntax: 

   package P is
      ...
   private for all with out exception
      ...
   end P;

:-) :-) :-)

--
Norman H. Cohen    ncohen@watson.ibm.com