Re: Problem Eliminating constructors

[Simon Wright <simon@pushface.org>]

porton@ex-code.com (Victor Porton) writes:

> package A is
> 
>   type A_Type is tagged
>     record
>       X: Integer;
>     end;
>     
>   function Create(X: Integer) return A_Type; -- guess what is the body

Could you make Create return A_Type'Class? (it means you probably have
to initialize at creation:

  declare
     My_B : A.A_Type'Class := B.Create (...);

> end A;