Я использую ocamlyacc и ocamllex. У меня есть ошибочное производство в моей грамматике, которая сигнализирует о пользовательском исключении. До сих пор я могу заставить это сообщать об ошибочном положении: | ошибка {повышение (Parse_failure (...
Я - новичок OCaml, и я пытаюсь записать простую подобную OCaml грамматику, и я не могу понять это. Моя грамматика позволяет что-то вроде этого: позвольте sub = забава x-> забава y-> x - y;; Однако, если я хочу...
Есть ли способ вернуть несколько токенов в OCamlLex? Я пытаюсь написать лексер и парсер для языка, основанного на отступах, и я хотел бы, чтобы мой лексер возвращал несколько токенов DEDENT, когда он ...
Я пытаюсь разобрать язык, в котором операторы имеют динамические атрибуты (приоритет и приоритет ), используя синтаксический анализатор Menhir (, аналогичный Ocamlyacc ). На этапе лексирования все операторы заполняют...
У меня есть тип expr в файле expr.ml. В parser.mly (файл OCamlyacc) я определяю правило expr и даю тип:% start expr% type expr Однако я получаю: Файл "parser.mli", ...