Re: We should introduce aliased types

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

"Victor Porton" <porton@narod.ru> wrote in message 
news:lrgp2h$h3n$1@speranza.aioe.org...
...
> One situation in which we need aliased types (not a single aliased 
> variable)
> is Initialize() procedure for controlled types.

This is already true. Controlled types are by-reference, so it's legal to 
take 'Access of a subprogram parameter of the type. Specifically:

    procedure Initialize (Obj : T) is
    begin
         Obj.Ptr := T'Unchecked_Access;
    end Initialize;

is legal.

Did you actually try this before writing??

                                       Randy.