Elaboration of nested generic package.

[dlwester@hotmail.com (Don Westermeyer)]

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;