Re: Strings with discriminated records

[AdaMagica <christ-usch.grein@t-online.de>]

Am Dienstag, 29. Mai 2018 09:49:20 UTC+2 schrieb Dmitry A. Kazakov:
> Yes. Renaming temporary objects is probably a language design bug.

It was a consequence of making function results to objects. Before, they were mere values.
Objects can be renamed.

> renaming is broken in so many ways that one more, one less does not make 
> much difference.

Hm, I only see one lie with renaming:

X: constant Integer := -1;
Y: Positive renames X;

What are the other broken features?

> It is best to use rename only where it was originally intended, e.g.

Dmitry's list is very good advice.

> 1. for renaming long named objects/packages:
> 
>     X : T renames A.B.C.D.E.X;
> 
> 2. for renaming view conversions:
> 
>     X : T'Class renames T'Class (Y);
> 
> 3. for renaming array/list elements and record members:
> 
>     for I in A'Range loop
>        declare
>           Current : T renames A (I);
>        begin
>           ...
> 
> 4. for resolving name clashes:
> 
>     type T is new Integer;
>     function Integer_Add (Left, Right : Integer)
>        return Integer renames "+"; -- Going to override, so keep the old
>     function "+" (Left, Right : Integer)
>        return Integer renames "+"; -- The new one