使用 menhir 和 ocamlbuild 调试代码

Question

我正在实现一种小型编程语言。 这是代码库。 该程序是用ocamlbuild的。 我使用menhir添加了一个解析器。 当我编译并运行程序时，我收到以下消息。

❱ ./main.byte 
Fatal error: exception Parser.MenhirBasics.Error

我试图通过将explain传递给_tag文件来查找更多详细信息

true: color(always), explain

但似乎没有任何区别。 如何让menhir通过 ocamlbuild 生成日志文件？ 或其他调试方式？

Answer 1

这是由 menhir 生成的解析器引发的语法错误。

您的构建系统无关紧要（尽管如此，您应该将dune用于新项目而不是ocamlbuild ）。

同样， menhir的--explain标志仅在生成解析器时对生成冲突解释有用。 它不会在语法错误中添加语法错误解释。

如果要调试 menhir 语法，可以使用 menhir 解释器模式和menhir --interpret或使用menhir --list-errors列出语法中所有可能的语法错误。

这两个选项都应该成为“嗨”的原因。 是语法错误比较清楚。