Does SMLNJ have any sort of debugger?

后端 未结 4 1938
梦如初夏
梦如初夏 2021-02-07 05:38

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

4条回答
  •  轻奢々
    轻奢々 (楼主)
    2021-02-07 06:10

    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.

提交回复
热议问题