[13:07:07] <landgraf> http://fpaste.org/uPE7/ почему так?
[13:08:51] <yeo>     type LVM is limited private;    type LVM_Access is access all LVM;
же
[13:09:08] <yeo> как ты хочешь забраться внутрь private?
[13:09:29] <landgraf> так это один пакет
[13:10:25] <landgraf> нельзя так7
[13:11:13] <yeo> можно
[13:11:48] <landgraf> да, если вынести из private то собирается
[13:12:19] <landgraf> а, понял )
[13:12:38] <yeo> а это предусловие
[13:13:01] <landgraf> yeo, на момент компиляции предусловия ничего не известно о типе?
[13:15:28] <landgraf> yeo, добавил getter перед vglist - собралось
[13:16:43] <landgraf> только все равно lvm2app сегфолтится, блин
[13:17:41] <yeo> я хз. в ARM написано "The usage names in an aspect_definition <file:///home/reznik/Documents/Ada/2012/HTML/AA-13-1-1.html#S0308>  [ are not resolved at the point of the associated declaration, but rather]  are resolved at the end of the immediately enclosing declaration list."
[13:19:26] <yeo> может считается, что  "immediately enclosing declaration list" это список определений из видимой части пакета
[14:11:27] <landgraf> yeo, в общем с getter-ом предусловие работает. )