Objective Caml - Пятница, 16 марта 2012

Objective Caml

ocaml@conference.jabber.ru

Пятница, 16 марта 2012< ^ >

Конфигурация комнаты

Участники комнаты

GMT+4
[00:03:29] <bobry> f[x]: что запилить?
[00:04:02] <ermine> gds: ты зачем setup.data положил в репу?
[00:05:43] <ermine> теперь dsl собрался
[00:05:52] <ermine> долго же я думала, что пофиксить
[00:06:00] bobry вышел(а) из комнаты
[00:06:22] bobry вошёл(а) в комнату
[00:07:25] ermine проинсталлила main.byte
[00:11:45] <ermine> ох, я ж успела отвыкнуть от refised стиля после итератов
[00:14:31] <ermine> gds: и setup.log тоже удали
[00:14:38] <ermine> спать
[00:14:42] ermine вышел(а) из комнаты
[00:26:28] <bobry> gds: а typerex твой любимый revised умеет?
[00:27:52] <bobry> https://github.com/m2ym/ocaml-lang-python/issues/3#issuecomment-4528074
[00:39:13] komar вышел(а) из комнаты
[00:45:23] komar вошёл(а) в комнату
[00:46:07] bobry вышел(а) из комнаты
[00:47:45] <Kakadu> bobry: omg
[00:59:22] Kakadu вышел(а) из комнаты
[02:16:30] ftrvxmtrx вошёл(а) в комнату
[02:18:37] <gds> ermine: setup.data -- как-то не обращал внимание на то, стоит ли его класть.  пофиг, мелочи.  удалю при случае.
[02:19:43] <gds> bobry: typerex умеет revised syntax, .mly/.mll тоже, по идее.
[02:24:06] <gds> (вообще, непонятно, нафига мне был бы нужен typerex, если бы он не умел revised syntax.)
[02:29:52] gotvald вошёл(а) в комнату
[02:35:12] <gotvald> гг
[02:37:53] gotvald вышел(а) из комнаты: QIP Infium: Спокойное общение
[02:57:04] vshender вошёл(а) в комнату
[02:57:09] vshender вышел(а) из комнаты
[03:01:57] <gds> мать честнАя!  https://forge.ocamlcore.org/projects/barbra/
[03:18:43] superbobry вышел(а) из комнаты
[04:03:43] letrec вошёл(а) в комнату
[04:17:19] <gds> чем больше смотрю на coq, тем больше понимаю, почему инриа считает бессмысленным сколько-нибудь активное развитие окамла.  (конечно, в последнее время они исправляются, что меня безмерно радует, но всё же.)
тот же пример с композицией функций -- нафига делать кошерную инлайнилку, если coq->ocaml в процессе экстракции сам всё заинлайнит, как попросишь.
нафига делать зависимые типы, если в coq они есть, а в окамловском коде достаточно просто расставить Obj.magic в нужных местах, да ещё получить гарантии корректности, да и не трахать мозги с реализацией всего этого добра в тайпчекере.
нафига делать implicit values, если достаточно пары тактик в coq, которые будут среди нужных "контекстов" перебирать значения до достижения корректности.
ну и так далее.
[04:55:43] letrec вышел(а) из комнаты
[05:18:49] <f[x]> http://barbra.forge.ocamlcore.org/ <- fail once again
[05:31:57] f[x] вышел(а) из комнаты: Computer went to sleep
[05:33:15] vshender вошёл(а) в комнату
[05:42:52] Typhon вышел(а) из комнаты
[05:51:59] vshender вышел(а) из комнаты
[05:52:32] vshender вошёл(а) в комнату
[07:51:21] ermine вошёл(а) в комнату
[08:04:27] <ermine> gds: надо валить с камла на coq?
[08:04:42] <gds> ermine: в общем случае -- нет.
[08:05:03] <ermine> gds: у, ты еще не спишь?
[08:05:28] <gds> спал-отдыхал сегодня пару раз по паре часов, вон, скоро следующий заход сделаю.
[08:06:47] <ermine> леонардо да винчи, говорят, спал по 15 минут каждые 4 часа
[08:07:23] <gds> чото такое было, да.  Но тут у меня скорее несознательно это, и уж точно не регулярно.
[08:40:03] <ermine> а в барбаре недостаточно писать просто Dep pcre?
[08:42:26] <ermine> побольше бы вякалок в парсинг конфига барбы
[08:47:20] <ermine> мде, как всё криво
[08:50:02] <ermine> 1) хочу dep libname вместо dep libname recipe "default"
2) оно зачем-то полезло вытаскивать этот самый libname, хотя оно уже было в наличии в site-lib
3) и при сборке libname запустило make вместо gmake
[09:24:05] <ermine> хм, в дарксе оазиса дофига изменений, надо собрать
[09:39:08] bobry вошёл(а) в комнату
[09:39:48] <bobry> ermine: 'dep libname' -- исключение из правил, вощем та можно, но по началу не захотелось
[09:40:14] <bobry> насчет сборки, напиши там Build "gmake" под рецептом и все будет ок
[09:40:40] <bobry> в site-lib барбара пока не смотрит, но это видимо будет след. фича которую мы запилим
[09:41:06] <bobry> точнее запилим локальный индекс или будем спрашивать у камлофайнда -- глобальный site-lib нас не интересует
[09:45:37] <ermine> bobry: куда написать? я же этот brb.conf положу в репу проекта, а потом ты будешь плеваться, что у тебя в арче нету gmake?
[09:46:34] <ermine> нужен brb.conf в ~/.brb
[09:47:28] <ermine> насчет site-libs - надо два режима, либо смотреть туда, либо игнорить его и всё тягать локально
[09:48:44] <ermine> и тогда барбара восполнит недостающую часть кабала в оазисе
[09:50:33] <bobry> не-не, барбара это не кабал, а кабал-дев
[09:51:22] <bobry> ermine: так если рецепт собирать gmake, то без него никак -- пиши в Build, или ты про твой проект?
[09:52:27] <ermine> bobry: нет, в данный момент сломался pcre
[09:52:54] <bobry> pcre вроде просто make хочет
[09:52:58] <ermine> bobry: если я в рецепт напишу gmake, то он перестанет обновляться? :)
[09:53:20] <ermine> хотя можно подумать про ведение отдельной ветки для данной операционки
[09:53:33] <ermine> в смысле бранча рецептов
[09:54:14] <bobry> ermine: вощем, ты можешь в brb.conf переопределить любое поле в рецепте
[09:54:39] <bobry> напр. ты пишешь у себя
Dep pcre recipe "default"
    Build "gmake all"
