Re: Problem Eliminating constructors

[porton@ex-code.com (Victor Porton)]

In article <3E2BDFD8.4070805@epfl.ch>,
	Rodrigo Garc�a <rodrigo.garcia@epfl.ch> writes:
> Victor Porton wrote:
>> package A is
>> 
>>   type A_Type is tagged
>>     record
>>       X: Integer;
>>     end;
>>     
>>   function Create(X: Integer) return A_Type; -- guess what is the body
>>   
>> 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?
> 
>    You do not need a constructor for this simple case. This will create 
> an A_Type object and initialize X to value 5.
> 
>    declare
>       My_A : A.A_Type := (X => 5);
[skip]

Oh, Rodrigo, I oversimplified the real situation. Initialization with
just aggregates is possible only in the example, really I need namely
constructor functions.

Well, currently I switched to initialization by calling a procedure.

It would be nice if Ada0X would allow to make a primitive operation
non-virtual.

E.g. we can introduce "pragma Freeze(TYPE)".