Re: Problem Eliminating constructors

[Stephen Leake <Stephen.A.Leake@nasa.gov>]

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

> 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.

It's perfectly "natural" in Ada, since it is the only way to do it. It
may not feel "natural" if you are used to some other language.

Is there any other problem with it, that "pragma Freeze (Type)" would
fix? 

-- 
-- Stephe