[09:54:49] <bobry> не в самом рецепте, а именно в brb.conf проекта
[09:55:42] <ermine> bobry: а смысл в этом есть?
[09:55:50] <ermine> см выше про репу и арч
[09:56:15] <bobry> конечно есть -- в рецепте написано только самое самое, что если тебе не нужны все 100500 флагов lwt?
[09:56:32] <bobry> бранч рецептов только путаницы добавит кмк
[09:57:46] <ermine> ну в каждой же операционке свой манагер пакетов со своими причудливыми рецептами сборки
[09:58:05] <bobry> стоп -- про манагер пакетов вообще речь не идет, эта проблема пока не решена
[09:58:05] <ermine> к примеру собери camlimages из моего гитхуба
[09:58:14] <bobry> ок, щас перемещусь на работку
[09:59:00] bobry вышел(а) из комнаты
[10:00:05] <ermine> ых, разрушают мечту про манагер пакетов, опять придецца по старинке обновлять приборы в своей кухне
[10:00:56] ermine плачет
[10:02:34] <ermine> блин, оазис все еще 0.2
[10:12:49] <ermine> ура, новый оазис сам собирает *.cmxs
[10:41:30] Typhon вошёл(а) в комнату
[11:07:18] ftrvxmtrx вышел(а) из комнаты
[11:15:03] superbobry вошёл(а) в комнату
[11:25:15] superbobry вошёл(а) в комнату
[11:25:33] superbobry вышел(а) из комнаты
[11:46:29] ftrvxmtrx вошёл(а) в комнату
[12:28:18] <gds> вот и поигрался с массивами, эпичненько вышло: http://pastebin.com/fWTLi7Qr
[12:39:35] <klapaucius> Уж если пастебинить, так хоть с подсветкой https://gist.github.com/0f07e56c9c0fbbdcba12
[12:41:37] <gds> да сколько там той пасты.
[12:41:58] <gds> самое главное там внизу.  соптимизировалось наотлично.  ну, так и должно быть.
[12:47:13] <ermine> gds: это всё coq?
[12:47:41] <ermine> может таки почитать туториал по цоку
[12:48:27] <gds> ermine: кроме нижних строк -- да.  но это нехарактерный для него код -- пара аксиом, описание экспорта.
[12:49:01] shaggie вошёл(а) в комнату
[12:49:16] <ermine> ... пиши просто и понятно
[12:50:25] <ermine> gds: а профит-то какой?
[12:52:43] <gds> ermine: ты немного не понимаешь, к чему этот код вообще, поэтому "просто и понятно" тут негде писать.  да и не слишком в тему это тут.  разве что экстракция в камло более-менее в тему.
профит -- от чего?
[12:55:12] <ermine> у меня в парсилке нет возни с типами, хотя я немного думала на эту тему
[12:56:03] <ermine> всю возню положила на совесть компилятора
[12:57:22] <gds> слишком глобальный вопрос поднимаем, в таком случае.  тем более, учитывая мою текущую малокомпетентность.
а тебе, кстати, можно было бы и протащить что-то в типах при компиляции.  только подумать надо.  и, опять же, когда будет знаний побольше у меня или у кого-нибудь, кто тебе может посоветовать.
[13:02:14] <ermine> ну у меня немного смешно получается - я сначала хотела встроить парсер в камло, но сейчас всё идет наоборот - встраиваю камло в парсер. а знание о типах в парсере не помешало бы при генерации правильного кода
[13:03:21] <ermine> на днях я вроде придумала на что менять привычную концепцию комбинаторов, осталось дозреть и дойти до дела
[13:03:43] <ermine> а еще знание о типах нужно для оптимизации сбора результатов по ходу парсинга
[13:04:23] <ermine> у меня же нету явного указания от какого токена надо собрать результат, парсер сам должен соображать :)
[13:05:59] <ermine> без дебага генерация хтмл из md камловики (все *.md) идет довольно быстро
[13:07:37] <ermine> до сих пор удивляюсь чудесности типа тьюпла - безтиповый спис
[13:08:23] <ermine> ок
[13:22:46] Kakadu вошёл(а) в комнату
[13:41:16] <Kakadu> ну так что, ктонить попробовал под юниксами собрать оксигень?
[13:41:21] <Kakadu> в смысле барброй собрать
[13:42:43] superbobry пока не могет -- @work
[13:42:57] <Kakadu> бывает
[13:43:42] <ermine> я сегодня собрала оксиген из даркса
[13:43:57] <Kakadu> барброй?
[13:44:16] <ermine> нет, барба у меня полунеработает
[13:44:21] <Kakadu> что не так?
[13:44:35] <Kakadu> давай фидбэчь проблемы
[13:44:43] <ermine> невозможно не в локальном brb.conf задать gmake вместо make
[13:44:53] <ermine> лень прописывать для всех депендсов
[13:45:24] <Kakadu> черт, я мог это предвидеть
[13:45:54] Kakadu дно бронзы
[13:46:46] <ermine> по идее нужен конфиг в ~/.brb для замещений, но если в рецепте сказано ясно make all, то наверное фигово
[13:49:11] <Kakadu> ermine: может пускай барбра сама разбирается что она на фряхе и подменяет вызов make?
[13:49:36] <gds> я сразу вам говорил, что надо барбру из мейкфайла запускать, там MAKE в окружении выставить можно.  а у вас сейчас получатся костыли.
[13:50:56] <Kakadu> ну давайте сделаем так, чтобы барбра брала make из окружения, а если нет, то запускала make
[13:55:49] <f[x]> PR#5542 lold
[13:57:23] <f[x]> # () 2;;
- : t = () 2
[13:57:45] <f[x]> забираю вопросом на собеседование :)
[13:59:35] <ermine> я не знаю аналогичного софта, кто бы сам разбирался кого запускать
[13:59:54] <gds> f[x]: зачот, только зачем валить кандидатов, они же могут пользу принести.
[14:01:59] <f[x]> gds: ну на плюсовых собеседованиях любят спрашивать про всякие виртуальные множественные наследования шаблонных рекурсивных иерархий - нам значит тоже нужно спрашивать что-нибудь такое-же бесполезное!
[14:02:31] <f[x]> чисто поржать
[14:05:52] <gds> плюсовикам -- можно.  им всё можно, даже кастовать указатели и заплывать за буйки, ну и про ежей там было известное.
поржать -- разве что.  забавно было бы.
только вот были случаи, когда на дебильный вопрос разумный кандидат говорил "вы тут больные извращенцы, я не хочу на вас работать" :)
[14:08:19] <f[x]> вопрос-детектор - ок
[14:08:44] <f[x]> я на эти плюсовые вопросы так и отвечал - что эту фичу я не знаю потому-что в нормальном коде она не нужна
[14:09:17] <gds> разумно.  одобрено раввинатом.
[14:09:54] <superbobry> лол
[14:11:46] <ermine> конструкторы стали функциями?
[14:12:02] <Kakadu> ermine: где?
[14:12:06] <ermine> Kakadu: не слушай gds, посмотри как сделано в кабале
[14:12:17] <ermine> (я не помню как там сделано)
[14:12:24] <Kakadu> ermine: не, я не хочу в кабалу втягиваться
[14:12:32] <ermine> Kakadu: в том pr
[14:13:48] <Kakadu> ermine: а, понял
[14:15:10] <ermine> хм, в конфиге кабала не видно ничо про gmake
[14:15:26] <ermine> наверное у него есть святая телепатия
[14:18:02] <ermine> Kakadu: ты лучше собери camlimages из моего гитхаба
[14:18:38] <ermine> давненько я его не трогала
[14:22:36] <Kakadu> ermine: у меня сейчас на цигвине траблы с lablgtk будут. Лучше когда дома буду
[14:26:11] <f[x]> а почему exception'ы не могут быть полиморфными?
[14:26:14] <f[x]> а, понятно
[14:26:17] <f[x]> :)
[14:26:40] <Kakadu> я тоже об этом задумывался. и примерно также быстро разбирался
[14:27:25] <Kakadu> вот если бы в камле было как в джаве (ой, какой кошмар) то могли быть и не полиморфными наверное
[14:30:22] <gds> кстати, могут быть и полиморфные, для этого они должны нести то, что в кадастре называю ubox -- untyped box with value.  далее -- дело техники: uget : ti 'a -> ubox -> option 'a
[14:31:03] <f[x]> а ti 'a где брать?
[14:31:09] <f[x]> а
[14:31:13] <f[x]> понял
[14:31:34] <f[x]> универсальный тип
[14:33:13] <gds> f[x]: вот тебе ещё вопрос на собеседование: http://paste.in.ua/4015/ -- объяснить механику (при условии отсутствия Obj).
[14:33:39] <gds> ti 'a -- тип с рантайм-инфой про значение с типом 'a.
[14:34:30] <gds> f[x]: ti 'a обычно конструирую либо как "атомы", либо как всякую шнягу типа sum types, record types, tuples.  ну и фокусы типа value ti_option : ti 'a -> ti (option 'a)
[14:35:05] <f[x]> угу, я про ubox - это Univ.t
[14:35:19] <gds> да.
[14:35:43] <gds> точнее, сильно расширенный Univ.t, вообще-то :)  Но взятие-получение -- оттуда.
[14:37:28] <gds> f[x]: а с пастой -- идеи есть?
[14:37:41] <f[x]> без Obj - пока нету
[14:37:53] <f[x]> а тип q покажи
[14:38:02] <f[x]> 'a -> 'b ?
[14:38:06] <gds> value q : 'a -> unit = <fun>
[14:38:34] <gds> может и 'a -> 'b можно было бы сделать, только так попроще оказалось.
[14:38:45] <gds> (не думал, что -> 'b надо.)
[14:39:24] <f[x]> 3.12 фичи юзаются?
[14:39:26] <f[x]> (type t)
[14:39:29] <gds> Так!
[14:39:44] <gds> # value q = fun (type a) (x : a) -> let module Q = struct exception W of a; value () = raise (W x); end in ();
[14:41:18] <gds> но вот это -- именно что "для собеседования", в реальности, понимаешь, W разные и как бы анонимные.  вышли из модуля -- не сматчим, и "a" не вытащим.
[14:41:27] <f[x]> # q 123;;
Exception: W 123.
# q "dasd";;
Exception: W "dasd"
[14:41:58] <f[x]> а чего топлевел не указывает полный тип W
[14:42:32] <gds> типа-анонимный.
[14:43:31] <gds> о, идея.  А ведь из модуля можно попытаться вернуть функцию, которая матчит конкретные брошенные значения.  И функцию unit -> unit, бросающую конкретное значение.  И будет thread-safe имплементация того, что у меня сейчас сделано из ref'ов, говна и спичек.
[14:43:31] <f[x]> не, наверное потому что в exn-принтере инфа то из рантайма берётся - а там только имя конструктора
[15:00:26] <ermine> Kakadu: а camlimages можно собирать почти без всего
[15:01:13] <ermine> хотя собрать барбой lablgtk - тоже ценная задачка
[15:57:29] <Kakadu> хочется для барбры параметр который бы её сказал не подчищать за собой _dep/tmp. Такое уже есть?
[15:58:35] <superbobry> Kakadu, нету -- feature request?
[15:58:45] <Kakadu> ща оформлю
[16:05:00] <ermine> ну как там с моим безнадежным случаем?
[16:05:19] <ermine> хочу brb.conf в ~/.brb
[16:05:36] <ermine> пусть там будет MAKE=gmake
[16:07:38] <superbobry> ermine, поставь сама переменную окружения MAKE
[16:07:45] <superbobry> barbra ее должна цеплять
[16:09:24] <ermine> ща проверю
[16:11:02] letrec вошёл(а) в комнату
[16:11:39] <ermine> а что надо запустить? запускаю brb build, оно выдает одну строчку - про то, в каком порядке будет компилить депендсы, и всё
[16:11:56] <Kakadu> --force
[16:13:11] Typhon вышел(а) из комнаты
[16:13:37] <superbobry> что пиши --help что не пиши :)
[16:14:03] <ermine> оно где-то плюнуло на MAKE
[16:14:24] <ermine> после applying patches
[16:14:26] <gds> кроме хелпа надо внятный ответ от утилиты, типа "запросили такое-то действие -- ок, вот вам порядок компиляции зависимостей: ..."
[16:14:42] Typhon вошёл(а) в комнату
[16:14:57] <Kakadu> а что ты сказала скомпилить?
[16:14:58] <superbobry> ermine, покажи brb.conf?
[16:15:12] <superbobry> gds, согласен в общем то
[16:15:13] <Kakadu> может начнем дружно писать./brb install blabla?
[16:15:49] <ermine> ничо я не сказала, оно взяло первый депендс из конфига - pcre
[16:15:53] <Kakadu> или install не билдид?
[16:16:16] <superbobry> реквестирую лог на pastebin
[16:34:18] <ermine> реквестировать бы хорошую выпивочку
[16:34:34] <Kakadu> superbobry: можешь ткнуть пальцем в aur для lablgtk2?
[16:34:46] Kakadu подозревает что авторы забыли инсталлить мету
[16:35:06] Kakadu не понимет почему они инсталлят руками а не через фандлиб
[16:35:23] <ermine> Kakadu: а ты сам попробуй! сделай export MAKE=gmake и запусти, скажем, сборку pcre
[16:35:46] <ermine> можно чонить другое вместо gmake, например, rm
[16:36:20] <Kakadu> ermine: /bin/sh: gmake: command not found
[16:36:40] <ermine> Kakadu: а кто его вызвал?
[16:37:23] <Kakadu> кто-то
[16:38:09] <ermine> хто посмел?
[16:38:35] <Kakadu> думаю барбра
[16:39:15] <ermine> везет же
[16:43:12] <ermine> я записала в MAKE лабуду, оно даже не ругнулось, что нет такой команды
[16:59:25] <Kakadu> ermine: так ты лог дашь?
[17:01:27] vshender вышел(а) из комнаты
[17:01:37] vshender вошёл(а) в комнату
[17:08:44] <superbobry> опана
[17:08:56] <superbobry> I saw that you just opened the project barbra <https://forge.ocamlcore.org/projects/barbra/>. It's purpose is not completely clear to me from the given description but wouldn't it be more productive to contribute to OASIS <https://forge.ocamlcore.org/projects/oasis/> or ODB <https://github.com/thelema/odb> to avoid duplication of efforts?
[17:09:47] Typhon вышел(а) из комнаты: Replaced by new connection
[17:10:07] Typhon вошёл(а) в комнату
[17:14:25] <Kakadu> тебе тоже пришло?
[17:14:38] <ermine> галль замочит всех конкурентов
[17:14:39] <Kakadu> действительно
[17:14:54] <Kakadu> мы ему мат Легаля поставим
[17:16:16] <Kakadu> superbobry: ну кто ответ будет писать?
[17:17:05] <Kakadu> французскому султану
[17:18:53] <Kakadu> Ти, легаль, чорт хренцуськiй, i проклятого чорта брат i товарищ, самого Люцеперя секретарь. Якiй ты в чорта камлiст, коли голою сракою ежака не вбъешь. Чорт высирае, а твое оазiс пожирае. Hе будешь ты, сукiн ты сыну, сынiв христiянських пiд собой маты, твойого odb мы не боiмось, землею i водою будем биться з тобою, распройоб твою мать.
[17:21:28] ermine сомневается, что Kakadu написал этот текст по памяти
[17:22:54] Kakadu нічого нэ стверджувал
[17:24:37] <ermine> Kakadu: разве ты хохол?
[17:24:57] <ermine> хохлы живут не в питере, а вкиеве
[17:25:05] <Kakadu> ermine: родился на Хортице
[17:30:31] <gds> Kakadu: тогда её ещё не разливали, врёшь поди.
[17:34:45] <Kakadu> gds: табличка "сарказм"?
[17:37:47] <f[x]> барбру с гита брать можно?
[17:37:58] <f[x]> в дефолтный ocamlfind ставить умеет?
[17:38:02] <f[x]> патчи примнеять умеет?
[17:38:25] <Kakadu> да, нет, да
[17:39:23] <f[x]> fail
[17:51:31] <superbobry> Kakadu, я уже почти написал
[17:51:46] <Kakadu> superbobry: как приятно слышать
[17:51:59] <Kakadu> у меня чего=-то слова не рождаются
[17:52:47] <ermine> а проверять наличие в камлофинде не умеет
[17:53:07] <Kakadu> это не баг, это фича
[17:53:52] <ermine> Kakadu: а заче моно у меня собирает pcre, если оно и так есть?
[17:54:06] <f[x]> а зависимости на бинарники умеет?
[17:54:09] <f[x]> e.g. cppo
[17:54:13] <Kakadu> ermine: это к gds и superbobry
[17:54:27] <superbobry> f[x], умеет
[17:54:39] <f[x]> а куда ставить будет?
[17:54:58] <Kakadu> в _dep
[17:55:55] <ermine> f[x]: не слушай их, оно в отличие от оазиса непортабельное!
[17:56:11] <f[x]> ermine: что непортабельно?
[17:56:27] <f[x]> 3.12-измы детектед
[17:57:03] <ermine> f[x]: барбра
[17:57:34] <ermine> у меня оно еще ничего не собрало еще за сутки
[17:57:42] <f[x]> ну я сейчас пробую
[17:57:55] <superbobry> клевый настрой :)
[17:57:58] <superbobry> мне уже нравится
[17:58:07] <f[x]> superbobry: 3.12 only?
[17:58:19] <Kakadu> f[x]: ага
[17:58:44] <f[x]> захват мир не за горами
[18:00:35] <superbobry> гм, ну там немного 3.12 фич, но йома -- уже ведь больше года прошло с момента релиза, wtf?
[18:00:45] <f[x]> oasis 0.3
[18:00:54] <f[x]> круто
[18:01:31] <f[x]> йома, кровавый enterprise, у меня дела интересней есть чем ловить новые баги во всё софте
[18:01:36] <f[x]> * всём
[18:01:59] <f[x]> в stable 3.11.2
[18:02:09] <f[x]> ну это моя локальная заморочка
[18:02:19] <superbobry> ок, сделать так чтобы барбра работала для 3.11 несложно
[18:02:32] <superbobry> правда не очень понятно зачем, т. к. это dev tools скорее
[18:02:36] <superbobry> *tool
[18:02:47] <f[x]> в mldonkey например у меня пара багов есть с требованием sarge поддерживать
[18:03:19] <Kakadu> f[x]: который 3.1?
[18:03:52] <f[x]> угу, есть юзеры которые его там пускают - приходится учитывать
[18:04:07] <f[x]> хорошо что камло до 3.10.2 логоворились поднять
[18:05:38] <f[x]> я к тому что аргменты про "год назад релиз", "нам так проще" - это всё конечно валидно, но юзеры - они капризные
[18:05:58] <superbobry> мм
[18:06:03] <superbobry> valid point так та
[18:09:04] <ermine> //me капризно топает ножкой
[18:09:32] <f[x]> \o/
[18:10:21] Kakadu вспомнил как историчка рассказывала про какую-то императрицу которая топтала ножкой какую-то грамоту заморскую
[18:10:41] <ermine> я тут с помощью птички пытаюсь воткнуть принтф в код, но код не желает печатать результат, это о чем говорит?
[18:10:54] <ermine> наверное о том, что /me тупица
[18:10:59] <f[x]> а brb env нету?
[18:11:20] <f[x]> > --dont-clear-tmp
ыыы
[18:11:43] <Kakadu> f[x]: brb run "ls -la"
[18:11:57] <Kakadu> f[x]: да я сам в шоке но ничто лучше не придумалось
[18:12:08] <f[x]> > $ brb build --only-deps
> E: Parsing.Parse_error
френдли!
[18:12:35] <Kakadu> да, есть такая проблема
[18:12:38] <gds> > brb run "ls -la"
аааааа1111  вы там чо вообще творите???
[18:12:39] <f[x]> brb env - хочу переменные окружения чтобы в скрипт запихнуть
[18:12:56] <gds> f[x]: раньше скрипт генерился в _dep/env.sh штоле.
[18:13:08] <Kakadu> gds: и сейчас генерится
[18:13:26] <f[x]> > $ brb build --only-deps
> E: Recipe repository "default" at "/home/user/.brb/recipes" doesn't exist. Try running 'brb update'?
wtf?
[18:13:54] <Kakadu> gds: отпустил шкодливых котоы на самотёк, разгребай теперь разодранный когтями диван
[18:14:02] <f[x]> скрипт - ок, но brb env всё равно хорошо бы
[18:14:36] <superbobry> f[x], он же пишет что за фак -- сделай brb update, чтобы оно вытянуло репозиторий рецептов
[18:14:44] <f[x]> он мне нафиг не нужен
[18:14:56] <f[x]> вы чо - ещё один odb делаете?
[18:15:02] <superbobry> почему odb?
[18:15:03] <Kakadu> а что в конфиге?
[18:15:18] <superbobry> ну раз не нужен, то не используй рецепты из "default" репозитория
[18:15:24] <f[x]> не использую
[18:15:32] <f[x]> version "0.2"
dep yojson remote "http://mjambon.com/yojson-1.0.3.tar.bz2"
dep biniou remote "http://mjambon.com/biniou-1.0.0.tar.bz2"
[18:15:38] <ermine> f[x]: видимо оно только еще в зачаточном состоянии, не плачь, детка
[18:15:46] <Kakadu> superbobry: может 0.3?
[18:15:59] <f[x]> ermine: я ж конструктивен
[18:16:05] <Kakadu> не, всё ок с версией
[18:16:43] <ermine> Kakadu: а в оазисе сегодня было дофига патчей, а версия не поменялась
[18:16:56] <f[x]> а зачем в справке по субкомманде выводить все комманды
[18:16:59] <ermine> или цель - догорять файрфокс
[18:17:07] <f[x]> но субкомманды чотко сделаны
[18:17:10] <Kakadu> f[x]: УМВР
[18:17:21] <Kakadu> ааа, не
[18:17:51] <f[x]> > Clones or updates 'purse' repository in $HOME/.brb/recipes.
откуда clones, что за purse, почему не default
[18:18:07] <f[x]> я щас чисто как юзер тыкаюсь и генерю фидбэк
[18:18:15] <Kakadu> purse -- жто типа кошелек
[18:18:25] <superbobry> сумочка ващет, но это неважно
[18:18:42] <f[x]> а я типа телепат - рецепты за вебмани что-ли?
[18:18:49] <superbobry> f[x], ermine, предлагаю формулировать все что не нравится в багтрекере -- так будет констрктивней
[18:19:02] <f[x]> что за кошелёк вообще? что вы говорите? совсем с ума посходили!
[18:20:19] <f[x]> э не - так неинтересно
[18:20:44] <superbobry> f[x], включай воображалку -- сумочка дамская
[18:20:49] <superbobry> барбара же
[18:21:17] <f[x]> superbobry: это вы так всем юзерам объяснять будете что чтобы получить repository default мне нужно лезть в дамскую сумочку по неизвестной урле?
[18:21:21] <f[x]> круто чо
[18:21:22] <ermine> там принтф монадно-тредный?
[18:21:25] <ermine> в барбаре
[18:21:31] <f[x]> неюзабельно вообщем
[18:21:34] <ermine> а то print_endline не печатает
[18:22:03] <ermine> загадочно
[18:22:10] f[x] наточил make и уполз собирать руками
[18:22:11] <superbobry> f[x], мне кажется ты слишком круто зашел, пользователей у барбары нет -- отсюда и проблемы с "понятностью", мне то все понятно -- даешь конструктив йома
[18:22:39] <ermine> в общем, закоммитите ктонить грязный код в репу, который напечатает содержимое getenv MAKE
[18:22:40] <f[x]> даю конструктив - сборка по простому brb.conf из трёх строк не работает
[18:22:51] <f[x]> основной юзкейс
[18:22:59] <f[x]> накрутили каких-то рецептов
[18:23:30] <ermine> рецепты нормально
[18:23:44] <ermine> это поклеп на GODI
[18:24:11] superbobry вышел(а) из комнаты
[18:24:19] <ermine> до систепы портов во фрибсд барбаре еще далеко как до юпитера
[18:25:58] <ermine> f[x]: а у меня оно бы дало радость: brb.conf в проекте sulci, вписать туда в депендсы всё что надо, для стандартных либл ничего не указывать в качестве рецептов, а вот для своих подпроектов как раз указать путь к репам
[18:26:24] <ermine> а раньше думала оформить в виде субмодулей к гиту и сварганить скрипт по вытаскиванию
[18:27:42] <ermine> а еще я хотела, чтобы барбара сама обновила мне состояние site-libs
[18:28:51] <ermine> придется создавать еще один проект, под свои хотелки?
[18:29:17] <ermine> парсер есть, напарсит любой конфиг, свой, чужой :)
[18:29:21] <Kakadu> ermine: апдейться
[18:29:37] <ermine> ща
[18:30:13] <Kakadu> должно быть
I: getenv ~default:"make" "MAKE" is `make`
[18:33:03] <ermine> I: getenv ~default:"make" "MAKE" is `gmake`
I: Applying patches
inside expand_vars `make`
I: Running command "make"
"Makefile", line 1: Need an operator
make: fatal errors encountered -- cannot continue
[18:35:19] <ermine> писать свой проект? только придется придумывать клёвое название
[18:35:30] <Kakadu> ermine: ща
[18:36:08] <gds> ну вы вообще понимаете, почему $ brb run "cmd arg1 arg2 .. argN" -- это неюзабельное говно?
[18:36:11] gds away
[18:36:36] <Kakadu> да
[18:37:23] <ermine> gds: а я не понимаю почему оно ведет себя по-разному в разных операционках, env ведь везде наследуется в субшеллах
[18:38:09] <Kakadu> ermine:  pull
[18:40:12] <ermine> Kakadu: вот теперь запустилось
[18:40:23] <ermine> на тебе конфетку
[18:41:01] <ermine> правда там exit 1 пробегают, а оно не останавливается
[18:47:34] <ermine> Kakadu: а что ты сделал?
[18:49:18] <ermine> когда магомет не отвечает - надо почитать git log
[18:49:29] <Kakadu> я пофиксил тупую ошибку
[18:49:47] <Kakadu> у нас не для каждого вызова make енвайронмент проверялся
[18:50:31] <Kakadu> может стоит вызвать не "make"::args a "$MAKE"::args?
[18:50:44] Kakadu вышел(а) из комнаты
[18:51:01] <f[x]> бинго
[18:54:32] <ermine> теперь бы понять, на чем оно теперь у меня ломается, но мешает проблема с пайпом
[18:57:43] <ermine> видимо не делается препроцессинг camlp4
[18:58:00] <ermine> или camlp4 не доступен
[19:04:41] Typhon вышел(а) из комнаты
[19:39:31] <ermine> json_wheel, json_static нету в рецептах
[19:47:57] Kakadu вошёл(а) в комнату
[19:55:18] <Kakadu> ermine: они признаны устаревшими. Сильно-сильно надо?
[20:16:25] <ermine> Kakadu: а ulex моложе их?
[20:16:58] <Kakadu> я хз но на вроде оф. сайте написано что устарели
[20:17:11] <Kakadu> можно не холиварить. я их добавил
[20:17:14] <ermine> Kakadu: ну примерно того же возраста
[20:17:27] <ermine> тем более что они все собираются с 3.12.x
[20:17:38] <ermine> а в сульци используются
[20:17:56] <ermine> мне json_static присоветовал лично f[x]
[20:19:52] vshender вышел(а) из комнаты
[20:20:40] <ermine> но я пока не могу сказать, пчу сульца не компилится там где оно использует suntax из ulex, который собирается барбой
[20:20:45] vshender вошёл(а) в комнату
[20:22:13] <ermine> кстати, раз уж юзаете _dep, то срочно переименуйте brb.conf в _brb
[20:22:28] ermine капризно топает ножкой
[20:32:11] <ermine> f[x]: ты ведь умеешь искать в мантисе камла?
[20:32:52] <ermine> f[x]: может быстро найдешь там пчу во фре ocamlbuild + ocamldep не выдают Syntax error сообщение
[20:33:55] ftrvxmtrx вышел(а) из комнаты
[20:44:46] <ermine> Kakadu: как в рецепт вписать аргумент для configure?
[20:48:04] <ermine> Flag видимо
[20:48:17] <Kakadu> верно
[20:53:45] <ermine> если бы это проставлялось на самом деле
[20:53:50] bobry вошёл(а) в комнату
[20:54:46] vshender вышел(а) из комнаты
[20:55:56] <ermine> видимо в сочетании с recipe "default" не пашет
[20:59:57] <ermine> не, причина не в рецепте, а в очередной баге в барбе
[21:00:08] <ermine> давайте чините :)
[21:00:14] <Kakadu> что чинить
[21:00:15] <Kakadu> ?
[21:00:44] <bobry> таки очень бы хотелось видеть баги на GH ..
[21:00:50] <ermine> для dep sqlite3 добавить --with-sqlite3 с путём
[21:00:59] <bobry> Kakadu: я видимо до понедельника до барбары не доберусь :(
[21:01:31] <ermine> он боится
[21:03:13] shaggie вышел(а) из комнаты
[21:04:07] <Kakadu> с каким путём?
[21:04:27] <ermine> /usr/local ессно
[21:05:26] <ermine> в портах фрибсд для этого есть CONFIGURE_ARG += --arg=value
[21:05:41] <ermine> а у вас?
[21:06:38] <ermine> впрочем там в портах обычные мейкфейлы
[21:07:53] <ermine> в оазисе можно вызвать в prebuild или preconfigure чонить, что напишет переменную в setup.data, а дальше кто хошь юзает данные оттуда
[21:08:01] <ermine> а у вас?
[21:10:41] <Kakadu> я не понял
[21:11:00] <Kakadu> зачем что-то добавлять?
[21:11:53] <ermine> sqlite не находит у меня libsqlite3 и требует указать путь в ./configure --with-sqlite3
[21:12:40] <Kakadu> у меня вроде ОК...
[21:12:47] <Kakadu> у тебя свежие рецепты?
[21:13:09] <Kakadu> да , наверное свежие
[21:14:42] <Kakadu> ermine: сделал
[21:14:51] letrec вышел(а) из комнаты
[21:14:56] <ermine> ваш рецепт с sqlite3 побоку, он сам дурак
[21:15:31] <ermine> вопрос: почему барба не ставит аргумент в конфигуре из Flag?
[21:16:40] <Kakadu> пример в студию
[21:18:47] <ermine> dep sqlite3 recipe "default"
   Flag "--with-sqlite3=/usr/local"
[21:19:35] <Kakadu> ой, черт. Я в этот кусок ещё не лазил
[21:19:41] <ermine> хм, в config.log оно таки присутствует
[21:20:32] <ermine> а теперь расскажите как делать патч для мейкфейла ocaml-sqlite на тему удаления -ldl
[21:20:46] ermine чота забыла про эту фичу
[21:21:44] <Kakadu> Patch "patchname"
[21:25:04] <ermine> а куданить можно вставить сравнение с uname -s, чтобы, если оно равно моей любимой операционке, то прикладывать эти патчи
[21:33:10] <Kakadu> не, такого нет
[21:34:08] <ermine> тогда я подожду, в таком варианте барба бесполезна для меня
[21:34:37] <ermine> щас добавила в конфиг json-wheel, json-static, но всё равно сульца не собирается
[21:36:30] <Kakadu> запушь рецепт для сульци
[21:37:15] <ermine> а зачем?
[21:37:40] <ermine> я же тоже хочу, чтобы у меня оно работало
[21:37:50] <ermine> и обновляло либлы в site-lib
[21:38:10] <Kakadu> потому что у нас нет конфига сульци
[21:39:33] <ermine> ну вот у вас sqlite3 ж собирается барбой, а у меня нет и лень рисовать патч, потому что его некуда в репу сувать
[21:42:22] <Kakadu> тут скользкое место. я знаю почему нельзя. но объяснять это не хочу.
[21:42:25] <Kakadu> bobry: ^^
[21:44:38] <bobry> можно еще раз вопрос? я что-то не понимаю
[21:46:32] <ermine> bobry: куда класть os-специфик патчи в репе рецептов
[21:46:36] ftrvxmtrx вошёл(а) в комнату
[21:47:00] <gds> вы не гоните на json_{static,wheel}, они клёвые.  этот йожсон-мамбыксон попробуй сначала собери.
[21:47:02] <ermine> а может лучше пусть gds за вашу братву одувается, у него кстати венда
[21:47:16] <ermine> о, сам проснулся
[21:47:35] <bobry> никуда, нет у нас возможности делать os-specific патчи
[21:49:03] <ermine> тогда барбу можно закапывать
[21:49:05] <gds> ermine: мы с тобой сегодня приватно говорили о случаях, когда можно легко допустить ошибку, но ошибаться очень неприятно..  а тут, судя по барбре, вот как раз такой случай, что какие-то баги откуда-то лезут.. :]
[21:50:28] <bobry> ermine: версия то 0.2 :)
[21:50:38] <bobry> и та не доделана
[21:52:03] <ermine> ну вы так говорите, как будто планируется не поддерживать os-специфик глупости
[21:53:13] <ermine> я бы вела ветку для bsd
[21:54:30] <Kakadu> может введем синтаксис  Patch [os_when_apply list] "patchname" ?
[21:55:13] <ermine> синтаксис есть в оазисе, посмотрите как там сделано
[21:55:35] <ermine> а французскому султану кстати можно написать, что он молодец и пусть пишет свой код дальше
[21:56:31] <ermine> gds: если из барбы получится такая же игрушка, с которой можно долго и постоянно валандиться с интересом, то вполне даже неплохо будет
[21:57:14] <ermine> gds: только не стоит бояться делать ошибки, даже если это неприятно
[21:59:18] <ermine> и mv brb.conf _brb
[22:01:04] ermine допустила ошибку в brb.conf и не видит ее
[22:05:16] <ermine> а пчу git только с https?
[22:12:05] <ermine> Kakadu: в json-wheel вызывается make вместо gmake, видимо, пропущен еще один хитрый случай
[22:15:12] <ermine> а, make прописан в рецепте
[22:15:20] <ermine> меняй уже на $MAKE
[22:54:32] <Kakadu> ermine: ты сейчас сможешь протестить?
[22:55:11] <Kakadu> а то мне пушить и оставлять как-то стрёмно
[22:57:38] <ermine> я всё могу
[22:58:05] <ermine> пушай
[22:59:01] <Kakadu> пробуй
[23:00:17] <ermine> запустила, ждем
[23:00:33] <Kakadu> ./brb update не забудь
[23:00:37] <ermine> оно ж с --force только работает, и тогда всё вчистую заново собирает
[23:01:11] ermine медитирует над новой ошибкой
[23:03:46] <ermine> это я ображалась
[23:06:56] <ermine> хм
[23:07:43] <ermine> E: Command "env PREFIX=/usr/home/ermine/devel/ocaml/sulci/_dep  install" not found (terminated with exit code 127)
[23:09:06] <ermine> Kakadu: замена удалась :)
[23:09:30] <ermine> так ведь лучше чем ругань на формат мейкфейла
[23:11:21] <Kakadu> гдя я накранил?
[23:11:51] <ermine> тут make заменился на пробел, надо полагать
[23:12:24] <Kakadu> вроде это не моё
[23:13:37] <ermine> это json-wheel
[23:15:04] <ermine> там между путем и словом install два пробела, значит, заменилось на пустоту
[23:16:01] <ermine>   Install "env PREFIX=$dep_dir $MAKE install"
[23:16:11] <ermine> в рецепте json-wheel
[23:18:37] ftrvxmtrx вышел(а) из комнаты
[23:19:15] <Kakadu> а в _dep/env MAKE есть?
[23:20:10] <Kakadu> такс, воспроизвел
[23:20:17] <ermine> да
[23:20:30] <ermine> export MAKE="gmake"
[23:20:59] <Kakadu> хоть это работает
[23:22:49] <ermine> и gmake везде запускался, оно не пашет только gmake install в json-wheel
[23:25:29] <ermine> Kakadu: возможно неверный синтаксис env
[23:26:24] <Kakadu> может он думает что $MAKE не определен?
[23:26:32] <ermine> I: Running command "env PREFIX=/usr/home/ermine/devel/ocaml/sulci/_dep  install"
env: : No such file or directory
[23:28:15] <ermine> я не знаю как юзать env
[23:28:25] <Kakadu> да с ним всё ок
[23:29:16] <ermine> Kakadu: а как называется файл в _dep?
[23:29:35] <Kakadu> env.sh?
[23:29:47] <Kakadu> не понял вопроса
[23:29:51] <ermine> а env про это знает?
[23:30:21] <ermine> впрочем это вторичный вопрос
[23:30:46] <Kakadu> ну BRB_DEPDIR заменяются вроде
[23:30:49] <Kakadu> или заменялись
[23:31:27] <Kakadu> ЗАМПЕНЯЛИСЬ
[23:31:32] <Kakadu> ну йоу
[23:33:52] <Kakadu> ermine: ща всё будет
[23:35:30] <ermine> давай
[23:35:36] <Kakadu> нет. не будет
[23:36:13] <ermine> можно мне отчалить спать? :)
[23:36:22] <Kakadu> давай
[23:36:33] <ermine> пасиб :)
[23:37:36] ermine вышел(а) из комнаты
[23:40:01] <Kakadu> что-то лень сейчас вникать в магию withRes
[23:44:07] <gds> да выкиньте это уже нафиг, если не вникаете.  нахрена нужно работать с кодом, который нельзя, будучи даже в пьяном угаре, надёжно подправить?
[23:45:59] <Kakadu> я думал это ты добавлял
[23:47:00] <gds> так я-то могу с этим кодом работать в любом состоянии, а у тебя он вызывает неочевидности.  я в последнее время не работаю на барбру, а ты работаешь.  вывод -- ?
[23:47:09] <Kakadu> логично