标签： ocaml state menhir
我试图生成解析器错误消息。 为此，我想使用最后一个令牌和最后看到的状态。
我可以使用this method输出最后一个令牌。
但是，状态是由Menhir生成的，因此我发现在没有篡改Menhir的来源的情况下，无法输出错误的最后状态。
无论如何以编程方式从Menhir生成的解析器中提取状态？ 即输出发生错误的状态;生成错误令牌的状态。