I don't know if this is a plausible thing to ask mlton for (depends on your implementation model), but is there a way to do a stack trace for an uncaught exception? (What in NJ you get from SMLofNJ.exnHistory) Norman