Re: We should introduce aliased types

[Victor Porton <porton@narod.ru>]

Victor Porton wrote:

> I think we should introduce aliased types to allow self-referencing
> objects and objects which we can access for object's internal purposes:
> 
> type T is aliased
>    record
>       Ptr: access all T;
>    end;
> 
> Every value of an aliased type should be aliased (whether we specify that
> the particular value if aliased or don't specify).
> 
> Then we could create a self-referencing object by a code (say in
> Initialize) like this:
> 
> declare
>    X: T;
> begin
>    X.Ptr = X.Unchecked_Access;
> end;

It sometimes make sense to make only the private view of a type aliased.

-- 
Victor Porton - http://portonvictor.org