Re: body stub not allowed in inner scope

[Mehdi Saada <00120260a@gmail.com>]

I am aware of this. Sad but true. Eventhough those change in semantics might seem logical for a human being, it can become a nightmare to formulate and integrate with the preexisting rules.
I refactorized (is it the good term ?) my code, to put as much subprograms in a standalone package, and reduce the nested subprograms in the two cases where I really needed the context.
All is fine, EXCEPT I had to introduce an access to STRING where I wanted an inner block. It broke my heart.
Which gave me a main program like this:

with LEDIT; use LEDIT;
procedure MAIN is
   LINE: access constant String; -- EVIL!!
   CURSOR: NATURAL;
   procedure SEPARATE_NUMBER_AND_CONTENT is separate;
   procedure ANALYSE_LIST_COMMAND is separate;
begin
   while not END_OF_FILE(Standard_Input) loop
      LINE :=  new STRING'(TRIM(LET_ONLY_GRAPHIC_CHARACTERS(GET_LINE), LEFT));
...
   end loop;
   ...
end MAIN;

Whereas I wanted this, because SEPARTE... and ANALYSE... NEED to know about LINE, but can't be declared in a block.

while_loop
  declare
    LINE : STRING := PROCESSING(GET_LINE);
    BLABLA is separate;
  begin
    BLABLA;
  end;
end loop;