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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,b1264e586250f470
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-07-01 21:24:40 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsmi-us.news.garr.it!NewsITBone-GARR!news.mailgate.org!newsfeed.icl.net!newsfeed.fjserv.net!peer2.news.opaltelecom.net!zen.net.uk!213.253.16.105.MISMATCH!mephistopheles.news.clara.net!news.clara.net!usenet-fr.net!enst.fr!not-for-mail
From: christoph.grein@eurocopter.com
Newsgroups: comp.lang.ada
Subject: Re: Elaboration of nested generic package.
Date: Wed, 2 Jul 2003 06:13:16 +0200 (MET DST)
Organization: ENST, France
Message-ID: <mailman.0.1057119854.328.comp.lang.ada@ada.eu.org>
Reply-To: grein@egypt.otn.eurocopter.de
NNTP-Posting-Host: marvin.enst.fr
Mime-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
X-Trace: avanie.enst.fr 1057119857 42124 137.194.161.2 (2 Jul 2003 04:24:17
 GMT)
X-Complaints-To: usenet@enst.fr
NNTP-Posting-Date: Wed, 2 Jul 2003 04:24:17 +0000 (UTC)
To: comp.lang.ada@ada.eu.org
Return-Path: <christoph.grein@eurocopter.com>
X-Authentication-Warning: mail.eurocopter.com: uucp set sender to
	<christoph.grein@eurocopter.com> using -f
Content-MD5: IFMOna+7Cy67qbVoPEoelg==
X-Mailer: dtmail 1.2.1 CDE Version 1.2.1 SunOS 5.6 sun4u sparc 
X-BeenThere: comp.lang.ada@ada.eu.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: comp.lang.ada mail to news gateway  <comp.lang.ada.ada.eu.org>
List-Unsubscribe: <http://ada.eu.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada.eu.org?subject=unsubscribe>
List-Post: <mailto:comp.lang.ada@ada.eu.org>
List-Help: <mailto:comp.lang.ada-request@ada.eu.org?subject=help>
List-Subscribe: <http://ada.eu.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada.eu.org?subject=subscribe>
Xref: archiver1.google.com comp.lang.ada:39966
Date: 2003-07-02T06:13:16+02:00

package Example is

  pragma Elaborate_Body;

  procedure Do_Something;

  generic
    type Item_Type is private;
  package Nested is
    --pragma Elaborate_Body;
    procedure Do_Another_Thing;
  end Nested;

end Example;

There is no need to put pragma Elaborate_Body into the nested generic, because 
the body of Example also holds the body of Nested, and when the body of Example 
is elaborated, the body of Nested is inevitably elaborated as well.

What you cite in the style guide applies only to library generic units (or 
should that be generic library units :-):
http://www.adaic.org/docs/95style/html/sec_8/8-4-3.html