Re: Problem Eliminating constructors

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

In article <u8yxe5yv2.fsf@nasa.gov>,
	Stephen Leake <Stephen.A.Leake@nasa.gov> writes:
> porton@ex-code.com (Victor Porton) writes:
> 
>> It would be nice if Ada0X would allow to make a primitive operation
>> non-virtual.
>> 
>> E.g. we can introduce "pragma Freeze(TYPE)".
> 
> How is this better than a nested package?
> 
> package Foo is
>    type Base is tagged private;
> 
>    package Constructors is
>        function New_Base (Params : in ...) return Base;
>    end Constructors;
> 
> private
>    type Base is ...;
> 
> end Foo;

Very simple: I more like syntax without this additional package
as it is antinatural.