Rascal Checker 未终止

Question

描述：

我目前正在从事一个涉及使用 Rascal 语言进行翻译的项目。但是，我遇到了 Rascal 检查器未按预期终止的持续问题。

问题：

Rascal 检查器无限期运行，不会产生任何错误消息或终止，因此很难确定问题的根本原因。我已经检查了我的代码是否存在潜在的无限循环，并确保所有必需的依赖项均已正确安装。不过，我要注意的是，翻译涉及的语言种类很多。

我尝试过的：

• 检查代码是否存在潜在的无限循环或递归问题。
• 验证是否正确安装了所有必需的依赖项和库。
• 安装旧版本的 rascal 扩展（具体来说，我尝试了 0.8.3 版本，它在此处终止，但没有报告文件中的问题。）

任何建议或有用的提示将不胜感激。

Answer 1

如果您发现确实无限期运行的情况，请在 GitHub 上提出问题。

有时会有点慢（比如15分钟）。我们即将完成编译器，这使其速度更快。

如果你看一下输出窗口，然后 rascal 语言服务器具体输出，你应该看到类型检查器的进度。

第一次运行完成后，应该会快很多。