[00:00:09] <ada_ru> (I_vlxy_I) а структуру блоков оно всё равно визуализирует
[00:00:35] <ada_ru> (I_vlxy_I) хотя и глючно 😊
[00:00:41] <ada_ru> (nitrocerber) Надо включить шузфолдинг
[00:00:57] <ada_ru> (nitrocerber) @reznikmm 😂
[00:07:17] <ada_ru> (I_vlxy_I) гм. а это нормально, что при выделении текста с него просто подсветка синтаксиса слетает, а фон выделения никак не меняется?
[00:07:49] <ada_ru> (I_vlxy_I) Найдите тут выделенный текст https://www.ada-ru.org/files/bot/2020-03-27-x7.jpg
[00:09:09] <ada_ru> (mister_alexander) Кто выделяет текст в 2020 году?
[00:09:26] <ada_ru> (I_vlxy_I) действительно
[00:09:37] <ada_ru> (mister_alexander) Чтобы выделять текст надо текстовый редактор использовать а не IDE
[00:32:03] <ada_ru> (I_vlxy_I) У кого-нибудь есть fsf версия gnat? У вас вот это компилируется? https://github.com/Fabien-Chouteau/ada-voxel-space-demo
[00:32:11] <ada_ru> (I_vlxy_I) У меня компилятор крашится при попытке это собрать
[00:38:00] <ada_ru> (mister_alexander) слишком сложно
[00:38:07] <ada_ru> (mister_alexander) надо какой-то alr ставить
[00:38:13] <ada_ru> (I_vlxy_I) вроде не надо
[00:38:52] <ada_ru> (I_vlxy_I) хотя... он, кажется, его перепилил
[00:39:27] <ada_ru> (I_vlxy_I) да, у меня слишком старая версия
[00:39:41] <ada_ru> (mister_alexander) покажи строку компиляции которая компилятор крашит
[00:41:23] <ada_ru> (mister_alexander) кстати, я в качестве терминала использую yakuake, это kdeшная konsole, которая выпадает сверху как в quake
[00:41:40] <ada_ru> (I_vlxy_I) достаточно сделать with Color_Map в майне и оно крашнется. Вот этот color_map: https://github.com/Fabien-Chouteau/ada-voxel-space-demo/blob/master/src/color_map.ads
[00:42:58] <ada_ru> (mister_alexander) у меня не крашится, но ругается что нет sdl.ads
[00:43:21] <ada_ru> (mister_alexander) покаж строчку компиляции
[00:43:39] <ada_ru> (mister_alexander) как компилятор вызывается
[00:46:29] <ada_ru> (mister_alexander) /opt/arm-linux-gnueabi/bin/arm-linux-gnueabi-gnatmake color_map.ads
[00:46:32] <ada_ru> (mister_alexander) не упал
[00:53:17] <ada_ru> (I_vlxy_I) погоди. ads же не компиляется. да и SDL ему не нужен
[00:53:28] <ada_ru> (I_vlxy_I) давай выдам прям gpr проектик
[00:55:52] <ada_ru> (mister_alexander) давай
[00:55:53] <ada_ru> (I_vlxy_I) <прислал документ>
[00:55:55] <ada_ru> (I_vlxy_I) вот
[00:56:54] <ada_ru> (I_vlxy_I) картинка https://www.ada-ru.org/files/bot/2020-03-27-x8.jpg
[00:57:01] <ada_ru> (I_vlxy_I) вот так это выглядит
[00:57:40] <ada_ru> (mister_alexander) gpr проектик не нужен )
[00:58:00] <ada_ru> (I_vlxy_I) а как ты хочешь?
[00:58:24] <ada_ru> (I_vlxy_I) gcc -c main.adb
[00:58:27] <ada_ru> (I_vlxy_I) можно и так
[00:58:28] <ada_ru> (I_vlxy_I) 😊
[00:58:33] <ada_ru> (I_vlxy_I) тот же результат
[00:58:36] <ada_ru> (mister_alexander) можно gnatmake main.adb
[00:58:43] <ada_ru> (I_vlxy_I) gnatmake не нужен
[01:00:22] <ada_ru> (mister_alexander) /opt/arm-linux-gnueabi/bin/arm-linux-gnueabi-gnatmake main.adb
arm-linux-gnueabi-gcc -c main.adb
+===========================GNAT BUG DETECTED==============================+
| 10.0.0 20190512 (experimental) (arm-linux-gnueabi) Storage_Error stack overflow or erroneous memory access|
| Error detected at system.ads:157:5 |
| Please submit a bug report; see https://gcc.gnu.org/bugs/ . |
| Use a subject line meaningful to you and us to track the bug. |
| Include the entire contents of this bug box in the report. |
| Include the exact command that you entered. |
| Also include sources listed below. |
+==========================================================================+
Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.
Consider also -gnatd.n switch (see debug.adb).
main.adb
color_map.ads
[01:00:26] <ada_ru> (mister_alexander) тоже самое
[01:00:33] <ada_ru> (mister_alexander) пиши багрепорт
[01:01:18] <ada_ru> (mister_alexander) Таже фигня с gnat-gpl 2019
[01:01:24] <ada_ru> (I_vlxy_I) WOW!
[01:01:34] <ada_ru> (I_vlxy_I) а у аффтара то работает. каким-то образом
[01:16:42] <ada_ru> (I_vlxy_I) да, в GNAT Comminity также баг есть. проверил
[01:20:31] <ada_ru> (I_vlxy_I) какой-то компилятор игрушечный 😊 на мелких файлах сдается
[01:20:34] <ada_ru> (I_vlxy_I) всего то 4 метра
[01:46:27] <ada_ru> (I_vlxy_I) alire шедеврален конечно. чтобы понять почему пакетный менеджер не собирает твою штуковину приходится под gdb смотреть что в нем происходит!
[01:46:31] <ada_ru> (I_vlxy_I) в пакетном манагере
[01:46:42] <ada_ru> (I_vlxy_I) а то у него просто constrain error и привет
[13:54:21] <ada_ru> (I_vlxy_I) хм. у gdb есть адская подсветка синтаксиса? неплохо!
[13:54:26] <ada_ru> (I_vlxy_I) картинка https://www.ada-ru.org/files/bot/2020-03-28-x9.jpg
[14:41:11] <ada_ru> (Oleg) https://m.habr.com/ru/news/t/494522/
[14:41:28] <ada_ru> (Oleg) Все, не будет нам всеобщего интернета
[14:54:23] <ada_ru> (I_vlxy_I) ada language server периодически крашится 🙁
[15:13:41] <ada_ru> (a) Проблемы с интернетом? ;)
[15:39:13] <ada_ru> (reznikmm) отвечает (I_vlxy_I) на <ada language server …>
Ух ты, как?
[17:12:59] <ada_ru> (I_vlxy_I) отвечает (reznikmm) на <Ух ты, как?>
[Error - 4:54:58 PM] Request textDocument/documentSymbol failed.
Message: STORAGE_ERROR
[/home/valexey/.vscode/extensions/adacore.ada-21.0.9/linux/libgnarl-2019.so]
0x7f30f7309b05
[/usr/lib/libpthread.so.0]
0x7f30f6ce07fe
[/home/valexey/.vscode/extensions/adacore.ada-21.0.9/linux/libadalang.so]
0x7f30fa888563
0x7f30fa888673
0x7f30fa8aafc3
0x7f30fa5af9ac
[/home/valexey/.vscode/extensions/adacore.ada-21.0.9/linux/ada_language_server]
0x81f280
0x81f544
0x81f544
0x81f544
0x81f544
0x81f544
0x81f544
0x81f544
0x81fb0a
0x8743a3
0x7ca8d8
0x7ccdf3
0x79ce38
0x7c2abc
0x7c1af1
[/home/valexey/.vscode/extensions/adacore.ada-21.0.9/linux/libgnarl-2019.so]
0x7f30f73183f4
[/usr/lib/libpthread.so.0]
0x7f30f6cd546d
[/usr/lib/libc.so.6]
0x7f30f6be43d1
0xfffffffffffffffe
Code: -32603
[17:15:22] <ada_ru> (I_vlxy_I) достаточно открыть тот самый проект, что я кидал встать на main.adb и немного подождать. ну или на color_map.ads
[17:15:48] <ada_ru> (I_vlxy_I) лучше на color_map.ads - так надежней
[17:16:17] <ada_ru> (I_vlxy_I) то есть открыть фолдер, LS подхватит gpr, открыть color_map.ads из src
[17:16:48] <ada_ru> (I_vlxy_I) можно еще попробовать по ctrl+click перейти на Color_Map из main.adb
[17:18:50] <ada_ru> (I_vlxy_I) да, лучше открыть color_map.ads
[17:19:02] <ada_ru> (I_vlxy_I) для надежности - промотать в хвост файла
[17:27:04] <ada_ru> (reznikmm) Прикольно. У меня падает с Constraint_Error... Но у меня тут версия, которая в работе...
[17:46:10] <ada_ru> (I_vlxy_I) у меня и так оно тоже падало
[19:20:23] <ada_ru> (a) Стабильно падает. Что вам надо ещё. Стабильный продукт
[19:36:43] <ada_ru> (Oleg) :-)
[19:36:56] <ada_ru> (Oleg) Продукт жизнедеятельности
[19:37:19] <ada_ru> (Oleg) Как же все это уныло, что не возьми везде грабли
[19:38:08] <ada_ru> (a) Не наступай!
[19:38:29] <ada_ru> (I_vlxy_I) да. в стандарте языка - баг, в IDE - баг, в компиляторе - баг, в пакетном менеджере - баг. в language server'e - тоже баг.
[19:39:16] <ada_ru> (I_vlxy_I) а, да. в тьюториале - тоже баг
[19:40:11] <ada_ru> (I_vlxy_I) Это я попытался настроить себе окружение и собрать один hello world с гитхаба, который написал Fabien написал.
[19:46:20] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <да. в стандарте язык…>
Прям бинго
У меня только gps глючил сильно. Компилятор ни разу не падал, и пару раз гнатпрув навернулся.
[19:47:10] <ada_ru> (I_vlxy_I) после такого экспириенса довольно тяжело будет пояснять за надежность Ады новичкам 😊
[19:48:15] <ada_ru> (vasil_sd) Но тут прошу заметить, что несмотря на падение тулов, ни разу не была скомпилена кривая прога :)
То есть компилятор грудью ложится на амбразуру, помирает, но кривой бинарь не создаёт :)))
[19:48:48] <ada_ru> (I_vlxy_I) а создается ли кривой бинарь или нет - до этого момента я ещё не дошел 😊
[19:49:37] <ada_ru> (I_vlxy_I) блин. но это ж лажа когда приходится сидеть в gdb чтобы понять что не так пакетному менеджеру
[19:50:02] <ada_ru> (I_vlxy_I) (а он, походу, просто не тестировался на других дистрах кроме убунты и дебиана)
[19:51:03] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <блин. но это ж лажа …>
Это да
[19:51:45] <ada_ru> (vasil_sd) Но тут просто коммьюнити небольшое - не получается хорошо всё вылизывать
[20:00:49] <ada_ru> (I_vlxy_I) отвечает (vasil_sd) на <Но тут просто коммью…>
ну, дык адакор же существует и это в основном её активности. То есть очень стремно на вот этом всём строить свой продукт если нужна надежность.
[20:00:57] <ada_ru> (I_vlxy_I) когда вся инфраструктура настолько не надежная
[20:01:07] <ada_ru> (I_vlxy_I) На С++ то надежней будет 😊
[20:03:06] <ada_ru> (I_vlxy_I) ну и да, сейчас надежность софта сильнее зависит от толпы юзеров нежели от проработанности инженерии. Где толпа прошла - там безопасная тропинка и образовалась.
не важно Ада это или С++.
[20:15:08] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <ну и да, сейчас наде…>
Да и ширина тропинок тоже играет роль...
[20:16:32] <ada_ru> (I_vlxy_I) угу
[20:16:42] <ada_ru> (I_vlxy_I) блин. как же пофиксить выделение текста в GPS?
[21:29:18] <ada_ru> (I_vlxy_I) дас. походу придется отказаться от GPS тупо потому, что выделение текста никак не обозначается 😞
[22:49:24] <ada_ru> (I_vlxy_I) О! Нашел этот баг! https://github.com/AdaCore/gps/issues/79
[22:49:37] <ada_ru> (I_vlxy_I) значит я не сошел с ума и он реально не только у меня есть
[23:11:15] <ada_ru> (I_vlxy_I) Пытаюсь пользоваться ALS в vscode. Вот такое вылазит на проекте alire. https://www.ada-ru.org/files/bot/2020-03-28-x10.jpg
[23:11:28] <ada_ru> (I_vlxy_I) вот мой settings.json
[23:11:32] <ada_ru> (I_vlxy_I) {
"ada.projectFile": "alr_env.gpr",
"ada.defaultCharset": "utf-8"
}
[23:11:37] <ada_ru> (I_vlxy_I) Что я делаю не так?
[23:13:00] <ada_ru> (I_vlxy_I) ну и да, он постоянно падает на этом проекте
[23:13:09] <ada_ru> (I_vlxy_I) [Error - 10:56:19 PM] Request textDocument/documentSymbol failed.
Message: CONSTRAINT_ERROR
[/home/valexey/.vscode/extensions/adacore.ada-21.0.9/linux/ada_language_server]
0x82a26b
0x838553
0x874020
0x7ca8d8
0x7ccdf3
0x79ce38
0x7c2abc
0x7c1af1
[/home/valexey/.vscode/extensions/adacore.ada-21.0.9/linux/libgnarl-2019.so]
0x7f0aa2ca23f4
[/usr/lib/libpthread.so.0]
0x7f0aa265f46d
[/usr/lib/libc.so.6]
0x7f0aa256e3d1
0xfffffffffffffffe
Code: -32603
[23:13:18] <ada_ru> (I_vlxy_I) @reznikmm что-то как-то не очень работает 😞
[23:21:07] <ada_ru> (I_vlxy_I) /me поставил gnat gps 2019 community - там всё работает как надо. скорее всего гипотеза на тему версии gtk+ верна
[23:26:49] <ada_ru> (I_vlxy_I) ну как всё.. IDE работает отлично, только ничего скомпилировать не может 😊
[23:30:44] <ada_ru> (sergey_dukov) отвечает (I_vlxy_I) на <ну как всё.. IDE раб…>
Как это всё у вас получается? За сутки наловить столько багов.
[23:31:11] <ada_ru> (I_vlxy_I) я хз 😊
[23:32:01] <ada_ru> (sergey_dukov) У меня ГНАТ компилятор последний слетал в 1998 году?
[23:34:07] <ada_ru> (reznikmm) отвечает (I_vlxy_I) на <@reznikmm что-то как…>
У меня работает 😕 max@untu:/tmp/alire$ cat .vscode/settings.json
{
"ada.defaultCharset": "utf-8",
"ada.projectFile": "alr_env.gpr"
}
[23:34:14] <ada_ru> (I_vlxy_I) ну, тут не то, чтобы компилятор слетел.. Тут GNAT GPS 2019 Community я пытаюсь подружить с fsf компилятором. Всё разваливается пока что на моменте вызова gprbuild. И понятно почему - GNAT GPS здешний определяет переменную окружения declare -x LD_LIBRARY_PATH="/home/valexey/opt/GNAT/2019/lib/gps:/home/valexey/opt/GNAT/2019/lib:"
[23:34:30] <ada_ru> (I_vlxy_I) И естественно эти динамические либы не подходят для моего системного fsf gprbuild
[23:35:10] <ada_ru> (I_vlxy_I) отвечает (reznikmm) на <У меня работает 😕 m…>
а ты пробовал открыть скажем src/alire-actions.ads ?
[23:35:15] <ada_ru> (sergey_dukov) Глюки в gprbuild и gprinstall раньше были, но я их сам истправля.
[23:35:17] <ada_ru> (reznikmm) да
[23:36:17] <ada_ru> (I_vlxy_I) отвечает (reznikmm) на <да>
давай прям скриншот пришлю как у меня выглядят настройки и какой каталог открыт. а то может я упускаю нечто очевидное
[23:36:19] <ada_ru> (reznikmm) сейчас попробую поставить расширение из маркета...
[23:36:36] <ada_ru> (I_vlxy_I) картинка https://www.ada-ru.org/files/bot/2020-03-28-x11.jpg
[23:36:53] <ada_ru> (sergey_dukov) А AdaCore исправляла эти глюки без моей помощи.
[23:38:38] <ada_ru> (sergey_dukov) Начиная с GNAT Gpl 2018 эти утилиты работают нормально.
[23:42:08] <ada_ru> (I_vlxy_I) о, пофиксил запуск компиляции из GNAT GPS Community методом правки скрипта, что его запускает. Просто больше LD_LIBRARY_PATH не выставляю на кастомный путь.
[23:42:11] <ada_ru> (I_vlxy_I) Костыли - наше всё!
[23:42:58] <ada_ru> (sergey_dukov) Всё это относится в основном к MINGW собственной сборки и к системам поставляемым AdaCore под Windows и Linux.
[23:46:05] <ada_ru> (sergey_dukov) А вот АДА-тулсеты DEBIAN насквозь глючные. GPS там вообще неработоспособна.
[23:48:55] <ada_ru> (sergey_dukov) Попробую собрать ваш горбатый проект. Чтоб мне его долго не искать, скиньте его сейчас.
[23:49:26] <ada_ru> (I_vlxy_I) это который с багом в gnat-компиляторе?
[23:49:35] <ada_ru> (sergey_dukov) да
[23:50:16] <ada_ru> (I_vlxy_I) <прислал документ>
[23:50:23] <ada_ru> (sergey_dukov) ок
[23:50:52] <ada_ru> (I_vlxy_I) но, подозреваю, почти любой gnat его не сдюжит
[23:52:50] <ada_ru> (sergey_dukov) Ну посмотрим