我正在尝试使用 Printexc.get_backtrace 获取堆栈跟踪，但出现错误：
(Program not linked with -g, cannot print stack backtrace)
我是这样编译的：
ocamlfind ocamlc -g -o foo ... $(FOO_OBJS)
FOO_OBJS 只编译：
ocamlc -c $OBJ
怎么了？每个.cmo 都应该用-g 编译吗？
如果在没有-g 的情况下编译的对象中发生异常，我会得到部分堆栈跟踪，还是根本没有堆栈跟踪？
【问题讨论】：
标签： debugging exception compilation functional-programming ocaml
怎么了？每个 .cmo 都应该用 -g 编译吗？
是的，您必须在编译和链接中添加-g 选项。您还可以使用ocamldebug 在启用此选项的情况下单步执行程序。此外，环境变量OCAMLRUNPARAM 必须设置为b。
如果在没有 -g 的情况下编译的对象中发生异常，我会得到一个 部分堆栈跟踪，还是根本没有堆栈跟踪？
你打赌！我记得有几次我忘记了-g 选项，而回溯只是标准库的。
【讨论】：
OCAMLRUNPARAM=b环境变量可以设置，有什么关系？
OUnit.run_test_tt之前在单元测试文件的顶部添加let () = Printexc.record_backtrace = true，而不是指定OCAMLRUNPARAM=b。这样，您编译的测试二进制文件就更加独立了。