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

Question

如果您要求恰到好处，Objective Caml 语言只会生成堆栈跟踪 - 字节码和本机代码的要求是什么？

score 44 · Accepted Answer

44

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

于 2008-09-28T13:56:53.430 回答

score 10 · Accepted Answer

10

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

于 2010-02-01T15:05:16.980 回答

score 3 · Accepted Answer

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

export OCAMLRUNPARAM=b
# compile with -g

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

score 2 · Accepted Answer

如果您使用 Ocamlbuild 而不是直接调用编译器，则可以使用该debug标记。从手册：

使用 OCamlbuild，您可以简单地将调试标记添加到程序的目标中，它会整理出何时插入 -g 标志。

例如，如果您正在foo.ml使用 package构建文件，bar那么您的_tags文件将有一行：

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

-g这将在构建字节码/本机文件时插入适当的标志。但是，您仍然需要使用export OCAMLRUNPARAM=b其他答案中提到的设置环境变量。

score 0 · Accepted Answer

如其他答案所述，您需要使用调试信息编译项目并使用OCAMLRUNPARAM=b环境变量运行它。

让 Ocamlbuild 编译带有调试信息但不编辑_tags文件的整个项目的一种便捷方法是指定一个特殊的调试目标。从手册：

编译适合调试ocamldebug或分析本机代码的代码的首选方法ocamlprof是使用适当的目标扩展，.d.byte用于调试或.p.native.

我使用这种技术在命令行上快速编译运行周期。例如，要运行foo.ml：

export OCAMLRUNPARAM=b

ocamlbuild -no-links foo.d.byte && _build/foo.d.byte

5 回答 5