Re: We should introduce aliased types

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

"Randy Brukardt" <randy@rrsoftware.com> wrote in message 
news:lrgqnq$4i3$1@loke.gir.dk...
> "Victor Porton" <porton@narod.ru> wrote in message
...
> And you can't directly declare a component as
>    Ptr : access T := T'Access;
> because of accessibility; the problem isn't whether T is aliased or not. 
> "access T" is a library-level type, while T'Access might refer to a local 
> object, so the access type could outlive the object (in particular, this 
> component could be copied into an object of another library-level type), 
> and that's not allowed.

Actually, you can do that so long as you use Unchecked_Access:

      type T is limited record
          Ptr : access T := T'Unchecked_Access;
      end record;

                                 Randy.