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,a45c7f0a721c2c35,start
X-Google-Attributes: gid103376,public
From: Dale Stanbrough <dale@goanna.cs.rmit.EDU.AU>
Subject: Problems with visibility of implicit function...
Date: 1996/06/18
Message-ID: <4q67nn$sp5@goanna.cs.rmit.EDU.AU>#1/1
X-Deja-AN: 160815397
distribution: world
content-type: text/plain; charset=ISO-8859-1
x-xxmessage-id: <ADECE01FDF021B17@obibicut.cs.rmit.edu.au>
organization: Royal Melbourne Institute of Technology
mime-version: 1.0
newsgroups: comp.lang.ada
Date: 1996-06-18T00:00:00+00:00
List-Id: <comp.lang.ada>


I've got some problems calling an implicity declared function
which is hidden by an explicity declared one. I've tried
renaming, only to end up with infinite recursion. Is the
implicity declared function "hidden from all visibility"?

--------------------------------------------
package lists is
	type list is private;
	
	function full(item:list) return boolean;
private
	...
end lists;

with lists;
package stacks is
	type stack is private;
	
	function full(item:stack) return boolean;
	
private
	type stack is new lists.list;
	-- inherited & implicitly defined full...
	-- function full(item:stack) return boolean;
end;

package body stacks is

	function full(item:stack) return boolean is
	begin
		...what?
		should i just call on lists.full?
	end;
	
end stacks;


BTW WRT Annotated LRM, 8.5.4(8.g), what do alligators have to
do with squirrels?  ?:-)

Dale