Re: The old "Object.Method" syntax debate

[Xavier Nicollin <Xavier.Nicollin@imag.fr>]

Robert A Duff wrote:
> 
> Xavier Nicollin <Xavier.Nicollin@imag.fr> writes:
> 
> > [...]
> > package A_Package is
> >
> >    type A_Type is tagged record
> >       A_Name : Integer;
> >    end record;
> >
> >    function A_Name (Obj : A_Type) return Integer;
> >
> > end A_Package;
> >
> > with A_Package; use A_Package;
> > ...
> > Obj : A_Type;
> > N : Integer := Obj.A_Name;
> >                ^^^^^^^^^^
> >
> > This is currently perfectly legal, but I guess it would be refused
> > by any compiler with the change in effect.
> 
> No.  As I said, the ARG would never seriously consider such an
> incompatible change.

Indeed. I was only a bit confused, and had not read the AI.
 
> [...]
> 
> AI-252 addresses this issue by using visibility rules similar to
> use clauses.  See the AI if you want to know the details.

I have read it now, and it is clear: the direct visibility of the
"A_Name" component would hide the "use"-like visibility of the
"A_Name" operation, so my example would still be legal, and would
behave as before.

Sorry for wasting bandwidth!

> If you find any mistakes (such as cases where the AI introduces an
> incompatibility), please let the ARG know!

I sure would, but I doubt I will find any... Well, I found a typo in
the example, but I guess it's not worth wasting the ARG's time!

-- 
| Xavier NICOLLIN (mailto:Xavier.Nicollin@imag.fr) -- INPG (ENSIMAG)
| VERIMAG -- Centre Equation -- 2, ave. de Vignate -- F-38610 Gi�res