Ada_Ru форум

Имеется проблема такого рода:

 

Есть у меня иерархия пакетов, все пакеты Preelaborable.

 

http://adaic.org/standards/05rm/html/RM-13-11.html

 

Здесь объявлен Root_Storage_Pool, к нему применяется

pragma Preelaborable_Initialization.

 

Я аналогично хочу определить потомка Root_Storage_Pool,

но вот pragma Preelaborable_Initialization компилятор

отвергает (full view does not have preelaborable

initialization). Не понимаю, в чём проблема. Уж упростил

по максимуму, не определяю дополнительных примитивных

операций, расширяю null record в private, и всё равно

does not have траляля. Что мешает?

 

Если определять потомка Limited_Controlled, не капризничает,

а от Root_Storage_Pool — ни в какую.