我正在使用LLVM后端进行编译。可以使用Java后端对其进行编译,但是LLVM后端会引发以下错误:
biological_tomatoes
该错误突出显示了Compiler: No fresh generator defined for sort Optional[KVar]
中的!M
答案 0 :(得分:1)
这是K的替代实现中的一个错误,该错误导致KVar类的新常量仅在Java后端上可用。您可以在这里跟踪问题:https://github.com/kframework/k/issues/1186
我们应该尽快解决此问题,因为它应该很简单。