Re: Why was it done this way ?

[Georg Bauhaus <bauhaus@futureapps.de>]

Heimlich Manure wrote:
> Hello respectable group,
> 
> This may be a silly question but I'm sure there was reasoning behind
> allowing such :


pragma Restrictions (No_Task_Hierarchy);


> 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;
> ...

> Question is, why is this legit ?


I think it might be difficult in general to detect mutual
recursion, but IANALL ...