将 menhir 与 sedlex 一起使用

Question

出于某种原因，我需要将 menhir 与 sedlex 一起使用 (utf-8)，但不知道如何使生成的解析器依赖于 Sedlexing 而不是 Lexing。有什么建议吗？

当我运行

menhir --infer parser.mly

生成的程序包含 Lexing... 行。我可以手动更改它，但必须有另一种方法，不是吗？

Answer 1

编辑：生成的 parser.ml 应该引用 Lexing。 Sedlexing 用于创建您发送给解析器的 lexbuf，但解析器并不关心该 lexbuf 是由 Lexing 还是 Sedlexing 创建的，只要它可以使用 Lexing.lex_start_p 和Lexing.lex_curr_p就可以了。

我用了类似

的东西

ocamlbuild -use-menhir -tag thread -use-ocamlfind -quiet -pkg menhirLib \
  -pkg sedlex test.native

其中 test.ml 通过调用 Parser 使用 parser.mly。

为了完整起见，ocamlbuild 运行的命令是：

menhir --ocamlc 'ocamlfind ocamlc -thread -package sedlex -package menhirLib' \
  --explain --infer parser.mly

查看完整示例 https://github.com/unhammer/ocaml_cg_streamparse （分支 https://github.com/unhammer/ocaml_cg_streamparse/tree/match-singlechar-example 显示匹配单个代码点的规则，如 a 或 ß 但不匹配 aa）。

将 menhir 与 sedlex 一起使用

Using menhir with sedlex

parsing

ocaml

lexer

menhir