5

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

背景：

我有一个包含多个规则的核心解析器，Lib.mly另外还有许多使用. 为了支持对所有语言使用单个词法分析器，所有标记都在 中定义，我们使用注释并扩展以抑制未使用的标记警告，这有很大帮助。但是，我仍然收到许多形式的警告：A.mlyB.mlyLib.mlyLib.mlyexternal_tokens(Lib)_tagsmyocamlbuild.ml--unused-tokens

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

这些让我很难看到我真正想要解决的其他警告。运算符的不同子集用于各种语言，因此我需要一个“全局”优先级来适当地对它们进行排序。感谢您的任何提示！

4

2 回答 2

6

到今天为止，Menhir 有了一个新的选择--unused-precedence-levels。

如果您有拆分为多个文件的语法示例，我可能有兴趣查看它们（如果允许，可能会将其中一些包含在 Menhir 的测试套件中）。

于 2017-12-22T15:03:03.440 回答
1

不确定这是否是您要搜索的内容，但以下两个选项可能有用：

--unused-token <token>           Do not warn that <token> is unused
--unused-tokens                  Do not warn about any unused token
于 2017-12-17T11:28:25.650 回答