Выдает неправильную ошибку при abstract/sealed record

[MrSpecular]

type
  TRecord = sealed record // или abstract
  end;

begin
end.

Выдает ошибку:

Program4.pas(2) : Встречено 'record', а ожидалось sealed

, что неправильно, более того, эта ошибка лишь путает. В ошибке должно указываться на то, что abstract/sealed не применим к record, как в #Develop 4.4.1, например:

.

[ibond84]

Ну в грамматике record не может иметь атрибутов. Все правильно.

[SunSerega]

Да, не может, это ошибочный код, но ошибку надо сделать нормальную. Эта ничего не объясняет.

[SunSerega]

@ibond84, @miks1965 ошибку всё ещё выводит неправильную.

[miks1965]

Надо в грамматике разрешить всю эту хрень и на неё ругаться

[ibond84]

Но только не доводить до семантики. Там этих проверок на абстрактные запечатанные интерфейсы уже тьма.

[miks1965]

Это можно прямо в файле грамматики проверить. Только скажите, что. Какие ещё слова проверить перед record?

[SunSerega]

Ну, вроде только abstract, sealed и static. @MrSpecular а вы не помните что то ещё?

[EmilyGraceSeville7cf]

Нет... Не припоминаю.

[SunSerega]

А, ещё может быть auto.