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

Question

目标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 

Answer 4

如果您正在使用Ocamlbuild，而不是直接调用编译器，你可以使用debug标签。从manual：

随着OCamlbuild，你可以简单的调试标记添加到您的程序的目标，这将挑选出何时插入-g标志或没有。

例如，如果你正在建设一个文件foo.ml与包bar那么你_tags文件将有一行：

<foo.ml>: package(bar), debug 

这将插入相应-g标志，同时建立字节/本机文件。但是，您仍然需要使用export OCAMLRUNPARAM=b设置环境变量，如其他答案中所述。