这在以前是不容易实现的(只有编译到外部才支持回溯),但自从OCaml 4.03.0(于2016年4月发布)开始,toplevel支持回溯,感谢whitequark和Jake Donham的贡献。只需使用OCAMLRUNPARAM=b ocaml运行toplevel即可获得回溯。当然,您希望从toplevel链接和使用的编译代码应使用-g进行编译,以包含回溯信息--否则您只会看到调用从toplevel定义的函数的调用堆栈的一部分。