> -- AlexBogy писал(а):
> Задам свой вопрос в этой теме, чтобы не заводить новую.Прошу знатоков языка прояснить мне следующий вопрос:Почему для абстрактных записей запрещено создание экземпляра, а для наследника этой записи 1 в 1, то естьсоздание экземпляра разрешено?В чем смысл такого запрета?

Рискну самозванно назваться знатоком языка и ответить на ваш вопрос.

В общем случае тип ABSTRACT недореализован, и потому, с т.зр. его автора, переменные этого типа бессмысленны, а с т.зр. языка - возможно и чреваты авариями. Поэтому создание таких переменных запрещено.
Недореализован - т.е. с ним связаны абстрактные типовые процедуры PROCEDURE (VAR v: a) P, NEW, ABSTRACT, которые должен реализовать расширитель.
Вы приводите частный случай, когда недореализованных процедур нет, и переменная абстрактного типа может быть безопасно создана. Но, с одной стороны, этот частный случай не имеет практической значимости, а с другой - обнаружение такого частного случая затратно. Поэтому компилятор его не обнаруживает, и не разрешает вам создать переменную любого абстрактного типа.