Был рассмотрен такой вариант, Крис Барроуз считает, что описка. Я, прочитав сообщения о языках -2 и -07, с ним согласился. Пункт 9.1.4 следует читать так: "In the case of records, the type of the source must be an extension of the type of the destination." Ошибка обнаружена в документе "The Programming Language Oberon", в ревизии 1.12.2007.

Может лучше у самого Вирта спросить. Есть у кого-нибудь его e-mail?

Лично я не думаю, что это опечатка, так как в ревизии 1.11.2008 та же самая фраза.

4. Assignment of arrays and records

Because assignments of arrays are typically more complex operations than simple assignments,
it was believed that this should be visible to a programmer. The standard procedure COPY(src,
dst) was therefore introduced. But now we handle array and record assignments just like other
assignments, writing dst := src, and discard the COPY procedure. The destination array must not
be shorter than the source array. This is in accordance with the assignment rule for strings and
with the compatibility of record types and their extensions.

Еще в подтверждение моей точки зрения, что это не описка, в документе Differences between Oberon-07 and Oberon написано:
... То есть здесь говорится о том, что типу большего размера может присваиваться тип меньшего размера, то есть расширенной записи, может присваиваться базовый тип записи.

Про записи тут ничего не говорится.

При передаче параметров по значению параметру типа-предка присваивается параметр типа-потомка, то есть более широкий. При этом более широкое место для записи отводится на стеке в момент вызова, когда тип фактического параметра (потомка с доп. полями) уже известен.

При этом изнутри процедуры можно проверить, что тип фактического параметра -- это тип-потомок, и все доп. поля на месте.

В простом операторе присваивания размер целевой записи уже зафиксирован, и такая операция дала бы потерю информации (дополнительных полей потомка).

При передаче параметров срезки нет, а в присваивании - есть...

Dear Mr. Rifat,

You are right. In 9.1 it must read

4. In the case of records, the type of the source.must be an extension of the type of the destination


Thank you for pointing this out!
It is remarkable, that I received the same comment just 2 weeks ago from somebody in Australia, while for the past 4 years nobody has mentioned it.

Sincerely yours,
Niklaus Wirth

Крис Барроуз написал Вирту и получил подтверждение, что это ошибка в документе.

Написал письмо Вирту, получил следующий ответ:То есть это действительно ошибка в документе.

In the case of records, the type of the source must be an extension of the type of the destination.

The type of the expression must be included by the type of the variable, or it must extend the type of the variable.