Re: Problem Eliminating constructors

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

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;

'New_Base' is not a primitive operation of Base, therefore it is not
dispatching.

I'm not clear why you want a subprogram that is primitive but not
dispatching. 

-- 
-- Stephe