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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,93553f5160def2e9
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!l53g2000cwa.googlegroups.com!not-for-mail
From: "Adam Beneschan" <adam@irvine.com>
Newsgroups: comp.lang.ada
Subject: Re: 2 Ada 95/05 language design questions
Date: 16 Feb 2007 10:52:52 -0800
Organization: http://groups.google.com
Message-ID: <1171651972.248409.324390@l53g2000cwa.googlegroups.com>
References: <1171556508.585271.80780@v45g2000cwv.googlegroups.com>
   <wcc64a388hu.fsf@shell01.TheWorld.com>
   <1171580374.075519.138610@h3g2000cwc.googlegroups.com>
NNTP-Posting-Host: 66.126.103.122
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1171651980 2756 127.0.0.1 (16 Feb 2007 18:53:00
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 16 Feb 2007 18:53:00 +0000 (UTC)
In-Reply-To: <1171580374.075519.138610@h3g2000cwc.googlegroups.com>
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux x86_64; en-US;
 rv:1.7.12) Gecko/20050922 Fedora/1.7.12-1.3.1,gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: l53g2000cwa.googlegroups.com; posting-host=66.126.103.122;
   posting-account=cw1zeQwAAABOY2vF_g6V_9cdsyY_wV9w
Xref: g2news2.google.com comp.lang.ada:9350
Date: 2007-02-16T10:52:52-08:00
List-Id: <comp.lang.ada>

On Feb 15, 2:59 pm, pnkflyd...@gmail.com wrote:

> You still have to with in the parent tagged types package.

No, I don't think that's correct.  The following program appears to be
legal, and it compiles with GNAT;  the call to A.CW_Op is legal and
refers to the CW_Op defined in pak1, even though pak1 is not visible
and CW_Op isn't implicitly defined (inherited) in pak2 or pak3:

package pak1 is
    type Root is tagged null record;
    procedure CW_Op (X : in out Root'Class);
end pak1;

with pak1;
package pak2 is
    type Child1 is new pak1.Root with null record;
end pak2;

with pak2;
package pak3 is
    type Child2 is new pak2.Child1 with null record;
end pak3;

with pak3;
procedure test is
    A : pak3.Child2;
begin
    A.CW_Op;
end test;

4.1.3 just says about this notation: "The selector_name (i.e. the
subprogram name) shall resolve to denote a view of a subprogram
declared immediately within the declarative region in which an
ancestor of the type T is declared"; there's nothing in there that
says that the ancestor of T, or the subprogram, has to be visible.

So I think Bob was right about "eliminated".

                       -- Adam