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,fe3c0be7cdbdeea3
X-Google-Attributes: gid103376,public
From: Matthew Heaney <matthew_heaney@acm.org>
Subject: Re: Definition of "aliased"
Date: 1998/10/26
Message-ID: <m3zpaj621f.fsf@mheaney.ni.net>#1/1
X-Deja-AN: 405252644
Sender: matt@mheaney.ni.net
References: <m37lxo6pii.fsf@mheaney.ni.net> <7127j9$h36$1@nnrp1.dejanews.com>
NNTP-Posting-Date: Mon, 26 Oct 1998 09:25:25 PDT
Newsgroups: comp.lang.ada
Date: 1998-10-26T00:00:00+00:00
List-Id: <comp.lang.ada>

dennison@telepath.com writes:

> In article <m37lxo6pii.fsf@mheaney.ni.net>,
>   Matthew Heaney <matthew_heaney@acm.org> wrote:
> 
> > package P is
> >    type T is tagged limited private;
> > private
> >    function Op (O : access T) return Integer;
> >    type T is
> >       tagged limited record
> >          I : Integer := Op (T'Access);
> Hmmm. Doesn't this -----------^ have to be an object or
> subprogram? It appears to be a type.

It _is_ an object.  Used this way, T'Access denotes the "current
instance."