ocaml - 从显式 token 列表中输入 ocamlyacc 解析器？

Question

是否可以为 OCamlYacc 生成的解析器提供显式 token 列表以进行分析？

我想使用 OCamlLex 显式生成一个 token 列表，然后我稍后使用 Yacc 生成的解析器对其进行分析。但是，标准用例会生成一个解析器，该解析器会为下一个标记隐式调用词法分析器。这里的 token 是在 yacc 分析期间而不是之前计算的。从概念上讲，解析器应该只处理标记，但 Yacc 生成的解析器提供了一个依赖于词法分析器的接口(interface)，在我的情况下我不需要。

Answer 1

正如 Jeffrey 已经提到的，Menhir作为其运行时库的一部分，专门为解析器提供了一个带有任何类型 token 流的模块(它只要求一个 unit -> token 函数):MenhirLib.Convert .

(您甚至可以在不使用 Menhir 的情况下使用此代码，而使用 ocamlyacc。实际上，转换并不是非常复杂，因此您甚至可以自己重新实现它。)