[tex-k] Misplaced 'end' for 'endcases' in tex.web source code of 2014.
Shuo Chen
giantchen at gmail.com
Sat Dec 14 01:02:30 CET 2019
Dear TeX maintainers,
In section 10 of 2014 Jan version of tex.web, on page 6, it says a
'case' statement
should end with the 'endcases' keyword in the WEB source code. But I
noticed that
some 'case' statements end with 'end' keyword instead.
This is not a bug of the TeX program per se. Because 'endcases' is
replaced with 'end'
by the tangle program by default. However, I think it might be worth
to update the
pretty-printing version of the program for consistency.
Here's one example, with Linux shell:
$ diff -U 8 tex.web tex2.web | head -15
--- tex.web 2019-09-09 14:16:36.022037462 -0700
+++ tex2.web 2019-12-13 09:39:24.865189980 -0800
@@ -1951,17 +1951,17 @@
@<Change the interaction...@>=
begin error_count:=0; interaction:=batch_mode+c-"Q";
print("OK, entering ");
case c of
"Q":begin print_esc("batchmode"); decr(selector);
end;
"R":print_esc("nonstopmode");
"S":print_esc("scrollmode");
-end; {there are no other cases}
+endcases; {there are no other cases}
print("..."); print_ln; update_terminal; return;
end
There are about two dozens such cases, see full diff output:
https://gist.github.com/chenshuo/f4e15b63ebaf361fc9af2fda7a1d45e3
With this update, the tangled tex.p source file is not affected, only
the weaved tex.pdf changes a tiny bit.
See example of page 75: https://ibb.co/tqDjdBT
Also, there are some trailing spaces in tex.web, which can be found
with 'grep -n ' $' tex.web' on Linux.
Regards,
Shuo Chen
More information about the tex-k
mailing list