0

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

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

4

1 に答える 1