Objective Caml - Пятница, 22 января 2010

Objective Caml

ocaml@conference.jabber.ru

Пятница, 22 января 2010< ^ >

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

GMT+3
[00:19:42] ermine вышел(а) из комнаты
[00:25:35] michael.holub вышел(а) из комнаты
[00:30:58] Kakadu вышел(а) из комнаты
[01:14:04] ygrek вышел(а) из комнаты
[01:51:07] michael.holub вошёл(а) в комнату
[02:15:01] Typhon вышел(а) из комнаты
[02:23:25] michael.holub вышел(а) из комнаты
[02:58:20] daapp вошёл(а) в комнату
[03:57:20] michael.holub вошёл(а) в комнату
[04:41:04] daapp вышел(а) из комнаты: Replaced by new connection
[04:41:10] daapp вошёл(а) в комнату
[04:56:23] michael.holub вышел(а) из комнаты
[07:21:14] iNode вышел(а) из комнаты
[07:46:24] geovit вошёл(а) в комнату
[08:05:01] iNode вошёл(а) в комнату
[09:48:57] serp256 вошёл(а) в комнату
[10:42:09] ermine вошёл(а) в комнату
[10:46:58] f[x] вошёл(а) в комнату
[11:33:47] fn78c2frv вошёл(а) в комнату
[11:34:11] fn78c2frv вышел(а) из комнаты
[12:36:45] geovit вышел(а) из комнаты
[12:46:44] geovit вошёл(а) в комнату
[12:53:13] f[x] вышел(а) из комнаты
[12:56:55] o_c2t2 вошёл(а) в комнату
[12:56:58] o_c2t2 вышел(а) из комнаты
[13:18:28] daapp вышел(а) из комнаты
[13:52:11] fltjkps вошёл(а) в комнату
[13:52:11] fltjkps вышел(а) из комнаты
[14:48:46] zert вошёл(а) в комнату
[14:48:52] <zert> здрасте
[14:49:46] <zert> как можно посмотреть, что выплёвывает наружу лексер?
[14:50:17] <zert> а то пишет 'exception Parsing.Parse_error', а из-за чего ошибка — непонятно
[14:50:38] <zert> можно как-то узнать, какую конструкцию лексер создал?
[14:53:27] <ermine> вставь | _ -> принтф
[14:53:43] <olegfink> еще бывает полезно OCAMLRUNPARAM=p
[14:54:11] <zert> olegfink: это когда выставлять?
[14:54:20] <zert> ermine: ща
[14:54:27] <olegfink> это переменная окружения для ocamlrun
[14:55:17] <zert> о, куча инфы вылезла :)
[15:17:50] <zert> а лексер без парсера никак нельзя пускать?
[15:19:55] <zert> а deriving — вещь
[15:20:01] <zert> работает чотко
[15:20:37] <olegfink> http://caml.inria.fr/pub/docs/manual-ocaml/manual026.html#htoc135 ?
[15:21:55] <olegfink> http://plus.kaist.ac.kr/~shoh/ocaml/ocamllex-ocamlyacc/ocamllex-tutorial/chap-examples.html#sec-translate например
[15:23:15] <zert> спасибо!
[16:15:27] <zert> вот не пойму
[16:15:31] <zert> type_reference:
| NAME { TypeRef ($1) }
;
type_assignment:
| type_reference DEFN asn_type { TypeAssign ($1, $3) }
/*| NAME DEFN asn_type { TypeAssign (TypeRef($1), $3) }*/
;
[16:15:41] <zert> вот так ошибка парсера выдаётся
[16:16:01] <zert> если раскомментить строчку, и закомментить то, что выше, то нормально проходит
[16:16:28] <zert> что не так?
[16:17:46] <zert> NAME - string
[16:18:05] <olegfink> вообще для яка prod: | term означает, что prod -- либо пусто, либо term, в отличие от паттерн-матчинга в окамле
[16:19:52] <zert> заменил на
type_reference: NAME { TypeRef ($1) }
;
[16:19:56] <zert> ничего не изменилось
[16:22:18] <zert> как сделать так, чтобы пустота не подходила под правило?
[16:22:37] <olegfink> убрать все <e> |
[16:23:34] <zert> не понял
[16:24:15] <olegfink> ну у тебя не только в продукции type_reference эта ошибка, а еще минимум в type_assignment
[16:24:34] <olegfink> чтобы пустота не подходила под правило, надо убрать ее из правила
[16:25:00] <zert> я убрал, но то же самое
[16:26:47] <zert> type_assignment: NAME DEFN asn_type { TypeAssign (TypeRef($1), $3) }
;
проходит
type_assignment: type_reference DEFN asn_type { TypeAssign ($1, $3) }
;
не проходит
[16:27:02] <zert> type_reference: NAME { TypeRef ($1) }
;
[16:27:11] olegfink вышел(а) из комнаты
[16:27:43] olegfink вошёл(а) в комнату
[16:29:30] <olegfink> забавно
[16:31:44] <olegfink> а на что оно сейчас ругается?
[16:32:00] <zert> Fatal error: exception Parsing.Parse_error
[16:32:09] <zert> как-то точнее можно получить?
[16:32:33] <olegfink> ну так OCAMLRUNPARAM=p вроде ведь показывает, что оно пытается предпринять
[16:34:07] <olegfink> вообще пока-жи грамматику целиком
[16:34:22] <olegfink> *покажи-ка
[16:49:09] geovit вышел(а) из комнаты
[18:16:24] iNode вышел(а) из комнаты
[18:28:44] zert вышел(а) из комнаты
[19:33:05] serp256 вышел(а) из комнаты
[20:15:52] <olegfink> а есть приличная реализация irc для окамла?
[20:47:05] zert вошёл(а) в комнату
[21:16:19] <ermine> xavierbot
[21:17:54] <olegfink> там вообще нету irc
[21:17:56] <olegfink> оно на перле
[21:19:17] <ermine> хыхы
[21:51:52] <zert> ежели ocamlyacc запускать с флагом -v, он создаёт файл, в котором можно сотни инфы найти полезной
[21:52:22] <zert> вместе с OCAMLRUNPARAM=p замечательно получается
[21:52:32] <zert> нашёл зацикливания у себя
[23:24:13] zert вышел(а) из комнаты