OberonCore

Как это собственно понимать?

T1 equals to T2?
В ответе желательна ссылка на Оберон-07 репорт, где это уточняется.
Т.е. где вводится опирация сравнения для типов (записей)?

Разве в оберонах структурная типизация?
У типов T1 и T2 нет (общего) базового типа, поэтому они разные.

Ээ.. А где про это сказано? Нет, ну я конечно понимаю что все привыкли что оно так. Но если отбросить привычку и интуицию и четко следовать тому, что написано в папире, то откуда это следует?

Этот недочёт относится также и к начальному Оберону, и к КП. Нигде явно не указано про сравнение записей.
Подразумевается, что каждое определение нового типа задаёт его уникальность. Соответсвенно, сравнение типов также основывается на этом.

(модератор) Дальнейшее обсуждение, касающееся сравнения записевых типов в КП, выделено: viewtopic.php?p=55187#p55187

Тогда имеем противоречие.

Тогда тоже задает уникальность, но по традиции это не так. Тут новые типы не вводятся. A и B это один и тот же тип, просто это псевдонимы для INTEGER. Т.е. это не отличимо от typedef в Си.

А кстати, в Oberon-07 вот такое форма:

запрещена. Ибо

В отличае от Oberon-02 (в Обероне то же самое):

И в этом есть свой положительный момент.

Кстати, Алексей, а в чём реальная проблема-то? Или исключительно вопрос буквоедства?

Собственно интересует сравнение ТИПОВ а не записей.

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

Я просто пытаюсь понять что такое Oberon-07 без оглядок на привычки и интуицию. Т.е. посмотреть на язык не зашоренным взглядом. Возможно это выльется в предложение по уточнению language report'a.

В частности если утверждение про equals работает для

То семантика WITH становится довольно интересной.

Посмотрел Oberon-2 report, там это уточнение (Appendix A) имеется также. Т.о. неоднозначность имеется только в Oberon и Oberon-07.