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 X-Google-Attributes: gid103376,public From: stt@henning.camb.inmet.com (Tucker Taft) Subject: Re: Problems with visibility of implicit function... Date: 1996/06/18 Message-ID: #1/1 X-Deja-AN: 160869440 sender: news@inmet.camb.inmet.com (USENET news) x-nntp-posting-host: henning.camb.inmet.com references: <4q67nn$sp5@goanna.cs.rmit.EDU.AU> organization: Intermetrics, Inc. newsgroups: comp.lang.ada Date: 1996-06-18T00:00:00+00:00 List-Id: 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