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=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC,T_FILL_THIS_FORM_SHORT autolearn=no
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,23e3ddd47450e30c,start
X-Google-Attributes: gid103376,public
From: Tom Moran <tmoran@bix.com>
Subject: Ada 95 visibility question
Date: 1997/09/20
Message-ID: <3424860A.2777@bix.com>#1/1
X-Deja-AN: 274179709
Organization: InterNex Information Services 1-800-595-3333
Reply-To: tmoran@bix.com
Newsgroups: comp.lang.ada
Date: 1997-09-20T00:00:00+00:00
List-Id: <comp.lang.ada>


Of three compilers I tried this on, 2 took it happily and one said it
couldn't find such a thing as "peek_a_boo" at the place indicated. 
What's correct?
package c is
  type root is tagged private;
private
  type root is tagged record
    peek_a_boo:integer;
  end record;
end c;

package c.d is
  type dialog is new c.root with private;
private
  type dialog is new c.root with record
    dd:integer;
  end record;
end c.d;

with c.d;
package c.f is
  type file_dialog is new c.d.dialog with private;
  procedure p(x:in out file_dialog);
private
  type file_dialog is new c.d.dialog with record
    ff:integer;
  end record;
end c.f;

package body c.f is
  procedure p(x:in out file_dialog) is
    y:integer;
  begin
    y:=root(x).peek_a_boo;
    y:=x.peek_a_boo;  1/3 of compilers tested complained
  end p;
end c.f;

with c.f;
procedure bug1 is
  f:c.f.file_dialog;
begin
  c.f.p(f);
end bug1;