Nlp 让menhir找到所有的选择？

我想通过以下方式更改menhir输出的行为： 我想让它查找所有的语法选项，如果它发现了，把它们放在一个列表中，然后给我这个模棱两可的解释。它不应减少冲突，而应存储冲突

在我看来，在menhir的源代码中，我必须查看“Engine.ml”。生成的语法确定标记以变体类型项“Accepted v”的形式出现，作为语法自动机检查点的状态。此内容由之前的函数“accept env prod”找到，该函数是更改状态的递归函数包的一部分

您有什么建议吗？我如何更改这些函数，将所有可能的结果都放在这里的列表中，然后像什么都没发生一样继续？或者你认为，这无论如何都行不通

---

谢谢。

你要找的是a（G代表广义）。Menhir不是这样的工具，我怀疑您是否可以轻松地修改它来做您想要的事情

但是，还有另一个工具可以完全满足您的需要：