問題タブ [kframework]

質問する

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

50 問題
Newest
Active
Bountied
318
Unanswered
0 投票する
1 に答える
24 参照

kframework - Compiler: sort Optional[KVar] に新しいジェネレータが定義されていません

LLVM バックエンドを使用してコンパイルしています。Java バックエンドを使用してコンパイルできますが、LLVM バックエンドは次のエラーをスローします。 Compiler: No fresh generator defined for sort Optional[KVar]

エラーはインを強調表示し!Mます<abs> ... .Map => (!M |-> (T1 -> T2)) ... </abs>


12345678910