Re: Problem Eliminating constructors

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

In article <3E281F79.A309AD5E@brighton.ac.uk>,
	John English <je@brighton.ac.uk> 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;

[skip]

>> 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?
> 
> Take Create out of package A and make it a child of the package:
> 
>   function A.Create(X: Integer) return A.A_Type is ...;
> 
> Now Create will no longer be a primitive operation of A_Type since
> it isn't declared in the same package spec, but you can refer to
> it in exactly the same way (except you would need "with A.Create"
> to be able to call it).

Also it does not work if A is a subpackage (as it really is). I would 
need also to make A a child package instead what would force me to do 
complete restructurization of the packages tree.