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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,b1264e586250f470,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-07-01 13:14:17 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!postnews1.google.com!not-for-mail
From: dlwester@hotmail.com (Don Westermeyer)
Newsgroups: comp.lang.ada
Subject: Elaboration of nested generic package.
Date: 1 Jul 2003 13:14:16 -0700
Organization: http://groups.google.com/
Message-ID: <5437fafb.0307011214.44a65ef5@posting.google.com>
NNTP-Posting-Host: 205.175.225.24
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1057090457 24007 127.0.0.1 (1 Jul 2003 20:14:17
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 1 Jul 2003 20:14:17 GMT
Xref: archiver1.google.com comp.lang.ada:39963
Date: 2003-07-01T20:14:17+00:00
List-Id: <comp.lang.ada>

Hello,

I'm hoping someone can answer my question.  I would like to know if
using the pragma 'elaborate_body' in a package also also performs
guarantees the elaboration of nested generic packages.

Thanks a lot!


Example:

package Example_Bad is

  -- This is ok.
  pragma elaborate_Body;

  procedure Do_Something;


  


  generic
     type Item_Type is private;
 
  package Nested_package is
    
    -- This is the problem because it this is a nested package.  
    -- The intent is to elaborate instantiations like if this 
    -- was in its own package.
    -- FWIW - This compiles with Rational Ada but not Aonix 
    -- which references LRM:10.1.5(2).  
    -- I would like to get rid of this but don't know if it
    -- is 'safe'. See:
    -- http://www.adaic.org/docs/95style/html/sec_8/8-4-3.html

    pragma Elaborate_Body;
  


    procedure Do_Another_Thing;


  end Nested_Package;



end Example_Bad;