Re: Why was it done this way ?

["jimmaureenrogers@worldnet.att.net" <jimmaureenrogers@worldnet.att.net>]

Heimlich Manure wrote:
> Hello respectable group,
>
> This may be a silly question but I'm sure there was reasoning behind
> allowing such :
>
> with Ada.Text_IO;
> use Ada.Text_IO;
>
> procedure My_Example is
>     task type T1;
>     task type T2;
>
>     task body T1 is
>     begin
>         Put_Line("Instantiating T2 from T1");
>         declare
>             T_2_2 : T2;
>         begin
>             null;
>         end;
>         end T1;
>
>      task body T2 is
>      begin
>         Put_Line("Instantiating T1 from T2");
>         declare
>             T_1_1 : T1;
>         begin
>             null;
>         end;
>     end T2;
>
> T_1 : T2;
> begin
>     null;
> end My_Example;
>
> Question is, why is this legit ?

What do you think should be wrong with this?

Think of instances of tasks as active objects.
Each task creates an instance of the other task.

Granted, this program will run forever until the
stack exhausted. In that manner, this program is
a little like a recursive algorithm with no
terminating condition.

Jim Rogers