Re: Language lawyer question: task activation

[Robert_Matthews <ignored@ramatthews.free-online.co.uk>]

Robert A Duff wrote:

> Robert_Matthews <ignored@ramatthews.free-online.co.uk> writes:
> 
>>>     procedure Do_It (X : TType) is
>>>     begin
>>>         X.E1;
>>>     end Do_It;
>>> 
>>> begin
>>>     Do_It (Func);
>>> end Test;
>>
>> But isn't there another issue here: task types are limited, therefore
>> Func is a constructor function, but in what object does it construct its
>> returned value?
> 
> In the formal parameter X of Do_It.
> 
> - Bob

So X from Do_It is passed as a hidden parameter to Func, so that
X in Func is really whatever X in Do_It actually is - but what
is that? I don't see an actual object of type TType in the example code.
Calling Do_It with parameter Func seems a bit circular from this viewpoint.

Robert