A low-level SML Debugger that produces all information about SML run-time state as described by The Definition of Standard ML (Revised).
This is accomplished by using the Poly/ML debugger on a modified version of the HaMLet SML reference interpreter with improved pretty printing.
Requires Poly/ML.
cd hamlet
poly --use "test.sml"
Within the Poly/ML REPL, call
Sml.evalString "<your SML program here>";
and debug as normal. More info to come about how to print info exactly.