> -- Rifat писал(а):
> Если попытаться сделать такое присваивание, то произойдет run-time ошибка.А не должна бы. Речь ведь об Обероне-07? Так как типы выражений одинаковы - это RecordBase, и раз тело RecordBase пусто, то присваивание не имеет никакого эффекта. Конечно, это не прояснено в описании языка, но его давно следует уточнить.