I have looked through the SMLNJ User Guide and can\'t find anything about debugging capabilities. I\'d love to just see a stack trace, or step through a function. Is this possib
Poly/ML is the best unknown implementation of Standard ML. It had a command-line debugger from early on (at least the 1990s). Recently, it has acquired full IDE support via Isabelle/PIDE, e.g. see ML, which also includes a source-level debugger.