> -- Comdiv писал(а):
> запрет конкретных конструкций не означает запрета средств, которые позволяют эти конструкции воспроизвести.
Да, это верно. Что запрещается? Запрещается реализация Heaps функции NEW. Можно ли доказать это экспертам? Да, конечно, но будут вопросы. Вот Вы задаете правильные вопросы - нельзя ли выделить как-то память другими средствами в A2, минуя Heaps? Но, заметьте, пространство маневра сократилось, система стала более доказуемой и предсказуемой.

По части запрета средств - вот после таких работ я и стал делать МультиОберон с ограничениями RESTRICT. Это расширяет сферу запретов и переносит запреты на уровень статический - на компиляцию.