問題タブ [kframework]

私はK セマンティクス フレームワークを使用しており、チュートリアルを実行しています。これは私の TEST1.k です。

しかし、コマンド Kompile Test1.k を実行すると、次のエラーが発生します。

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

私は kframework を学ぼうとしています。演習として、ビデオ ゲーム用のスクリプト言語にコンパイルされる高水準言語を作成しようとしました。この高水準言語は実際には実行せず、書き換え規則を使用してスクリプト言語にコンパイルするだけです。

以下の元のスクリプト言語構文の例

高水準言語で適切な変数宣言ができるようにしたかったので、代わりにこのようなものを書くことができ、上記のスクリプトにコンパイルされます。

変数宣言var x = yをSetVariable("x", y).

K の機能、またはこれを行う方法を誤解している可能性が非常に高いです。どんな助けでも大歓迎です。