1

In Prolog you can activate trace mode for debugging. Apparently there is no such thing in ML. Is there at least a exit() or abort()? A sleep() would also be useful to approximate trace mode from Prolog, when combined with debug print statements.

lo tolmencre
  • 3,804
  • 3
  • 30
  • 60

1 Answers1

2

To force an exit, you can use the OS.Process structure:

 OS.Process.exit OS.Process.success;

Also note that Poly/ML does have a good debugger.

eatonphil
  • 13,115
  • 27
  • 76
  • 133