Language Reference/Terms/Try-catch-finally

The try-catch-finally statement provides a way to handle possible errors that may occur in a given block of code.

TryCatchTerm:
    try Term CatchFinally-list end try
 
CatchFinally: one of
    catch Variable do Trap-Handler
    finally Finally-Handler
 
Handler:
    Term

The following two terms are equivalent:

try
   Body
catch Var do
   Handler1
finally
   Handler2
end try

try
   try
       Body
   catch Var do
       Handler1
   end try
finally
   Handler2
end try