[tex-k] Module name typesetting bug in either tangle.web or weave.web
doug at mathemaesthetics.com
Wed Mar 25 20:34:00 CET 2020
Line 3115 (or thereabouts) of tangle.web, at, e.g.,
@ @<If the next text is `|(#)==|'...@>=
which concerns processing the text of a WEB parametric macro in the input file.
But if you look at the output in Section 174 of tangle.pdf that this line starts, at (e.g.)
you see that the pair of equal signs *within* the typeset module name (and further within an alleged verbatim TeX context!) has been incorrectly replaced with the mathematical equivalence sign '≡'. The thing is, there are no equivalence signs in the input text of a ".web" file that tangle processes; they are a nicety used by weave to replace certain uses of '==' when typesetting the algorithms.
This module name in tangle.web is clearly referencing the ASCII character pair, and clearly expecting them to be typeset verbatim, so I would argue that the typeset version of tangle.web is incorrect.
I'm not sure what the fix is, (a) whether it should be on this line 3115 in tangle.web, or (b) if it concerns the logic of how weave.web works when typesetting module names or verbatim quotes inside TeX code inside module names, or (c) if it's some combination of all.
Or, as sometimes happens, I might be misunderstanding something else.
More information about the tex-k