kframework - K の言語にコロンを追加する

Question

自分の言語で構文構造としてコロンを追加するにはどうすればよいですか? 構文に追加しましたが、ルール内でコロンを照合しようとすると、解析エラーが発生します。

Answer 1

K を括弧で囲むと混乱します。周囲の括弧を削除すると、解析エラーが削除されます。