> -- Борис Рюмшин писал(а):
> ...
Тогда получается, что определение языка меняется в зависимости от наличия IMPORT SYSTEM; ??? ...
Вопросы семантики определений типов и операций со значениями этих типов - один из основных в определении языка.
Для языка со строгой типизацией (да и вообще - для остальных, не столь строгих, как Обероны) я не могу представить ситуации "выноса в SYSTEM" СПОСОБА определения конкретного типа процедурной ссылки... Откуда компилятор будет знать всё множество сигнатур процедур, которые понадобятся или на которые фантазия программиста разгуляется? :о)