<label> ::= <identifier> | <unsigned integer>
as opposed to the later Modified Report (3.5.1, page 17),
<label> ::= <identifier>
The rationale for the eventual restriction is quoted from the question referred above:
Here is what Dahlstrand, Goteborg, and Naur have to say about this in Algol Bulletin AB10.3.
The admission of integers as labels will produce some peculiar possibilities, like the following:
procedure Pop(Q); procedure Q; begin … Q(3); … end;
procedure Pip(A); label A; begin … go to A; … end;
procedure Pap(B); real B; begin … q ≔ B; end;
Evidently the number 3 appearing within the body of procedure Pop will in the first of these two procedure statements be used as a number, while in the second it will be used as a label.
We do not want to suggest any formal change of the language, since in spite of the peculiarity the above example is well defined. On the other hand we do want to disrecommend the use of integers in labels in actual programs. We would like to see them die from disuse. That we do not accept them in our translators goes without saying.
There is a retro-compiler which accepts the code demonstrating the possibility (Algol-BESM-6):
1. _BEGIN 2. _PROCEDURE POP(Q); _PROCEDURE Q; 3. _BEGIN Q(3); _END; 4. 5. _PROCEDURE PIP(A); _LABEL A; 6. _BEGIN _GOTO A; _END; 7. 8. _PROCEDURE PAP(B); _INTEGER B; 9. _BEGIN OUTPUT(‘T’, ‘INTEGER ’, ‘ZD’, B) _END; 10. 11. POP(PAP); 12. _IF _FALSE _THEN 3: OUTPUT(‘T’, ‘ LABEL 3’) _ELSE POP(PIP); 13. _END
INTEGER 3 LABEL 3.
A recent implementation of Algol-60, MARST specifically mentions that the supported language revision is according to the Modified Report, and errors out with invalid use unsigned integer `3' as a label
Another example, from a Donald Knuth's paper is compiled successfully by the Algol-BESM-6 compiler, but some error checks are missing:
1. _BEGIN _PROCEDURE P(Q); _IF B(Q) _THEN G(Q); 2. _PROCEDURE G(Q); _GOTO Q; 3. _BOOLEAN _PROCEDURE B(Q); B := Q < 5; 4. P(3); 5. OUTPUT(‘T’, ‘--- ’); 6. 1: OUTPUT(‘T’, ‘ONE ’); 7. 2: OUTPUT(‘T’, ‘TWO ’); 8. 3: OUTPUT(‘T’, ‘THREE ’); 9. 4: OUTPUT(‘T’, ‘FOUR’); 10. OUTPUT(‘/’); 11. _END
works and prints
P(2) would print
TWO THREE FOUR, etc. (
P(5) or greater would print
--- ONE TWO THREE FOUR). However,
P(0) would compile but crash at runtime, as well as
Is there another surviving Algol-60 compiler for any of the Western computers which is a) based on the Revised Report, thus allows numeric labels, and b) is able to compile the peculiar construct correctly?