выход, прерывание, спящий режим для отладки?

Question

В Prolog вы можете активировать режим трассировки для отладки. По-видимому, в ML нет такой вещи. Есть ли хотя бы exit() или abort()? A sleep() также будет полезен для приближения режима трассировки из Prolog в сочетании с отчетами отладочной печати.

Answer 1

Для принудительного выхода, вы можете использовать OS.Process структуру:

OS.Process.exit OS.Process.success; 

отметить также, что Poly/ML имеет хорошую debugger.