Re: Visibility Rules For Children

[Stephen Leake <Stephen.Leake@gsfc.nasa.gov>]

Matthew Heaney <matthew_heaney@acm.org> writes:

> What are the visibility rules for children?

<snip>

After rearranging the test code (see below) to avoid declaring a new
primitive subprogram C, ObjectAda 7.1.2 gives the helpful error
message:

matt.adb: Internal: line 38 col 14 improve_context found null in
ili_slot 1 of 12407E0, Returning unimproved context
       (In instance of generic GC in matt.adb)

So I can't tell if Tucker Taft's favorite front end thinks this is
legal or not :).

You do have a penchant for finding compiler bugs! 

-- Stephe

generic
   type FT is private;
package GP is
   type T is tagged limited private;
private
   type T is
      tagged limited  record
        I : Integer;
      end record;
end GP;


generic
   type NT is new T with private;
procedure GP.GC (O : in out NT);


procedure GP.GC (O : in out NT) is
begin
   O.I := 1;
end;


with GP;
package P is new GP (Integer);


with P;
package Q is
   type NT is new P.T with null record;
end;


with P;
with Q;
with GP.GC;
procedure Test_Q is
   procedure C is new P.GC (Q.NT);
begin