> -- Sergej Durmanov писал(а):
> Так A и B это лишь алиасы типа Т,  то есть тип A = тип B = тип T
Строгоговоря, T - это не тип, а идентификатор типа; в приведенном примере все три идентификатора A, B, T ссылаются на один и тот же тип RECORD END. И понятно, что тут полная совместимость по присваиванию. Непонятно - как эту совместимостьстроговывести из положений Сообщения о языке.

Вот, если я прально вспомнил, не хватает где-то указания, что отношение Same type транзитивно, т.е. Ta = Tb и Tb = Tc => Ta = Tc. Но это не точно, и, кажется, недостаточно.