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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,3ed8984f81760f2e
X-Google-Attributes: gid103376,public
From: Stephen Leake <Stephen.Leake@gsfc.nasa.gov>
Subject: Re: Visibility Rules For Children
Date: 1998/10/28
Message-ID: <uyaq0cnex.fsf@gsfc.nasa.gov>#1/1
X-Deja-AN: 406095169
References: <m34sss6juk.fsf@mheaney.ni.net>
Organization: NASA Goddard Space Flight Center -- Greenbelt, Maryland USA
Newsgroups: comp.lang.ada
Date: 1998-10-28T00:00:00+00:00
List-Id: <comp.lang.ada>

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