beenden, abbrechen, zum Debuggen schlafen?

Question

In Prolog können Sie den Trace-Modus für das Debugging aktivieren. Anscheinend gibt es so etwas in ML nicht. Gibt es mindestens eine exit() oder abort()? Ein sleep() wäre auch nützlich, um den Ablaufverfolgungsmodus von Prolog zu approximieren, wenn er mit Debug-Druckanweisungen kombiniert wird.

Answer 1

Um einen Ausgang zu erzwingen, können Sie die OS.Process Struktur verwenden können:

OS.Process.exit OS.Process.success; 

Beachten Sie auch, dass Poly/ML eine gute debugger hat.