The statement
EXITraises the exit-exception. An EXIT statement must be textually enclosed by a LOOP, WHILE, REPEAT, or FOR statement.
We define EXIT and RETURN in terms of exceptions in order to specify their interaction with the exception handling statements. As a pathological example, consider the following code, which is an elaborate infinite loop:
LOOP TRY TRY EXIT FINALLY RAISE E END EXCEPT E => (*skip*) END END
m3-request@src.dec.com
Last modified on Tue Oct 3 17:26:53 PDT 1995 by heydon modified on Fri Apr 15 08:53:02 PDT 1994 by kalsow