Is multi-level function return possible?

Is this a doable thing for a Pascal-like language that is meant to be
compiled? I have a multi-level break which works within a procedure, but the
return across procedure boundaries seems to add a lot of complications.


I don't recall this being discussed in the dragon book, perhaps because it's
just a silly idea. But implementing the multi-level break got me curious
whether it's possible.
[Sure, you can do it. PL/I let you jump out of a routine and I think Algol60
may have, too. You just need to keep your stack frames sufficiently linked
so that you can find the one you want and unwind everything below it. Look
at the way Algol and Pascal reference variables in blocks outside the current
routine and you'll get most of what you need. -John]

Return to the comp.compilers page.
Search the comp.compilers archives again.