texlive[74583] Build/source/texk/web2c: [WEAVE] Parse and reject

[commits+ascherer at tug.org]

Revision: 74583
          https://tug.org/svn/texlive?view=revision&revision=74583
Author:   ascherer
Date:     2025-03-12 12:54:21 +0100 (Wed, 12 Mar 2025)
Log Message:
-----------
[WEAVE] Parse and reject verbatim in TeX part.

In message <https://tug.org/pipermail/tex-k/2025-March/004169.html>
Benjamin Gray suggests to handle @=verbatim@> material similar to
@t\TeX\ material@> in the TeX part of a module/section.

This commit applies his patch verbatim in WEAVE.CH.

Modified Paths:
--------------
    trunk/Build/source/texk/web2c/ChangeLog
    trunk/Build/source/texk/web2c/weave.ch

Modified: trunk/Build/source/texk/web2c/ChangeLog
===================================================================
--- trunk/Build/source/texk/web2c/ChangeLog	2025-03-12 00:42:10 UTC (rev 74582)
+++ trunk/Build/source/texk/web2c/ChangeLog	2025-03-12 11:54:21 UTC (rev 74583)
@@ -1,3 +1,9 @@
+2025-03-12  Andreas Scherer  <https://ascherer.github.io>
+
+	* weave.ch: Parse and reject verbatim in TeX part.
+	Report and patch from Benjamin Gray
+	(https://tug.org/pipermail/tex-k/2025-March/004169.html).
+
 2025-03-11  Andreas Scherer  <https://ascherer.github.io>
 
 	* tangle.ch,

Modified: trunk/Build/source/texk/web2c/weave.ch
===================================================================
--- trunk/Build/source/texk/web2c/weave.ch	2025-03-12 00:42:10 UTC (rev 74582)
+++ trunk/Build/source/texk/web2c/weave.ch	2025-03-12 11:54:21 UTC (rev 74583)
@@ -529,6 +529,25 @@
 @<Append \(|termin...@>=
 @z
 
+ at x [18.222] l.4285 - Reject verbatim in TeX part
+TeX_string,xref_roman,xref_wildcard,xref_typewriter,module_name:
+  begin loc:=loc-2; next_control:=get_next; {skip to \.{@@>}}
+  if next_control=TeX_string then
+    err_print('! TeX string should be in Pascal text only');
+ at .TeX string should be...@>
+  end;
+ at y
+TeX_string,xref_roman,xref_wildcard,xref_typewriter,module_name,verbatim:
+  begin loc:=loc-2; next_control:=get_next; {skip to \.{@@>}}
+  if next_control=TeX_string then
+    err_print('! TeX string should be in Pascal text only')
+ at .TeX string should be...@>
+  else if next_control=verbatim then
+    err_print('! Verbatim string should be in Pascal text only');
+ at .Verbatim string should be...@>
+  end;
+ at z
+
 @x [19.239] l.4537 - omit index and module names if no_xref set
 @<Phase III: Output the cross-reference index@>=
 @y