ocaml - OCaml Menhir：出错时输出最后一个状态

Question

我正在尝试生成解析器错误消息。为此，我想使用最后一个标记和最后看到的状态。

我可以使用这种方法输出最后一个令牌。

但是，这些状态是由 Menhir 生成的，所以我发现没有办法在不篡改 Menhir 源的情况下输出错误时的最后一个状态。

无论如何以编程方式从 Menhir 生成的解析器中提取状态？即输出发生错误的状态；产生错误令牌的状态。