Skip to content
This repository was archived by the owner on Apr 25, 2025. It is now read-only.

Commit 0eb87db

Browse files
ioannadrossberg
andauthored
Adds explanatory prose related to delegate. (#246)
This resolves the last three so far unaddressed `todo::` sections: - Add prose explaining try-delegate's jump. - Adds prose and intuition for delegating exception handlers. + Also a minor modification to the prose of catching exception handlers, that somewhat reduces calling the administrative instruction by its identifier (CAUGHTadm) in the prose. Co-authored-by: Andreas Rossberg <[email protected]>
1 parent 87c964f commit 0eb87db

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

document/core/syntax/instructions.rst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -694,8 +694,8 @@ In case of |BLOCK| or |IF| it is a *forward jump*,
694694
resuming execution after the matching |END|.
695695
In case of |LOOP| it is a *backward jump* to the beginning of the loop.
696696

697-
.. todo::
698-
Add prose for try-delegate's jump.
697+
When |TRY|--|DELEGATE| handles an exception, it also behaves similar to a forward jump,
698+
effectively rethrowing the caught exception right before the matching |END|.
699699

700700
.. note::
701701
This enforces *structured control flow*.

0 commit comments

Comments
 (0)