> -- info21 писал(а):
> Возможно, вместо LIMITED имелось в виду ABSTRACT? А  то непонятно, зачем тогда расширять тип-то.
Ой, вы правы. Не доглядел. Дело в том, что в первоначальном варианте было ABSTRACT, а когда сюда переносил решил сделать LIMITED. Поправил пост наверху.

Дело в том, что абстрактные записи допускают расширение и создание расширенных экземпляров, а у меня задача стояла не допустить появление несанкционированных объектов этого типа. Клиент не может создавать новые дни недели, поскольку процедуры модуля Dates, куда они попадут в качестве параметров, не будут знать, что с ними делать.