Re: body stub not allowed in inner scope

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 02/28/2018 02:01 PM, Mehdi Saada wrote:
> I find that rule very limitating !
> I need the procedures to know the context (access local variable).
> Same with nested packages:
> I need them to access local variable too, and be able to exit an enclosing loop. Though I'm not sure it's allowed either.
> Without stuff like this, my working memory is already overflowed with a hundred lines.

How do you write the separate body? Remember, you have to be able to handle

package body P is
    procedure Q is
       procedure R is separate;
    begin -- Q
       R;
    end Q;

    procedure Q (I : Integer) is
       procedure R is separate;
    begin -- Q
       R;
    end q;
end P;

-- 
Jeff Carter
"From this day on, the official language of San Marcos will be Swedish."
Bananas
28