> -- Dimon писал(а):
> Занимаясь переводом "The Programming Language Oberon-07 (Revised Oberon)" наткнулся на такое описание.6.4. Pointer types Variables of a pointer type P assume as values pointers to variables of some type T. It must be a record type. The pointer type P is said to be bound to T, and T is the pointer base type of P. Pointer types inherit the extension relation of  their base types, if there is any. я так понимаю последнее предложение должно быть примерно таким:Иначе поскольку P0 не встречается в контексте, то не очень понятно о чём речь.Кто что думает по этому поводу. Это описка?
Вы правильно понимаете.

Кстати, возьмите соответствующие куски изhttp://www.inr.ac.ru/~info21/cpascal/cp ... .4_rus.htm
они же тоже брали у Вирта.