如何在OCaml中获得堆栈跟踪？

Question

如果你恰好要求它们,Objective Caml语言只会产生堆栈跟踪 - 对字节码和本机代码有什么要求？

Answer 1

使用-g编译并设置环境变量OCAMLRUNPARAM = b

Answer 2

一些Printexc函数允许您以编程方式执行此操作.

Answer 3

因为看起来你只能在 unix 上获取异常的跟踪，所以你可以在第二个进程中分叉并抛出异常。这样主流程就可以继续：

export OCAMLRUNPARAM=b
# compile with -g

flush_all(); let r = Unix.fork() in if r == 0 then raise Exit