parsing - 使包含标记的表对 .mly 和 .mll 均可见(作者:menhir)

Question

我想定义一个 keyword_table ，它将一些字符串映射到一些标记，并且我想让这个表对 parser.mly 和 都可见lexer.mll。

看来该表必须在parser.mly中定义，

%{ 
  open Utility (* where hash_table is defined to make a table from a list *)
  let keyword_table = hash_table [
      "Call", CALL; "Case", CASE; "Close", CLOSE; "Const", CONST; 
      "Declare", DECLARE; "DefBool", DEFBOOL; "DefByte", DEFBYTE ]
%}

但是，例如，我无法在 lexer.mll 中使用它

{
open Parser
let x = keyword_table (* doesn't work *)
let x = Parser.keyword_table (* doesn't work *)
let x = Parsing.keyword_table (* doesn't work *)
}

如this comment建议，menhir 有一个解决方案，有人可以告诉我任何细节吗？

Answer 1

第一个选项是在单独的.mly中定义 token 。文件。执行menhir对于此文件 --only-tokens选项将生成一个包含 type token 的模块您可以在用 --external-tokens 编译的解析器中使用它选项。

如果这解决了标记问题，您可以按照 Thomash 的建议，在单独的文件中指定解析器和词法分析器使用的所有其他函数。

还有一个替代解决方案。您可以使用%parameter<module signature>解析器中的声明，用于根据给定签名内指定的类型和函数注释对整个解析器进行参数化。主要优点是这个签名是在解析器的接口(interface)文件中提供的，因此解析器可以与其他模块(可以基于该签名构造模块)共享这个签名。

建议引用to menhir examples ，即参见calc-two了解外部 token 并访问 calc-param了解如何创建参数化解析器。