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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,d927b7ea9b65580a
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-11-28 03:11:08 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!colt.net!news-lond.gip.net!news.gsl.net!gip.net!newspeer.clara.net!news.clara.net!server3.netnews.ja.net!newshost.central.susx.ac.uk!news.bton.ac.uk!not-for-mail
From: John English <je@brighton.ac.uk>
Newsgroups: comp.lang.ada
Subject: Re: Re: Style: always declare subrountines?
Date: Thu, 28 Nov 2002 10:32:27 +0000
Organization: University of Brighton
Message-ID: <3DE5F0BB.E7D21384@brighton.ac.uk>
References: <3dccc023$0$304$bed64819@news.gradwell.net>
 <3DD847CD.A3D78EE9@adaworks.com>
NNTP-Posting-Host: straumli.it.bton.ac.uk
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: saturn.bton.ac.uk 1038479505 14329 193.62.183.204 (28 Nov 2002
 10:31:45 GMT)
X-Complaints-To: news@bton.ac.uk
NNTP-Posting-Date: 28 Nov 2002 10:31:45 GMT
X-Mailer: Mozilla 4.79 [en] (Windows NT 5.0; U)
X-Accept-Language: en
Xref: archiver1.google.com comp.lang.ada:31278
Date: 2002-11-28T10:31:45+00:00
List-Id: <comp.lang.ada>

Richard Riehle wrote:
> My own own preference for internal subprograms that have no
> entry in the specification  to promote them to a private package
> specification.   This promotes reuse, enhances maintenance, and
> allows extensibility.   For example, consider: [...snip...]

One thing that always bugs me is that private packages can only be
accessed from the body of a public package. What would be nice to
be able to do sometimes is:

  with P.Implementation;
  package P.Public is
    type T is private;
    ...
  private
    type T is
      record
        X : P.Implementation.Stuff;
      end record;
  end P.Public;

Unfortunately P.Implementation can't be a private package here. (I
seem to remember someone saying that there was an AI that addressed
this problem; can anyone point me at it if this is true?)

Another gripe: it would sometimes be nice to be able to say "type T
renames P.Implementation.Stuff", but the standard trick of using a
subtype to rename doesn't work because T is declared as a type, not
a subtype. Grrr!

-----------------------------------------------------------------
 John English              | mailto:je@brighton.ac.uk
 Senior Lecturer           | http://www.it.bton.ac.uk/staff/je
 Dept. of Computing        | ** NON-PROFIT CD FOR CS STUDENTS **
 University of Brighton    |    -- see http://burks.bton.ac.uk
-----------------------------------------------------------------