diff options
-rw-r--r-- | Build/source/texk/web2c/weave.ch | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/weave.ch b/Build/source/texk/web2c/weave.ch index 649ad827075..e17a57c6733 100644 --- a/Build/source/texk/web2c/weave.ch +++ b/Build/source/texk/web2c/weave.ch @@ -233,13 +233,21 @@ rewrite(tex_file,tex_name); @z @x [33] Fix jump_out +@ The |jump_out| procedure just cuts across all active procedure levels +and jumps out of the program. This is the only non-local \&{goto} statement +in \.{WEAVE}. It is used when no recovery from a particular error has +been provided. + Some \PASCAL\ compilers do not implement non-local |goto| statements. @^system dependencies@> In such cases the code that appears at label |end_of_WEAVE| should be copied into the |jump_out| procedure, followed by a call to a system procedure that terminates the program. - @y +@ The |jump_out| procedure just cuts across all active procedure levels +and jumps out of the program. +It is used when no recovery from a particular error has +been provided. @z @x @d fatal_error(#)==begin new_line; print(#); error; mark_fatal; jump_out; |