Re: Why constructing functions is a mess [was Language lawyer question: task activation

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Sat, 28 Feb 2009 18:19:38 +0100, Georg Bauhaus wrote:

> Dmitry A. Kazakov wrote:
> 
>> This only shows that you provided a wrong C++ example. The right one, i.e.
>> corresponding to the case I presented is
>> 
>> class T
>> {
>> public:
>>    virtual void op() = 0;
>>    T (char constraint);
>> private:
>>    char c;
>> };
> 
> I don't understand. Your example read
> 
>    type T (<>) is abstract tagged limited private;
>  private
>    type T ( ... constraints ...) is ...
> 
> So there is no way for a client to declare an object of type T,
> for one thing because there is no way to provide constraints.
> Consequenty, a corresponding C++ class T cannot have a public
> constructor (I thought).

You did wrong.

T is abstract. Its discriminants is an implementation detail to be hidden
in the private part of the package. Period.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de