Re: Elaboration of nested packages.

[dewar@merv.cs.nyu.edu (Robert Dewar)]

Bill Keen asks about

<<with Ada.text_io; use Ada.text_io;
procedure P is
  package OP is
    generic
    package IG is
    end IG;
  end OP;
  package PI is new OP.IG; -- Is this ok?
  package body OP is
    package body IG is
    begin
      put_line("Elaborated body IG");
    end;
  begin
    put_line("Elaborated body OP");
  end;
begin
  put_line("Main program");
end P;>>


This is invalid code, since the instantiation appears before the body of
the generic. It should raise Program_Error, but this check is not in GNAT
3.07.

The current version of GNAT (3.10) will generate a static warning that this
instantiation will raise Program_Error, and then if you execute the program,
it *will* raise program_error.