退出，中止，睡觉调试？

Question

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

Answer 1

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

 OS.Process.exit OS.Process.success;

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