Для чего нужны вложенные процедуры? В си их нет. Значит без них программировать можно. Но Вирт их в оберуне 2 оставил.
Вложенные процедуры удобная и нужная штука.
ИМХО только в процедурном программировании.
Главное же - доступ к объемлющему контексту.
Так реализация на уровне модуля это уже обеспечивает - доступ к объемлющему контексту.
Может быть я не вижу, но я пока не открыл для себя такой уж большой выгоды и полезности именно вложенных процедур.
А транслятор усложняет...
Если нетрудно, приведите доводы в пользу вложенности.