> >While we're in the same general area, why wasn't the exit statement
> >permitted to exit a block statement?
> Having spent a lot of effort to get this to work, I can assure that there
> is no such limitation in Ada 83 or in Ada 95.
I think you may have misinterpreted the question.
I suspect the question was why can't you use "exit foo;" to go to
the statement immediately following the end of the enclosing block
named foo, since blocks can have labels just like loops?
I.e., why is "exit" only defined for loops?