From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Language lawyer question: Equality on 'Access attributes
Date: 09 Jan 2004 18:05:28 -0500
Date: 2004-01-09T18:05:28-05:00 [thread overview]
Message-ID: <wcc8ykgg1tz.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: 5a6dnSHERdpJtWOi4p2dnA@gbronline.com
Ze Administrator <groleau+news@freeshell.org> writes:
> Robert A Duff wrote:
> > No. If there are more than one "=" visible that take access-to-integer,
> > then it would be ambiguous. In the example given, there was only one
> > such "=". The point is, resolution of "=" is just like any other
> > subprogram.
>
> There was no definition of "=" in the example,
> nor was there a type definition to imply one.
The example was:
package Pak1 is
type Ptr1 is access all Integer;
X : aliased Integer;
Y : aliased Integer;
B : Boolean := X'Access = Y'Access;
end Pak1;
and the declaration of Ptr1 causes an implicit declaration of "=".
If that is the *only* visible "=" on access types, then I claim the
above is legal.
> > If you don't believe this is what the RM says (which was the original
> > question), you should quote chapter and verse. (I admit that this is a
>
> I don't recall the reference Robert Eachus used.
I don't think he quoted any RM paragraphs. I didn't either.
But Adam did, and I agreed with his analysis.
> I could go to groups.google.com but arguing is more fun.
;-)
- Bob
next prev parent reply other threads:[~2004-01-09 23:05 UTC|newest]
Thread overview: 40+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-01-08 2:05 Language lawyer question: Equality on 'Access attributes Adam Beneschan
2004-01-08 7:47 ` Robert I. Eachus
2004-01-08 11:07 ` Dmitry A. Kazakov
2004-01-08 17:18 ` Adam Beneschan
2004-01-08 18:04 ` Robert A Duff
2004-01-08 18:31 ` Ze Administrator
2004-01-08 21:04 ` Robert A Duff
2004-01-09 4:02 ` Ze Administrator
2004-01-09 23:02 ` Robert A Duff
2004-01-10 2:56 ` Ze Administrator
2004-01-09 4:06 ` Ze Administrator
2004-01-09 23:05 ` Robert A Duff [this message]
2004-01-10 3:03 ` Ze Administrator
2004-01-10 13:47 ` Marin David Condic
2004-01-10 7:19 ` Robert I. Eachus
2004-01-10 19:09 ` Robert A Duff
2004-01-11 14:27 ` Robert I. Eachus
2004-01-11 21:42 ` Ze Administrator
2004-01-12 5:16 ` Robert I. Eachus
2004-01-09 1:28 ` Adam Beneschan
2004-01-09 4:10 ` Ze Administrator
2004-01-09 11:27 ` Dmitry A. Kazakov
2004-01-09 23:09 ` Robert A Duff
2004-01-10 11:56 ` Dmitry A. Kazakov
2004-01-10 17:08 ` Robert I. Eachus
2004-01-10 18:40 ` Robert A Duff
2004-01-09 23:08 ` Robert A Duff
2004-01-10 7:39 ` Robert I. Eachus
2004-01-08 20:36 ` tmoran
2004-01-08 21:06 ` Robert A Duff
2004-01-09 0:27 ` Randy Brukardt
2004-01-09 1:23 ` Adam Beneschan
2004-01-09 1:38 ` Robert A Duff
2004-01-09 6:16 ` Robert I. Eachus
2004-01-09 23:27 ` Randy Brukardt
2004-01-10 16:37 ` Robert I. Eachus
[not found] ` <hmfvc1-f73.ln1@beastie.ix.netcom.com>
[not found] ` <l7v1d1-n33.ln1@beastie.ix.netcom.com>
2004-01-09 23:19 ` Robert A Duff
2004-01-09 23:21 ` Randy Brukardt
-- strict thread matches above, loose matches on Subject: below --
2004-01-09 5:48 christoph.grein
2004-01-09 6:03 christoph.grein
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox