[14:01:56] <landgraf> limitedness is not inherited from limited interface
[14:02:20] <landgraf> это еще что за печалька?
[17:10:56] <yeo> log
[17:10:57] <Жаба> yeo, Logs here: http://46.254.16.186/ada-ru@conference.jabber.ru/
[17:15:52] <yeo> может это о том, что если ты делаешь type X is new My_Limited_Interface with null record; то X не становиться limited
[17:16:13] <yeo> пока явно не напишешь is limited new My_...
[17:23:05] <vgodunko> оно самое
[18:32:28] <nordwind_> * Failed to sync overlay "ada_ru".
* Error was: Syncing overlay "ada_ru" returned status 1!
* db.sync()

[18:32:38] <nordwind_> того?
[18:36:55] <yeo> попробуй грохнуть и добавить
[18:37:22] <yeo> закомитил вчера какой-то metadata/layout.conf, может конфликтует
[18:38:08] <yeo> и пробную версию gnat gpl 2013...
[18:38:39] <nordwind_> ау
[18:38:42] <nordwind_> ок
[18:45:13] <nordwind_> да все ок
[18:46:08] <yeo> будешь пробовать gpl 2013?
[18:52:36] <nordwind_> 4.5.4.2012?
[18:52:56] <yeo> 4.7.4.2013
[18:53:03] <nordwind_> хм
[18:54:00] <nordwind_> а вижу
[18:54:15] <nordwind_> сначала гцц 4.8.2
[18:54:26] <nordwind_> потом попробую
[18:54:58] <yeo> А 4.8.2 с Адой?
[18:56:17] <nordwind_> щас глянем
[18:56:43] <nordwind_> sys-devel/gcc-4.8.2:4.8 [4.8.1-r1:4.8] USE="cxx fortran gcj go graphite gtk lto mudflap (multilib) nls nptl objc objc++ objc-gc openmp (-altivec) -doc (-fixed-point) (-hardened) (-libssp) -multislot -nopie -nossp -regression-test -vanilla" 0 kB
[18:56:53] <nordwind_> нету
[19:18:48] <landgraf> а почему лимитированной не наследуется?
[19:20:46] <nordwind_> яху стал спамить ежедневной рассылкой. Ссылку на отписку корректную нашел только в коде страницы и еще пришлось убирать лишние //
[19:20:47] <vgodunko> Тут есть два варианта.
[19:21:32] <vgodunko> Если type L is tagged limited record; type T is new L with null record;, то L - по определению limited
[19:22:31] <landgraf> type L is limited interface. type T is new L with private;
[19:22:36] <vgodunko> так происходит из-за того, что limited тип не может стать не-limited в силу отсутствия операции копирования (и не только)
[19:23:18] <vgodunko> Если же type L is limited interface; type T is new L with null record;, то ситуация противоположна - T будет не-limited
[19:24:11] <vgodunko> Поскольку L _описывает_ _интерфейс_ не допускающий копирования, но не накладывает ограничения на недопустимость такового.
[19:24:41] <vgodunko> А вот если type L is interface; то L допускает копирование, а значит любой поддерживающий его тип обязан быть не-limited
[19:25:11] <vgodunko> Я всё сказал
[19:25:17] <vgodunko> :-)
[19:26:07] <landgraf> жуть какая-то
[19:26:38] <landgraf> /me оброс классами и интерфейсами, ООПухоль головного мозга первой стадии
[19:30:08] <landgraf> vgodunko, а если type L is limited interface. type T is limited new L with private; type P is new T; - P не надо "лимитировать"?
[19:35:43] <vgodunko> P можно но не нужно, он же от limited унаследован уже