> -- Илья Ермаков писал(а):
> Надо посмотреть ещё на всякие тонкие случаи, типа как с процедурными переменными.Когда сначала процедурный тип, у которого параметр - RECORD, а потом RECORD, у которого полем тот процедурный тип.

Согласен, в формальных параметрах (процедурного типа) тоже нужно допускать (еще) не определенные типы.

Но в указании базового типа стоило бы запретить. Напр так (раздел 4):
3.	A declaration of a type T containing references to another type T1 may occur at a point where T1 is still unknown, unless T is a record type and T1 is a base type of T. The  declaration of T1 must follow in the same block to which T is local;