問題タブ [ml-yacc]

ML-Yacc で定義されているように、次の文法を持つ言語用のコンパイラを作成しました (開始記号は、下部に定義されている「プログラム」です)。

この文法は問題ありませんが、ここでパラメトリック ポリモーフィズムを導入したいので、次の生成を文法に追加します。

そして今、次の2つの削減/削減の競合が発生していますが、解決方法がわかりません

これら2つの競合をどのように削除するか教えてもらえますか?

編集: これは mlyacc http://pastebin.com/2w26ytuVからの完全な .desc 出力です。これも 2 つの無害なシフト/リデュース エラーを示しているわけではありません

これはエラーです：

これは文法です：

これを解決するにはどうすればよいですか？文法を再考し、この文法を説明する別の方法を見つける必要がありますか?

次のような優先順位も宣言しようとしました（ただし、これらを使用した経験はほとんどありません）。

しかし、何もありません。