В продолжение темы:

Я решил поиграться с возможностью расширения записей в стиле
Оберона-1 - т.е. явно вводя процедуры с параметром-записью
и ссылками на них. Для этого надо описывать примерно такие структуры:

## Код:
```
TYPE
  Proc = PROCEDURE (VAR rec:Rec);
  Rec = RECORD
    p:Proc
  END;
```


Однако, XDS такую фразу не понимает: пишет в первом описании,
что Rec ему не знаком. Всё работает, если Proc определить как
PROCEDURE (rec:POINTER TO Rec), но в этом случае я переменные типа
Rec всегда буду вынужден размещать в динамической памяти - ведь
указатели разрешены только на объекты в куче.
Подскажите, пожалуйста, это ошибка, или так и должно быть?