退出、中止、休眠以进行调试？

Posted 2023-02-22

【中文标题】退出、中止、休眠以进行调试？

【英文标题】：exit, abort, sleep for debugging?

【发布时间】：2016-04-22 20:33:32

【问题描述】：

在 Prolog 中，您可以激活跟踪模式以进行调试。显然 ML 中没有这样的东西。是否至少有一个exit() 或abort()？当与调试打印语句结合使用时，sleep() 也可用于近似 Prolog 的跟踪模式。

【问题讨论】：

也许不完全是重复的，但这个问题似乎很相关：***.com/q/764362/4996248

【参考方案1】：

要强制退出，可以使用OS.Process 结构：

 OS.Process.exit OS.Process.success;

另请注意，Poly/ML 确实有一个很好的debugger。