Re: Elaboration of nested packages.

[Bill Keen <billy@marnhull.demon.co.uk>]

In article <dewar.866853665@merv>, Robert Dewar <dewar@merv.cs.nyu.edu>
writes
>This is invalid code, since the instantiation appears before the body of
>the generic. It should raise Program_Error, 

Thanks, both repsonses have confirmed my understanding. It is just that
the two compilers at work both let this through, Alsys 4.2 and Green
Hills 1.8.7 (I think) and when I brought it home and run it through GNAT
I started to doubt my grasp of the issue. It seems that many compilers
are lax in this area.

The odd thing is, if you declare the generic at the outer level the
Alsys compiler spots the problem right away. 
  ...
  generic
  package IG is
  end IG;
  package PI is new OP.IG; -- Is this ok?
  package body IG is
  begin
  end;
  ...
Hide it in one layer of package and it can't see the problem.

-- 
Bill Keen