抑制モジュラーパーサの仕様で「決して便利な」優先順位の警告？

は立石に未使用の優先順位の警告を抑制することが可能ですか？抑制モジュラーパーサの仕様で「決して便利な」優先順位の警告？

背景：

私は、別途、Lib.mlyから定義を使用して、追加のパーサ（A.mly、B.mly、...）のホストをいくつかのルールを持つコアパーサLib.mlyを持っていると。すべての言語で単一のレクサーを使用するために、すべてのトークンはLib.mlyで定義されており、_tagsにはexternal_tokens(Lib)注釈を使用し、myocamlbuild.mlを拡張すると、未使用のトークン警告を抑制します。これらは、それが難しい私は実際に対処したい他の警告が表示されるために作る

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

：しかし、私はまだフォームの多くの警告を取得します。演算子のサブセットはさまざまな言語で使用されているため、それらを適切に順序付ける「グローバル」な優先順位を1つ設定する必要があります。あらゆるヒントありがとう！これはあなたが探しているが、2つの次のオプションが有用であるかもしれないものであれば

出典

2017-12-17 ztatlock

、メンヒルは、新しいオプション--unused-precedence-levelsを持っています。

あなたが複数のファイルに分割されている文法の例を持っている場合は（許可されている場合、おそらくメンヒルのテストスイートでそれらの一部を含む）に、私はそれらを見て興味があるかもしれません。

出典

2017-12-22 15:03:03

これは完全に機能します！このような傑作を作るためのサポートとメンハイルを作ってくれてありがとう。私たちのパーザーはまだ公開されていませんが、私は同僚と確認し、あなたにtarballを送ります。 – ztatlock

わからない：今日のよう

--unused-token <token>   Do not warn that <token> is unused 
--unused-tokens     Do not warn about any unused token

出典

2017-12-17 11:28:25 ghilesZ

はい、それらは未使用のトークンの警告を回避するための参考にされています。残念ながら、彼らは、「優先に便利決して」警告をオフにしていないようだ未使用のトークンを言った：\私は、次のステップは立石の問題を提出し、ちょうど今の不要な警告をフィルタリングするためのawkを使用していると思いますが、ぐふ。 – ztatlock

抑制モジュラーパーサの仕様で「決して便利な」優先順位の警告？

答えて

関連する問題