ACK (Amsterdam Compiler Kit) для Вектора и 8080 вообще

[Oleg N. Cher]

Не совсем ясно, при чём тут многопроходность компилятора и возможность рекурcивного входа в функцию.

Смотрите: если компилятор однопроходный и простой - не строит семантическое дерево и его потом не обходит, а генерит код прямо в процессе синтаксического разбора - то в момент разбора функции и её параметров компилятор ещё не знает, рекурсивна ли эта функция. Кстати, рекурсия может быть ещё и косвенная ( Func() вызывает P(), а P() вызывает Func()) , такую отследить ещё сложнее.

Я, конечно, имел ввиду PL/M (не 1) Килдалла

А я имел в виду Си. В PL/M нет рекурсии.