在模块化解析器规范中抑制"永不有用"的优先级警告？

Question

是否有可能在menhir中抑制未使用的优先级警告？

背景:

我有一个核心解析器Lib.mly几个规则,并单独的附加解析器(主机A.mly,B.mly......),它使用的定义从Lib.mly.为了支持对所有语言使用单个词法分析器,所有标记都在其中定义Lib.mly,我们在其中使用external_tokens(Lib)注释_tags并进行了扩展myocamlbuild.ml以抑制未使用的标记警告,--unused-tokens这有助于显着提高.但是,我仍然收到许多警告:

File "parsers/ParserLib.mly", line 126, characters 0-9:                     
Warning: the precedence level assigned to FIX is never useful.              

这些让我很难看到其他我想要解决的警告.运算符的不同子集以各种语言使用,因此我需要有一个"全局"优先级来对它们进行适当的排序.谢谢你的任何提示!

Answer 1

截至今天,Menhir有了新的选择--unused-precedence-levels.

如果您有分解在多个文件上的语法示例,我可能会对它们感兴趣(如果允许,可能会在Menhir的测试套件中包含其中一些).