Re: Problems with visibility of implicit function...

[stt@henning.camb.inmet.com (Tucker Taft)]

Dale Stanbrough (dale@goanna.cs.rmit.EDU.AU) wrote:

: 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"?

Yes, but you can reach an equivalent one by appropriate
use of (view) conversion.

: --------------------------------------------
: 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?

                return Lists.full(Lists.list(item));

should work.


: 	end;
: 	
: end stacks;


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

Ask Bob Duff.

: Dale

-Tucker Taft   stt@inmet.com   http://www.inmet.com/~stt/
Intermetrics, Inc.  Cambridge, MA  USA