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

Objective Caml

ocaml@conference.jabber.ru

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

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

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

GMT+4
[00:00:02] <ermine> Kakadu: как я разобралась: посмотрела в _build/_log и посмотрела что ставится в опции компилятора, пошла искать кто их втыкает, нашла в myocamlbuild.ml, удивилась, посмотрела в _oasis
[00:00:43] <Kakadu> ermine: а я просто посмотрел в _oasis и понял где надо менять
[00:01:02] <Kakadu> но как сделать -4 чтобы ничего не поломалось. хз
[00:01:05] <bobry> Kakadu: чо?
[00:01:19] <bobry> что вы имеете против -w @?
[00:01:35] <Kakadu> bobry: объясни как отключить 4й ворнинг на конкретном файле
[00:01:55] <bobry> в _tags
[00:02:00] <Kakadu> ну до
[00:02:04] <bobry> как точно не знаю :)
[00:02:05] <Kakadu> этого мы догадались
[00:02:08] <bobry> можно отключить для всех файлов
[00:02:12] <Kakadu> как?
[00:02:13] <bobry> -4 это fragile match?
[00:02:16] <Kakadu> да
[00:02:40] <bobry> -w @a -4 же
[00:03:09] <Kakadu> я пробовал всё что угодно. но пробел между ними не пробовал
[00:03:18] <Kakadu> и у тебя 3й оазис не бажит?
[00:03:40] <bobry> бажил чутка с Pack
[00:03:45] <bobry> но вроде в rc3 это починили
[00:03:58] <Kakadu> у меня он не собирает барбру после перегенерации
[00:04:12] <Kakadu> rc3
[00:05:03] <bobry> чего пишет? давай на pastebin
[00:05:33] <Kakadu> http://paste.in.ua/4047/raw/
[00:06:02] <Kakadu> короче он ложит кое-что на barbra.cma
[00:06:07] <bobry> Kakadu: а допиши его в InternalModules?
[00:06:18] <bobry> все он правильно делает, это feature
[00:07:37] <Kakadu> его это Barbra?
[00:08:01] <ermine> Kakadu: ну дописать в -w -4
[00:08:26] <bobry> Kakadu: его это Common
[00:09:36] ermine дописала и проверяет
[00:09:47] <Kakadu> E: Field InternalModules is not defined in schema Executable
[00:09:52] <ermine> отключает
[00:09:59] <ermine> оно ломается на Common
[00:10:16] <bobry> гм
[00:12:09] <ermine> добавить в Modules в оазисе
[00:12:22] <ermine> Kakadu: давай шамани дальше
[00:13:23] <ermine> два парубка рубят код и косят друг на друга :)
[00:13:35] <Kakadu> я понял
[00:14:03] <Kakadu> камлобилд кусает мху цеце и он начинает собирать то что в  bin раньше чем то что  в src
[00:14:09] <Kakadu> муха*
[00:15:32] <bobry> лоло
[00:15:43] Typhon вышел(а) из комнаты: Replaced by new connection
[00:16:01] <Kakadu> BuildDepends: barbra влечет циклические зависимости. какого черта?
[00:16:01] <ermine> ну тогда в BuildDepends добавь депендс на либлу
[00:16:02] Typhon вошёл(а) в комнату
[00:16:25] <ermine> а я таки пойду нафиг, ибо уже пора
[00:16:29] ermine вышел(а) из комнаты
[00:17:29] Typhon вышел(а) из комнаты: Replaced by new connection
[00:17:49] Typhon вошёл(а) в комнату
[00:37:35] ftrvxmtrx вышел(а) из комнаты
[00:38:38] ftrvxmtrx вошёл(а) в комнату
[00:49:26] bobry вышел(а) из комнаты
[01:33:44] Typhon вышел(а) из комнаты
[01:47:47] f[x] вошёл(а) в комнату
[02:20:31] ftrvxmtrx вышел(а) из комнаты
[02:21:11] ftrvxmtrx вошёл(а) в комнату
[02:21:39] Kakadu вышел(а) из комнаты
[02:50:32] f[x] вышел(а) из комнаты: Computer went to sleep
[02:52:06] komar вышел(а) из комнаты
[02:52:12] komar вошёл(а) в комнату
[03:36:22] letrec вошёл(а) в комнату
[03:45:56] komar вышел(а) из комнаты: Replaced by new connection
[03:45:57] komar вошёл(а) в комнату
[04:32:17] komar вышел(а) из комнаты: Replaced by new connection
[04:32:17] komar вошёл(а) в комнату
[04:42:16] letrec вышел(а) из комнаты
[04:48:14] dzhon вышел(а) из комнаты
[05:07:41] komar вышел(а) из комнаты
[05:09:32] komar вошёл(а) в комнату
[07:42:26] komar вышел(а) из комнаты: Replaced by new connection
[07:42:26] komar вошёл(а) в комнату
[08:23:46] komar вышел(а) из комнаты
[08:26:08] komar вошёл(а) в комнату
[09:00:38] klapaucius вышел(а) из комнаты
[09:05:32] komar вышел(а) из комнаты
[09:08:04] komar вошёл(а) в комнату
[09:49:12] komar вышел(а) из комнаты: Replaced by new connection
[09:49:12] komar вошёл(а) в комнату
[10:28:29] dzhon вошёл(а) в комнату
[10:43:29] bobry вошёл(а) в комнату
[10:44:24] ermine вошёл(а) в комнату
[11:20:24] ftrvxmtrx вышел(а) из комнаты
[11:34:14] Kakadu вошёл(а) в комнату
[11:35:08] dzhon вышел(а) из комнаты: Replaced by new connection
[11:35:08] dzhon вошёл(а) в комнату
[11:35:08] dzhon вышел(а) из комнаты
[11:35:34] dzhon вошёл(а) в комнату
[11:42:19] klapaucius вошёл(а) в комнату
[11:43:58] <bobry> что то опять мы с PEGом не понимаем друг друга
[11:46:29] bobry вышел(а) из комнаты
[11:54:45] bobry вошёл(а) в комнату
[11:55:24] komar вышел(а) из комнаты: Replaced by new connection
[11:55:25] komar вошёл(а) в комнату
[11:58:23] <Kakadu> bobry: подари ему цветы
[12:00:15] <bobry> Kakadu, я взял его (или ее?) грубой силой .. оказалось что просто опечатался
[12:03:43] <f[x]> * hot
[12:03:50] <bobry> fuckye
[12:04:04] <ermine> да peg тупа как пробка
[12:04:28] <bobry> ну, я видимо еще тупее :)
[12:05:25] <Kakadu> bobry: вы друг другу подходите )
[12:06:03] <ermine> Kakadu: а ты перетупил сборку барбры в той ветке?
[12:06:21] <Kakadu> пока нет
[12:06:41] <ermine> да там всё тупо как пробко
[12:07:17] <ermine> куда я попала, в общество тупиц? :)
[12:10:05] <Kakadu> надо перетупить циклические зависимости, когда я начинаю собирать soшник
[12:11:44] <ermine> а, циклические модули
[12:11:50] <ermine> тупая особенность камла
[12:12:15] <Kakadu> а можно сказать камлобилду чтобы он граф построил?
[12:13:09] <ermine> не-а
[12:13:24] <ermine> циклические модули видит только компилятор ocamlc, ocamlopt
[12:14:00] <Kakadu> а камлодэп?
[12:15:37] <ermine> он не смотрит в другие модули
[12:15:49] <Kakadu> короче я налажал в коде?
[12:16:01] <ermine> он просто выдергивает названия модулей из текущего
[12:16:26] <ermine> ну да, облажался
[12:17:59] <ermine> m.ml: let a = B.z
b.ml: let z = M.a
[12:18:14] klapaucius вышел(а) из комнаты
[12:18:39] <Kakadu> наверное лучше почитать дифф
[12:18:57] <ermine> тупое решение - породить еще один .ml и вынести туда, чтобы было типа "повыше всех"
[12:19:32] klapaucius вошёл(а) в комнату
[12:26:16] <Kakadu> не, это какая-то хрень
[12:26:38] <Kakadu> циклические зависимости от того что я добавил депенденс на soшник в _oasis
[12:26:44] <Kakadu> сама либа собирается норм
[12:26:50] <Kakadu> даже с моими изменениями
[12:27:02] <Kakadu> когда он собирает brb.ml
[12:27:16] <Kakadu> лезет Circular dependencies: "src/barbra.cma" already seen in  [ "src/ast.cmo"; "src/barbra.cma"; "bin/brb.cmo" ]
[12:27:32] Kakadu хочет всё свалить на багу в оазисе
[12:30:04] <ermine> вряд ли получится
[12:38:06] ftrvxmtrx вошёл(а) в комнату
[12:40:15] ftrvxmtrx вышел(а) из комнаты
[12:40:30] ftrvxmtrx вошёл(а) в комнату
[12:52:59] ftrvxmtrx вышел(а) из комнаты
[12:55:56] ftrvxmtrx вошёл(а) в комнату
[12:57:52] <f[x]> Kakadu: репро кейс где брать
[12:59:49] ftrvxmtrx вышел(а) из комнаты
[13:01:44] <Kakadu> f[x]: бранч барбры
[13:02:29] ftrvxmtrx вошёл(а) в комнату
[13:05:05] <f[x]> какой бранч?
[13:05:09] <f[x]> урлу мне
[13:07:34] <Kakadu> git clone git@github.com:camlunity/barbra.git
git checkout macroses
[13:07:39] <Kakadu> вроде так
[13:09:30] ftrvxmtrx вышел(а) из комнаты
[13:09:49] ftrvxmtrx вошёл(а) в комнату
[13:10:04] dzhon вышел(а) из комнаты: Replaced by new connection
[13:10:05] dzhon вошёл(а) в комнату
[13:10:27] ftrvxmtrx вышел(а) из комнаты: offline
[13:11:22] f[x] кстати рекомендует всем опции git'а, особенно последние две :
color.branch=auto
color.status=auto
color.diff=auto
pager.status=on
push.default=upstream
merge.defaulttoupstream=true
[13:12:45] ftrvxmtrx вошёл(а) в комнату
[13:14:54] <Kakadu> f[x]: спасиба
[13:15:48] <bobry> f[x]: а чего последняя делает?
[13:17:44] <f[x]> git merge без аргументов
[13:22:52] shaggie вошёл(а) в комнату
[13:33:37] <Kakadu> f[x]: какие-ниудь идеи есть?
[13:51:54] <f[x]> brb.native билдится ок
[13:57:10] <f[x]> > "bin/brb.byte": oasis_executable_brb_native
wtf
[13:57:15] <f[x]> новый оазис глючный
[13:57:28] <f[x]> любите bleeding edge?
[13:57:33] <f[x]> любите дальше
[13:57:52] <Kakadu> ermine: я же говорил
[13:58:40] <Kakadu> bobry: ты не возражаешь от отката оазиса до 0.2?
[14:00:22] <Kakadu> надо бы багу зарепортить
[14:01:44] <bobry> не возражаю
[14:02:34] <ermine> Kakadu: а у меня оазис из даркс :)
[14:03:01] <f[x]>       "bin/brb.cmo" => {. src/barbra.cma, src/common.cmo .};
      "src/ast.cmo" => {. src/barbra.cma, src/common.cmo .};
      "src/barbra.cma" =>
        {.
          src/ast.cmo,
[14:03:04] <ermine> и глюков не заметила
[14:03:10] <f[x]> в этом трабла ^
[14:03:20] <f[x]> почему то src/ast зависит от src/barbra
[14:03:45] <f[x]> в native такого нет
[14:03:54] <f[x]> хз кому руки отрывать
[14:04:27] <ermine> мужикам
[14:11:48] ermine подергала darcs pull в оазисе
[14:11:56] <ermine> надо собрать свежак, что ли
[14:14:35] dzhon вышел(а) из комнаты: Replaced by new connection
[14:14:39] dzhon вошёл(а) в комнату
[14:28:43] komar вышел(а) из комнаты
[14:29:09] komar вошёл(а) в комнату
[14:34:56] dzhon вышел(а) из комнаты: Replaced by new connection
[14:34:56] dzhon вошёл(а) в комнату
[14:35:58] dzhon вышел(а) из комнаты: Replaced by new connection
[14:35:58] dzhon вошёл(а) в комнату
[14:36:06] dzhon вышел(а) из комнаты
[14:36:56] dzhon вошёл(а) в комнату
[15:07:42] <gds> "type a b. (a,b) l -> 'a" -- чо за хрень?  При мне такой   не было!
[15:09:32] <bobry> gds?
[15:09:41] <gds> bobry: caml-list!
[15:11:21] <bobry> это в gadt'ах такой синтаксис или шо?
[15:11:24] bobry не догоняет
[15:11:32] gds тоже
[15:11:44] <gds> догонял бы -- не спрашивал бы.
[15:13:46] Typhon вошёл(а) в комнату
[15:44:24] <f[x]> хм
[15:44:27] <f[x]> понапридумывали
[15:47:33] <bobry> чоэта? кто нить воткнул
[15:47:48] klapaucius вышел(а) из комнаты
[15:48:07] letrec вошёл(а) в комнату
[15:50:47] <gds> охщи, кажется надо будет парсить что-то наподобие creole.  Есть чо готовое?
[15:51:00] klapaucius вошёл(а) в комнату
[15:51:38] <bobry> gds, бери etmine'овскую парсилку!
[15:57:47] <ermine> да все боятся меня трогать
[15:57:52] <ermine> типа, укушу?
[15:58:21] <bobry> тьфу ты, опечатался
[16:01:36] <gds> ermine: у тебя креоло парсится?
[16:02:14] <ermine> gds: кто?
[16:02:27] <gds> ermine: wiki creole
[16:03:10] <ermine> gds: никогда о таком не слышала, но по идее у меня идеальный парсер для текстовых форматов
[16:05:41] <gds> ermine: http://wikicreole.org/ , вот.
[16:07:27] <ermine> gds: да пофигу, по одному слову "вики" понятно, что парсер пригоден для жевания таких текстов
[16:07:56] <gds> ermine: вот и хорошо.  Готова часть своего парсера генерить из coq?
[16:08:52] <ermine> gds: неа, я медленно читаю
[16:09:04] <ermine> еще первую главу той книжки даже не закончила
[16:09:36] dzhon вышел(а) из комнаты: Replaced by new connection
[16:09:36] dzhon вошёл(а) в комнату
[16:10:11] <gds> ermine: так тебе и не надо будет читать про coq, будешь output.ml читать.
[16:11:21] <ermine> гм
[16:11:32] <ermine> можно попробовать
[16:11:53] ermine отважно смотрит в чатик
[16:12:22] <gds> ermine: в общем, урлы на репку ты давала, поглядим, чо как.  только бы голова включилась.
[16:13:05] <ermine> github.com/ermine/kombain же
[16:13:32] <ermine> берешь в качестве примера bbcode/bbcode.peg
[16:13:54] <ermine> там семантики нет, одно прикладство об инпут
[16:14:36] <gds> понел.
[16:15:24] <ermine> bbcode - тоже типа вики, только похапшники его любят
[16:19:05] <f[x]> https://twitter.com/#!/jonharrop/status/183024084714659841
[17:12:08] <gds> ermine: шо за koi8-r в исходниках?  почему не православный utf8?
[17:14:49] <f[x]> бсдизм
[17:14:59] <ermine> gds: у меня шелл в koi8-ru, а чо?
[17:15:36] <gds> про шелл понятно, про исходники -- ересь же!
[17:16:08] <ermine> gds: в каком? вроде только в туду он использовался
[17:16:12] <gds> todo, да.
[17:16:14] <ermine> а туду я только в шелле и пишу
[17:16:52] <ermine> впрочем его пора обновить и выкинуть про verbose
[17:18:27] bobry вышел(а) из комнаты
[17:21:26] ermine занята тем что пытается подправить шрифт в емаксе, который испортился после смены монитора
[17:28:10] <gds> туплю, подскажите.  как в github/camlunity создать репку?
[17:30:36] <ermine> gds: да лучше дать тебе доступ в комбайн, чтобы креола там появилась, а не где-то еще на сторонке
[17:30:53] <ermine> вслушайся: КОМБАЙН!!! всё в одном!!!
[17:31:03] <gds> я хочу потестить hg-git на предмет создания новых веток.  а тестить на твоей репке -- моветон.
[17:31:28] <ermine> а
[17:31:45] <gds> потом вольём.  кроме того, у меня там слишком экспериментальное с coq, и, если не получится, надо будет вычищать оттуда коммиты.  оно тебе надо?
[17:32:01] <gds> а так -- я только за то, чтобы в комбайне всё это было.
[17:32:16] <ermine> ну создаешь у себя репку, на страничке гитхуба/камлунити создаешь репку и пушишь туда
[17:32:25] <ermine> там подсказки есть по ходу дела
[17:33:25] <gds> "на страничке гитхуба/камлунити создаешь репку" -- вот и не вижу там этого.  залогинился, на страничку зашёл, но не вижу.
[17:35:19] <ermine> в админке таааам
[17:35:43] <ermine> а вообще это к Typhon как к идеологу камлунити на гитхубе
[17:36:33] <gds> у меня сейчас http://overbld.ygrek.org.ua/camlunity.png -- куда тыкать?
[17:37:46] <Kakadu> gds: https://github.com/organizations/camlunity/
[17:37:56] <Kakadu> cправа кнопка
[17:37:58] <gds> во!
[17:39:09] <f[x]> gds: а как ты так страничку отрендерил?
[17:42:01] <gds> f[x]: firefox + расширение "Abduction! 3.0.13" (первое попавшееся на тему "save as image"); в контекстном меню появляется пункт "Сохранить страницу как изображение...".  Даже выделять нужные области можно, включая выделение по узлам хтмлки (хоть и визуально).
[17:42:14] <f[x]> кул
[17:43:07] dzhon вышел(а) из комнаты: Replaced by new connection
[17:43:07] dzhon вошёл(а) в комнату
[17:43:25] <gds> вполне тупо для вполне тупого пользователя, мне нравится.  Слышал, что есть подобные расширения для тестеров вебсайтов, где можно рисовать всякие кружки, стрелочки, знаки вопроса и жырное "WTF???" красненьким.
[17:43:28] <Kakadu> $ git merge master
Already up-to-date.
Что это значит?
[17:44:50] dzhon вышел(а) из комнаты
[17:55:26] <Kakadu> ermine: потрогай бранчу. Там вроде что-то работает
[18:16:30] <ermine> Kakadu: в мастере?
[18:28:26] <Kakadu> не
[18:28:30] <Kakadu> у меня кривые руки смержить
[18:35:15] <ermine> ща погоди
[18:42:48] ermine вышел(а) из комнаты
[18:47:12] ermine вошёл(а) в комнату
[18:55:53] <ermine> Kakadu: как вписать ос-специфик патч?
[19:04:26] komar вышел(а) из комнаты
[19:05:05] komar вошёл(а) в комнату
[19:05:17] <ermine> Kakadu: что писать в brb.conf?
[19:13:23] letrec вышел(а) из комнаты
[19:22:15] <Kakadu> там есть пример
[19:22:54] <Kakadu> пишешь if (os_type(FreeBSD)) Patch "blala" endif
[19:23:17] <Kakadu> вообще внутри ifa что угодно
[19:23:44] <ermine> разве это os_type?
[19:23:57] <ermine> os_type - это винда или юникс
[19:25:31] <Kakadu> ermine: https://github.com/camlunity/barbra/blob/macroses/src/parserHelper.ml#L9
[19:28:07] <f[x]> сделали бы лучше какой-то эксплицитный флажок - с ком строки или конфига
[19:28:46] letrec вошёл(а) в комнату
[19:29:08] <Kakadu> она заказала как в оазисе
[19:39:26] <ermine> I: Running command "./configure"
configure: error: cannot find sources (sqlite3.mli) in . or ..
E: Command "./configure" terminated with exit code 1
[19:39:45] <ermine> Kakadu: заказывала os_name
[19:43:11] <ermine> это после успешного инсталла sqlite3
[19:43:17] <ermine> (!)
[19:45:00] <ermine> а, это оно пытается собрать проект, которого нет, но который зависит от sqlite3
[19:45:05] <ermine> ghbrjkmyj
[19:46:16] ermine подумала и усложнила brb.conf
[19:46:33] <ermine> в общем всё работает с ифами
[19:49:43] komar вышел(а) из комнаты
[19:50:15] <ermine> Kakadu: бери материал из yo.jabber.ru/~ermine.s.tgz и подправь в рецептах
[19:50:46] komar вошёл(а) в комнату
[20:03:55] <Kakadu> ermine: сделал
[20:05:09] Typhon вышел(а) из комнаты
[20:23:32] komar вышел(а) из комнаты
[20:27:56] komar вошёл(а) в комнату
[20:28:59] ftrvxmtrx вышел(а) из комнаты
[20:30:32] ftrvxmtrx вошёл(а) в комнату
[20:33:35] ftrvxmtrx вышел(а) из комнаты
[20:34:28] f[x] вышел(а) из комнаты
[20:35:51] f[x] вошёл(а) в комнату
[21:01:50] shaggie вышел(а) из комнаты
[21:32:46] Typhon вошёл(а) в комнату
[21:34:21] komar вышел(а) из комнаты
[21:37:28] komar вошёл(а) в комнату
[21:49:36] letrec вышел(а) из комнаты
[21:52:02] ftrvxmtrx вошёл(а) в комнату
[22:14:49] bobry вошёл(а) в комнату
[22:46:21] Typhon вышел(а) из комнаты
[22:49:23] Typhon вошёл(а) в комнату
[22:49:24] Typhon вышел(а) из комнаты