5

menhir で未使用の優先順位警告を抑制することは可能ですか?

バックグラウンド：

いくつかLib.mlyのルールを備えたコア パーサーとA.mly、. すべての言語で単一のレクサーの使用をサポートするために、すべてのトークンが で定義されており、アノテーションを使用し、未使用のトークンの警告を抑制するように拡張しました。これは非常に役立ちます。ただし、次の形式の多くの警告が表示されます。B.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

1

これが探しているものかどうかはわかりませんが、次の 2 つのオプションが役立つ場合があります。

--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 に答える