Menhir позволяет добавлять произвольный код ocaml в конец файла .mly, где я хочу объявить несколько функций. Но я не смог найти способ заставить Menhir добавлять мои функции в файл .mli, чтобы они были видны из других модулей. Является ли это...

Я работал над «Реализацией современного компилятора в ML», по ходу конвертируя SML в OCaml. В книге определяется язык под названием Tiger, который имеет синтаксис let ... in ... end для объявления типов, переменных и функций в области видимости...

Я пытаюсь разобрать некоторые фрагменты Verilog - меня в первую очередь интересует извлечение определений и экземпляров модулей. В Verilog модуль определяется так: module foo ( ... ) endmodule; И модуль создается одним из двух возможных...

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

Ну, я пишу свой первый парсер на OCaml, и мне сразу как-то удалось сделать с бесконечным циклом. Особо следует отметить, что я пытаюсь лексировать идентификаторы в соответствии с правилами спецификации Scheme (очевидно, я понятия не имею, что я...

Я создаю компилятор и пытаюсь извлечь информацию о строке из парсера. Я хочу прикрепить это к узлу AST в качестве метаданных, чтобы можно было легко сообщить о любой ошибке на более позднем этапе. Мне удалось извлечь информацию о строке в Lexer,...

Я работаю над компилятором, используя OCaml и Menhir в качестве парсера и лексера. Когда я пишу JavaScript, например Grammar, с (a, b) => a + b определением лямбда-функции, а также арифметикой (a + b) * c со скобками, отдающими приоритет...