Re: Language lawyer question: Equality on 'Access attributes

["Randy Brukardt" <randy@rrsoftware.com>]

"Robert I. Eachus" <rieachus@comcast.net> wrote in message
news:XridndndEa-m2mOiRVn-hQ@comcast.com...
...
> The technical question is how many "=" operations could apply in this
> case.  My contention was that there are at least two, one associated
> with the 'Access attributes (actually I think there is one for each
> attribute) and one declared by the user.

Huh? There is nothing in the RM about types being declared by 'Access. The
only way to get an anonymous access type is via an access_definition, as in
a parameter. And anonymous access types don't even have their own "=", see
4.5.2(6) "...for every type T that is not limited, and is not an anonymous
access type."

Ada 200Y probably will change this slightly; we've spent a lot of ARG time
looking at this area because we want to expand the places that anonymous
access types can be used.

In any case, in the original example, there is only one "=", so Adam is
right. In Ada 200Y, as currently envisioned, I think that this would be
ambiguous (because the universal "=" would also be a possibility). But
that's in the future and could change.

                  Randy.