> -- Александр Ильин писал(а):
> Другими словами, в обоих вариантах объявления типов должны быть легальны оба присваивания:...XDS допускает только первый вариант присваивания, а на второй ругается "incompatible types".> -- http://www.uni-vologda.ac.ru/oberon/o2rus.htm#Совместимость по присваиванию писал(а):
> Выражение e типа Te совместимо по присваиванию с переменной v типа Tv, если выполнено одно из следующих условий:...3. Te и Tv - типы запись, Te есть расширение Tv, а v имеет динамический тип Tv;