Re: Problem Eliminating constructors

["Grein, Christoph" <christoph.grein@eurocopter.com>]

> package A is
> 
>   type A_Type is tagged
>     record
>       X: Integer;
>     end;
>     
    package Avoid_Primitiveness is
>     function Create(X: Integer) return A_Type; -- guess what is the body
    end Avoid_Primitiveness;
>   
> end A;
> 
> Then I have
> 
> type B_Type is new A.A_Type with
>   record
>     Y: Integer;
>   end;
> 
> Compiler requires me to override Create as the return type changes.
> But it is meaningless as now I need Create with two parameters
> instead of one.
> 
> What to do?
> 
> Maybe there are a wau to make "function Create(X: Integer) return 
> A_Type" not a primitive operation so that compiler will not more
> request to override it?
> 
> Or maybe just move declaration of this func out of package A?