Re: controlled initialization

[Hyman Rosen <hyrosen@mail.com>]

Matthew Heaney wrote:
>    O : constant T := (Controlled with null record);
> 
> The problem is that the body of P hasn't elaborated at the moment when
> object O is elaborated.  Were Initialize to be called at the point of
> elaboration of O, then Program_Error would be raised because the body
> of Initialize hasn't been elaborated yet.

Interesting. So (remembering that I don't know Ada) the following
would be illegal as well? If it is, is there a way to do what the
code obviously intends? Do I understand the issue correctly, that
is that MakeT could use O?

package P is
   type T is private;
   O : constant T;
private
   type T is new Controlled with null record;
   function MakeT return T;
   O : constant T := MakeT;
end P;