Re: Language lawyer question: task activation

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

Adam Beneschan wrote:

> Should this program deadlock?  I don't think it should (and I think it
> should display "E1 accepted"), based on my understanding about when
> task activation is supposed to occur for the function result.  But
> perhaps there's something about the relation between task activation
> and masters that I don't understand.  Anyway, this hangs when I
> compile it with GNAT and run it---is this correct or not?
> 
>                                         -- thanks, Adam
> 
> with Text_IO;
> procedure Test is
> 
>     task type TType is
>         entry E1;
>     end TType;
> 
>     task body TType is
>     begin
>          accept E1 do
>             Text_IO.Put_Line ("E1 accepted");
>          end E1;
>     end TType;
> 
>     function Func return TType is
>     begin
>         return X : TType;
>     end Func;
> 
>     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?

Robert