Я определил хэш-таблицу keyword_table для хранения всех ключевых слов моего языка. Вот часть кода: (* parser.mly *) %token CALL CASE CLOSE CONST ... reserved_identifier: | CALL { "Call" } | CASE { "Case" } | CLOSE { "Close" } | CONST {...

Я новичок в OCaml и пытаюсь создать парсер, я хочу иметь список, в котором хранятся все методы моего класса. Это одна часть, которая есть у меня в моем файле .mly. init_method_list: { [] } | method_list method_decl { List.rev($1) } ;...

У меня есть следующий код, который также имеет больше после expr: int {} | BOOL {} и т. Д., Но я не знаю, какой тип я должен написать в типе этого парсера, у меня есть пример калькулятора, который работает с int, а тип - int, но в моей программе у...

Мне было интересно, как написать трехадресный код, используя ocamllex и ocamlyacc? Я много гуглил об этом, но ничего не нашел с помощью ocamlyacc. У меня работают парсер и лексер (оба используют, конечно, ocamlyacc и ocamllex), но теперь мне нужно...

Я переформулирую вопрос, который задавал ранее. Цель состоит в том, чтобы понять, как работает приоритет при синтаксическом анализе. Я хотел бы проанализировать оператор a(3).value = 100 . parser.mly следующим образом останавливается после...

Мне нужно дать высокий приоритет и оставить ассоциативность функциональному приложению в парсере OCaml. У меня есть куча разных токенов, которым он соответствует, например %token LET REC EQ IN FUN ARROW %token IF THEN ELSE %token PLUS MINUS MUL...

Я реализовал обычную комбинацию lexer / parser / pretty-printer для чтения / печати типа в моем коде. Я обнаружил, что между лексером и красивым принтером есть избыточность, когда дело касается регулярных выражений в виде простых строк, обычно...