Use of sppp.awk, part 4

[chris hermansen]

I'm sorry my questions keep coming here!

In van Vliet, I see this comment:

        The letter-aleph-symbol is replaced by #?#.
        Bold L, S, K and capital L are replaced by #L#, #S#, #K#
        and xlx, resp. The text to be duplicated is demarcated by
        #<# and #>#.

In the RR on p 127 I see this:

... each occurrence of L (L, K, S) is
replaced by (n - 1) times long (long, Ieng, shorten), and each
occurrence of long L (long L) by n times long (long), followed by a
further sequence of a sufficient number of new forms, the m-th of
which is a copy of F in which copy each occurrence of L (L, K. S) is
replaced by m times short (short, shorten, Ieng), and each occurrence
of long L (long L) by (m - 1) times short (short)

If I'm interpreting the RR comment correctly, and thinking of GNU Algol 68
and int and bits, then

L will range over {short short} {short} {} {long} {long long}
K will range over {shorten shorten} {shorten} {} {leng} {leng leng}
S will range over {leng leng} {leng} {} {shorten} {shorten shorten}
xlx will range over {short_short_} {short_} {} {long_} {long_long}

And for real and compl:

L will range over {} {long} {long long}
K will range over {} {leng} {leng leng}
S will range over {} {shorten} {shorten shorten}
xlx will range over {} {long_} {long_long}

Does this sound right?
-- 
Chris Hermansen · clhermansen "at" gmail "dot" com

C'est ma façon de parler.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://gcc.gnu.org/pipermail/algol68/attachments/20260213/44fcdc83/attachment-0001.htm>