Я делаю компилятор для C-подобного языка, который должен поддерживать директиву #include (только в начале файла) Простым, но неэлегантным подходом было бы создание подпрограммы, которая находит все вхождения директивы и заменяет соответствующий...

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

Я пытаюсь написать парсер OCamllex, который строит карту строк слов из списка. Однако я получаю сообщение об ошибке «Неограниченный модуль», когда пытаюсь открыть модуль StringMap в заголовке: { open StringMap type token = EOF | Word of...

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

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

У меня были некоторые проблемы с попыткой найти хороший пример для обработки строк в ocamllex. Я нашел пример настольного калькулятора несколько полезным, но на самом деле не нашел способа реализовать его аналогичным образом, в котором он также...

В свободное время я работал над лексером Lua fslex, используя руководство ocamllex в качестве справочного материала. Я столкнулся с несколькими проблемами, пытаясь правильно токенизировать длинные строки. «Длинные строки» разделены токенами '['...

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

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

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

{ } rule translate = parse | "current_directory" { print_string (Sys.getcwd ()) } | _ as c { print_char c } | eof { exit 0 } { let main () = let lexbuf = Lexing.from_channel stdin in while true do translate lexbuf done let _ = Printexc.print main ()...