Коллеги,

я наткнулся на то, что Сообщение о языке и компилятор допускают использование атрибутов с безымянными типами записей, например следующее:

VAR r: EXTENSIBLE RECORD ... END;
p: POINTER TO ABSTRACT RECORD ... END;
q: LIMITED RECORD ... END;

Но, поскольку атрибуты относятся к расширению типов, а расширить безымянный тип невозможно - кмк, правильно было бы запретить атрибутирование безымянных типов. Скорее всего, атрибут при безымянном типе говорит об ошибке программиста: он что-то не то ожидает, что получит.

Что скажете?